Search

Your search keyword '"Návrat, Pavol"' showing total 244 results

Search Constraints

Start Over You searched for: Author "Návrat, Pavol" Remove constraint Author: "Návrat, Pavol"
244 results on '"Návrat, Pavol"'

Search Results

151. Quantum Walks with Multiple or Moving Marked Locations

152. Geometric Rates of Approximation by Neural Networks

153. Quantum Walks: A Markovian Perspective

154. Computing Longest Common Substring and All Palindromes from Compressed Strings

155. Untangling a Planar Graph

156. Verifying Parameterized taDOM+ Lock Managers

157. Improved Bounds for Range Mode and Range Median Queries

158. Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata

159. Slicing Petri Nets with an Application to Workflow Verification

160. An Automata Theoretic Approach to Rational Tree Relations

161. Mortality Problem for 2×2 Integer Matrices

162. Element Distinctness and Sorting on One-Tape Off-Line Turing Machines

163. Basic Sets in the Digital Plane

164. Algebraic Optimization of Relational Queries with Various Kinds of Preferences

165. Certification of Proving Termination of Term Rewriting by Matrix Interpretations

166. A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns

167. Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets

168. Energy-Efficient Windows Scheduling

169. How Much Information about the Future Is Needed?

170. On Compiling Structured Interactive Programs with Registers and Voices

171. Optimal Orientation On-Line

172. Periodic and Infinite Traces in Matrix Semigroups

173. Assisted Problem Solving and Decompositions of Finite Automata

174. Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality

175. The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring

176. From Asynchronous to Synchronous Specifications for Distributed Program Synthesis

177. Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers

178. An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points

179. On Reachability Games of Ordinal Length

180. A Useful Bounded Resource Functional Language

181. Exact OBDD Bounds for Some Fundamental Functions : (Extended Abstract)

182. Recursive Domain Equations of Filter Models

183. Algorithmic Problems for Metrics on Permutation Groups

184. Trusted Computing — Special Aspects and Challenges

185. Remote Entrusting by Run-Time Software Authentication

186. Social Information Access: The Other Side of the Social Web

187. Describing Self-assembly of Nanostructures

188. On the Hardness of Reoptimization

189. On the Undecidability of the Tiling Problem

190. Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa

191. Quantum Random Walks – New Method for Designing Quantum Algorithms

192. Designing Adaptive Web Applications

193. Optimizing Winning Strategies in Regular Infinite Games

Catalog

Books, media, physical & digital resources