Results 131 to 140 of about 1,501,850 (327)
Beyond Order: Perspectives on Leveraging Machine Learning for Disordered Materials
Advanced Engineering Materials, EarlyView.This article explores how machine learning (ML) revolutionizes the study and design of disordered materials by uncovering hidden patterns, predicting properties, and optimizing multiscale structures. It highlights key advancements, including generative models, graph neural networks, and hybrid ML‐physics methods, addressing challenges like data ...
Hamidreza Yazdani Sarvestani +4 more
wiley +1 more source
Proofs to two inequality conjectures for a point on the plane of a triangle
Journal of Inequalities and Applications, 2016 We prove two conjectures for a point on the plane of a triangle presented in (Liu in J. Math. Inequal. 8(3):597-611, 2014, doi: 10.1007/s11590-013-0708-4 ) by using the successive difference substitution algorithm NEWTSDS.
Fangjian Huang
doaj +1 more source
, 2006 Automated reasoning and knowledge representation are intertwined, as reasoning engines need to take into account representation formalisms and vice versa. The chapter entitled "Automated Reasoning" surveys both. It covers classical and non-classical logics, illustrating relevant trade-offs between expressivity and decidability.
M. BONACINA, MARTELLI, Alberto
openaire +2 more sources
Subgrain and Cavity Development during Creep of Al‐3.85%Mg
Advanced Engineering Materials, EarlyView.Al‐3.85%Mg does form subgrains if crept at very high strains. This fact allows the unification of the creep description in two different alloys such as pure Al and Al–Mg alloys. It is classically considered that the creep mechanisms for type M (e.g., pure Al) and type A alloys (e.g., Al–Mg alloys) are different.
Augusta Isaac +6 more
wiley +1 more source
Preface: The field of automated reasoning
Computers & Mathematics with Applications, 1995 AbstractThe term automated reasoning (first introduced in 1980) accurately describes the objective of the field, the automation of logical reasoning. This article introduces scientists to the field and then briefly describes the papers found in this special issue.
openaire +2 more sources
Satisfiability-Based Algorithms for Boolean Optimization
, 2004 This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Computer Science and Engineering.
Manquinho, V., Marques-Silva, J. P.
core +2 more sources
Residual Stress States in Microstructurally Graded PBF–LB/M Austenitic Steel Components
Advanced Engineering Materials, EarlyView.This study examines microstructurally graded 316L rectangular tube profiles fabricated via PBF–LB/M using a dual‐laser system. A 1 kW top‐hat and a 400 W Gaussian laser create distinct grain sizes and crystallographic texture. Mechanical properties are linked to microstructural evolution driven by processing conditions.
Nico Möller +5 more
wiley +1 more source
Hidden-Markov Program Algebra with iteration
, 2011 We use Hidden Markov Models to motivate a quantitative compositional semantics for noninterference-based security with iteration, including a refinement- or "implements" relation that compares two programs with respect to their information leakage; and ...
ANNABELLE MCIVER +15 more
core +1 more source
Advanced Engineering Materials, EarlyView.Scanning transmission electron microscopy imaging techniques are an essential tool to document dynamic developments, such as precipitation in aluminum alloys, during in situ heating experiments using transmission electron microscopy. However, in many cases, chemical information is required to interpret complex nanoscale processes.
Evelin Fisslthaler +4 more
wiley +1 more source
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source