Projects search

• Keywords: informatyka ×

Change search criteria ↓

Search results

1 512 projects found matching your search criteria:

101. 101. Efficient algorithms and conditional lower bounds for problems on trees

     Principal investigator: Bartłomiej Dudek

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 14, Panel: ST6

102. 102. Automatic analysis of concurrent systems

     Principal investigator: prof. Sławomir Grzegorz Lasota

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 14, Panel: ST6

103. 103. Quantitative specifications: learning, algorithms and applications

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 14, Panel: ST6

104. 104. Around optimality of dynamic programming algorithms

     Principal investigator: dr Adam Polak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 14, Panel: ST6

105. 105. Understanding recursion

     Principal investigator: dr Lorenzo Clemente

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

106. 106. Robust optimization algorithms for problems with uncertain data

     Principal investigator: dr Maciej Drwal

     Politechnika Wrocławska

     Call: SONATA 13, Panel: ST6

107. 107. Dynamic graphs; connectivity, flows and coloring.

     Principal investigator: dr Anna Zych-Pawlewicz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 13, Panel: ST6

108. 108. Aspects of grammar compression

     Principal investigator: dr hab. Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA BIS 7, Panel: ST6

109. 109. Discrete optimization problems under uncertainty - models and algorithms

     Principal investigator: prof. Paweł Zieliński

     Politechnika Wrocławska

     Call: OPUS 13, Panel: ST6

110. 110. Design of Distributed Algorithms in Highly Congested Networks

     Principal investigator: prof. Tomasz Jurdziński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 13, Panel: ST6

111. 111. Algebraic Effects and Continuations

     Principal investigator: dr Maciej Adam Piróg

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: POLONEZ 3, Panel: ST6

112. 112. Scalable reasoning about concurrent imperative programs

     Principal investigator: dr Filip Sieczkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 12, Panel: ST6

113. 113. One Step From the Relational Model. A Couple of Database Theory Puzzles.

     Principal investigator: prof. Jerzy Marcinkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 12, Panel: ST6

114. 114. Entropy in complex networks

     Principal investigator: dr hab. Mikołaj Aleksander Morzy

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: OPUS 12, Panel: ST6

115. 115. Online learning algorithms for complex prediction problems

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

     Call: SONATA BIS 6, Panel: ST6

116. 116. Quantitative properties for higher-order recursion schemes

     Principal investigator: dr hab. Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 6, Panel: ST6

117. 117. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

     Principal investigator: dr hab. Piotr Faliszewski

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

     Call: OPUS 11, Panel: ST6

118. 118. Limits of Databases

     Principal investigator: dr Szymon Abram Toruńczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

119. 119. Separability problem in automata theory

     Principal investigator: dr Wojciech Karol Czerwiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 11, Panel: ST6

120. 120. 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

121. 121. 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

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

     Principal investigator: Marcin Wrochna

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

123. 123. Approximation algorithms under data uncertainty

     Principal investigator: Michał Włodarczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 11, Panel: ST6

124. 124. 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

125. 125. 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

126. 126. Algorithmic Structure Theory for Sparse Graphs

     Principal investigator: Dipl. Inform. Sebastian Siebertz

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: POLONEZ 1, Panel: ST6

127. 127. 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

128. 128. 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

129. 129. 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

130. 130. Algorithmic aspects of synchronization

     Principal investigator: dr Adam Roman

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

131. 131. 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

132. 132. Stoping methods in analysis of chosen algorithms

     Principal investigator: prof. Michał Aleksander Morayne

     Politechnika Wrocławska

     Call: OPUS 9, Panel: ST6

133. 133. 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

134. 134. 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

135. 135. 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

136. 136. Weighted automata for quantitative properties

     Principal investigator: dr Jan Otop

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

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

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 8, Panel: ST6

138. 138. Logics for data analysis and verification

     Principal investigator: dr Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 8, Panel: ST6

139. 139. 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

140. 140. 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

141. 141. Languages and Learning in General Game Playing

     Principal investigator: Jakub Kowalski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 7, Panel: ST6

142. 142. Complexity of algorithms on compressed data

     Principal investigator: prof. Wojciech Rytter

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 7, Panel: ST6

143. 143. Specification development and software verification

     Principal investigator: prof. Andrzej Tarlecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 6, Panel: ST6

144. 144. Online learning of matrices

     Principal investigator: dr Wojciech Kotłowski

     Politechnika Poznańska, Wydział Informatyki

     Call: SONATA 6, Panel: ST6

145. 145. Challenges in semistructural data management

     Principal investigator: dr Filip Marek Murlak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 6, Panel: ST6

146. 146. 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

147. 147. 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

148. 148. Frontiers of tractability for recursive queries

     Principal investigator: dr Filip Aleksander Mazowiecki

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 5, Panel: ST6

149. 149. 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

150. 150. 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