Results 71 to 80 of about 512,676 (214)
Guidelines for the development of concrete performance-based specifications in Brazil
Revista IBRACON de Estruturas e MateriaisGuidelines to develop performance specifications of concrete, including suggestions for performance requirements, are presented. This paper proposes changes to the Brazilian specifications and standards in order to follow the international trend and to ...
J. Tanesi, M. G. da Silva, V. Gomes
doaj +1 more source
The Formal Specification Language mCRL2
, 2007 We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language.
Weerdenburg, Muck +9 more
core
Specific and Non-Specific Immunosuppression in Chickens
Poultry Science, 1975 Specific immunosuppression, caused by the passive transfer of immune sera, and non-specific immunosuppression, caused by ACTH, were investigated for possible interactions. The data confirm earlier studies which show that both types of suppression when administered independently cause reductions in humoral immune responsiveness.
P, Thaxton, P S, Young
openaire +2 more sources
Towards GCM re-configuration – extending specification by norm
, 2008 We continue investigation of formal specification of Grid Component systems by temporal logics and subsequent application of temporal resolution as a verification technique.
Basso, A., Bolotov, A.
core +1 more source
On the Expressive Power of Some Extensions of Linear Temporal Logic
Моделирование и анализ информационных систем, 2018 One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a finite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions.
Anton Gnatenko, Vladimir Zakharov
doaj +1 more source
UML specification of distributed system environments [PDF]
, 1999 The specification of distributed systems is a complex task, which is made easier by the use of object-oriented design methodologies. With the advent of UML as a standard notation for object-oriented software design, the application of this notation to ...
Waters, A. Gill, Akehurst, David H.
core
Interpretation of Specification for Developing Clinical Practice Guidelines of Organic Integration of Traditional Chinese and Western Medicine [PDF]
Yixue xinzhi zazhiIn recent years, the number of clinical practice guidelines for the integration of traditional Chinese medicine (TCM) and western medicine(WM) has been increasing year by year. However, there are obvious problems of "knot without compatibility".
JIN Yinghui +12 more
doaj +1 more source
机车电传动, 2020 The development background and main technical contents of the national standard GB/T 5599—2019 "Specification for Dynamic Performance Assessment and Testing Verification of Rolling Stock" was introduced, focusing on the development of parameter related ...
Li XU, Chunshuang NI, Meng CHEN, Wei WU
doaj
Generation of germ cells from pluripotent stem cells in mammals
Reproductive Medicine and Biology, 2018 Background The germ cell lineage transmits genetic and epigenetic information to the next generation. Primordial germ cells (PGCs), the early embryonic precursors of sperm or eggs, have been studied extensively. Recently, in vitro models of PGC induction
Masafumi Hayashi +3 more
doaj +1 more source
, 1982 This paper gives an informal presentation of the language currently used at the Programming Research Group. Oxford University for documenting the specification and the design of computer systems. The language is an extension of conventional set theoretical notation.
openaire +2 more sources