Results 61 to 70 of about 102,741 (269)
Quarterly Journal of the Royal Meteorological Society, EarlyView.Differential reflectivity columns (ZDRC$$ {Z}_{\mathrm{DR}}C $$) have been detected automatically on a composite of radar data derived from five operational C‐band dual‐polarization Doppler weather radars in Switzerland. The characteristics of the detected ZDRC$$ {Z}_{\mathrm{DR}}C $$ are linked to a large sample of 173,000 crowdsourced hail ...
Martin Aregger +3 more
wiley +1 more source
Anticipation as prediction in the predication of data types [PDF]
, 2009 Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two.
Heather, Michael, Rossiter, Nick
core
, 2016 Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
Science Education, EarlyView.ABSTRACT As part of the special issue Centering Affect and Emotion Toward Justice and Dignity in Science Education, this paper examines the emergence and performance of hyperrationality in STEM classrooms. Hyperrationality describes verbal and embodied expressions whereby learners try to maintain an appearance of neutrality and emotional distance to ...
Natalie R. Davis, Thomas M. Philip
wiley +1 more source
Resource redeployment as an entry advantage in resource‐poor settings
Strategic Management Journal, EarlyView.Abstract Research Summary Scarcity of productive factors poses a challenge for firms entering underdeveloped regions. We theorize that incumbent firms can overcome scarcity of skilled human capital in local labor markets by redeploying workers from existing units.
Jasmina Chauvin +2 more
wiley +1 more source
International contraction for the sake of international expansion
Strategic Management Journal, EarlyView.Abstract Research Summary We present novel theoretical arguments suggesting that the contraction of international market presence does not only allow firms to expand their presence into new business domains, but also to resume their international market presence in the long term.
Niron Hashai +2 more
wiley +1 more source
Systems Research and Behavioral Science, EarlyView.Abstract Policy design has two analytical domains, policy design‐as‐formulation and policy design‐as‐content. The latter study policies as codified and constructed output of the formulation process, which is an activity directed to the process. The analytical concept ‘structural logic’ emerged as an internal property of policy text and has been ...
Guswin de Wee +2 more
wiley +1 more source
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
, 2015 Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on
Charalambidis, Angelos +2 more
core +2 more sources
A combined concrete cone breakout—pull‐out model for cast‐in‐place fasteners
Structural Concrete, EarlyView.Abstract Cast‐in‐place fasteners are widely used in civil engineering to connect steel or other elements to reinforced concrete. Despite the inherent importance of such components in structural design, the introduction of dedicated mechanical models for their verifications is quite recent.
G. Di Nunzio, G. Muciaccia
wiley +1 more source
On the Protocol Composition Logic PCL
, 2008 A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of the logic, as defined in [DDMP05,HSD+05,He05,Dat05,Der06,DDMR07].
Cremers, Cas
core +1 more source