Results 101 to 110 of about 43,821 (313)

On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)

, 2014
Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids.
Klíma, Ondřej
core   +2 more sources

Artificial Intelligence‐Guided Total Mesorectal Excision: Development of a Deep Learning Model to Identify the Pelvic Fascial Plane Anatomy

Annals of Gastroenterological Surgery, EarlyView.
AI‐based segmentation of fascial planes during total mesorectal excision. Ground truth and predicted boundaries are compared for mesorectal fascia (blue), parietal pelvic fascia (red), and the holy plane (white). ABSTRACT Aim Total mesorectal excision entails dissection of the “holy plane” without damaging the mesorectal and parietal pelvic fasciae. We
Yuta Suzuki, Daichi Kitaguchi, Norihito Kosugi, Hiro Hasegawa, Nobuyoshi Takeshita, Yusuke Kinugasa, Masaaki Ito   +6 more
wiley   +1 more source

Construction of a Feedback Comment Analysis Model for Evaluation of Endoscopic Surgical Skill

Annals of Gastroenterological Surgery, EarlyView.
ABSTRACT Background Surgical education and skill assessments are important in improving surgical skills. However, instructors' comments tend to be complex and unorganized, with varying content and categories. This study aimed to develop a natural language processing (NLP) model to automatically classify feedback comments on surgical procedures and ...
Shusaku Iwai, Shin Takenaka, Daichi Kitaguchi, Hiroki Matsuzaki, Kei Nakajima, Yuya Takabe, Nobuyoshi Takeshita, Masaaki Ito   +7 more
wiley   +1 more source

What to Make and How to Make It: Combining Machine Learning and Statistical Learning to Design New Materials

Advanced Intelligent Discovery, EarlyView.
Combining machine learning and probabilistic statistical learning is a powerful way to discover and design new materials. A variety of machine learning approaches can be used to identify promising candidates for target applications, and causal inference can help identify potential ways to make them a reality.
Jonathan Y. C. Ting, Amanda S. Barnard
wiley   +1 more source

Artificial Intelligence for Bone: Theory, Methods, and Applications

Advanced Intelligent Discovery, EarlyView.
Advances in artificial intelligence (AI) offer the potential to improve bone research. The current review explores the contributions of AI to pathological study, biomarker discovery, drug design, and clinical diagnosis and prognosis of bone diseases. We envision that AI‐driven methodologies will enable identifying novel targets for drugs discovery. The
Dongfeng Yuan, Haicang Zhang, Liping Tong, Di Chen   +3 more
wiley   +1 more source

Deterministic pushdown automata can compress some normal sequences [PDF]

Logical Methods in Computer Science
In this paper, we give a deterministic pushdown transducer and a normal sequence of digits compressed by it. This solves positively a question left open in a previous paper by V. Becher, P. A. Heiber and the first author.
Olivier Carton, Sylvain Perifel
doaj   +1 more source

Advancements in Machine Learning for Microrobotics in Biomedicine

Advanced Intelligent Systems, EarlyView.
Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi, Soleiman Hosseinpour, Nasrollah Tabatabaei, Mahmoud Soltani Firouz, Niloufar Zadebana, Richard Nauber, Mariana Medina‐Sánchez   +6 more
wiley   +1 more source

Simulations for Event-Clock Automata [PDF]

Logical Methods in Computer Science
Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay, Paul Gastin, R Govind, B Srivathsan   +3 more
doaj   +1 more source

Recent Advancements in Topic Modeling Techniques for Healthcare, Bioinformatics, and Other Potential Applications

Advanced Intelligent Systems, EarlyView.
This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari, Sachin Kadian, Mukund Vora, Pradyumna Vemuri, Sumit Kumar, Om Prakash Verma, Roger J. Narayan   +6 more
wiley   +1 more source

Safety and Liveness of Quantitative Properties and Automata [PDF]

Logical Methods in Computer Science
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç   +3 more
doaj   +1 more source