Results 111 to 120 of about 37,638 (267)
Вестник Самарского университета: Аэрокосмическая техника, технологии и машиностроение, 2014 The paper deals with the methodological approach to the development of a problem-oriented system of automated design. The system enables interactive setting and solving of design problems, updating design parameters and obtaining the results required for
N. R. Stratilatov +3 more
doaj +1 more source
Advanced Science, EarlyView.TarPass provides a rigorous benchmark for target‐aware de novo molecular generation by jointly evaluating protein‐ligand interactions, molecular plausibility, and drug‐likeness on 18 well‐studied targets. Results show that current models often fail to consistently surpass random baseline in target‐specific enrichment, while post hoc multi‐tier virtual ...
Rui Qin +11 more
wiley +1 more source
Semantic Criteria of Correct Formalization [PDF]
, 2010 This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas ...
Lampert, Timm
core
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Formalization of Banking Supervision 19th-20th Centuries
Intro -- Preface -- Acknowledgments -- Contents -- About the Authors -- List of Figures -- List of Tables -- 1 Motivation and Framework -- 1.1 Introduction -- 1.2 Concepts and Definition -- 1.3 Theory of Banking Supervision -- 1.4 Scope -- 1.5 Previous ...
Hotori, Eiji. +2 more
core
Neural Network Classification and Formalization
In order to assist the field of neural networks in maturing, a formalization and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all- encompassing formal mathematical definition of a
Fiesler, Emile
core +1 more source
Advanced Science, EarlyView.This perspective proposes a cohesive machine learning strategy to decode microplastic aging. It advocates for Federated Learning to dismantle global data silos and introduces the TRACE framework (TRansport, Aging, Corona, Ecotoxicity). By integrating physics‐informed modeling with causal discovery, this approach bridges the laboratory‐field gap to ...
Yaping Lyu +6 more
wiley +1 more source
Formalization of Software Development: Problems and Solutions
The current paper gives an insight in the problem domain of formalization of software development, highlighting the potential advantages of usage of formal methods.
Alksnis, Gundars +3 more
core
Enabling and Coercive Formalization
, 2017 This master thesis focusses on the balance between enabling and coercive formalization at the audit department of a big four accounting firm. Formalization is the extent of written rules, procedures and instructions governing employees activities ...
Aken, Niels, van
core