Results 51 to 60 of about 133,469 (284)

Quantum Simulation of Pseudo-Hermitian-φ-Symmetric Two-Level Systems

Entropy, 2022
Non-Hermitian (NH) quantum theory has been attracting increased research interest due to its featured properties, novel phenomena, and links to open and dissipative systems.
Chao Zheng
doaj   +1 more source

A Calculus of Mobility and Communication for Ubiquitous Computing

, 2015
We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility, communication and context-awareness in the setting of ubiquitous computing.
Gul, Nosheen
core   +2 more sources

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics [PDF]

ACM SIGPLAN Notices, 2014
In systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better. This is especially the case of synchronous reactive control loops with a fixed clock; the WCET of the loop body must not exceed the clock period. We compute
Henry, Julien, Asavoae, Mihail, Monniaux, David, Maïza, Claire   +3 more
openaire   +3 more sources

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

Advanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source

Intuitionistic computability logic [PDF]

, 2006
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic.
Japaridze, Giorgi
core   +2 more sources

Truth theories, competence, and semantic computation

, 2012
Tolkningskomplexitet
openaire   +3 more sources

Toward Knowledge‐Based Workflows: A Semantic Approach to Atomistic Simulations for Mechanical and Thermodynamic Properties

Advanced Engineering Materials, EarlyView.
Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán, Hoang‐Thien Luu, Sarath Menon, Tilmann Hickel, Nina Merkert, Stefan Sandfeld   +5 more
wiley   +1 more source

Effect of t_2g-Correlations and Doping in CrSBr Ferromagnetic Semiconductor

Condensed Matter
We perform a comprehensive analysis of the correlated electronic structure reconstruction of the ferromagnetic CrSBr van der Waals (vdW) bulk crystal. Using generalized gradient approximation combined with dynamical mean-field theory, we show the minor ...
Luis Craco, Sabrina Silva Carara
doaj   +1 more source

A Formal Model of Metaphor in Frame Semantics [PDF]

, 2015
A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space.
Penchev, Vasil
core