Results 21 to 30 of about 125,940 (271)

X-ray Interferometry Using a Modulated Phase Grating: Theory and Experiments [PDF]

X-ray grating interferometry allows for the simultaneous acquisition of attenuation, differential-phase contrast, and dark-field images, resulting from X-ray attenuation, refraction, and small-angle scattering, respectively.
Hunter C. Meyer, J. Dey, Sydney Carr, K. Ham, Leslie G. Butler, Kerry M. Dooley, I. Hidrovo, Markus Bleuel, Tamas Varga, Joachim Schulz, Thomas Beckenbach, Konradin Kaiser Department of Physics, Astronomy, Louisiana State University, B. Rouge, La, Center for Advanced Microstructures, Devices, D. Chemistry, Cain Department of Chemical Engineering, Department of Radiation Therapy, S. Hospital, Quito, Ecuador., Adelphi Technology, Inc., Redwood City, Ca, The Environmental Molecular Sciences Laboratory, P. N. N. Laboratory, Richland, Wa, Microworks GmbH, Karlsruhe, Germany, IN Massachusetts Institute of Technology, Karlsruhe Institute of Technology, Eggenstein-Leopoldshafen   +37 more
semanticscholar   +1 more source

Interplay of IR-Improved DGLAP-CS Theory and NLO Parton Shower MC Precision [PDF]

, 2013
We present the interplay between the new IR-improved DGLAP-CS theory and the precision of NLO parton shower/ME matched MC`s as it is realized by the new MC Herwiri1.031 in interface to MC@NLO.
B. Ward, S. Majhi, A. Mukhopadhyay, S. A. Y. B. University, Waco, Tx, Usa, I. Science, Kolkata, In, The Citadel, Charleston, Sc   +12 more
semanticscholar   +1 more source

Programming in logic without logic programming [PDF]

, 2015
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core   +3 more sources

Approximate Semantic Transference: A Computational Theory of Metaphors and Analogies [PDF]

Cognitive Science, 1987
In this paper we start from the assumption that in a metaphor, or an analogy, some terms belonging to one domain (source domain) are used to refer to objects other than their conventional referents belonging to a possibly different domain (target domain).
openaire   +2 more sources

A metric for computational analysis of meaning [PDF]

Proceedings of the 11th coference on Computational linguistics -, 1986
A metric for assessing the complexity of semantic (and pragmatic) analysis in natural language processing is proposed as part of a general applied theory of linguistic semantics for NLP. The theory is intended as a complete projection of linguistic semantics onto NLP and is designed as an exhaustive list of possible choices among strategies of semantic
Sergei Nirenburg, Victor Raskin
openaire   +2 more sources

Comparisons of Predictions from Exact Amplitude-Based Resummation Methods with LHC and Cosmological Data [PDF]

, 2013
We present the current status of the comparisons with the respective data of the predictions of our approach of exact amplitude-based resummation in quantum field theory in two areas of investigation: precision QCD calculations of all four of us as ...
B. Ward, S. Majhi, A. Mukhopadhyay, S. Univesity, Waco, Tx, Usa, I. Science, Kolkata, In, The Citadel, Charleston, Sc   +12 more
semanticscholar   +1 more source

Computational semantics in type theory [PDF]

Mathématiques et sciences humaines, 2004
This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as ...
openaire   +3 more sources

Distinctive features hold a privileged status in the computation of word meaning: Implications for theories of semantic memory. [PDF]

Journal of Experimental Psychology: Learning, Memory, and Cognition, 2006
The authors present data from 2 feature verification experiments designed to determine whether distinctive features have a privileged status in the computation of word meaning. They use an attractor-based connectionist model of semantic memory to derive predictions for the experiments. Contrary to central predictions of the conceptual structure account,
George S. Cree, Chris McNorgan, Ken McRae   +2 more
openaire   +5 more sources

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources [PDF]

, 2010
In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a resource-oriented model, where resources are manipulated via CRUD (Create ...
Grall, Hervé, Lacouture, Mayleen, Ledoux, Thomas   +2 more
core   +6 more sources

Bounded LTL Model Checking with Stable Models

, 2001
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous systems a generalisation of communicating automata, 1-safe Petri nets, are used.
F. Fages, G. Holzmann, I. Niemelä, J. Burch, K. Heljanko   +4 more
core   +8 more sources