Results 61 to 70 of about 9,301 (306)
Hereditary Substitution for the λΔ-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
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
An Inkjet‐Printed Platinum‐Based Temperature Sensing Element on Polyimide Substrates
Advanced Engineering Materials, EarlyView.An inkjet‐printed, meander‐structured, nanoparticle platinum‐based resistive temperature sensors on polyimide substrates are demonstrated as proof‐of‐concept. Optimized sintering at 250°C enables stable conductive structures. The Pt100‐ and Pt1000‐type sensors exhibit linear resistance–temperature characteristics with stable TCR in the 20°C–80°C range,
Shawon Alam +6 more
wiley +1 more source
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
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 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 novel, temperature‐controlled post‐consolidation unit is developed to test its potential to improve the melt impregnation process used to manufacture continuous fiber‐reinforced filaments for additive manufacturing of high‐performance thermoplastics.
Daniel Beermann +2 more
wiley +1 more source