Projects search

• Keywords: informatyka teoretyczna ×

Change search criteria ↓

Search results

928 projects found matching your search criteria:

101. 101. Limits of Databases

     Principal investigator: dr Szymon Abram Toruńczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

102. 102. Separability problem in automata theory

     Principal investigator: dr Wojciech Karol Czerwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

103. 103. Quantitative aspects of computational complexity in lambda calculus

     Principal investigator: dr Maciej Maria Bendkowski

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 11, Panel: ST6

104. 104. Efficient algorithms for weak forms of non-determinism

     Principal investigator: dr hab. Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

105. 105. The topology of solution spaces of combinatorial problems

     Principal investigator: Marcin Wrochna

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

106. 106. Approximation algorithms under data uncertainty

     Principal investigator: Michał Włodarczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

107. 107. Graph separation problems from the perspective of parameterized complexity.

     Principal investigator: Paweł Komosa

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 10, Panel: ST6

108. 108. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Instytut Informatyki

     Call: SONATA 10, Panel: ST6

109. 109. Algorithmic Structure Theory for Sparse Graphs

     Principal investigator: Dipl. Inform. Sebastian Siebertz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: POLONEZ 1, Panel: ST6

110. 110. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA BIS 5, Panel: ST6

111. 111. Finding Applications for Logic with Partial Functions

     Principal investigator: dr hab. Jean Marie de Nivelle

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

112. 112. Immune and efficient protocols for distributed systems of constrained devices

     Principal investigator: dr hab. Marek Dariusz Klonowski

     Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

     Call: OPUS 9, Panel: ST6

113. 113. Algorithmic aspects of synchronization

     Principal investigator: dr Adam Roman

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

114. 114. Application of modern algorithmic methods for solving NP-hard clustering problems.

     Principal investigator: Krzysztof Sornat

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 9, Panel: ST6

115. 115. Stoping methods in analysis of chosen algorithms

     Principal investigator: prof. Michał Aleksander Morayne

     Politechnika Wrocławska

     Call: OPUS 9, Panel: ST6

116. 116. Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

     Principal investigator: dr Marcin Orchel

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

     Call: SONATA 9, Panel: ST6

117. 117. Compression, logic, formal langauges: new approaches unifying different areas.

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

118. 118. Selected SMT-based model checking methods

     Principal investigator: Agnieszka Małgorzata Zbrzezny

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

     Call: PRELUDIUM 8, Panel: ST6

119. 119. Weighted automata for quantitative properties

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

120. 120. Reasoning about programs in higher-order languages

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

121. 121. Logics for data analysis and verification

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

122. 122. Communication Problems in Wireless Sensor Networks

     Principal investigator: Michał Andrzej Różański

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

123. 123. Algebraic theory for CSP (tractability, approximation and optimization)

     Principal investigator: dr hab. Marcin Andrzej Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 7, Panel: ST6

124. 124. Languages and Learning in General Game Playing

     Principal investigator: Jakub Kowalski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

125. 125. Complexity of algorithms on compressed data

     Principal investigator: prof. Wojciech Rytter

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

126. 126. Specification development and software verification

     Principal investigator: prof. Andrzej Tarlecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 6, Panel: ST6

127. 127. Online learning of matrices

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki

     Call: SONATA 6, Panel: ST6

128. 128. Challenges in semistructural data management

     Principal investigator: dr Filip Marek Murlak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 6, Panel: ST6

129. 129. New methods of comprehensive analysis of concurrent computing systems

     Principal investigator: dr Łukasz Mikulski

     Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

     Call: SONATA 5, Panel: ST6

130. 130. Combinatorial and information theory aspects of communication in distributed systems.

     Principal investigator: dr Marcin Kardas

     Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

     Call: PRELUDIUM 5, Panel: ST6

131. 131. Frontiers of tractability for recursive queries

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 5, Panel: ST6

132. 132. Frontiers of automatic verification: new methods of analysis of infinite-state systems

     Principal investigator: dr hab. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 5, Panel: ST6

133. 133. Algorithms for robust discrete optimization

     Principal investigator: dr hab. Adam Andrzej Kasperski

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

     Call: OPUS 5, Panel: ST6

134. 134. The BDD/FC Conjecture and beyond

     Principal investigator: Tomasz Mirosław Gogacz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 5, Panel: ST6

135. 135. New methods in parametric model checking

     Principal investigator: Michał Józef Knapik

     Instytut Podstaw Informatyki PAN

     Call: PRELUDIUM 4, Panel: ST6

136. 136. LP rounding approximation algorithms

     Principal investigator: Bartosz Michał Rybicki

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

137. 137. Algorithms concerning the legibility of natural deduction proofs

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

138. 138. A new notion of finiteness in computation theory

     Principal investigator: dr hab. Mikołaj Bojańczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

139. 139. Modular operational semantics: a bialgebraic approach

     Principal investigator: dr hab. Bartosz Klin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 2, Panel: ST6

140. 140. Automatisation of constructive logic

     Principal investigator: dr hab. Aleksy Andrzej Schubert

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

141. 141. parameters of finite models

     Principal investigator: dr Eryk Kopczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

142. 142. Limits of decidability in automata theory

     Principal investigator: dr Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

143. 143. Distributed Computing in Dynamic Networks

     Principal investigator: dr hab. Tomasz Jurdziński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: HARMONIA 3, Panel: ST6

144. 144. Simulation and bisimulation for context-free and pushdown systems

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

145. 145. Hierarchy-type Problems for Automata on Infinite Words and Trees

     Principal investigator: dr Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

146. 146. Business process discovery methods and process calculus for RESTful systems.

     Principal investigator: Andrzej Marek Stroiński

     Politechnika Poznańska, Wydział Informatyki

     Call: PRELUDIUM 3, Panel: ST6

147. 147. Ramsey numbers containing C_4

     Principal investigator: Janusz Dybizbański

     Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

     Call: PRELUDIUM 3, Panel: ST6

148. 148. Structure theory for posets

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: UWERTURA 2, Panel: ST1

149. 149. Computable structure theory, and philosophy of mathematical structuralism

     Principal investigator: dr Dariusz Kalociński

     Instytut Podstaw Informatyki PAN

     Call: OPUS 25, Panel: HS1

150. 150. Interdisciplinary applications of random matrix theory

     Principal investigator: prof. Maciej Andrzej Nowak

     Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

     Call: MAESTRO 1, Panel: ST1