Results 111 to 120 of about 880,492 (299)
An algorithm for compositional nonblocking verification of extended finite-state machines [PDF]
, 2014 This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied
Fabian, Martin, +6 more
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
Mathematical Modelling and Analysis, 2016 A general methodology for the stability analysis of discrete approximations of nonstationary PDEs is applied to solve the Kuramoto-Tsuzuki equation, including also the Schr¨odinger problem. Stability regions are constructed for the explicit, backward and
Teresė Leonavičienė +3 more
doaj +1 more source
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 +3 more
wiley +1 more source
Discrete Transparent Boundary Conditions for Multi-Band Effective Mass Approximations
, 2014 This chapter is concerned with the derivation and numerical testing of discrete transparent boundary conditions (DTBCs) for stationary multi-band effective mass approximations (MEMAs).
Dirk Klindworth +5 more
core +1 more source
Advanced Engineering Materials, EarlyView.Experiments and thermophysical simulations were conducted to investigate the electron beam powder bed fusion electron beam (PBF‐EB/M) process for the γ′‐strengthened nickel‐based superalloy Inconel 738LC. The results demonstrate the impact of process‐induced microstructural variations on high‐temperature mechanical behavior, providing a basis for ...
Jan Niklas Petenati +11 more
wiley +1 more source
Discrete approximation in the L1 norm [PDF]
The Computer Journal, 1973 K. Spyropoulos +2 more
openaire +3 more sources
Maximum Likelihood and Gaussian Estimation of Continuous Time Models in Finance [PDF]
This paper overviews maximum likelihood and Gaussian methods of estimating continuous time models used in finance. Since the exact likelihood can be constructed only in special cases, much attention has been devoted to the development of methods designed
Jun Yu, Peter C. B. Phillips
core
New AI‐Assisted Approach for Expanding the Solution Space: Application to Lattice Structure Design
Advanced Engineering Materials, EarlyView.This work introduces an innovative framework for designing structured materials by ex panding the design space through reparameterization of qualitative variables into continuous structural descriptors. Combined with machine‐learning‐based prediction and multi‐objective optimization, the approach enables the discovery of novel lattice architectures ...
G. H. Gahimbare +5 more
wiley +1 more source
Electronic Journal of Differential Equations, 2018 We consider the nonstationary motion of a viscous incompressible micropolar fluid having a prescribed flux in an infinite cylinder. The global existence and uniqueness result for the generalized time-dependent Poiseuille solution is provided by means
Michal Benes +2 more
doaj