Results 41 to 50 of about 304,307 (287)

Well Behaved Transition Systems [PDF]

Logical Methods in Computer Science, 2017
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem.
Michael Blondin, Alain Finkel, Pierre McKenzie   +2 more
doaj   +1 more source

Characterization of Defect Distribution in an Additively Manufactured AlSi10Mg as a Function of Processing Parameters and Correlations with Extreme Value Statistics

Advanced Engineering Materials, EarlyView.
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt, Varma Kvvssn, Hossein Laieghi, Zia Uddin, Peyman Ansari, E. Kıvanç Sadak, Can Barış Toprak, Hüseyin Kızıl, Enrico Salvati   +8 more
wiley   +1 more source

Monotonicity in Modular Function Spaces Equipped with O-norm

Journal of Harbin University of Science and Technology
Modular function spaces are extensions of Lebesgue spaces and Orlicz spaces. We introduce Orlicz norm in Modular function spaces, and study the monotonicity in modular function spaces equipped with O-norm and L-norm.
HU Xuemei, CUI Yunan
doaj   +1 more source

Convergence analysis for split hierachical monotone variational inclusion problem in Hilbert spaces

Topological Algebra and its Applications, 2022
In this paper, we introduce a new iterative algorithm for approximating a common solution of Split Hierarchical Monotone Variational Inclusion Problem (SHMVIP) and Fixed Point Problem (FPP) of k-strictly pseudocontractive mappings in real Hilbert spaces.
Abass H.A., Jolaoso L. O., Mewomo O. T.
doaj   +1 more source

A categorial grammar of Spanish auxiliary chains

Isogloss, 2022
Spanish auxiliary sequences as in Juan puede haber tenido que estar empezando a trabajar hasta tarde ‘Juan may have had to be starting to work until late’, traditionally termed auxiliary chains, have two properties that are not naturally captured in ...
Diego Gabriel Krivochen, Susan Schmerling   +1 more
doaj   +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, Krzysztof S. Stopka, Michael D. Sangid   +2 more
wiley   +1 more source

Inverse Identification of Energy‐Dependent Laser Absorptivity in NiTi Laser Powder‐Bed Fusion via Calibrated Melt Pool Simulation

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, Hadi Moutablaleh, Ignatius A. Setiawan, Mehrshad Mehrpouya   +3 more
wiley   +1 more source

Milnor’s Conjecture on Monotonicity of Topological Entropy: results and questions [PDF]

, 2014
02.08.13 KB. Author has recieved permission from publisher to add the submitted version to Spiral.This note discusses Milnor’s conjecture on monotonicity of entropy and gives a short exposition of the ideas used in its proof which was obtained in joint ...
van Strien, S, Sebastian van Strien
core   +1 more source

Controlling Grain Growth in Powder Bed Fusion of Yttria‐Stabilized Zirconia Using Femtosecond Lasers: Challenges and Methodological Insights

Advanced Engineering Materials, EarlyView.
Binder‐free laser powder bed fusion of 8YSZ with a femtosecond laser is used to map process windows linking scan strategy, heat accumulation, and grain growth. Time‐resolved thermography and simulations reveal thermal regimes that enable continuous, vitrified, and fine‐grained 8YSZ surface layers without absorptive additives and demonstrate ...
Markus Kühn, Sarah Kaden, Andrea Barz, Daniel Störzner, Jens Bliedtner, Andrés Fabián Lasagni   +5 more
wiley   +1 more source

Testing strict monotonicity in nonparametric regression [PDF]

, 2006
A new test for strict monotonicity of the regression function is proposed which is based on a composition of an estimate of the inverse of the regression function with a common regression estimate. This composition is equal to the identity if and only if
Dette, Holger, Birke, Melanie
core