Results 111 to 120 of about 57,646 (303)

Perspectives of semantic modeling in categories

Journal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Holistic Competencies and Employability: Diagnosis and Improvements for Higher Education in Ecuador from a Labor Market Perspective

Societies
Soft skills are increasingly recognised as decisive factors for employability and career advancement in the global labour market. This study examines their role in the professional trajectories of university graduates in Ecuador, analysing both the ...
Diana Patricia Moya Loaiza, Juan Alcides Cárdenas Tapia, Cristian Leonardo García García   +2 more
doaj   +1 more source

Fault Tolerant Control of an Experimental Flexible Wing

Aerospace, 2019
Active control techniques are a key factor in today’s aircraft developments to reduce structural loads and thereby enable highly efficient aircraft designs.
Daniel Ossmann, Manuel Pusch
doaj   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source

Design and Optimization of a Piezoelectric Stick-Slip Actuator with Distributed Compliance

Machines
With increasing demand for high-precision motion control systems, high operational speed and load capacity are imposed with piezoelectric stick-slip actuators based on compliant mechanisms, yet their performances are often constrained by the step size ...
Tingting Ye, Zhao Feng, Yangmin Li
doaj   +1 more source

A structural approach to operational semantics

The Journal of Logic and Algebraic Programming, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Leveraging Artificial Intelligence and Large Language Models for Cancer Immunotherapy

Advanced Science, EarlyView.
Cancer immunotherapy faces challenges in predicting treatment responses and understanding resistance mechanisms. Artificial intelligence (AI) and machine learning (ML) offer powerful solutions for cancer immunotherapy in patient stratification, biomarker discovery, treatment strategy optimization, and foundation model development.
Xinchao Wu, Mengtao Sun, Lusheng Li, Jieqiong Wang, Shibiao Wan   +4 more
wiley   +1 more source

Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare

Advanced Science, EarlyView.
Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu, Haolin Fan, Minwoo Kim, Tong Zhou, Pinyi Yang, Lingdi Zhao, Yiran Wang, Ziyuan Che, Chia‐Wei Liu, Bingbing Li, Yangzhi Zhu   +10 more
wiley   +1 more source

Propeller Design Optimization and an Evaluation of Variable Rotational Speed Flight Operation Under Structural Vibration Constraints

Machines
This paper presents a methodology for optimizing an aeronautical propeller to minimize power consumption. A multi-objective approach using blade element momentum (BEM) theory and evolutionary algorithms is employed to optimize propeller design by ...
Nicolas Lima Oliveira, Afonso Celso de Castro Lemonge, Patricia Habib Hallak, Konstantinos Kyprianidis, Stavros Vouros, Manuel A. Rendón   +5 more
doaj   +1 more source

A Step-indexed Semantics of Imperative Objects

, 2008
Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these ...
Benjamin Pierce, Catalin Hritcu, Jan Schwinghammer   +2 more
core   +6 more sources