Results 51 to 60 of about 214 (213)
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +7 more sources
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Russell’s doctrine of space and time in connection with Kant’s transcendental aesthetics
SententiaeAuthor demonstrates that Russell’s conception of space and time diverges from Kant’s transcendental aesthetics and leans towards logical and mathematical topology.
Viktor Kozlovskyi
doaj +1 more source
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
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 +15 more
wiley +1 more source
The Sessions on Induction and Probability at the 1935 Paris Congress: An overview
Philosophia Scientiæ, 2018 The First International Congress for the Unity of Science (Congrès international de philosophie scientifique) held in Paris in 1935 hosted two sessions devoted to “Induction” and “Probability” respectively. Outstanding representatives of the movement for
Maria Carla Galavotti
doaj +1 more source
The Review of Symbolic LogicAbstract We investigate a system of modal semantics in which $\Box \phi $ is true if and only if
openaire +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +3 more sources
On Affine Logic and Łukasiewicz Logic
CoRR, 2014 The multi-valued logic of Łukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of Łukasiewicz logic can be improved by separating its classical and intuitionistic aspects.
Rob Arthan, Paulo Oliva
openaire +2 more sources