Results 81 to 90 of about 2,137,054 (245)

Computing the Density of States of Boolean Formulas [PDF]

, 2010
In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean formula F, its density of states counts the number of configurations that violate exactly E clauses, for all values of E.
Stefano Ermon, Carla P. Gomes, Bart Selman   +2 more
openaire   +2 more sources

Workflow for Design of Experiments‐Based Modeling of Species Transport and Growth Kinetics in GaN Hydride Vapor Phase Epitaxy

Advanced Engineering Materials, EarlyView.
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič, G. Lukin, H. Torkashvand, A. Kerschbaum, M. Müller, S. Besendörfer, J. Heitmann, J. Friedrich   +7 more
wiley   +1 more source

The formula for survival in resuscitation

, 2013
: The International Liaison Committee on Resuscitation (ILCOR) Advisory Statement on Education and Resuscitation in 2003 included a hypothetical formula - 'the formula for survival' (FfS) - whereby three interactive factors, guideline quality (science ...
Soreide, Eldar, Monsieurs, Koen, Morrison, Laurie, Hillman, Ken, et al.   +4 more
core  

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

Numerical Calculation of Whole-Body Exposure to Beams From mmWave Base Stations Using Superposition of Spherical Waves

IEEE Access
Whole-body exposure to beams from fifth-generation (5G) base stations is numerically studied. Since the base stations have the capability for beamforming, the assessment of exposure to all possible beams from such stations must be performed to find the ...
Yujiro Kushiyama, Tomoaki Nagaoka
doaj   +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

Influence of Scan Strategies in Electron Beam Powder Bed Fusion on Solidification, Microstructure, and High‐Temperature Compressive Properties of γ′‐Strengthened Inconel 738LC

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, Karthik Kumar Banku, Prasanth Bondi, Ivan Zhirnov, Yangyiwei Yang, Gordon Schmidt, Jürgen Christen, Georg Hasemann, Manja Krüger, Bai‐Xiang Xu, Bilal Gökce, Silja‐Katharina Rittinghaus   +11 more
wiley   +1 more source

[Formula SENA. Cortinilla]

, 2010
Cortinilla del evento Formula SENA utilizada para separar los el programa de la pauta comercial.Curtain of the Formula SENA event used to separate the program from the commercial ...

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, Y. Beideler, D. Chune, R. De Guio, T. Roland, H. Chibane   +5 more
wiley   +1 more source

Formulas for series computations

, 1991
We describe an algorithm that computes polynomials whose roots are the coefficients of any specific order of the Laurent series of a rational function. The algorithm uses only rational operations in the coefficient field of the function. This allows us to compute with the principal parts of the Laurent series, in particular with the residues of the ...
openaire   +2 more sources