Results 111 to 120 of about 226,754 (318)
The admissibility and similarity of Jonsson theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 This work is related to the concepts of admissibility, interpretability, syntactic similarity and semantic similarity of Jonsson’s theories.This new concept generalize the notion of syntactic and semantic similarities for Jonsson theories.
A.R. Yeshkeyev, G.A. Urken
doaj +1 more source
Game Semantics in the Nominal Model
Electronic Notes in Theoretical Computer Science, 2012 AbstractWe present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
Murdoch Gabbay, Dan R. Ghica
openaire +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Semantic similarity dissociates shortfrom long-term recency effects: testing a neurocomputational model of list memory [PDF]
, 2006 The finding that recency effects can occur not only in immediate free recall (i.e., short-term recency) but also in the continuous-distractor task (i.e., long-term recency) has led many theorists to reject the distinction between short- and long-term ...
Marius Usher +7 more
core +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
Models and the Semantic View [PDF]
, 1997 I begin by laying out a taxonomy of models (section 1). The aim is, in part, to have all the objects picked out (or purportedly picked out) by every widespread and coherent use of the term ‘model’ in the philosophy of science, and in the sciences ...
Thomson-Jones, Martin
core
A conceptual framework for semantic web services development and deployment [PDF]
, 2004 Several extensions of theWeb Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability through automation of service development and deployment.
Claus Pahl, Claus Pahl, Pahl, Claus
core +1 more source
Summarizing Semantic Model Differences
CoRR, 2014 10 pages, 7 figures. ME 2011 - Models and Evolution, Wellington, New Zealand. Ed: B. Sch\"atz, D. Deridder, A. Pierantonio, J. Sprinkle, D.
Shahar Maoz +2 more
openaire +2 more sources
Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space
Advanced Robotics Research, EarlyView.A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo +6 more
wiley +1 more source
The hybrids of the ∆ − PJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2020 When studying Jonsson theories, which are a wide subclass of inductive theories, it becomes necessary to study the so - called Jonsson sets. Similar problems are considered both in model theory and in universal algebra.
A.R. Yeshkeyev, N.M. Mussina
doaj