Results 81 to 90 of about 3,702,791 (303)
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
Annals of Pure and Applied Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Chapter 5 Linear Logic Programming
, 2007 s depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation.
Linear Logic Programming
core
Non-Elementary Complexities for Branching VASS, MELL, and Extensions [PDF]
, 2014 We study the complexity of reachability problems on branching extensions of vector addition systems, which allows us to derive new non-elementary complexity bounds for fragments and variants of propositional linear logic.
Ranko Lazic +3 more
core +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
On the π-calculus and linear logic
Theoretical Computer Science, 1994 The authors extend the Curry-Howard ``formulae-as-types/proofs-as- objects'' isomorphism to what Abramsky calls the ``proofs-as-processes'' paradigm, translating linear logic into the \(\pi\)-calculus. The \(\pi\)- calculus is a formalism, with the flavor of the \(\lambda\)-calculus, for capturing concurrency.
BELLIN, Gianluigi, P. J. Scott
openaire +2 more sources
Natural deduction for intuitionistic linear logic [PDF]
, 1995 The paper deals with two versions of the fragment with unit, tensor, linear implication and storage operator (the exponential!) of intuitionistic linear logic. The first version, ILL, appears in a paper by Benton, Bierman, Hyland and de Paiva; the second
Troelstra, A.S., A.S. Troelstra
core +2 more sources
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
Model checking linear logic specifications
, 2004 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
DELZANNO, GIORGIO +2 more
core +2 more sources
The logic of linear propositions
Logic Journal of the IGPL, 2019 Abstract I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.
openaire +1 more source