Results 41 to 50 of about 45,474,262 (309)

Entropy-Based Assessment of Nonfunctional Requirements in Axiomatic Design

IEEE Access, 2021
The main information systems design techniques focus, almost exclusively, on the functional requirements of the system to be implemented. In its standard formulation, axiomatic design has such characteristics. However, in complex operational environments,
Elaheh Pourabbas, Chiara Parretti, Fernando Rolli, Fabrizio Pecoraro   +3 more
doaj   +1 more source

Interpretable Machine Learning Framework for Nb─Si Based Alloy Design with Enhanced Fracture Toughness

Advanced Science, EarlyView.
An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen, Chao Xu, Jingyue Yu, Qi Wang, Hongze Fang, Shuo Yin, Turab Lookman, Ruirun Chen   +7 more
wiley   +1 more source

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs

Моделирование и анализ информационных систем, 2015
The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj   +1 more source

Diverging Liquid–Liquid Phase Separation Behavior of Different Recombinant Major Ampullate Spidroins

Advanced Science, EarlyView.
Fibers spun from the MaSp1‐derivative as well as MaSp1‐MaSp2‐mixtures provide a deeper insight into the assembly process of the spidroins and how hierarchical architectures of spider silk fibers could be achieved. ABSTRACT Spider silk fibers show exceptional mechanical properties, based on their underlying spider silk proteins (spidroins) as well as a ...
Tim Schiller, Cheryl Hayashi, Thomas R. Scheibel   +2 more
wiley   +1 more source

The limits of the development of social consciousness

Семиотические исследования
The article examines the scheme of the evolution of forms of social consciousness from the material conditions of origin to self-determination by internal logic. The purpose of the paper is to reveal the role of internal factors in the development of any
Svetlana M. Kuskova
doaj   +1 more source

Axiomatic Design Approach for Nonlinear Multiple Objective Optimizaton Problem and Robustness in Spring Design

Cybernetics and Information Technologies, 2017
This paper gives general information about multi-objective, axiomatic and robust design approaches and considersasolution model of nonlinear multi-objective optimization problem based on applyinganew robust design approach.
Feyzioglu Ahmet, Kar A. Kerim
doaj   +1 more source

AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective

Advanced Intelligent Discovery, EarlyView.
The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley   +1 more source

Accounting for animal health in efficiency analysis: An application to Swedish dairy farms

American Journal of Agricultural Economics, EarlyView.
Abstract Poor animal health is a central concern in modern livestock production. Despite the necessity to incorporate animal health in efficiency analysis, the theoretical and empirical developments are limited on this subject. This article appropriately characterizes the axiomatic properties of animal health within a production framework.
Frederic Ang, Enoch Owusu‐Sekyere, Karin Alvåsen, Helena Hansson   +3 more
wiley   +1 more source

The axiomatic method, the order of concepts and the hierarchy of sciences: an introduction

Synthese, 2011
This special issue of Synthese ‘The Classical Model of Science II: The axiomatic method, the order of concepts and the hierarchy of sciences’ follows up on the previous ‘The ClassicalModel of Science I: Amillennia-oldmodel of scientific rationality ...
Arianna Betti, W. R. de Jong, M. Martijn
semanticscholar   +1 more source

Farm labor scarcity and its uneven impacts on crop producers in the United States

American Journal of Agricultural Economics, EarlyView.
Abstract This study is the first to evaluate the impacts of farm labor scarcity on producers in the United States across different crop production systems. Between 2002 and 2017, we disentangle the effects of labor scarcity from the impacts of rising commodity demand, technological change, and supply of other inputs on labor market outcomes.
Srabashi Ray, Alexandra E. Hill, Iman Haqiqi, J. Edward Taylor, Thomas W. Hertel   +4 more
wiley   +1 more source