Results 111 to 120 of about 512,676 (214)

The dynamic evolution of panarthropod germ cell specification mechanisms. [PDF]

Development
Kao JA, Rivard EL, Kapoor RR, Extavour CG.   +3 more
europepmc   +1 more source

Does additional education affect memory consistently? An analysis of compulsory schooling reforms across Europe and U.S. [PDF]

Soc Sci Med
Perez-Arce F, Knapp D, Lobo R, Wenner M, Kapteyn A.   +4 more
europepmc   +1 more source

Behavioral Specification Techniques

This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal specification languages.
Strohmeier, Alfred, Eckert, Gabriel
core  

Evaluating Methodological Coherence and Evidence Recognition in Digital Health Systematic Reviews: Sample-based Meta-research Study. [PDF]

Online J Public Health Inform
Buddrus U, Liebe JD.
europepmc   +1 more source

Lineage tracing of soma-to-primordial germ cell-like conversion in human tumor cell line. [PDF]

iScience
Li J, Zhang F, Xiong J, Liu A, Liu P, Ma Z, Lin HK, Liu C.   +7 more
europepmc   +1 more source

An Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract)

The goal of the research summarized in this abstract is first, to formalize object-oriented models and second, to develop a method for producing these models.
Heuer, A., Wieringa, Roelf J., Göers, J.   +2 more
core  

Intrinsic Cause-Effect Power: The Tradeoff Between Differentiation and Specification. [PDF]

Entropy (Basel)
Mayner WGP, Marshall W, Tononi G.
europepmc   +1 more source

Architectural Design in Object-Z

, 2008
We present a process for introducing an object-orientedarchitecture into an abstract functional specification written in Object-Z. Since the design is derived from the speci-fication, correctness concerns are addressed as part of the design process.
Specification Languages Like Object-z
core  

A Proxy Method to Bridge LCA Data Gaps Using Automated Material Classification and Probabilistic Under-Specification. [PDF]

Environ Sci Technol
Ellingboe E, Huang M, Sultana Priyota A, Simonen K.   +3 more
europepmc   +1 more source

State-based behavior specification for GCM systems

, 2009
This paper is in the area of automata-based formalisms of stateful systems. In particular, we have analyzed aspects of Grid systems which can be considered when developing a prototype for dynamic reconfiguration. We describe which parts of a Grid system
Basso, A., Getov, Vladimir, Bolotov, A.
core