Results 21 to 30 of about 414,610 (315)
The Grothendieck computability model [PDF]
Theoretical Computer ScienceTranslating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-projection-simulation. We prove some basic properties of the Grothendieck computability model, and we show that the category of computability models is a type-category, in the
Gambarte, Luis, Petrakis, Iosif
openaire +3 more sources
, 2023 This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were
core +1 more source
Path Planning and Control of a UAV Fleet in Bridge Management Systems
Remote Sensing, 2022 Traditional methodologies for precise inspection of bridges (pavement, beams, column cap, column, joints and inside box girder, etc.) with By-bridge equipment, Aerial Work Platform (AWP) or via ropes have several limits that can be overcome by using ...
Antonio Bono +4 more
doaj +1 more source
A Physical Model of a Single-Reed Wind Instrument, Including Actions of the Player [PDF]
, 2003 For the Physical Modeling Synthesis of wind instruments, we choose to design a model adapted to time domain simulation which takes into account the main part of the physical phenomena, including instrument/player interactions.
DUCASSE, Eric
core +1 more source
Typologies of Computation and Computational Models
CoRR, 2013 We need much better understanding of information processing and computation as its primary form. Future progress of new computational devices capable of dealing with problems of big data, internet of things, semantic web, cognitive robotics and neuroinformatics depends on the adequate models of computation.
Mark Burgin, Gordana Dodig-Crnkovic
openaire +2 more sources
The Nature of Computational Models
Computing in Science & Engineering, 2023 Computational models lie at the heart of computational science. And yet, few scientists have a clear idea of what a computational model actually is. Is it software? Or an algorithm? How does it relate to mathematical models? What are suitable languages or notations for expressing a computational model in the literature?
openaire +2 more sources
Computer modelling of monoamine oxidases [PDF]
Biochemistry (Moscow) Supplement Series B: Biomedical Chemistry, 2015 The article summarized results of studies on active site structures of monoamine oxidases (MAO) performed in the Institute of Biomedical Chemistry (Russia) by computer modelling approaches. MAO, catalyzing the reaction of oxidative deamination of major neurotransmitter monoamines, exists in two highly homologous forms, MAO A and MAO B, distinguished by
A V, Veselovsky +2 more
openaire +2 more sources
Hands Ahead in Mind and Motion: Active Inference in Peripersonal Hand Space
Vision, 2019 According to theories of anticipatory behavior control, actions are initiated by predicting their sensory outcomes. From the perspective of event-predictive cognition and active inference, predictive processes activate currently desired events and event ...
Johannes Lohmann +2 more
doaj +1 more source
Inference of affordances and active motor control in simulated agents
Frontiers in Neurorobotics, 2022 Flexible, goal-directed behavior is a fundamental aspect of human life. Based on the free energy minimization principle, the theory of active inference formalizes the generation of such behavior from a computational neuroscience perspective. Based on the
Fedor Scholz +4 more
doaj +1 more source
Isometric Shape Representation by Integrating Shape Function Maps and Deep Learning
IEEE Access, 2019 With the wide application of isometric 3D models, the representation and recognition of them receive increasing attention. Most existing methods for shape representation and analysis either focus on using the constrained hand-craft models or purely ...
Zijian Wang +4 more
doaj +1 more source