Results 301 to 310 of about 202,857 (337)
Some of the next articles are maybe not open access.
1985
The concept of probability is central to some models of Earth surface systems. For instance, in models of hillslopes some of the variables involved are best expressed in probabilistic terms. The uplift which may alter base level and the storms which activate a number of slope processes tend to occur rather erratically; they have a chance-like character
openaire +1 more source
The concept of probability is central to some models of Earth surface systems. For instance, in models of hillslopes some of the variables involved are best expressed in probabilistic terms. The uplift which may alter base level and the storms which activate a number of slope processes tend to occur rather erratically; they have a chance-like character
openaire +1 more source
Deductive Multi-valued Model Checking
2005Model checking is a widely used technique for verifying complex concurrent systems. The models used in classical model checking methods are assumed to be complete and consistent. However, a recent body of work has shown that this is not always the case, and multi-valued logics have been proposed to represent such models, spawning an extension of ...
openaire +1 more source
Inductive/Deductive Hybrid Thematic Analysis in Mixed Methods Research
Journal of Mixed Methods Research, 2023Kevin Proudfoot
exaly
A method for reasoning about deductive conceptual models of information systems
Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 2005Dolors Costal
exaly
Determining object interaction in object-oriented deductive conceptual models
Information Systems, 1994Carme Quer
exaly
Implicit deductive fault simulation for complex delay fault models
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2004S Tragoudas
exaly