Results 81 to 90 of about 188,818 (285)
Advanced Engineering Materials, EarlyView.Low‐cycle fatigue damage in Mn–Mo–Ni reactor pressure vessel steel is examined using a combined electron backscatter diffraction and positron annihilation lifetime spectroscopy approach. The study correlates texture evolution, dislocation substructure development, and vacancy‐type defect formation across uniform, necked, and fracture regions, providing
Apu Sarkar +2 more
wiley +1 more source
Termination, deadlock and divergence in the λ-calculus with multiplicities
Electronic Notes in Theoretical Computer Science, 1995 Abstract The λ-calculus with multiplicities is a refinement of the lazy λ-calculus where the argument in an application comes with a multiplicity, which is an upper bound to the number of its uses. This introduces potential deadlocks in the evaluation.
Gérard Boudol, Cosimo Laneve
openaire +2 more sources
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source
Multiple integrals of Lipschitz functions in the calculus of variations [PDF]
Proceedings of the American Mathematical Society, 1977 We consider a multiple integral problem in the calculus of variations in which the integrand is locally Lipschitz but not differentiable, and in which minimization takes place over a Sobolev space. Using a minimax theorem, we derive an analogue of the classical Euler condition for optimality, couched in terms of “generalized gradients".
openaire +1 more source
HYBRID FRACTIONAL INTEGRAL INEQUALITIES IN MULTIPLICATIVE CALCULUS WITH APPLICATIONS
Aspects of both hybrid and fractional calculus are combined in the (Proportional Caputo-Hybrid) Pcap operators, which are helpful in solving differential equations with non-integer orders and modeling a variety of complicated phenomena in science and ...
SAAD IHSAN BUTT +2 more
core +1 more source
Advanced Engineering Materials, EarlyView.We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang +2 more
wiley +1 more source
Boundary Value ProblemsThis study generalizes Hermite–Hadamard–Mercer type inequalities using Riemann–Liouville fractional integrals within the framework of multiplicative calculus.
Abdul Mateen +3 more
doaj +1 more source
Combinatorial Designs with Two Singular Values I. Uniform Multiplicative Designs [PDF]
In this and a sequel paper [10] we study combinatorial designs whose incidence matrix has two distinct singular values.These generalize 2-(v, k, É) designs, and include partial geometric designs and uniform multiplicative designs.Here we study the latter,
Spence, E., Dam, E.R. van
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 +7 more
wiley +1 more source