244 results on '"Návrat, Pavol"'
Search Results
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
194. Towards Variability Modelling for Reuse in Hypermedia Engineering
195. Spatio-Temporal Geographic Information Systems: A Causal Perspective
196. Complex Temporal Patterns Detection over Continuous Data Streams
197. Towards an Exhaustive Set of Rewriting Rules for XQuery Optimization: BizQuery Experience
198. Accommodating Changes in Semistructured Databases Using Multidimensional OEM
199. Architecture of a Blended-Query and Result-Visualization Mechanism for Web-Accessible Databases and Associated Implementation Issues
200. A Meta Model for Structured Workflows Supporting Workflow Transformations
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.