Search results for "example"
showing 10 items of 114 documents
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
2017
Abstract We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design. Such models can – in contrast to purely functional controller models – not be analyzed with hybrid verification engines relying on explicit representations of modes, but require fully symbolic representations for both the continuous and discrete part of the state space. The presented abstraction methods directly work on a symbolic representation of arbitrary non-convex combinations of line…
Quantum Real - Time Turing Machine
2001
The principles of quantum computation differ from the principles of classical computation very much. Quantum analogues to the basic constructions of the classical computation theory, such as Turing machine or finite 1-way and 2-ways automata, do not generalize deterministic ones. Their capabilities are incomparable. The aim of this paper is to introduce a quantum counterpart for real - time Turing machine. The recognition of a special kind of language, that can't be recognized by a deterministic real - time Turing machine, is shown.
Space-Efficient 1.5-Way Quantum Turing Machine
2001
1.5QTM is a sort of QTM (Quantum Turing Machine) where the head cannot move left (it can stay where it is and move right). For computations is used other - work tape. In this paper will be studied possibilities to economize work tape space more than the same deterministic Turing Machine can do (for some of the languages). As an example language (0i1i|i ≥ 0) is chosen, and is proved that this language could be recognized by deterministic Turing machine using log(i) cells on work tape , and 1.5QTM can recognize it using constant cells quantity.
Apocryphal Passions of the Apostles in Croatian Glagolitic Texts
2020
In the course of the Middle Ages, apocryphal and hagiographic texts of The Acts of the Apostles of various origins became part of the Croatian Glagolitic literature. The Passion of Saint Andrew, for example, is documented in the sanctorale of nineteen Croatian Glagolitic breviaries dating from the period between the 14th and mid-16th centuries. The Glagolitic Passion is an abbreviated translation of the Latin Epistula presbyterorum et diaconorum Achaiae (BHL 428) from the 6th century. The texts of the Passion of Jamesthe Apostle (Jacobus Maior, apost., filius Zebedaei, frater Johannis, Passio, BHL 4057) are found in two Glagolitic breviaries, namely the Breviary of Vitus of Omi?alj (1396) a…
« Mouvement est nécessité » Pour une relation au monde du mouvement et de la musique
2021
Starting from a stationary state in order to feed a process, the idea of movement in music can affect both the sound material and the listening (the Hoerspiel...), both the view (musical theater) and the ancillary disciplines (dance or maping-video)... Based on examples taken in the 20th and 21st centuries (Debussy, Berg, Webern, Stravinsky, Stockhausen, Kagel, Ferrari, La Monte Young, Xenakis, Adams, De Chizy, De Mey, Trapani?), musicological study ultimately deduces that the metaphor of movement is for man an experience considered fundamental to his particular relationship to the world.
Observer-Based Stabilization of Stochastic Systems with Limited Communication
2012
Published version of an article in the journal: Mathematical Problems in Engineering. Also available from Hindawi: http://dx.doi.org/10.1155/2012/781542 Open Access This paper studies the problem of observer-based stabilization of stochastic nonlinear systems with limited communication. A communication channel exists between the output of the plant and the input of the dynamic controller, which is considered network-induced delays, data packet dropouts, and measurement quantization. A new stability criterion is derived for the stochastic nonlinear system by using the Lyapunov functional approach. Based on this, the design procedure of observer-based controller is presented,which ensures asy…
Towards Graphical Query Notation for Semantic Databases
2015
We describe a notation and a tool for schema-enabled visual/diagrammatic creation of SPARQL queries over RDF databases. The notation and the tool support both the standard basic query pattern comprising a main query class and possibly linked condition classes and means for aggregate query definition and placing conditions over aggregates including also aggregation of aggregate results. We discuss the applicability of the tool for ad-hoc query formulation in practical use cases.
Statistics of transitions for Markov chains with periodic forcing
2013
The influence of a time-periodic forcing on stochastic processes can essentially be emphasized in the large time behaviour of their paths. The statistics of transition in a simple Markov chain model permits to quantify this influence. In particular the first Floquet multiplier of the associated generating function can be explicitly computed and related to the equilibrium probability measure of an associated process in higher dimension. An application to the stochastic resonance is presented.
Translucent medium
2013
8 pages; article in McGraw-Hill Science & Technology Encyclopedia; International audience; A medium allowing light to pass through partially or diffusely. An object cannot be seen clearly through translucent matter. In the most accepted meaning, translucency is used to describe a medium transmitting most of the light but scattering it more or less so that objects seen through it are blurry with soft contours and without details. The closer the object is to the medium the sharper its image through it. There are many examples of such media among natural or manufactured artifacts, including wax paper, milky water, colloidal and hydrogel materials, aerogels, smoke, fog, clouds, optical ceramics…
An Agents and Artifacts Approach to Distributed Data Mining
2013
This paper proposes a novel Distributed Data Mining (DDM) approach based on the Agents and Artifacts paradigm, as implemented in CArtAgO [9], where artifacts encapsulate data mining tools, inherited from Weka, that agents can use while engaged in collaborative, distributed learning processes. Target hypothesis are currently constrained to decision trees built with J48, but the approach is flexible enough to allow different kinds of learning models. The twofold contribution of this work includes: i) JaCA-DDM: an extensible tool implemented in the agent oriented programming language Jason [2] and CArtAgO [10,9] to experiment DDM agent-based approaches on different, well known training sets. A…