Results 11 to 20 of about 166,773 (130)
An Optimized Method for 3D Magnetic Navigation of Nanoparticles inside Human Arteries
A computational method for optimum magnetic navigation of nanoparticles that are coated with anticancer drug inside the human vascular system is presented in this study. For this reason a 3D carotid model is employed.
Evangelos Karvelas +4 more
doaj +1 more source
Airborne Radar Super-Resolution Imaging Based on Fast Total Variation Method
Total variation (TV) is an effective super-resolution method to improve the azimuth resolution and preserve the contour information of the target in airborne radar imaging.
Qiping Zhang +4 more
doaj +1 more source
Idealized large-eddy simulations of shallow convection often utilize horizontally periodic computational domains. The development of precipitation in shallow cumulus convection changes the spatial structure of convection and creates large-scale ...
Oumaima Lamaakel +3 more
doaj +1 more source
A Denotational Semantics for First-Order Logic [PDF]
In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic.
E. M. Clarke +9 more
core +4 more sources
Information dynamics and computational mechanics provide a suite of measures for assessing the information- and computation-theoretic properties of complex systems in the absence of mechanistic models.
David Darmon
doaj +1 more source
A computational model of the referential semantics of projective prepositions [PDF]
In this paper we present a framework for interpreting locative expressions containing the prepositions in front of and behind. These prepositions have different semantics in the viewer-centred and intrinsic frames of reference (Vandeloise, 1991).
Kelleher, John D., van Genabith, Josef
core +2 more sources
Second order inference in natural language semantics
In this paper I look at a number of apparently trivial validinferences (as well as some invalid and missing inferences) associatedwith the possessive construction and with different types ofadjectival modification of nouns.
Stephen Guy Pulman
doaj +1 more source
The computational complexity of the multiple-input and multiple-output (MIMO) based least square algorithm is very high and it cannot be run on processing-inefficient low-cost platforms.
Hasan Raza +6 more
doaj +1 more source
Text: now in 2D! A framework for lexical expansion with contextual similarity
A new metaphor of two-dimensional text for data-driven semantic modeling of natural language is proposed, which provides an entirely new angle on the representation of text: not only syntagmatic relations are annotated in the text, but also paradigmatic ...
Chris Biemann, Martin Riedl
doaj +1 more source

