Results 61 to 70 of about 228,061 (236)
Electronic Proceedings in Theoretical Computer Science, 2013 Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation.
Bram Geron, Herman Geuvers
doaj +1 more source
Automated proof search system for logic of correlated knowledge
, 2019 The automated proof search system and decidability for logic of correlated knowledge is presented in this paper. The core of the proof system is the sequent calculus with the properties of soundness, completeness, admissibility of cut and structural ...
Alonderis, Romas, Giedra, Haroldas
core +1 more source
Advanced Engineering Materials, EarlyView.The share of technical thermoplastics is expected to grow further in the e‐mobility segment. In this study, a detailed temperature‐based tribological characterization of technical thermoplastics is performed. The tribological properties are discussed in terms of the dynamic mechanical properties of polymers at different ambient temperatures. A proof of
Harsha Raghuram +2 more
wiley +1 more source
Wittgenstein Sobre as Provas Indutivas
DoisPontos, 2009 This paper presents a reconstruction of Wittgenstein’s treatment of inductive proofs. The philosopher repeatedly talks about separating “what the proof actually shows” from something he calls pejoratively the “prose”.
André Porto
doaj
The ZX-calculus is complete for stabilizer quantum mechanics
New Journal of Physics, 2014 The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics (QM), meaning any pure state, unitary operation and post-selected pure projective measurement ...
Miriam Backens
doaj +1 more source
Advanced Engineering Materials, EarlyView.Primary phases and a fatigue crack are studied in a forged blank of an aluminum alloy using synchrotron and laboratory X‐ray computed tomography. To image the crack, the fatigue test is interrupted, and a static tensile load is applied to open the crack.
Jakob Schröder +6 more
wiley +1 more source
Моделирование и анализ информационных систем, 2018 KeYmaera is an interactive theorem prover and is used to verify safety properties of cyber-physical systems (CPSs). It implements a Dynamic Logic for Hybrid Programs (HPs), while a HP models a CPS very precisely. Verifying properties of a given system in
Thomas Baar, Sergey Staroletov
doaj +1 more source
Advanced Engineering Materials, EarlyView.A laboratory‐scale procedure is developed to evaluate the efficiency of melt‐cleaning and drossing fluxes during aluminium alloy recycling, studying their effects on melt cleanliness and tensile properties of secondary foundry alloys. This work provides a practical tool for foundries and aluminium refiners to assess the efficiency of salt fluxes in ...
Veronica Milani, Giulio Timelli
wiley +1 more source
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
Direct Recycling of Cold Work Tool Steel Swarf into New Cutting Disks via Field‐Assisted Sintering
Advanced Engineering Materials, EarlyView.Through a sintering method known as field‐assisted sintering technology/spark plasma sintering, cold work tool steel swarf can be directly recycled into new cutting disks. This method is capable of densifying the unconventional powder morphology of swarf, and it can also seal grinding contaminants, such as Al2O3, into the steel matrix.
Monica Keszler +4 more
wiley +1 more source