• Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size
  •  
  •  
  •  
  •  
  •  
  •  

seminarium

22.05.2014 r. - mgr Miłosz Gruchała

Implementacja bramek logicznych za pomocą DNA.

13.03.2014 r. - mgr Tomasz Rodzeń

Biomolekularna implementacja Tag-systemów.

27.02.2014 r. - Prof. dr hab. Tadeusz Krasiński

Analiza autonomicznego biomolekularnego automatu skończonego.

16.01.2014 r. - mgr Tomasz Rodzeń

Implementacja maszyny Turing przy użyciu Tag-systemu.

12.12.2013 r. - mgr Marek Rogalski

Algorytm generowania ciągów de Bruijna.

5.12.2013 r. - mgr Łukasz Rogowski

Prawa dedukcji we wnioskowaniu za pomocą DNA - kontynuacja referatu.

28.11.2013 r. - dr Jacek Waldmajer

Dwa typy biomolekularnych automatów bazujących na DNA i pewne ich własności.

Referat wygłosi dr Jacek Waldmajer z  Grupy Logiki, Języka i Informacji Uniwersytetu Opolskiego.

21.11.2013 r. - mgr Łukasz Rogowski

Prawa dedukcji we wnioskowaniu za pomocą DNA.

07.11.2013 r. - mgr Tomasz Rodzeń

Maszyna URM. Definicje, twierdzenia, programy.

17.10.2013 r. - Spotkanie organizacyjne

Dnia 17 października 2013 r. o godzinie 14.15 w sali A307 Wydziału Matematyki i Informatyki Uniwersytetu Łódzkiego odbędzie się spotkanie organizacyjne seminarium "Komputery biomolekularne".

06.06.2013 r. - mgr Tomasz Rodzeń

Systemy reakcyjne.

16.05.2013 r. - mgr Mariusz Kubiński

Algorytmy wzrostu.

18.04.2013 r. - mgr Marek Rogalski

Implementacja automatów ze stosem za pomocą systemów reakcyjnych.

04.04.2013 r. - mgr Łukasz Rogowski

Technika przemieszczania nici DNA a operacje logiczne.

21.03.2013 r. - mgr Marek Rogalski

Implementacja automatów skończonych za pomocą systemów reakcyjnych.

14.03.2013 r. - mgr inż. Artur Męski

Weryfikacja temporalnych własności systemów reakcyjnych.

28.02.2013 r. - prof. dr hab. T. Krasiński

Wprowadzenie do systemów reakcyjnych.

21.02.2013 r. - mgr Tomasz Rodzeń

Biomolekularna implementacja Tag systemów.

20.12.2012 r. - mgr Łukasz Rogowski

Prawa de Morgana i reguła kontrapozycji we wnioskowaniu logicznym za pomocą DNA.

13.12.2012 r. - mgr Tomasz Rodzeń

Kontynuacja referatu:

Złożoność obliczeniowa automatu Benensona.

06.12.2012 r. - mgr Tomasz Rodzeń

Złożoność obliczeniowa automatu Benensona.

08.11.12 r. - dr Sebastian Sakowski

Biomolekularny automat Shapiro i jego zastosowanie.

25.10.2012 r. - prof. dr hab. T. Krasiński

Wprowadzenie do obliczeń DNA.

11.10.2012 r. - Spotkanie organizacyjne

Dnia 11 października 2012 r. o godzinie 14.15 w sali A307 Wydziału Matematyki i Informatyki Uniwersytetu Łódzkiego odbędzie się spotkanie organizacyjne seminarium "Komputery biomolekularne".

17.05.12 r. - mgr Mariusz Kubiński

Obliczenia Równoległe w NVIDIA Cuda.

26.04.12 r. - mgr Piotr Beling

Teoria gier w informatyce.

12.04.12 r. - mgr Łukasz Rogowski

Wnioskowanie logiczne za pomocą DNA.

05.04.2012 r. - Seminarium nie odbędzie się

Przerwa świąteczna.

15.03.12 r. - mgr Łukasz Rogowski

Reguła kontrapozycji we wnioskowaniu za pomocą DNA.

19.01.12 r. - mgr Piotr Beling

Teoria gier w informatyce.

12.01.2012 r. - Seminarium nie odbędzie się

Ze względu na konferencję naukową "Geometria Analityczna i Algebraiczna" seminarium nie odbędzie się.

05.01.2012 r. - Seminarium nie odbędzie się

Seminarium odbywa się co dwa tygodnie.

22.12.2011 r. - Seminarium nie odbędzie się

Seminarium odbywa się co dwa tygodnie.

15.12.11 r. - dr Sebastian Sakowski

Automat ze stosem zbudowany z DNA.

08.12.2011 r. - Seminarium nie odbędzie się

Seminarium odbywa się co dwa tygodnie.

01.12.2011 r. - prof. dr hab. T. Krasiński

Wnioskowania logiczne w teorii zdań w świetle implementacji biomolekularnych.

17.11.2011 r. - prof. dr hab. T. Krasiński

Teoretyczne podstawy obliczeń - kontynuacja referatu.

10.11.2011 r. - prof. dr hab. T. Krasiński

Teoretyczne podstawy obliczeń.

3.11.2011 r. - mgr Artur Męski

Sala D103 Wydziału Matematyki i Informatyki UŁ

Ograniczona weryfikacja modelowa dla epistemiczno-temporalnych własności systemów wieloagentowych. Podejście z wykorzystaniem diagramów decyzyjnych.

27.10.11 r. - mgr Łukasz Rogowski

Kontynuacja referatu:

Implementacje systemów logicznych za pomocą DNA - koncepcje i pomysły rozbudowy

20.10.11 r. - mgr Łukasz Rogowski

Implementacje systemów logicznych za pomocą DNA - koncepcje i pomysły rozbudowy

13.10.2011 r. - Spotkanie organizacyjne

Dnia 13 października 2011 r. o godzinie 14.15 w sali A307 Wydziału Matematyki i Informatyki Uniwersytetu Łódzkiego odbędzie się spotkanie organizacyjne seminarium "Komputery biomolekularne".

02.06.11 r. - dr Sebastian Sakowski

Modelowanie procesów za pomocą sieci Petriego.

12.05.2011 r. - mgr inż. Marek Malinowski

Tytuł referatu:

Badanie struktur problemu SAT w aspekcie sieci logicznych.

Referat wygłosi Pan mgr inż. Marek Malinowski z Politechniki Warszawskiej.

04.05.2011 r. - mgr inż. Aleksander Kamchyts

Sieci Petriego za pomocą DNA.

21.04.2011 r. - mgr inż. Aleksander Kamchyts

Sieci Petriego za pomocą DNA.

14.04.11 r. - prof. dr hab. T. Krasiński

Analiza możliwości rozszerzania automatu Shapiro.

07.04.11 r. - mgr Piotr Beling

Realizacja gry w pokera za pomocą łańcuchów DNA.

31.03.11 r. - mgr Sebastian Sakowski

Rozszerzenie biomolekularnego automatu Shapiro. Prezentacja wyników rozprawy doktorskiej.

24.03.11 r. - mgr Mariusz Kubiński

Dyfuzja anizotropowa w przetwarzaniu obrazu.

Więcej artykułów…