Results 41 to 50 of about 1,872,787 (308)
An Interview With Albert W. Tucker [PDF]
, 1983 The mathematical career of Albert W. Tucker, Professor Emeritus at Princeton University, spans more than 50 years. Best known today for his work in mathematical programming and the theory of games (e.g., the Kuhn-Tucker theorem, Tucker tableaux, and the ...
Maurer, Stephen B., Tucker, A. W.
core +2 more sources
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
, 2015 This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language.
Avigad, Jeremy
core +1 more source
Automatic Classification of Restricted Lattice Walks [PDF]
, 2009 We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of ...
Bostan, Alin, Kauers, Manuel
core +10 more sources
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
Mathematics in Hands-On Science for Liberal Arts Students [PDF]
, 2000 We describe a number of experiments from the courses called, General Science 9, part of the science program for elementary education majors at Brooklyn College. These courses provide hands-on learning experiences for students who are insecure and weak in
Sobel, M. I.
core +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Inductive Inference and Reverse Mathematics [PDF]
, 2015 The present work investigates inductive inference from the perspective of reverse mathematics. Reverse mathematics is a framework which relates the proof strength of theorems and axioms throughout many areas of mathematics in an interdisciplinary way ...
, Jain, Sanjay, Stephan, Frank
core +1 more source
Advanced Engineering Materials, EarlyView.In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.The results demonstrate a simulation‐driven workflow that applies LSB topology optimization with additive manufacturing constraints to mission‐specific load cases, integrating European Cooperation for Space Standardization compliant verification and manufacturability to develop structurally efficient rover suspension components.
Stelios K. Georgantzinos +11 more
wiley +1 more source