ŠŤASTNÝ, J., PROCHÁZKA, D., KOUBEK, T., LANDA, J.: Augmented reality usage for prototyping speed up. Acta univ. agric. et silvic. Mendel. Brun., 2011, LIX, No. 2, pp. 353–360 The integral part of production process in many companies is prototyping. Although, these companies commonly have high quality visualization tools (large screen projections, virtual reality), prototyping was never abandone...

A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for them [2, 3]. In this paper we lift this result into type-2 computation under the notion of our type2 complexity theory depicted in [15, 13, 14]. While the speed-up phenomenon is essentially inherited from type-1 computation, w...

By regulating the expression of key microRNA molecules, sugar levels in leaves control the transition from the juvenile to the adult form in plants.

We achieve a quantum speed-up of fully polynomial randomized approximation schemes (FPRAS) for estimating partition functions that combine simulated annealing with the Monte-Carlo Markov Chain method and use non-adaptive cooling schedules. The improvement in time complexity is twofold: a quadratic reduction with respect to the spectral gap of the underlying Markov chains and a quadratic reducti...

Determining the shortest path from one node to another in a graph is probably the most popular question in graph theory. If the graph is non-negatively weighted, Dijkstra’s algorithm is the classic algorithm used to answer this question. Because of its breadth-first-search character, this algorithm usually spreads circularly around the source node of the search and hence the search space can be...

In theoretical quantum computer science, understanding where and how computational speed-ups occur while applying quantum properties is a primary goal. In this paper, we study such problem under the framework of Quantum Query Model and prove the significance of L1-norm in the simulation of a given quantum algorithm. This result is presented by upper-bounds for the quotient between optimal class...

Synthetic microswimmers are envisioned to be useful in numerous applications, many of which occur in tightly confined spaces. It is therefore important to understand how confinement influences swimmer dynamics. Here we study the motility of bimetallic microswimmers in linear and curved channels. Our experiments show swimmer velocities increase, up to 5 times, with the degree of confinement, and...

In this paper, we propose a novel technique for post-layout delay optimization. This technique identi es the Boolean space corresponding to late arriving transitions at the outputs of delay-critical subcircuits within the given circuit. There transitions are eliminated from the outputs by implementing the corresponding logic separately and merging them with the original circuit through some con...

During the last years, several speed-up techniques for Dijkstra’s algorithm have been published that maintain the correctness of the algorithm but reduce its running time for typical instances. They are usually based on a preprocessing that annotates the graph with additional information which can be used to prune or guide the search. Timetable information in public transport is a traditional a...