Wyniki wyszukiwania

51. Filozoficzno-logiczne podstawy przyczynowości mechanicystycznej

Kierownik: dr Michał Oleksowicz

Uniwersytet Mikołaja Kopernika

Konkurs: SONATINA 8, panel: HS1

52. Logiczne i epistemologiczne kryteria istotności w podstawach matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: SONATA BIS 12, panel: HS1

53. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 23, panel: ST6

54. Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Kierownik: prof. Tomasz Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 22, panel: HS1

55. Logiczne operacje w spinowo-spolaryzowanych kondensatach półmagnetycznych polarytonów ekscytonowych

Kierownik: Rafał Wiesław Mirek

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: PRELUDIUM 17, panel: ST3

56. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6

57. Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 15, panel: HS1

58. Zastosowania logiki z funcjami częściowymi

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 9, panel: ST6

59. Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Kierownik: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konkurs: OPUS 9, panel: HS1

60. LTCC - strategia kierowania i protekcji ruchu w sieciach telekomunikacyjnych ze zmienną przepływnością łączy oparta na s…

Kierownik: prof. Michał Paweł Pióro

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Konkurs: OPUS 9, panel: ST7

61. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: MAESTRO 6, panel: ST6

62. Organizacyjne sposoby radzenia sobie z napięciem między ekonomią daru a logiką rynkową na podstawie przykładu sieci Couc…

Kierownik: Karolina Joanna Mikołajewska-Zając

Akademia Leona Koźmińskiego

Konkurs: PRELUDIUM 5, panel: HS4

63. Logika ciągła i jej algebraiczne zastosowania

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 1, panel: ST1

64. Czy prawda jest pojęciem niewinnym? Filozoficzno-logiczna analiza deflacjonizmu

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: OPUS 1, panel: HS1

65. Logiczno-filozoficzne podstawy geometrii i topologii

Kierownik: dr hab. Rafał Gruszczyński

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Konkurs: OPUS 20, panel: HS1

66. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 12, panel: ST6

67. Modelowanie rozumowań abdukcyjnych

Kierownik: dr hab. Mariusz Paweł Urbański

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konkurs: SONATA BIS 3, panel: HS1

68. Elastyczne algorytmy problemu rozmieszczania obiektów w zarządzaniu produkcją i logistyce

Kierownik: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Konkurs: OPUS 2, panel: HS4

69. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

70. Miary złożoności strukturalnej dla teorii podstaw matematyki

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Konkurs: WEAVE-UNISONO, panel: HS1

71. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

72. Roberta Halifaxa koncepcja woli i jej wpływ na woluntaryzm wiedeński w piętnastym wieku

Kierownik: dr hab. Monika Izabela Michałowska

Uniwersytet Medyczny w Łodzi

Konkurs: WEAVE-UNISONO, panel: HS1

73. Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Konkurs: OPUS 26, panel: HS1

74. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 18, panel: ST6

75. Skończenie stanowe obliczenia wielomianowe

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: MAESTRO 14, panel: ST6

76. Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych

Kierownik: dr Mateusz Michał Szatkowski

Politechnika Wrocławska

Konkurs: OPUS 23, panel: ST7

77. Argumentacje transcendentalne. Modele i zastosowania

Kierownik: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: PRELUDIUM 21, panel: HS1

78. Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

Kierownik: dr Marcin Lech Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: SONATA 16, panel: HS1

79. Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Kierownik: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: OPUS 20, panel: HS1

80. Wnioskowanie ilościowe odporne na perturbacje

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

81. Czas, prawda i modalność

Kierownik: dr Jacek Marcin Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: SONATA 16, panel: HS1

82. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 19, panel: ST6

83. Inteligentne podejścia do rozmieszczania obiektów w zarządzaniu, produkcji i logistyce

Kierownik: dr hab. Rafał Michalski

Politechnika Wrocławska

Konkurs: OPUS 18, panel: HS4

84. Nieskończoność we wnioskowaniu o danych i wiedzy

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 8, panel: ST6

85. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 15, panel: ST6

86. Badania metod intensyfikacji procesów sorpcyjnych w modyfikowanych konstrukcjach złóż adsorpcyjnych

Kierownik: prof. Jarosław Marek Krzywański

Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

Konkurs: OPUS 15, panel: ST8

87. Efektywne obliczenia w predykatywnej matematyce

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATINA 2, panel: ST6

88. Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz…

Kierownik: Paweł Pawłowski

Uniwersytet Gdański, Wydział Nauk Społecznych

Konkurs: SONATINA 2, panel: HS1

89. Semantyka substancjalna dla języka normatywnego (na przykładzie analizy znaczenia zdań z "powinien")

Kierownik: dr Joanna Magdalena Klimczyk

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Konkurs: OPUS 12, panel: HS1

90. Pojęciowe, formalne i praktyczne aspekty kryminologicznych i prawniczych zastosowań narzędzi probabilistycznych.

Kierownik: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Konkurs: SONATA BIS 6, panel: HS1

91. Problem separacji w teorii automatów

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 11, panel: ST6

92. Metody parafrazy w sporach ontologicznych. Analiza poglądów R. Carnapa, K. Ajdukiewicza i W. V Quine'a

Kierownik: Artur Gerard Kosecki

Uniwersytet Szczeciński, Wydział Humanistyczny

Konkurs: PRELUDIUM 11, panel: HS1

93. Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Konkurs: SONATA 10, panel: ST6

94. Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

Kierownik: dr hab. Michał Krzysztof Baczyński

UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych

Konkurs: OPUS 10, panel: ST6

95. Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Konkurs: OPUS 9, panel: HS1

96. Model migracji pustki w górotworze naruszonym, generującej deformacje nieciągłe na powierzchni terenu

Kierownik: dr Agnieszka Malinowska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

Konkurs: OPUS 8, panel: ST10

97. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Kierownik: Agnieszka Małgorzata Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Konkurs: PRELUDIUM 8, panel: ST6

98. Metody wnioskowania o programach w językach wyższego rzędu

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 8, panel: ST6

99. Permissions, Information and Institutional Dynamics, Obligations, and Rights

Kierownik: dr hab. Piotr Wojciech Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Konkurs: BEETHOVEN 1, panel: HS1

100. Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 7, panel: ST1

Wyszukiwarka projektów