Results 81 to 90 of about 189,472 (279)

Logical Characterization of Trace Metrics [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest.
Valentina Castiglioni, Simone Tini
doaj   +1 more source

Expressive probabilistic description logics

Artificial Intelligence, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Proof‐of‐Concept Assessment of a Novel Wearable Eyelid Muscle Device: A Pre‐Clinical Animal Cadaver Study for Eyelid Closure Restoration

Advanced Robotics Research, EarlyView.
This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino, Phuoc Thien Phan, James Davies, Bibhu Sharma, Tianruo Guo, Chi Cong Nguyen, Nigel H. Lovell, Thanh Nho Do   +7 more
wiley   +1 more source

Unbiased logic-tree data for earthquake-induced landslide hazard maps for low-to-moderate magnitude events

Data in Brief, 2020
Land-use planning in regard of earthquake-triggered landslides is usually implemented by means of the production of hazard maps. The well-known Newmark rigid block methodology is the most frequent used approach for this purpose.
Martín J. Rodríguez-Peces, José C. Román-Herrera, José A. Peláez, José Delgado, Meaza Tsige, Salvatore Martino, Jesús Garrido   +6 more
doaj   +1 more source

AI‐Powered Framework for Evaluating Drug Efficacy for Three‐Dimensional In Vitro Cancer Models in Robot‐Assisted Production

Advanced Robotics Research, EarlyView.
An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy, Jesus Nieves, Lukas Königer, Matthias Peindl, Fabio Erhard, Marc Möllmann, Anke Klingner, Markus Münig, Bibin Babu, Thomas Schwarz, Marco Metzger, Gudrun Dandekar, Maximiliane Wußmann, Jan Hansmann   +13 more
wiley   +1 more source

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

Advanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki, Ilche Georgievski, Marco Aiello   +2 more
wiley   +1 more source

SKOOTS: Skeleton‐Oriented Object Segmentation for Mitochondria in High‐Resolution Cochlear EM Datasets

Advanced Science, EarlyView.
Skeleton‐oriented object segmentation (SKOOTS) introduces a new strategy for 3D mitochondrial instance segmentation by predicting explicit skeletons rather than relying on boundary cues. This approach enables robust analysis of densely packed organelles in large FIB‐SEM datasets.
Christopher J. Buswinka, Richard T. Osgood, Hidetomi Nitta, Artur A. Indzhykulian   +3 more
wiley   +1 more source

A programmable hybrid digital chemical information processor based on the Belousov-Zhabotinsky reaction

Nature Communications
The exponential growth of the power of modern digital computers is based upon the miniaturization of vast nanoscale arrays of electronic switches, but this will be eventually constrained by fabrication limits and power dissipation.
Abhishek Sharma, Marcus Tze-Kiat Ng, Juan Manuel Parrilla Gutierrez, Yibin Jiang, Leroy Cronin   +4 more
doaj   +1 more source

Finite predicate-driven logic networks method for enhanced education data analysis

Радіоелектронні і комп'ютерні системи
The subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj   +1 more source

Climate Action Impacts on Steelmaking Emissions of Persistent Organic Pollutants Highlight a Gap Between the Paris Agreement and the Stockholm Convention

Advanced Science, EarlyView.
Emissions of unintentionally produced persistent organic pollutants (UPOPs) and global warming are two major environmental challenges. But their governance has largely evolved in parallel, leaving the toxicity implications of climate‐driven industrial transitions poorly understood.
Yuxiang Sun, Qiuting Yang, Jianghui Yun, Yujue Yang, Junhao Tang, Qian Liu, Minghui Zheng, Guorui Liu   +7 more
wiley   +1 more source