Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.
Подобные документы
Проблема гібридного способу відтворення особин Pelophylax esculentus та видового визначення зелених жаб. Генетичний та морфологічний аналіз видової приналежності, геміклонального успадкування жаб та залежності їх локалізації від географічних умов.
статья, добавлен 30.01.2016Спадковість як здатність організму передавати свої ознаки й особливості розвитку наступним поколінням. Хромосомна теорія спадковості та її основні положення. Розташування генів у хромосомах. Напрямки здійснення та основні методики генетичних досліджень.
реферат, добавлен 10.04.2011Використання іонних, протеомних, метаболічних складників; роль їхніх взаємозв’язків для встановлення генетичних детермінант стійкості. Спільні прояви адаптації до ІВМ та осмотичних стресів - засолення та водного дефіциту; токсична дія іонів Cd2+ і Ba2+.
статья, добавлен 26.08.2022Вивчення особливостей цвітіння, динаміки розвитку квітки та потенційної продуктивності зав'язі ріпаку. Характеристика генетичних механізмів контролю жовтого забарвлення оболонки насіння ярого ріпаку. Аналіз типів запилення і мутагенезу в селекції рослини.
реферат, добавлен 30.11.2010Необхідність поповнення Національного банку генетичних ресурсів рослин України зразками генофонду. Принципи, методичні підходи, особливості та етапи залучення зразків різних категорій генофонду. Ефективність співробітництва з селекційними установами.
статья, добавлен 30.10.2016Кодування репаративного ферменту, який захищає клітини від токсичного впливу. Розподіл мобільних генетичних елементів у промоторній ділянці гена MGMT людини і у його структурних частинах. Залучення мобільних генетичних елементів до генної регуляції.
статья, добавлен 28.08.2016Вивчення та аналіз основних особливостей прояву генів, що детермінують функціональну чоловічу стерильність у зразків генетичної колекції. Характеристика оцінки їх придатності для використання в генетичних системах контрольованого розмноження кукурудзи.
автореферат, добавлен 05.08.2014Визначення таксономічного положення окремих штамів основних молочнокислих бактерій української колекції мікроорганізмів із застосуванням молекулярно-генетичних методів аналізу. Розробка методів ідентифікації штамів, що мають промислово важливе значення.
автореферат, добавлен 01.08.2014Критична інвентаризація видів роду Primula L. флори України. Дослідження диференціації генетичних ліній на периферії. Аналіз фенотипових проявів морфологічних ознак високогірних таксонів поліморфного виду. Особливості онтоморфогенезу видів роду.
автореферат, добавлен 31.01.2014Вивчення закономірностей змін прояву кількісних ознак: теплостійкості та репродуктивної здатності дрозофіли. Зміни біоелектричних та інших інтегральних властивостей клітинних ядер, які лежать в основі реакції клітини на дію фізичних і хімічних факторів.
автореферат, добавлен 12.02.2014Обґрунтування ролі генетичних факторів у виникненні ендокринопатії затримки статевого розвитку у хлопців пубертатного віку. Доведення сімейної агрегації захворювання з накопиченням ЗСР серед родичів I рівня спорідненості особливо у осіб чоловічої статі.
автореферат, добавлен 27.07.2014Вивчення ролі генетичних факторів у формуванні затримки статевого розвитку центрального ґенезу та опсоменорєї у дівчат-підлітків, мультифакторіального типу успадкування ЗСР розрахованого рекурентного ризику захворювання спадкової обтяженості патології.
автореферат, добавлен 15.07.2014Закономірності проходження процесів елювіальної деградації та їх впливу на формування типу профілю. Визначення морфолого-генетичних ознак дерново-підзолистих і буроземно-підзолистих ґрунтів. Специфіка проходження в ґрунтах опідзолення і лесиважу.
статья, добавлен 26.05.2022Вивчення на модельних об’єктах Bombyx mori L. i Drosophila melanogaster Meig. генетичних відмінностей в мінливості ряду кількісних ознак під впливом мікрохвильового опромінення і температури та змін біоелектричних властивостей клітинних ядер об’єктів.
автореферат, добавлен 20.04.2014Поняття мітозу і його біологічна роль забезпечення ідентичною генетичною інформацією двох дочірніх клітин шляхом компактизації–декомпактизації хромосом. Опис ендомітозу, політенії, мейозу. Цитогенитичні аномалії. Каріотипи свійських тварин. Фази мітозу.
презентация, добавлен 28.12.2013- 41. Генетичний контроль стійкості актиноміцетів до антибіотиків та його роль у біосинтезі антибіотиків
Генно-інженерні підходи до створення штамів. Генетичний контроль стійкості до антибіотиків та його вплив на антибіотикоутворення в актиноміцетів – продуцентів полікетидів. Клонування і вивчення кластера генів біосинтезу ландоміцину Е S. globisporus.
автореферат, добавлен 27.07.2014 Визначення генетичних параметрів і характеру успадкування кількісних ознак. Вивчення генотипового варіювання і коефіцієнтів кореляції кількісних ознак у колекції озимого тритикале. Встановлення внеску у зернову продуктивність рослини окремих її елементів.
автореферат, добавлен 12.07.2014Дослідження ефектів пшенично-житньої транслокації 1AL/1RS на показники якості у рекомбінантних ліній пшениці м’якої озимої. Огляд генетичних факторів часткової компенсації негативного впливу на хлібопекарські властивості борошна житніх білків секалінів.
статья, добавлен 29.09.2016Визначення генетичної приналежності двох нових крилових мутацій G1 та 42 у D. virilis та їх детальна характеристика на молекулярному та фенотиповому рівнях. Встановлення типу спадкування мутацій та їх розташування в локусі. Фенотиповий прояв обох мутацій.
автореферат, добавлен 29.08.2015Використання мікросателітного, кластерного та координатного аналізів для дослідження мідій Балтійського та Північного морів. Спостереження генетичних змін і дефіциту гетерозигот між угрупуваннями з різних локацій Північно-Західного регіону Чорного моря.
статья, добавлен 26.03.2024Вплив зміни клімату на рівень шкодо чинності хвороб рослин. Вивчення вірусів рослин озимої пшениці та сої, їхньої урожайності в умовах інфікування вірусами та змін клімату. Дослідження молекулярно-генетичних властивостей ізоляту вірусу мозаїки сої.
статья, добавлен 20.09.2020Методи молекулярно-генетичного аналізу на основі полімеразної ланцюгової реакції як ефективний інструмент дослідження генетичного різноманіття рослин. Порівняння та вибір ПЛР-маркерів для оцінки генетичних показників інформативності тирличу жовтого.
статья, добавлен 14.09.2016Аналіз взаємозв’язку екологічної пластичності та загальної пристосованості генотипу до умов кліматичної зони. Оцінка генетичних параметрів господарсько-корисних ознак озимих пшениці й тритикале та їх стабільності у різноманітних умовах середовища.
автореферат, добавлен 30.10.2015Прискорення селекційної роботи з породами великої рогатої худоби молочного напрямку продуктивності в Україні. Використання молекулярно-генетичних маркерів та картування на хромосомах великої рогатої худоби головних генів молочної продуктивності.
реферат, добавлен 06.06.2013Вивчення впливу двох коротких одноланцюгових фрагментів ДНК-вірусу на життєздатність гусениць непарного шовкопряда. Розробка генетичного підходу до боротьби з непарним шовкопрядом. Аналіз генетичних маркерів трансоваріальної передачі ядерного поліедрозу.
автореферат, добавлен 30.07.2015