Results 21 to 30 of about 590 (188)

Initial segments and end-extensions of models of arithmetic [PDF]

, 2010
This thesis is organized into two independent parts. In the first part, we extend the recent work on generic cuts by Kaye and the author. The focus here is the properties of the pairs (M, I) where I is a generic cut of a model M.
Wong, Tin Lok
core  

Constructive set theory and Brouwerian principles [PDF]

, 2005
The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby ...
Rathjen, M, Rathjen, Michael, Rathjen,Michael   +2 more
core   +1 more source

Removing Oxide Layers and Retaining Oxide‐Free Steel Surfaces by Polishing in Oxygen‐Free Atmosphere

Advanced Engineering Materials, EarlyView.
In this study, the efficacy of wet mechanical polishing under an oxygen‐free atmosphere for deoxidation and the retention of an oxide‐free steel surface are elucidated using X‐ray photoelectron spectroscopy. The methodology proved successful; however, the results were highly dependent on the preparation of the solvents used to clean the samples after ...
Friedrich Bürger, Lienhard Wegewitz, Wolfgang Maus‐Friedrichs   +2 more
wiley   +1 more source

Al–Cu Composite Casting of Laser‐Deoxidized Copper: Bonding, Interfacial Chemistry, and Thermal Conductivity

Advanced Engineering Materials, EarlyView.
This study investigates laser‐based oxide removal of Cu inserts in oxygen‐free conditions and examines long‐term oxidation kinetics and surface chemistry under different atmospheres via X‐ray photoelectron spectroscopy. Al–Cu compound casting with differently oxidized surfaces is performed, and intermetallic phase formation, morphology, and thermal ...
Timon Steinhoff, Finn‐Lennard Janthur, Sascha Zimmermann, Sarah Seffer, Jörg Hermsdorf, René Gustus, Ludger Overmeyer, Wolfgang Maus‐Friedrichs, Hans Jürgen Maier, Christian Klose   +9 more
wiley   +1 more source

Axiomatization and Models of Scientific Theories [PDF]

, 2010
In this paper we discuss two approaches to the axiomatization of scien- tific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models.
Moraes, Fernando T. F., Krause, Décio, Arenhart, Jonas R. B.   +2 more
core  

Optimization of the Production of Rubber Compounds Using Mathematical Models

Advanced Engineering Materials, EarlyView.
Rubber compounds were mixed in a batch internal mixer, and symbolic regression was used to derive mathematical models linking recipe and process parameters to ram path, torque, and mixing quality (incorporation, dispersion, distribution). Subsequent optimization with evolutionary algorithms identified operating conditions that reduce specific energy ...
Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann   +7 more
wiley   +1 more source

COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (Mathematical Logic and Its Applications) [PDF]

, 2017
We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory.
Hamkins, Joel David, Godziszewski, Michal Tomasz   +1 more
core  

Molecular Dynamics Studies of Shape Memory Polymers: From Bead–Spring Models to Atomistic Simulations

Advanced Engineering Materials, EarlyView.
Coarse‐grained (left) and atomistic (right) models of the shape memory polymer ESTANE ETE 75DT3 are shown schematically. The two representations bridge molecular detail and mesoscopic description. Both models capture shape memory behavior, linking segmental mobility and conformational relaxation of anisotropic chains to macroscopic recovery, and ...
Fathollah Varnik
wiley   +1 more source

Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells

Advanced Materials, EarlyView.
This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno, Qiangrui Dong, Marco Post, Xin Meng, Cristiano Glessi, Nynke Marije Hettema, Nidas Brandsma, Sebbe Blokhuizen, Alejandro Castañeda Garcia, Srividya Ganapathy, Thieme Schmidt, Lars van Roemburg, Bing Xu, Chun‐Ting Cho, Liedewij Laan, Miao‐Ping Chien, Daan Brinks   +16 more
wiley   +1 more source

Parallel Electrical Integration of Photo Bio Electrochemical Systems (photo‐BESs): Performance Gains and Load Dependency

Advanced Materials Technologies, EarlyView.
Parallel wiring of bioelectrochemical devices with conventional generators unexpectedly boosts output. A biophotovoltaic paired with a solar cell delivers up to 50% more power at low loads than their separate contributions; a plant microbial fuel cell shows similar current gains.
Valeria Marsaglia, Paolo Bombelli, Ingrid Paoletti, Ioannis A. Ieropoulos, Christopher J. Howe   +4 more
wiley   +1 more source