Results 281 to 290 of about 131,350 (295)

Dopamine responses comply with basic assumptions of formal learning theory

Nature, 2001
Wolfram Schultz
exaly  

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys and Tutorials, 2015
Junaid Qadir, Osman Hasan
exaly  

From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

Studies in Linguistics and Philosophy, 1993
H. Kamp, Uwe Reyle
semanticscholar   +1 more source

Formal semantics in modern type theories with coercive subtyping

Linguistics and Philosophy, 2012
Zhaohui Luo
semanticscholar   +1 more source

Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems

Chemical Reviews, 2015
Jia-Rong Chen, Xiao-Qiang Hu, Liang-Qiu Lu   +2 more
exaly  

Formal methods

ACM Computing Surveys, 2009
James Woodcock, Peter Gorm Larsen, Juan C Bicarregui   +2 more
exaly  

Treebank Annotation for Formal Semantics Research

JSAI-isAI Workshops, 2012
A. Butler, R. Otomo, Zhen Zhou, K. Yoshimoto   +3 more
semanticscholar   +1 more source

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons, Jonathan P Bowen, John Derrick   +2 more
exaly  

Iridium-catalysed enantioselective formal deoxygenation of racemic alcohols via asymmetric hydrogenation

Nature Catalysis, 2019
Jia Zheng, Bram B C Peters, Sudipta Ponra   +2 more
exaly  

Do formal contracts and relational governance function as substitutes or complements?

Strategic Management Journal, 2002
Laura Poppo, Todd Zenger
exaly