Results 81 to 90 of about 1,587 (262)

Intelligent Orthopedics: Machine Learning in Diagnosis of Bone Disease, Implants, and Bone Health Monitoring

Advanced Healthcare Materials, EarlyView.
Efficient recovery from traumatic or degenerative diseases is a great challenge, even after all the advancements in bone and cartilage regeneration. Machine learning (ML) algorithms have presented opportunities to enhance these aspects by accurately analyzing imaging data.
Maryam Kamaei, Hesam Mohammadi, Shamim Golafshan, Mojtaba Alehosseini, Mahsa Mohammadzadeh, Atefeh Golshirazi, Nasim Golafshan, Tatiane Eufrásio‐da‐Silva, Alireza Dolatshahi‐Pirouz, Gorka Orive   +9 more
wiley   +1 more source

Beyond Presumptions: Toward Mechanistic Clarity in Metal‐Free Carbon Catalysts for Electrochemical H2O2 Production via Data Science

Advanced Materials, EarlyView.
Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu, Hsi‐wen Wu, Xiao Wang, Jie Zhang   +3 more
wiley   +1 more source

Probabilistic Tree Automata

Proceedings of the second annual ACM symposium on Theory of computing - STOC '70, 1970
It is quite natural to assign probabilities (or frequencies) to the sentences of a language to try to get some quantitative measure of “efficiency” of translators and grammars for the language. The model obtained by doing this is called a probabilistic language.
openaire   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

The minimalization of tree automata

Information and Control, 1968
A tree automaton is a system (Q, f1, …, fk, F) where Q is a set of states, f1, …, fk are operations on Q of arbitrary finite index, and F ⊆ Q is a set of final states. The input to a tree automaton is a tree structure and thus the behavior of a tree automaton is a set of trees.
openaire   +2 more sources

Minimizing Tree Automata for Unranked Trees [PDF]

, 2005
Automata for unranked trees form a foundation for XML schemas, querying and pattern languages. We study the problem of efficiently minimizing such automata. We start with the unranked tree automata (UTAs) that are standard in database theory, assuming bottom-up determinism and that horizontal recursion is represented by deterministic finite automata ...
Martens, Wim, Niehren, Joachim
openaire   +3 more sources

Sustainable and Multifunctional Natural Macromolecular Polymers for Aqueous Zn Metal Batteries

Advanced Materials, EarlyView.
We comprehensively review the structure‐function relationships and regulatory mechanism of natural macromolecular polymers in stabilizing zinc anodes at the microscopic and mesoscopic scales. The interactions among polymer structures, optimization strategies, and regulatory mechanisms are discussed systematically summarizing recent related research ...
Yunuo Shi, Bo Jiang, Jingcheng Zhang, Xiaodong Shao, Peixun Xiong, Lutong Shan, Shengyang Huang, Mengfang Liang, Mengyao Chang, Fangyan Liu, Wenwu Li, Baoyu Xia, Wei Ji, Ho Seok Park   +13 more
wiley   +1 more source

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source

Nonlocomotory Robotic Strategies for Dynamic Rotation Control in Terrestrial Robots: A Review

Advanced Robotics Research, EarlyView.
Terrestrial robots increasingly require rapid body rotation to maintain stability and agility in complex environments. This review shows nonlocomotory rotational control strategies that operate without ground contact, including reaction wheels, tails, bars, limbs, and thrusters.
Y. Liang, J. An, X. Zheng, D. Wang, S. Wang, X. Wang, P. Zhu, J. Pei, S. Li, J. Paripurana, Y. Han, Z. Tang, X. Gan, Q. He, X. Ma   +14 more
wiley   +1 more source

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures [PDF]

Logical Methods in Computer Science
We introduce the class of tree constraint automata with data values in Z (equipped with the less than relation and equality predicates to constants) and we show that the nonemptiness problem is ExpTime-complete.
Stephane Demri, Karin Quaas
doaj   +1 more source