Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціональними символами
Приклад приведення двох термів з одномісними функціональними символами у середовищі лямбда-алгебри. Генетичний алгоритм із використанням спеціальних метрик як альтернативний спосіб ефективного знаходження уніфікатора. Проблематика задачі уніфікації.
Подобные документы
Розбіжності у статевій поведінці особин двох інбредних ліній дикого типу D. melanogaster та ряду аутбредних ліній з морфологічною мутацією у хромосомі. Зв’язок ознак статевої поведінки між собою. Проведення гібридологічного аналізу ліній дрозофіли.
автореферат, добавлен 26.02.2015Особливості впливу наночастинок металів на генетичний апарат живої клітини, їх актуальність сучасної нанобіотехнології. Популярність позахромосомних факторів спадковості – плазмід, як експериментальних моделей. Методи лазерно-кореляційної спектрометрії.
статья, добавлен 28.08.2016Генетичний моніторинг пологових стаціонарів м. Івано-Франківська, м. Калуша, Снятинської, Городенківської та Верховинської центральних районних лікарень. Вікові та статеві зміни спадкового апарату, зумовлені відмінностями цитологічних показників.
автореферат, добавлен 15.11.2013- 54. Розширення генетичного різноманіття у соняшнику під впливом мутагену на незрілі зародки та насіння
Визначення ефективності обробки мутагеном незрілих зародків соняшнику у плані збільшення генетичної різноманітності цієї культури. Дослідження частоти мутацій після обробки етилметансульфонатом незрілих зародків та зрілого насіння двох ліній соняшнику.
статья, добавлен 29.09.2016 Нуклеїнові кислоти як лінійні нерозгалужені етерополімерів, мономерами яких є нуклеотиди, пов'язані фосфодиэфирными зв'язками. Основні етапи біосинтезу білків. Генетичний код, його основні властивості. Регуляція експресії генів. Реакція матричного типу.
курсовая работа, добавлен 02.02.2014- 56. Нові для флори України таксони наземних ціанобактерій, вивчені з використанням комплексного підходу
Особливість знаходження морфотипів нитчастих ціанобактерій. Аналіз р-відстаней, нуклеотидної послідовності ділянки 16S-23S ITS і вторинної структури найбільш інформативних її спіралей. Описи нових для України видів, ілюстрованих мікрофотографіями.
статья, добавлен 31.01.2024 Характеристика молекулярно-генетичних досліджень геному холерних вібріонів, виділених в Україні в різні роки при різних епідемічних ситуаціях для підтвердження характеру мінливості вібріону та ролі генетичних досліджень в еволюції його патогенності.
статья, добавлен 24.06.2016Спосіб одержання і застосування біотехнології нейстонних біопрепаратів флотаційним методом селекції клітин бактерій з підвищеними гідрофобними властивостями. Застосування нейстонної форми Bac megaterium 1BD для очищення води від нафтових забруднень.
автореферат, добавлен 21.11.2013Встановлення молекулярно-генетичного поліморфізму роду Beta L на між- і внутрішньовидовому рівні. Характеристика особливостей проведення оцінки алельного стану мікросателітних локусів для ідентифікації ліній цукрових буряків селекції ІЦБ НААН України.
автореферат, добавлен 20.07.2015Вивчення прояву й успадкування ознаки тетраостості при рівнохромосомних генетично сумісних схрещуваннях персидської пшениці з твердою. Встановлення впливу на прояв ознаки тетраостості з боку генотипного складника та чинників навколишнього середовища.
статья, добавлен 27.03.2016- 61. Основи біології
Хромосомна теорія спадковості. Рівні організації живого. Основи молекулярної генетики. Біологічні основи паразитизму. Генетичний код, його властивості. Будова статевих клітин. Закономірності спадковості та мінливості. Теорія еволюції органічного світу.
учебное пособие, добавлен 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Особливість використання продуктів переробки генетично модифікованих організмів. Характеристика застосування гамма-опромінення. Ввезення на територію України генномодифікованого насіння. Досягнення високої врожайності без використання ГМ-технологій.
реферат, добавлен 12.05.2022Популяційно-генетичні дослідження в Українських Карпатах ялиці білої (Abies alba Mill.) з використанням ізоферментів як молекулярно-генетичних маркерів. Розгляд особливостей зчеплення алозимних локусів. Показники генетичного поліморфізму для ялиці білої.
автореферат, добавлен 05.08.2014Кількісні та часові параметри синтезу інтерферону клітинами-продуцентами під дією контактів з гранулами іммобілізованого молекулярного комплексу в середовищі культивування. Визначення вмісту іммобілізованих рибополінуклеотидів в індукторних системах.
автореферат, добавлен 29.09.2015Методи створення генетично модифікованих організмів (ГМО). Використання біотехнологічних методів на сучасному етапі розвитку людства. Основні етапи процедури отримання ГМО. Напрямки медичної біотехнології. Аналіз переваг та ризиків використання ГМО.
курсовая работа, добавлен 28.12.2016Створення молекулярно-генетичних тест-систем для ранньої детекції збудників вірусу лейкозу у сільськогосподарських тварин та детекції статі їхніх преімплантаційних ембріонів. Основні критерії оцінки тест-систем для полімеразної ланцюгової реакції.
автореферат, добавлен 07.03.2014Методи газохроматографічного визначення летких N-нітрозаміни в атмосферному повітрі з використанням апаратури. Порядок встановлення кількісних залежностей екзогенного і ендогенного синтезу. Оцінка канцерогенної небезпеки комбінованої дії попередників.
автореферат, добавлен 05.01.2014Поняття та особливості генетично модифікованих організмів (ГМО). Процес введення генетичної конструкції до рослини. ГМО як вихід з скрутного становища людства. Позитивні сторони застосування генетичної модифікації. Біологічні ризики, пов’язані з ГМО.
реферат, добавлен 05.12.2010