Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.
Подобные документы
Вивчення генетичних процесів у популяціях української верхової породи коней протягом двох десятиріч. Різниці генних частот між поколіннями у мікропопуляціях жеребців Лозівського, Дніпропетровського кінних заводів. Зменшення резерву генетичної мінливості.
статья, добавлен 28.02.2016Дослідження механізмів мутагенезу та генетичних змін у популяціях бактерій. Вивчення специфічності мутацій та їх наслідків для бактеріальних популяцій. Визначення впливу генетичних змін на адаптивність і еволюційні процеси в умовах екологічних стресів.
статья, добавлен 16.10.2024Дослідження дискримінаційної здатності та ефективності алгоритмів BOADICEA, Penn II, Myriad та Манчестерської бальної системи щодо прогнозування ризику BRCA1 та BRCA2 генетичних мутацій у пацієнтів з раком молочної залози та раком яєчників та без нього.
статья, добавлен 30.07.2016Дослідження генетичного різноманіття представників п’яти популяцій коней (арабська порода, орловська рисиста, новоолександрівська ваговозна, чистокровна верхова, жеребці Пржевальського). Використання двох ISSR-маркерних систем в сучасній генетиці.
статья, добавлен 28.02.2016Розгляд біфідобактерій на видовому рівні з вивченням спектру фенотипових ознак з використанням сучасних мікробіологічних і молекулярно-генетичних методів. Вивчення біологічних особливостей виділених штамів у порівняльному аспекті з позиції їх екології.
автореферат, добавлен 28.08.2014Описання генетичних особливостей зміни поліморфної статевої структури в процесі багаторазового самозапилення. Визначення селекційної цінності за ознаками статі. Ознайомлення з процесом генетичного зрівнювання балансу між жіночою і чоловічою статтю.
статья, добавлен 28.09.2022Обмеження продуктивного фагового розвитку з боку бактерії-хазяїна. Особливості функціональної несумісності автономних генетичних елементів в клітинах E. carotovora. Модель для ідентифікації внутрішньоклітинних систем рестрикції-модифікації E. carotovora.
автореферат, добавлен 30.08.2014Визначення молекулярно-генетичних маркерів пухлинних клонів з урахуванням перебудов імуноглобулінів і мікросателітної нестабільності як факторів перебігу гострих лейкемій. Розробка схеми клональних генетичних порушень у дітей, хворих на гострі лейкемії.
автореферат, добавлен 29.10.2015Хромосомні порушення та їх причини розвитку захворювань. Ампліфікація послідовності корт актину. Особливості мієлоїдних клітин. Створення генетичних конструкцій для бактеріальної та еукаріотичної експресій. Рестрикційний аналіз генетичних конструкцій.
статья, добавлен 28.08.2016Морфолого-культуральні та фізіолого-біохімічні властивості лактобацил. Ідентифікація з використанням молекулярно-генетичних методів 67 штамів та віднесення до виду Lactobacillus plantarum. Фенотипова та генетична гетерогенність ізольованих штамів.
статья, добавлен 29.01.2016Головна особливість розробки нових генетичних підходів щодо A. teichomyceticus. Вивчення механізмів біосинтезу тейкопланіну та селекції його надпродуцентів. Характеристика репортерної системи для аналізу активності промоторів та експресії генів.
статья, добавлен 28.08.2016Сільське господарство 90-х. Клітинна інженерія в сільському господарстві. Використання молекулярно-генетичних маркерів у селекції. Клонування та генетична інженерія. Вплив біотехнологій на здоров’я людини. Біоетичні аспекти застосування агробіотехнології.
реферат, добавлен 05.07.2013Роль алельного поліморфізму у розвитку фізичних якостей спортсменів. Вивчення генома людини, будови і структури хромосом і генів як носіїв спадкової інформації. Значення досліджень для пошуку генетичних маркерів, що впливають на спортивну діяльність.
статья, добавлен 29.09.2023Організми, у яких генетичний матеріал змінений у такий спосіб, що не відбувається в природних умовах. Виникнення химерних організмів внаслідок мутацій, порушення процесу мітозу, розщеплення пластид чи перекомбінації плазмонів. Генетично модифікована їжа.
реферат, добавлен 28.02.2014Дослідження динаміки генетичної структури природних популяцій сосен з використанням ізоферментів як генетичних маркерів. Відтворення алельної різноманітності материнських дерев. Оцінка дефіциту гетерозиготних генотипів. Дослідження динаміки ауткросингу.
автореферат, добавлен 28.08.2014Характеристика основних принципів молекулярно-генетичних методів ідентифікації і типування мікроорганізмів. Технічні підходи, методичні можливості, роль та місце молекулярної діагностики в системі сучасної лабораторної діагностики інфекційних хвороб.
статья, добавлен 30.10.2024- 17. Комплексне використання різних класів генетичних маркерів у процесі створення нових популяцій курей
Динаміка генетичної структури популяцій курей загального використання за групами крові, поліморфними типами білків яєць, морфологічними ознаками у ході селекції. Плейотропний ефект генетичних маркерів статі відносно птиці змішаного типу продуктивності.
автореферат, добавлен 25.09.2015 Вирішення питань природи генетичних відмін за стійкістю порід і гібридів шовкопряда до хвороб на організменному і клітинному рівнях, впливу гетерозису та генетичних факторів на функціонування механізмів резистентності, факторів клітинного імунітету.
автореферат, добавлен 22.04.2014Біологічне значення російського осетра. Дослідження інформативності маркерів RAPD-PCR для вивчення молекулярно-генетичного поліморфізму російського осетра Азовського моря. Аналіз поліморфних спектрів для визначення генетичних дистанцій між осетрами.
статья, добавлен 16.08.2013Аналіз досвіду роботи з видами-символами та маскотами, акціями типу "тварина року" або "день певного виду" для формування позитивних образів, поширення природничих знань та привернення уваги до потреб охорони окремих видів як складових біорізноманіття.
статья, добавлен 11.07.2023Использование вирусом-фагом лямбда свей ДНК для роста и размножения внутри бактерий. Переключение состояний вируса - латентной формы в делящейся бактерии и активированной формы в облученной бактерии как модель процесса включения и выключения генов.
книга, добавлен 05.07.2013- 22. Генетичний код
Молекулярна структура нуклеїнових кислот, їх значення для передачі інформації в живих системах. Взаємодія алельних та неалельних генів. Механізми спадковості і спадкових захворювань. Можливості виправлення генетичних помилок за допомогою нанотехнологій.
реферат, добавлен 06.05.2016 Оцінка стану угруповань і розкриття специфіки формування угруповань р. Горині. Встановлення механізмів перебудови альгоугруповань за функціональними групами в екотопах. Встановлення подібності альгоугруповань різних ділянок русла за індексом Брея-Кртиса.
статья, добавлен 24.03.2024Характеристика гаплотипів різних морфотипів Авротики на основі інформації про їхнє походження та відомостей про генетичний контроль ознаки. Вивчення поліморфізму контрастних форм за мікросателітними локусами. Перевірка незалежності успадкування рослин.
статья, добавлен 14.09.2016- 25. Вплив екзогенних вірусів і ДНК на спонтанний та індукований мутагенез в соматичних клітинах ссавців
Розгляд процесів мутагенезу під впливом екзогенних послідовностей вірусного та клітинного походження. Особливості експресії ранніх регуляторних генів, що стимулюють реплікації та злоякісну трансформацію клітин. Дестабілізація генетичних елементів.
автореферат, добавлен 23.11.2013