Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.
Подобные документы
Ідентифікація біфідобактерій на видовому рівні в широкому спектрі фенотипових ознак з використанням сучасних мікробіологічних і молекулярно-генетичних методів. Стимуляція антагоністичної і адгезивної активності біфідобактерій в присутності лактулози.
автореферат, добавлен 28.12.2015Аналіз таксономічного положення штамів ентерококів з позиції сучасної систематики з використанням мікробіологічних, молекулярно-генетичних і хемотаксономічних методів. Дослідження адгезивних властивостей бактерій на клітинах букального епітелію людини.
автореферат, добавлен 26.09.2015Розбіжності у статевій поведінці особин двох інбредних ліній дикого типу D. melanogaster та ряду аутбредних ліній з морфологічною мутацією у хромосомі. Зв’язок ознак статевої поведінки між собою. Проведення гібридологічного аналізу ліній дрозофіли.
автореферат, добавлен 26.02.2015Особливості впливу наночастинок металів на генетичний апарат живої клітини, їх актуальність сучасної нанобіотехнології. Популярність позахромосомних факторів спадковості – плазмід, як експериментальних моделей. Методи лазерно-кореляційної спектрометрії.
статья, добавлен 28.08.2016Генетичний моніторинг пологових стаціонарів м. Івано-Франківська, м. Калуша, Снятинської, Городенківської та Верховинської центральних районних лікарень. Вікові та статеві зміни спадкового апарату, зумовлені відмінностями цитологічних показників.
автореферат, добавлен 15.11.2013- 56. Розширення генетичного різноманіття у соняшнику під впливом мутагену на незрілі зародки та насіння
Визначення ефективності обробки мутагеном незрілих зародків соняшнику у плані збільшення генетичної різноманітності цієї культури. Дослідження частоти мутацій після обробки етилметансульфонатом незрілих зародків та зрілого насіння двох ліній соняшнику.
статья, добавлен 29.09.2016 Проведення цитогенетичних досліджень клітин периферичної крові та/або кісткового мозку. Особливість встановлення наявності деяких генетичних аномалій за допомогою молекулярно-генетичних методів (FISH). Аналіз диференціально-зафарбованих хромосом.
статья, добавлен 26.09.2024Нуклеїнові кислоти як лінійні нерозгалужені етерополімерів, мономерами яких є нуклеотиди, пов'язані фосфодиэфирными зв'язками. Основні етапи біосинтезу білків. Генетичний код, його основні властивості. Регуляція експресії генів. Реакція матричного типу.
курсовая работа, добавлен 02.02.2014- 59. Нові для флори України таксони наземних ціанобактерій, вивчені з використанням комплексного підходу
Особливість знаходження морфотипів нитчастих ціанобактерій. Аналіз р-відстаней, нуклеотидної послідовності ділянки 16S-23S ITS і вторинної структури найбільш інформативних її спіралей. Описи нових для України видів, ілюстрованих мікрофотографіями.
статья, добавлен 31.01.2024 Характеристика молекулярно-генетичних досліджень геному холерних вібріонів, виділених в Україні в різні роки при різних епідемічних ситуаціях для підтвердження характеру мінливості вібріону та ролі генетичних досліджень в еволюції його патогенності.
статья, добавлен 24.06.2016Встановлення молекулярно-генетичного поліморфізму роду Beta L на між- і внутрішньовидовому рівні. Характеристика особливостей проведення оцінки алельного стану мікросателітних локусів для ідентифікації ліній цукрових буряків селекції ІЦБ НААН України.
автореферат, добавлен 20.07.2015Спосіб одержання і застосування біотехнології нейстонних біопрепаратів флотаційним методом селекції клітин бактерій з підвищеними гідрофобними властивостями. Застосування нейстонної форми Bac megaterium 1BD для очищення води від нафтових забруднень.
автореферат, добавлен 21.11.2013Вивчення прояву й успадкування ознаки тетраостості при рівнохромосомних генетично сумісних схрещуваннях персидської пшениці з твердою. Встановлення впливу на прояв ознаки тетраостості з боку генотипного складника та чинників навколишнього середовища.
статья, добавлен 27.03.2016- 64. Основи біології
Хромосомна теорія спадковості. Рівні організації живого. Основи молекулярної генетики. Біологічні основи паразитизму. Генетичний код, його властивості. Будова статевих клітин. Закономірності спадковості та мінливості. Теорія еволюції органічного світу.
учебное пособие, добавлен 13.01.2020 Дається докладний опис ознак 5 генетичних форм зелених жаб, розроблено алгоритми їх діагностики за групами ознак. Детально досліджено морфологічні аномалії у жаб різних генетичних форм і їх прояв у зонах із різним ступеням антропогенного пресингу.
автореферат, добавлен 24.06.2014Виникнення розмноження, генетичний матеріал. Біологічна роль та форми безстатевого і статевого розмноження. Особливості запліднення, переваги статевого розмноження над нестатевим. Визначення поняття "хромосома"; хромосомні набори і зміни числа хромосом.
реферат, добавлен 27.10.2013Біотехнологія як сучасна наука. Використання генетичної інженерії у різних галузях промисловості, сільського господарства та медицини (застосування для одержання багатьох цінних сполук - ферментів, гормонів, амінокислот, вітамінів, антибіотиків).
реферат, добавлен 08.02.2011Застосування клітинної інженерії для отримання штамів мікробів із заданими властивостям. Використання мікроорганізмів у харчовій промисловості. Особливості мутації прокаріот. Роль плазмід у перенесенні генетичного матеріалу. Явища спадкової мінливості.
реферат, добавлен 14.11.2019Запровадження біотехнологій у сучасному житті та науці. Біоетичні аспекти застосування досягнень біотехнології в агросфері. Екологія та сільське господарство, клітинна інженерія, клонування, використання молекулярно-генетичних маркерів у селекції.
реферат, добавлен 06.02.2011Фенотипова мінливість та успадкування репродуктивних ознак медичних п'явок. Розмір кладки та кількість нитчаток у коконі. Генетично обумовлена мінливість і адитивні взаємодії генів. Комплекс селекційних заходів підвищення ефективності розмноження п'явок.
автореферат, добавлен 25.04.2014Аналіз генотип-фенотипових кореляцій у пацієнтів з хворобою Гоше. Алгоритм лабораторного обстеження, який дозволяє проводити верифікацію діагнозу за допомогою високоінформативних біохімічних методів. Впровадження методики в практику охорони здоров’я.
автореферат, добавлен 28.09.2014Зібрано дані щодо еволюції репаративного гена MGMT у приматів а також простежено за еволюційною долею низки мобільних генетичних елементів. Зроблено висновок, що еволюція гена MGMT у приматів зазнавала різноманітних змін від набуття до втрати екзон.
статья, добавлен 22.09.2024Особливість використання продуктів переробки генетично модифікованих організмів. Характеристика застосування гамма-опромінення. Ввезення на територію України генномодифікованого насіння. Досягнення високої врожайності без використання ГМ-технологій.
реферат, добавлен 12.05.2022Популяційно-генетичні дослідження в Українських Карпатах ялиці білої (Abies alba Mill.) з використанням ізоферментів як молекулярно-генетичних маркерів. Розгляд особливостей зчеплення алозимних локусів. Показники генетичного поліморфізму для ялиці білої.
автореферат, добавлен 05.08.2014Методи створення генетично модифікованих організмів (ГМО). Використання біотехнологічних методів на сучасному етапі розвитку людства. Основні етапи процедури отримання ГМО. Напрямки медичної біотехнології. Аналіз переваг та ризиків використання ГМО.
курсовая работа, добавлен 28.12.2016