Results 171 to 180 of about 20,008 (316)

Adequacy of compositional translations for observational semantics

, 2008
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Sabel, David, Niehren, Joachim, Joachim Niehren, Jan Schwinghammer, Schmidt-Schauß, Manfred, David Sabel, Manfred Schmidt-schauß, Schwinghammer, Jan   +7 more
core  

A quantum-cognitive approach to dynamic meaning construction. [PDF]

Front Psychol
Yin M.
europepmc   +1 more source

3D anatomical atlas of the heads of male and female adult Chamaeleo calyptratus

The Anatomical Record, EarlyView.
The veiled chameleon is a model organism in reptile development research. Utilizing contrast‐enhanced microCT and deep learning segmentation models, we have generated the first digital atlases of the skull, nervous system, cranial muscles and hyolingual muscles.
Alice Leavey, Eloy Gálvez‐López, Anthony Herrel, Laura B. Porro   +3 more
wiley   +1 more source

Six-sigma approach-based visibility graphs. [PDF]

Sci Rep
Ferenczi M, Kummer A, Abonyi J.
europepmc   +1 more source

An ontological morphological phylogenetic framework for living and extinct ray‐finned fishes (Actinopterygii)

The Anatomical Record, EarlyView.
Abstract The ray‐finned fishes include one out of every two species of living vertebrates on Earth and have an abundant fossil record stretching 380 million years into the past. The division of systematic knowledge of ray‐finned fishes between paleontologists working on extinct animals and neontologists studying extant species has obscured the ...
Jack Stack
wiley   +1 more source

Endothermy, neuron counts, and other issues: Further remarks on neurocognitive evolution in fossil vertebrates

The Anatomical Record, EarlyView.
Abstract Last year, we challenged the view that large‐bodied theropod dinosaurs such as Tyrannosaurus rex resembled primates in cognition and behavior, a proposition made by Herculano‐Houzel in 2023. More recently, Jensen et al. have criticized our work on this topic, raising methodological and conceptual issues.
Kai R. Caspar, Cristián Gutiérrez‐Ibáñez, Hady George, Thomas R. Holtz Jr., Darren Naish, Grant R. Hurlburt   +5 more
wiley   +1 more source

Strong Equivalence of Qualitative Optimization Problems

, 2012
We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences
Stefan Woltran, Truszczyński, Miroslaw, Woltran, Stefan, Faber, Wolfgang, Miroslaw Truszczynski, Wolfgang Faber   +5 more
core  

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

Coherence‐Gated Wrapped‐Phase InSAR With Matrix‐Based Uncertainty Diagnostics for Burial‐Mound Hotspot Ranking (Sicily, Italy)

Archaeological Prospection, EarlyView.
ABSTRACT Burial mounds are key elements of Mediterranean funerary landscapes, but in intensively cultivated coastal plains their low‐relief expression is easily obscured by ploughing, levelling and rapidly changing surface conditions, making single‐date observations unreliable.
Salvatore Polverino, Hourakhsh Ahmadnia, Rokhsaneh Rahbarianyazd Ahmadnia   +2 more
wiley   +1 more source

Evaluating mobile app performance through sentiment analysis with SimCLR and MobileBERT. [PDF]

PLoS One
Zhang R, Ullah A, Khan KU, Khan MN, Chohan RT, Aadil F.   +5 more
europepmc   +1 more source