Results 71 to 80 of about 16,840,789 (262)

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Topological Completeness of First-Order Modal Logic [PDF]

, 2012
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking ...
Awodey, S., Bolander, T., Kishida, K., Braüner, T., Moss, L., Ghilardi, S.   +5 more
core  

Reasoning about truth in first-order logic [PDF]

, 2013
First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-
Claes Strannegård, Strannegård, Claes,, Strannegård, Claes, Engstr\uf6m, Fredrik, Engström, Fredrik, Rips, Lance, Nizamani, Abdul Rahim,, Engström, Fredrik,, Nizamani, Abdul Rahim, Lance Rips, Rips, Lance,, Stranneg\ue5rd, Claes, Fredrik Engström, Abdul Rahim Nizamani   +13 more
core   +1 more source

Semantic Modeling in Materials Science and Engineering With Platform MaterialDigital Core Ontology 3.0

Advanced Engineering Materials, EarlyView.
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling, Philipp von Hartrott, Jörg Waitelonis, Thomas Hanke, Henk Birkholz, Hossein Beygi Nasrabadi, Khashayar Razghandi, Kamilla Zaripova, Felix Thonagel, Fabian Neuhaus, Martin Glauer, Lars Vogt, Harald Sack, Lutz Mädler, Bernd Bayerlein, Chris Eberl   +15 more
wiley   +1 more source

On the Effect of Creep on Local Lattice Orientation in Single‐Crystal Ni‐Based Superalloy Microstructures

Advanced Engineering Materials, EarlyView.
During creep of a single‐crystal Ni‐based superalloy, the overall crystal orientation is observed to remain constant while the microstructure evolves. Despite the lack of macroscopic rotation, small (<1°) rotations are observed on the submicron size scale and are accommodated by counteracting rotations over the scale of several micrometers.
E. J. Payton, E. B. Dursun, G. Eggeler, L. Agudo Jácome   +3 more
wiley   +1 more source

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Technologies
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, Nahla Elaraby   +8 more
doaj   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

A proof of completeness for continuous first-order logic

, 2010
International audienceThe primary purpose of this article is to show that a certain natural set of axioms yields a completeness result for continuous first-order logic.
Pedersen, Arthur Paul, Arthur Paul Pedersen, Itai Ben Yaacov, Ben Yaacov, Itaï   +3 more
core   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Markov Logic Based Inference Engine for CDSS [PDF]

Mehran University Research Journal of Engineering and Technology, 2017
CDSS (Clinical Decision Support System) is typically a diagnostic application and a modern technology that can be employed to provide standardized and quality medical facilities to the medical patients especially when expert doctors are not available ...
IMRAN SARWAR BAJWA, BUSHRA RAMZAN, SHABANA RAMZAN   +2 more
doaj