Results 81 to 90 of about 939,241 (354)
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
Temporal logic with predicate abstraction
, 2004 A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants) moving over the ...
Lisitsa, Alexei, Potapov, Igor
core +2 more sources
, 2018 We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable.
Rybakov, Mikhail, Shkatov, Dmitry
core +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
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
, 1966 Takeuti [3] showed that the consistency of analysis (i.e. second order number theory) is finitistically implied by the Hauptsatz for second order logic» i.e. by the proposition that every theorem of this system is derivable without cut.
BY W. W. Tait
semanticscholar +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
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
Valid formulas, games and network protocols [PDF]
, 2007 We describe a remarkable relation between the notion of valid formula of predicate logic and the specification of network protocols. We give several examples such as the acknowledgement of one packet or of a sequence of packets.
Krivine, Jean-Louis +1 more
core +7 more sources
Competing for Views and Students: The Implications of Platformization for Online Language Teaching
TESOL Quarterly, EarlyView.Abstract Language teachers increasingly make use of digital platforms to find students, upload teaching material, give lessons, and promote themselves. This article examines the accounts of two popular English teachers from China on the social media platform Douyin and explores similarities and differences in the two teachers' self‐branding strategies.
Jinyan Wang, Nate Ming Curran
wiley +1 more source
Approximate‐Guided Representation Learning in Vision Transformer
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT In recent years, the transformer model has demonstrated excellent performance in computer vision (CV) applications. The key lies in its guided representation attention mechanism, which uses dot‐product to depict complex feature relationships, and comprehensively understands the context semantics to obtain feature weights.
Kaili Wang +4 more
wiley +1 more source