Results 91 to 100 of about 42,644,411 (279)

Research on the Evolution Law of Electrochemical Impedance Spectral Characteristics of Lithium-Ion Batteries in Different States

Molecules
Lithium-ion batteries (LIBs) are pivotal for energy storage in electric vehicles and renewable systems, but how to effectively monitor their conditions and ensure their operational reliability is still a concern today.
Xiong Shu, Linkai Tan, Wenxian Yang, Konlayutt Punyawudho, Quan Bai, Qiong Wang   +5 more
doaj   +1 more source

Structural Operational Semantics for Stochastic Process Calculi [PDF]

, 2008
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules.
Bartek Klin, Vladimiro Sassone
openaire   +3 more sources

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

Dependency-Constrained Cascading Rescheduling: Network Evolution and Long-Term Adaptation

Mathematics
Traditional scheduling theory optimizes initial task assignments under static assumptions, yet operational systems face repeated disruptions requiring both immediate rescheduling and long-term structural adaptation.
TzeHoung Lee, Xue-Ming Yuan
doaj   +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

Design and Validation of a 3D-Printed Drone Chassis Model Through Static and Transient Nonlinear FEM Analyses and Experimental Testing

Drones
This work presents the structural analysis and validation of a sub-250 g FPV drone chassis, emphasizing both theoretical rigor and practical applicability. The novelty of this contribution lies in four complementary aspects.
Basil Mohammed Al-Hadithi, Sergio Alcón Flores   +1 more
doaj   +1 more source

Structuring Operational Semantics: Simplification and Computation

Electronic Notes in Theoretical Computer Science, 2007
AbstractThe paper describes a language consisting of two layers, terms and computation rules, whose operational semantics is given in terms of two relations: simplification and computation. Simplification is induced by confluent rewriting on terms. Computation is induced by chemical reactions, like those in the Join-calculus.
openaire   +3 more sources

Supporting AI Readiness Through Digital Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns, Lateef Abdul, Stephan Barth, Martin Glauer, Manuel Günther, Fabian Neuhaus, Jan‐Ole Perschewski, Thomas Bjarsch, Henrik Abel, Johannes Bosch, Niklas Meyer, Peter Hofmann, Marc Drechsler, Alexander Dyck, Dhanunjaya Kumar Nerella, Marvin Tegeler, Oleg Shchyglo, Ingo Steinbach, Timo Klecker, Henk Birkholz, Ehsan Borzabadi Farahani, Bernard Fedelich, Cetin Haftaoglu, Tarakeshwar Lakshmipathy, Elena Garcia Trelles, Christoph Schweizer, Reza Darvishi Kamachali, Lukas Koschmieder, Janin Eiken, Markus Apel, Sung‐Min Wi, Jiangdong Zhao, Andreas Fezer, Nicolas Christ, Patrick Schneider, Eldor Urinov, Veit Königer, Volker Knoblauch, Janik Harter, Thomas Seifert, Thitichai Janpheng, Florian Fuchs, Fabian Teichert, Jörg Schuster, Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann, Felix Wentzien, Heike Wittek, Benjamin Klie, Alexander Röhrs, Ludger Overmeyer, Achraf Atila, Marcel Sadowski, Leopold Talirz, Jan Janssen, Jesper R. Pedersen, Peter Beck, Tejs Vegge, Ivano E. Castelli, Wolfgang Wenzel, Tilmann Hickel, Jörg Schaarschmidt   +67 more
wiley   +1 more source

Structural operational semantics of imperative programming languages in Coq [PDF]

, 2020
This thesis proposes a design for a framework to aid the study of the course Semantics and Correctness from the Faculty of Science of Radboud University.
Bahovska, Elitsa
core   +1 more source

Conformal Prediction Intervals for Semi-Functional Partial Linear Regression Under β-Mixing Dependence

Mathematics
We study prediction intervals for the semi-functional partial linear model (SFPLM) under stationary, geometrically β-mixing dependence. We analyze a split conformal procedure based on a three way data partition with buffer gaps, a functional principal ...
Jeza Allohibi
doaj   +1 more source