Results 71 to 80 of about 45,230 (224)
Streamability of nested word transductions [PDF]
Logical Methods in Computer Science, 2019 We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A transduction T is said to be height bounded memory (HBM) if it can be evaluated with a memory that ...
Emmanuel Filiot +3 more
doaj +1 more source
Advanced Materials Technologies, EarlyView.This manuscript describes the design and validation of an innovative melt electrowriting printer. With a turntable collector and modular software architecture, it unifies previous advanced MEW printer capabilities and enhances adaptability for a wide range of research applications.
Timo Baroth +3 more
wiley +1 more source
Regular Separability of One Counter Automata [PDF]
Logical Methods in Computer Science, 2019 The regular separability problem asks, for two given languages, if there exists a regular language including one of them but disjoint from the other.
Wojciech Czerwiński, Sławomir Lasota
doaj +1 more source
Multi-Dimensional Languages and Their Automata [PDF]
, 2016 Práce seznamuje s teorií formálních jazyků a konečných automatů. Popisuje zobecnění této teorie do dvou rozměrů. Představuje základní typy dvoudimensionálních automatů, přede- vším teselační automaty.
Dibďák, Lukáš
core
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
Advanced Materials Technologies, EarlyView.A 3D Matrigel‐based droplet microfluidics platform that allows physiologically relevant analysis of single immune‐tumor interactions in solid tumors. By integrating real‐time functional imaging with fluorescence‐activated droplet sorting and RNA sequencing, the system links immune cytotoxic behavior to transcriptomic profiles, providing a scalable ...
Christina Sharkey +6 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Modeling the blood–brain tumor barrier is challenging due to complex interactions between brain microvasculature and glioma cells. We present two‐photon polymerized 3D micro‐porous capillary‐like structures that support endothelial alignment, cytoskeletal organization, and pericyte‐endothelial‐glioma tri‐cultures.
Nastaran Barin +9 more
wiley +1 more source
One-Tape Turing Machine Variants and Language Recognition
, 2015 We present two restricted versions of one-tape Turing machines. Both characterize the class of context-free languages. In the first version, proposed by Hibbard in 1967 and called limited automata, each tape cell can be rewritten only in the first $d ...
Pighizzini, Giovanni
core +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 +4 more
wiley +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source