Results 91 to 100 of about 10,814 (309)
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
, 2004 The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Vanhoof, Wim; id_orcid +5 more
core +1 more source
Polarization Dynamics in Ferroelectrics: Insights Enabled by Machine Learning Molecular Dynamics
Advanced Science, EarlyView.Machine learning molecular dynamics is presented as a route to capture polarization switching, domain wall kinetics, topological polar textures, and polar mechanical coupling beyond the limits of conventional atomistic methods. This Perspective surveys recent progress and identifies key methodological directions, including long‐range electrostatics ...
Dongyu Bai +3 more
wiley +1 more source
Independence in constraint logic programs
, 1993 Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP).
Hermenegildo, Manuel V. +2 more
core
, 2007 Cimiano P, Haase P, Heizmann J. Porting Natural Language Interfaces between Domains: An Experimental User Study with the ORAKEL System. In: Chin DN, Zhou MX, Lau TA, Puerta AR, eds.
Zhou, Michelle X. +6 more
core +1 more source
Advanced Science, EarlyView.A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie +10 more
wiley +1 more source
Descriptive complexity for pictures languages [PDF]
, 2012 International audienceThis paper deals with logical characterizations of picture languages of any dimension by syntactical fragments of existential second-order logic.
Olive, Frédéric, Grandjean, Etienne
core +1 more source
Advanced Electronic Materials, EarlyView.ABSTRACT Layered 2D materials are considered as promising for memristive applications due to their ultimate vertical scalability compared to conventional semiconductor films and pronounced hysteresis properties. Bias‐resolved Raman and Photoluminescence mapping is used to quantify strain from phonon shifts and carrier density from the exciton‐trion ...
Vladislav Kurtash +4 more
wiley +1 more source
Emerging Memory and Device Technologies for Hardware‐Accelerated Model Training and Inference
Advanced Electronic Materials, EarlyView.This review investigates the suitability of various emerging memory technologies as compute‐in‐memory hardware for artificial intelligence (AI) applications. Distinct requirements for training‐ and inference‐centric computing are discussed, spanning device physics, materials, and system integration.
Yoonho Cho +6 more
wiley +1 more source
Plural Intensional Presuppositional predicate calculus (PIP)
GlossaOne successful branch of natural language semantics uses first order predicate calculus and set theory, well-studied systems of mathematics in their own right, as meta-languages for natural-language meanings.
Ezra Keshet, Steven Abney
doaj +2 more sources
Logicality in natural language
Philosophical StudiesAbstractIs there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is at odds with the unbridled richness and complexity of natural language. This article claims that there is a relation of logical consequence in natural language, and moreover, that
openaire +1 more source