Results 91 to 100 of about 271,967 (273)
ITERATING SYMMETRIC EXTENSIONS [PDF]
The Journal of Symbolic Logic, 2019 AbstractThe notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of $ZF$ between the ground model and the generic extension, and often the axiom of choice fails in these models. Symmetric extensions are generally used to prove choiceless consistency results.
openaire +4 more sources
Districting in last‐mile delivery with stochastic customers
International Transactions in Operational Research, Volume 33, Issue 3, Page 1636-1655, May 2026.Abstract Due to the peculiarities of city streets, last‐mile logistics is typically organized using territory‐based routing approaches, which divide the city into a set of districts and assign drivers to deliver in one or more of them. This allows drivers to develop a deep understanding of the characteristics of each district, and clients benefit from ...
Maria Elena Bruni +3 more
wiley +1 more source
Space Correlation Constrained Physics Informed Neural Network for Seismic Tomography
Journal of Geophysical Research: Machine Learning and Computation, Volume 3, Issue 2, April 2026.Abstract Physics‐informed neural networks (PINNs) integrate physical constraints with neural architectures and leverage their nonlinear fitting capabilities to solve complex inverse problems. Tomography serves as a classic example, aiming to reconstruct subsurface velocity models to improve seismic exploration.
Yonghao Wang +3 more
wiley +1 more source
UITOTO: a software for generating molecular diagnoses for species descriptions
Cladistics, Volume 42, Issue 2, Page 193-205, April 2026.Abstract Millions of species remain undescribed, and each eventually will require a species description with a diagnosis. Yet, we lack software that can derive state‐specific and contrastive molecular diagnoses and allows the user to validate them based on all available sequences for the taxon under study. Here we introduce UITOTO, which addresses this
Ambrosio Torres +3 more
wiley +1 more source
, 2011 FAST (Fusion Advanced Studies Torus), the Italian proposal of a Satellite Facility to ITER, is a compact tokamak (R$_0$ = 1.82 m, a = 0.64 m, triangularity $\delta$ = 0.4) able to investigate non-linear dynamics effects of $\alpha$-particle behavior in ...
Muzzi, L., Pompeo, N.
core
Veterinary Dermatology, Volume 37, Issue 2, Page 247-256, April 2026.ABSTRACT Background Identification of offending foods in dogs with adverse food reactions is usually based on “deterioration” during open food challenges. Objectives To examine the placebo effect during double‐blinded, placebo‐controlled food challenges using a predefined set of criteria for relapse.
Evi I. Sofou +4 more
wiley +1 more source
International Journal for Numerical Methods in Engineering, Volume 127, Issue 6, 30 March 2026.ABSTRACT The contribution deals with algebraic multigrid (AMG) based preconditioning methods for the iterative solution of a coupled linear system of equations arising in numerical simulations of failure of quasi‐brittle materials using generalized continuum approaches.
Nasser Alkmim +4 more
wiley +1 more source
Evaluation of the ITER Real-Time Framework for Data Acquisition and Processing from Pulsed Gigasample Digitizers [PDF]
, 2020 Milosz Kadziela +3 more
openalex +1 more source
Accelerating Conjugate Gradient Solvers for Homogenization Problems With Unitary Neural Operators
International Journal for Numerical Methods in Engineering, Volume 127, Issue 5, 15 March 2026.ABSTRACT Rapid and reliable solvers for parametric partial differential equations (PDEs) are needed in many scientific and engineering disciplines. For example, there is a growing demand for composites and architected materials with heterogeneous microstructures.
Julius Herb, Felix Fritzen
wiley +1 more source