Results 111 to 120 of about 1,240,536 (266)
Symmetric Proofs in the Ideal Proof System
CoRRPublished by Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern ...
Anuj Dawar +3 more
openaire +5 more sources
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source
In Situ Micromechanical Study of Bimodal γ′–γ″ Precipitate Assemblies in Ni–Cr–Al–Nb Superalloy
Advanced Engineering Materials, EarlyView.A Ni–Cr–Al–Nb superalloy with a bimodal γ′–γ″ precipitate distribution is developed. Composite precipitate assemblies form through heterogeneous nucleation, effectively impeding dislocation motion. Micropillar compression reveals high strength at room and elevated temperatures, governed by precipitate shearing, with coupled faulting mechanisms ...
Ujjval Bansal +4 more
wiley +1 more source
Metropolia Proof Health –tukitoimintojen prosessien määrittely [PDF]
Toimintatutkimus käsitteli tukitoimintojen prosessien määrittelyä ja kehittämishankkeena toteutettua prosessin ja projektien läpimenoaikaan vaikuttavaa toiminnallista muutosta.
Mailander, Kati
core
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent functions on proof trees as yet further proof trees satisfying a suitable analog of well-foundedness.
openaire +2 more sources
Advanced Engineering Materials, EarlyView.A combined experimental–computational framework identifies energy‐dependent laser absorptivity for NiTi in laser powder‐bed fusion, applicable to conduction and transition modes. Single‐track experiments and thermofluid smoothed particle hydrodynamics simulations are coupled through inverse analysis of melt pool geometry.
Mohamadreza Afrasiabi +3 more
wiley +1 more source
COALITION-PROOF SUPPLY FUNCTION EQUILIBRIA UNDER CAPACITY CONSTRAINTS [PDF]
Whereas in the absence of capacity constraints the Cournot outcome is the unique coalition-proof supply function equilibrium outcome, the presence of capacity constraints may enlarge the set of equilibrium outcomes.
Juan Delgado
core
A Practical Noise2Noise Denoising Pipeline for High‐Throughput Raman Spectroscopy
Advanced Engineering Materials, EarlyView.A lightweight and reproducible denoising pipeline for high‐throughput Raman spectroscopy is introduced, based on a 1D convolutional autoencoder trained with a Noise2Noise strategy. Using only repeated short‐exposure acquisitions, the method suppresses stochastic noise without reference spectra, enabling reliable spectral reconstruction while preserving
David Martin‐Calle +5 more
wiley +1 more source
Dilworth's Theorem Revisited, an Algorithmic Proof [PDF]
Dilworth's theorem establishes a link between a minimal path cover and a maximal antichain in a digraph.A new proof for Dilworth's theorem is given. Moreover an algorithm to find both the path cover and the antichain, as considered in the theorem, is ...
Potharst, R., Pijls, W.H.L.M.
core +1 more source
High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry
Advanced Engineering Materials, EarlyView.Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova +3 more
wiley +1 more source