Results 1 to 10 of about 7,615,514 (366)
, 2011 Compositional aggregation is a technique to palliate state explosion — the phenomenon that the behaviour graph of a parallel composition of asynchronous processes grows exponentially with the number of processes — which is the main drawback of explicit-state verification.
Crouzen, Pepijn, Lang, Frédéric
openaire +2 more sources
From Reduction-Based to Reduction-Free Normalization
BRICS Report Series, 2004 We present a systematic construction of a reduction-free normalization function. Starting from a reduction-based normalization function, i.e., the transitive closure of a one-step reduction function, we successively subject it to refocusing (i.e., deforestation of the intermediate reduced terms), simplification (i.e., fusing auxiliary functions ...
openaire +4 more sources
Treatment of Fracture Head Radius in Children with Closed Reduction and Elastic Nail [PDF]
, 2018 F. Salama, S. Elshoura, I. Mandour
openalex +1 more source
Review for "T3 is Linked to Stress‐Associated Reduction of Prolactin in Lactating Women"
, 2021 openalex +1 more source
Institutionalizing Protection in Disaster Risk Reduction: A case study from the Dominican Republic [PDF]
, 2017 ANDREA VERDEJA
openalex +1 more source
Proceedings of the Glasgow Mathematical Association, 1954 In this paper I construct a reduction formula for the integralthe formula connects any three consecutive members of a set I0, I1, I2, …, Im. We regard m as given, and, in order to avoid wasting time over trivialities, we postulate that the constants a, α, β, γ δ (which are not restricted to be real) have real parts large enough to ensure (i) that the ...
openaire +2 more sources
Erratum to: Fault detection and classification by unsupervised feature extraction and dimensionality reduction [PDF]
, 2015 Praveen Chopra, Sandeep Yadav
openalex +1 more source
A Multi-step Nonlinear Dimension-reduction Approach with Applications to Bigdata
, 2018 R. Krishnan +2 more
openalex +1 more source
Reduction of alkylindoles with sodium borohydride-aluminium chloride in pyridine.
, 1978 Yasuo Kikugawa
openalex +2 more sources