Results 81 to 90 of about 46,330 (328)
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
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source
Deterministic pushdown automata can compress some normal sequences [PDF]
Logical Methods in Computer ScienceIn 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
Computational Modeling of Reticular Materials: The Past, the Present, and the Future
Advanced Materials, EarlyView.Reticular materials are advanced materials with applications in emerging technologies. A thorough understanding of material properties at operating conditions is critical to accelerate the deployment at an industrial scale. Herein, the status of computational modeling of reticular materials is reviewed, supplemented with topical examples highlighting ...
Wim Temmerman +3 more
wiley +1 more source
Adaptive Intelligent Tutoring System for learning Computer Theory [PDF]
, 2017 In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool.
Abu Naser, Samy S. +1 more
core
AI‐Driven Defect Engineering for Advanced Thermoelectric Materials
Advanced Materials, EarlyView.This review presents how AI accelerates the design of defect‐tuned thermoelectric materials. By integrating machine learning with high‐throughput data and physics‐informed representations, it enables efficient prediction of thermoelectric performance from complex defect landscapes.
Chu‐Liang Fu +9 more
wiley +1 more source
, 2014 The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the crossfertilization between formal logic and finite automata (such as that initiated by J.R.
M. Rigo
semanticscholar +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
Graph Spectral Properties of Deterministic Finite Automata
, 2014 We prove that a minimal automaton has a minimal adjacency matrix rank and a minimal adjacency matrix nullity using equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result naturally introduces the notion of
A. Goldberg +5 more
core +1 more source
Advanced Materials Technologies, EarlyView.A stretchable, event‐driven strain sensor with low energy consumption is developed using positive piezoconductive composites. These composites remain insulative when relaxed, while they become conductive when stretched. Their electrical characteristics are modifiable by the nickel's weight ratio and cross‐sectional geometry. Strain‐induced switching is
Yuji Isano +5 more
wiley +1 more source