Results 101 to 110 of about 2,934 (199)
, 2011 What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store
Tzevelekos, N, Nikos Tzevelekos
core +1 more source
Serial Molecular‐Microstructural Multimodal Intravascular Imaging of Atherosclerotic Plaques in Mice
Advanced Science, EarlyView.A novel longitudinal molecular and microstructural intravascular imaging approach is developed to study murine atherosclerosis. The technique combines a unique surgical model with a miniaturized multimodal device to detect macrophage activity and lipid simultaneously.
Jiawen Li +12 more
wiley +1 more source
Advanced Science, EarlyView.A concept of integrated O2 and H2 gas therapy is achieved using a gas‐producing material. PMP nanoparticles, fabricated from platinum, MIL‐101(Fe)‐NH2, and phosphotungstic acid, are integrated into bilayer gelatin methacryloyl microneedles for transdermal delivery. These microneedles enable integrated O2 and H2 gas therapy and promote wound healing via
Zesheng Chen +13 more
wiley +1 more source
CPT314 - Automata Theory & Formal Languages - March 2005 [PDF]
, 2005 UNIVERSITI SAINS MALAYSIA Second Semester Examination Academic Session 2004/2005 March 2005 CPT314 - Automata Theory & Formal Languages Duration : 3 hours INSTRUCTIONS TO CANDIDATES: • Please ensure that this examination paper contains ...
PPSKOM, Pusat Pengajian Sains Komputer
core +1 more source
Mechanically Reprogrammed Coaxial Fibers for Multiphysics Transduction and Human‐Machine Interfaces
Advanced Science, EarlyView.A continuously wet‐spun coaxial fiber is developed to combine stretchable conductivity, resistive sensing, and self‐powered triboelectric sensing in a single architecture. A mechanically reprogrammed dual‐network sheath stabilizes large deformation and improves signal reliability. These fibers can be woven into textile interfaces for multichannel touch
Xinyi Cao +6 more
wiley +1 more source
Formal Languages and Computability
, 2004 CSC 360. Formal Languages and Computability I (3) Prerequisite: CSC 242 and CSC 332. An introduction to theoretical computer science. Topics include regular expression and finite state concepts; basic automata theory; formal grammars and languages ...
Adhar, Gur
core +2 more sources
Enumeration of Formal Languages
, 2008 We survey recent results on the enumeration of formal languages. In particular, we consider enumeration of regular languages accepted by deterministic and nondeterministic finite automata with n states, regular languages generated by regular expressions ...
Arto Salomaa, Michael Domaratzki
core
Towards a Compositional Framework for Describing Human Phenotypes
Advanced Science, EarlyView.The Phenotype Assembly Method (PhenoAM) decomposes phenotype variables into measurable Features and typed Qualifiers, enabling standardized, machine‐readable Phenome Data Elements (PhenoDEs) that preserve measurement context. Applied in the International Human Phenome Project (IHPP), the framework yields 58 371 PhenoDEs and supports component‐level ...
Wanting Hu +11 more
wiley +1 more source
Advanced Science, EarlyView.Adult human organotypic cortical slices undergo marked neuronal loss, laminar disruption, and glial activation, yet their network activity progressively stabilizes after a variable period. Electrophysiology, longitudinal calcium imaging, and quantitative histology show that structurally remodeled human circuits show adaptive capacity resulting in ...
Estilla Zsófia Tóth +20 more
wiley +1 more source
DeepLNM: A Multimodal Model for Predicting Lymph Node Metastasis in Colorectal Cancer
Advanced Science, EarlyView.Traditional diagnosis may miss positive LNM cases, and pathologists face a workload; therefore, we develop DeepLNM, a multimodal model that predicts lymph node metastasis in colorectal cancer from H&E WSIs, CT images, and text. DeepLNM is robust across internal, external, and prospective cohorts and, in a user study, improves diagnostic accuracy while ...
Zhengyu Zhang +24 more
wiley +1 more source