Results 111 to 120 of about 4,882 (287)

Phenobot: An Autodigital Modeling System for in situ Phenotyping in Horticulture

Advanced Intelligent Systems, EarlyView.
This study introduces a robotic phenotyping system for precision agriculture, integrating environmental understanding, motion planning, and in situ plant phenotyping. The system autonomously navigates through real‐world agricultural environments, collects high‐quality plant data, and reconstructs accurate 3D plant models. Results demonstrate the system'
Kewei Hu, Yaoqiang Pan, Tianhao Liu, Hugh Zhou, Chao Chen, Hanwen Kang   +5 more
wiley   +1 more source

A Shared Control Method of Multiobjective Motion Fusion for Surgical Robot

Advanced Intelligent Systems, EarlyView.
This paper proposes an innovative shared control method that can handle multiple objectives task by integrating various types of controllers. It not only takes into account the priorities among the objectives but also allows for the flexible addition or removal of objective controllers.
Xilin Xiao, Xiaojian Li, Hangjie Mo, Yudong Shi, Jing Fang, Ling Li, Bo Ouyang, Shanlin Yang   +7 more
wiley   +1 more source

Artificial Intelligence‐Enhanced, Closed‐Loop Wearable Systems Toward Next‐Generation Diabetes Management

Advanced Intelligent Systems, EarlyView.
Recent advancements in wearable healthcare have brought accessible continuous glucose monitoring systems (CGMs) for diabetes management. To address the limitations of CGMs, closed‐loop systems utilizing monitored glucose levels for insulin dosing are being developed.
Wei Huang, Ivo Pang, Jing Bai, Binbin Cui, Xiaojuan Qi, Shiming Zhang   +5 more
wiley   +1 more source

C Program Verication in the Multilanguage System Spectrum

Моделирование и анализ информационных систем, 2010
This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky   +5 more
doaj  

Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback). [PDF]

, 1998
Stefan Kahrs
openalex   +1 more source

Knowledge Distillation‐Based Zero‐Shot Learning for Process Fault Diagnosis

Advanced Intelligent Systems, EarlyView.
Process and image data are equivalent with the teacher model pretrained on image data. Knowledge distillation transfers normal condition data to the student model. When an unknown fault occurs, differences between the teacher and student models are quantified via gradients to isolate the fault. Data‐driven deep learning is effective in diagnosing known
Yi Liu, Jiajun Huang, Mingwei Jia
wiley   +1 more source

Quantitative electroencephalographic analysis of delirium tremens development following alcohol‐withdrawal seizure based on a small number of male cases

Brain and Behavior, Volume 12, Issue 12, December 2022., 2022
Considering the complications related to alcohol withdrawal syndrome (AWS) such as seizure, delirium tremens and cardiac arrhythmia, it is important to identify the risk of delirium tremens (DT) following AWS and enhance preventive strategies. We observed the characteristics of quantitative electroencephalography in patients with AWS, specifically who ...
Jee‐Eun Yoon, Heejung Mo, Dong Wook Kim, Hee‐Jin Im   +3 more
wiley   +1 more source

Typical Examples of Atoment Language Using

Моделирование и анализ информационных систем, 2011
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj  

Operational Semantics for Agent Communication Languages [PDF]

, 2000
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John‐Jules Ch. Meyer   +3 more
openalex   +1 more source

Applied Artificial Intelligence in Materials Science and Material Design

Advanced Intelligent Systems, EarlyView.
AI‐driven methods are transforming materials science by accelerating material discovery, design, and analysis, leveraging large datasets to enhance predictive modeling and streamline experimental techniques. This review highlights advancements in AI applications across spectroscopy, microscopy, and molecular design, enabling efficient material ...
Emigdio Chávez‐Angel, Martin Børstad Eriksen, Alejandro Castro‐Alvarez, Jose H. Garcia, Marc Botifoll, Oscar Avalos‐Ovando, Jordi Arbiol, Aitor Mugarza   +7 more
wiley   +1 more source