Results 161 to 170 of about 2,714,739 (303)

An ExpTime Procedure for Satisfiability Problems in Description Logic $\mathcal{ALCQI}$

, 2007
Yu Ding
openalex   +1 more source

EFFICIENT TOLERANT PATTERN MATCHING WITH CONSTRAINT ABSTRACTIONS IN DESCRIPTION LOGIC

, 2012
Carsten Elfers, Stefan Edelkamp, Otthein Herzog   +2 more
openalex   +1 more source

Energy Consumption Optimization in Trajectory Planning for Fuel Cell Hybrid Uavs Based On HMPC

Advanced Robotics Research, EarlyView.
The endurance limitation of multirotor drones is a critical challenge. This study adopts a hybrid power system of fuel cells and lithium‐ion batteries. Using Nondominated Sorting Genetic Algorithm II, it integrates trajectory planning with energy management optimization.
Xindi Wang, Jianyang Dong, Yongming Yao, Kaijin Hu, Jianxiong Cui, Yikai Luo, Jiawen Zhang, Shichao Niu   +7 more
wiley   +1 more source

Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies

International Workshop on the Semantic Web, 2012
Rafael S Gonçalves, B. Parsia, U. Sattler   +2 more
semanticscholar   +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

Reducing the Chasm in Behavioral Health Care for Older Adults With Cancer: Application of a Logic Model and Needs Assessment to Develop the Center for Implementation Research in Cancer in Later Life (CIRCL). [PDF]

J Appl Gerontol
McConnell KM, Rubi L, Saracino R, Shelton RC, Trochim W, Czaja S, Reid MC.   +6 more
europepmc   +1 more source

Separation logic: a logic for shared mutable data structures

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002
J. C. Reynolds
semanticscholar   +1 more source

Collision‐Resilient Winged Drones Enabled by Tensegrity Structures

Advanced Robotics Research, EarlyView.
Based on structures of birds such as the woodpeck, this article presents the collision‐resilient aerial robot, SWIFT. SWIFT leverages tensegrity structures in the fuselage and wings which allow it to undergo large deformations in a crash, without sustaining damage. Experiments show that SWIFT can reduce impact forces by 70% over conventional structures.
Omar Aloui, Raphael Zufferey, William Stewart, Mohammad Askari, Simon Jeger, Dario Floreano   +5 more
wiley   +1 more source

A Blended Educational Program to Promote Dialogue on Patient Safety Between Patient and Family Advisory Councils and Health Care Organizations: Codevelopment Study. [PDF]

JMIR Form Res
Blum Y, Brust L, Weigl M, Rramani Dervishi Q.   +3 more
europepmc   +1 more source

Neural Methods for Complex Images Logic Description and Recognition

, 2014
А. В. Тимофеев, Tatiana Kosovskaya   +1 more
openalex   +2 more sources