Results 251 to 260 of about 128,562 (276)

Dopamine responses comply with basic assumptions of formal learning theory

Nature, 2001
Wolfram Schultz
exaly  

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  

The role of formal semantics in linguistics

, 2012
Walter Swetly
openalex  

A Basis for A Formal Semantics of Linguistic Formulations of Science

1997
openaire   +1 more source

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

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

A Reader's Guide to Classic Papers in Formal Semantics

2022
openaire   +1 more source

Two Worlds, Two Languages, Two Semantics, Two Linguistic Principles of Compositionality, and Two Kinds of Nonsenses (Criticizing Wittgenstein’s philosophy of morals and of metaphysics by means of discrete mathematical modeling a formal-ethical aspect of his worldview)

2015
The paper represents a systematical critique of Wittgenstein’s attitude to semantics of the natural language of ethics and metaphysics. The critique is implemented by means of a discrete mathematical simulation of the famous principle of separation of facts and values.
openaire   +1 more source

Treebank Annotation for Formal Semantics Research

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

Formal methods

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