Results 21 to 30 of about 1,814,894 (278)
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
Control of Residual Organic Solvents in Active Substances
Регуляторные исследования и экспертиза лекарственных средств, 2022 Depending on the class of toxicity, organic solvents used or formed during the production of active substances may pose risks to human health. Therefore, residual Depending on the class of toxicity, organic solvents used or formed during the proorganic ...
O. A. Matveeva
doaj +1 more source
The Lancet Psychiatry, 2018 Anxiety disorders are among the most prevalent mental disorders, but the subcategory of specific phobias has not been well studied. Phobias involve both fear and avoidance. For people who have specific phobias, avoidance can reduce the constancy and severity of distress and impairment.
William W, Eaton +2 more
openaire +2 more sources
An Object Oriented Model of a Railway Safety-Related Control System
Communications, 2002 There is a variety of methods and formalisms usable for writing specifications of railway interlocking and signalling systems or their subsystems. To write a consistent technical specification means to make a model with a required level of precision ...
Karol Rastocny +2 more
doaj +1 more source
A group membership algorithm with a practical specification [PDF]
, 2001 Presents a solvable specification and gives an algorithm for the group membership problem in asynchronous systems with crash failures. Our specification requires processes to maintain a consistent history in their sequences of views.
Bruck, Jehoshua, Franceschetti, Martin
core +1 more source
Symbolic Analysis Applied to the Specification of Spatial Trends and Spatial Dependence
Entropy, 2020 This article provides symbolic analysis tools for specifying spatial econometric models. It firstly considers testing spatial dependence in the presence of potential leading deterministic spatial components (similar to time-series tests for unit roots in
Maryna Makeienko
doaj +1 more source
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]
, 2000 A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri +6 more
core +7 more sources
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source
Restricted nature of adult neural stem cells: re-evaluation of their potential for brain repair.
Frontiers in Neuroscience, 2014 Neural stem cells (NSCs) in the walls of the lateral ventricles continue to produce new neurons and oligodendrocytes throughout life. The identification of NSCs, long-range neuronal migration, and the integration of new neurons into fully formed mature ...
Kirsten eObernier +2 more
doaj +1 more source
eLife, 2022 The ability to restore lost body parts following traumatic injury is a fascinating area of biology that challenges current understanding of the ontogeny of differentiation.
Minyan Zheng +2 more
doaj +1 more source