There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, we study models of timed finite state machines (TFSMs), i.e., FSMs enriched with time, which accept timed input words and generate timed output words. Here we discuss some models of TFSMs with a single clock: TFSMs wit...

We introduce the calculus of concurrent nets as an extension of the fusion calculus in which usual prefixing is replaced by arbitrary monotonic guards. Then we use this formalism to describe the prefixing policy of standard calculi as a particular form of communication. By developing a graphical syntax, we sharpen the geometric intuition and finally we provide an encoding of these guards as cau...

We introduce the calculus of concurrent nets as an extension of the fusion calculus in which usual prefixing is replaced by arbitrary monotonic guards. Then we use this formalism to describe the prefixing policy of standard calculi as a particular form of communication. By developing a graphical syntax, we sharpen the geometric intuition and finally we provide an encoding of these guards as cau...

Guarding and searching problems have been of fundamental interest since the early years of Computational Geometry. Both are well-developed areas of research and have been thoroughly studied in planar polygonal settings. In this thesis we tackle the Art Gallery Problem and the Searchlight Scheduling Problem in 3-dimensional polyhedral environments, putting special emphasis on edge guards and ort...

Microbial biology is undergoing a renaissance, and in this special section we explore bursts of progress in areas ranging from how pathogens invade cells to the origins of life. News reports beginning on this page focus on the extremophiles--unusual microbes that flourish in harsh conditions--while the Articles that follow probe a broad range of topics, including plant-microbe interactions and ...

Guards on machine tools are meant to protect persons from injuries caused by parts ejected with high kinetic energy from the machine's working zone. With respect to stationary grinding machines, Standard No. EN 13218:2002, therefore, specifies minimum wall thicknesses for guards. These values are mainly based on estimations and experience instead of systematic experimental investigations. This ...