Results 81 to 90 of about 46,991 (95)

Advancing Human iPSC-Derived Motor Neuron Models Using Glutamatergic Modulators for Synaptic Function Studies

Zuber B, Rostami I, Leuenberger J, Ott G, Khosrozadeh A, Diab R, Saxena S, Nevian T.   +7 more
europepmc   +1 more source

Integrating adaptation pathways and Ostrom's framework for sustainable governance of social-ecological systems in a changing world. [PDF]

PeerJ
Pichancourt JB, Brias A, Bonis A.
europepmc   +1 more source

A review of methods for the analysis of diagnostic tests performed in sequence. [PDF]

Diagn Progn Res
Fanshawe TR, Nicholson BD, Perera R, Oke JL.   +3 more
europepmc   +1 more source

Accelerating joint species distribution modelling with Hmsc-HPC by GPU porting. [PDF]

PLoS Comput Biol
Rahman AU, Tikhonov G, Oksanen J, Rossi T, Ovaskainen O.   +4 more
europepmc   +1 more source

Provenance Information for Biomedical Data and Workflows: Scoping Review.

J Med Internet Res
Gierend K, Krüger F, Genehr S, Hartmann F, Siegel F, Waltemath D, Ganslandt T, Zeleke AA.   +7 more
europepmc   +1 more source

The Algebraic Specification of Abstract Data Types

Acta Informatica, 1978
There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about programs using abstract data types, it is desirable to specify their properties at an abstract level, independent of any particular implementation.
Guttag, J. V., Horning, J. J.
openaire   +2 more sources

Specification of abstract data types using real-time process algebra (RTFA)

CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436), 2004
The real-time process algebra (RTFA) provides a new approach to the specification and refinement of real-time systems. This paper presents a study on the specification of a set of abstract data types (ADTs) by using RTPA. The objectives of this work are to demonstrate the expressiveness of the RTPA notations and specification method, and to build a ...
X. Tan, null Yingxu Wang
openaire   +1 more source

Algebraic specification of abstract data type and transition graphs: formal techniques for object-oriented analysis, specification and design

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 2002
A transition graph is a formal tool dedicated to the specification of communicant processes. However, we show that it is a useful way to analyse and specify the behaviour of objects of the real world in order to model them in the form of classes. This paper presents the transition graphs theory. The class model features and establishes the relationship
R. Guetari, A. Haurat
openaire   +1 more source

Algebraic specification of abstract data types

2001
It is widely accepted that the quality of software can be improved if its design is systematically based on the principles of modularization and formalization. Modularization consists in replacing a problem by several “smaller” ones. Formalization consists in using a formal language; it obliges the software designer to be precise and principally allows
J. Loeckx, H.-D. Ehrich
openaire   +1 more source

Direct Implementation of Algebraic Specification of Abstract Data Types

IEEE Transactions on Software Engineering, 1982
Algebraic specification is now an established way of formally defining abstract data types. For its practical use, however, a segment of program which conforms with the specification has to be generated. Such program segments can be manually produced and must then be verified.
openaire   +1 more source