Results 21 to 30 of about 386,078 (303)
, 2021 Supplemental material, sj-csv-2-asm-10.1177_10731911211039281 for Perceived Causal Problem Networks: Reliability, Central Problems, and Clinical Utility for Depression by Lars Klintwall, Martin Bellander and Matti Cervin in ...
Matti Cervin (11377180) +2 more
core +1 more source
A model of the basic components in the seismic Vrancea zone
Геофизический журнал, 2020 Seismic processes occur and develop temporally and spatially under the action of internal determinism of global tectonics. Uncertainties related to interlacement of internal physical fields of the Earth and gravity forces of celestial bodies and their ...
R.Z. Burtiyev, V.Yu. Kardanets
doaj +1 more source
, 2021 Supplemental material, sj-pdf-1-asm-10.1177_10731911211039281 for Perceived Causal Problem Networks: Reliability, Central Problems, and Clinical Utility for Depression by Lars Klintwall, Martin Bellander and Matti Cervin in ...
Matti Cervin (11377180) +2 more
core +1 more source
ASM and Controller Synthesis [PDF]
, 2012 While many systems are naturally viewed as the interaction between a controller subsystem and a controlled, or plant subsystem, they are often most easily understood and designed monolithically. A practical implementation needs to separate controller from plant. We study the problem of when a monolithic ASM system can be split into controller and plant
Richard Banach +3 more
openaire +1 more source
, 2021 Supplemental material, sj-pdf-1-asm-10.1177_10731911211042933 for Development and Validation of Two Abbreviated Intraminority Gay Community Stress Scales by Anthony J. Maiolatesi, Satyanand Satyanarayana, Richard Bränström and John E.
Satyanand Satyanarayana (11421809) +3 more
core +1 more source
, 2021 Supplemental material, sj-csv-3-asm-10.1177_10731911211039281 for Perceived Causal Problem Networks: Reliability, Central Problems, and Clinical Utility for Depression by Lars Klintwall, Martin Bellander and Matti Cervin in ...
Matti Cervin (11377180) +2 more
core +1 more source
The ASM Refinement Method [PDF]
Formal Aspects of Computing, 2003 AbstractIn this paper the abstract state machine (ASM) refinement method is presented. Its characteristics compared to other refinement approaches in the literature are explained. Some frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification of architectures and protocols, from the ...
openaire +3 more sources
, 2013 Values are arithmetic means ± SE (n = 6 each group) of total ceramide concentrations (A), ceramide production (B) and Asm activity (C) in Cbs+/+/Asm+/+, Cbs+/+/Asm+/−, Cbs+/+/Asm−/−, Cbs+/−/Asm+/+, Cbs+/−/Asm+/− and Cbs+/−/Asm−/− mice.
Ming Xu (151206) +5 more
core +1 more source