Results 71 to 80 of about 241,667 (307)
The left IPL represents stored hand-postures for object use and action prediction
Action semantics enables us to plan actions with objects and to predict others’ object-directed actions as well. Previous studies have suggested that action semantics are represented in a fronto-parietal action network that has also been implicated to ...
Michiel evan Elk
doaj +1 more source
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo+8 more
wiley +1 more source
Towards Interactive Logic Programming [PDF]
Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core
Latent Semantic Learning with Structured Sparse Representation for Human Action Recognition
This paper proposes a novel latent semantic learning method for extracting high-level features (i.e. latent semantics) from a large vocabulary of abundant mid-level features (i.e.
Balasubramanian+19 more
core +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Norman, G.+3 more
core +3 more sources
AI is transforming the research paradigm of battery materials and reshaping the entire landscape of battery technology. This comprehensive review summarizes the cutting‐edge applications of AI in the advancement of battery materials, underscores the critical challenges faced in harnessing the full potential of AI, and proposes strategic guidance for ...
Qingyun Hu+5 more
wiley +1 more source
Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics [PDF]
A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework.
Brandano, Sergio
core
Semantics through Pictures [PDF]
A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed ''constraint diagrams'', which can be used to precisely characterise a range of sophisticated, static ...
Ali Hamie+5 more
core +2 more sources
NO Formation and Autoignition Dynamics during Combustion of H2O-Diluted NH3/H2O2 Mixtures with Air
NO formation, which is one of the main disadvantages of ammonia combustion, was studied during the isochoric, adiabatic autoignition of ammonia/air mixtures using the algorithm of Computational Singular Perturbation (CSP).
Ahmed T. Khalil+3 more
doaj +1 more source
Two Taylor Algorithms for Computing the Action of the Matrix Exponential on a Vector
The action of the matrix exponential on a vector eAtv, A∈Cn×n, v∈Cn, appears in problems that arise in mathematics, physics, and engineering, such as the solution of systems of linear ordinary differential equations with constant coefficients.
Javier Ibáñez+4 more
doaj +1 more source