Results 81 to 90 of about 5,692,247 (342)
Regular Expressions in Process Algebra [PDF]
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006 We tackle an open question of Milner (1984). We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of regular expressions.
CORRADINI, Flavio, BAETEN J.
openaire +4 more sources
Population Ecology, EarlyView.We investigate the seasonal dynamics of two freshwater snails, Biomphalaria straminea and Melanoides tuberculata, in artificial reservoirs of the Brazilian semiarid region. Despite regulated hydrology, B. straminea exhibited strong seasonal fluctuations associated with dry periods, while M. tuberculata maintained stable populations throughout the year,
Lucas Henrique Sousa da Silva +6 more
wiley +1 more source
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity.
Jos C. M. Baeten +3 more
doaj +1 more source
Moving in the Dark: Enlightening the Spatial Population Ecology of European Cave Salamanders
Population Ecology, EarlyView.We assessed individual interactions, movement ecology and activity patterns of a subterranean population of Speleomantes strinatii, applying spatial capture–recapture modeling to a photographic dataset of 104 individuals. ABSTRACT Space use and movement are fundamental aspects of organisms' ecology, mirroring individual fitness, behavior, and life ...
Giacomo Rosa +2 more
wiley +1 more source
WebCollectives: A light regular expression based web content extractor in Java
SoftwareX, 2023 Conventional web crawling methods typically involve a sequence of distinct steps for downloading and extracting web content. A noteworthy limitation of these conventional crawling approaches is their lack of a focus-based crawling strategy.
Hayri Volkan Agun
doaj +1 more source
Infection Models for Pine Wilt Disease on the Basis of Vector Behaviors
Population Ecology, EarlyView.Infection models for pine wilt disease without vector density were built to estimate the transmission coefficient of the pathogenic nematode. The models successfully simulated the annual change in the density of infected trees for four pine stands. ABSTRACT Pine wilt disease is caused by the pinewood nematode (Bursaphelenchus xylophilus Steiner et ...
Katsumi Togashi
wiley +1 more source
From Finite Automata to Regular Expressions and Back—A Summary on Descriptional Complexity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The equivalence of finite automata and regular expressions dates back to the seminal paper of Kleene on events in nerve nets and finite automata from 1956. In the present paper we tour a fragment of the literature and summarize results on upper and lower
Hermann Gruber, Markus Holzer
doaj +1 more source
ALSIC: Apprentissage des Langues et Systèmes d'Information et de Communication, 2023 The present paper describes an applied linguistics experiment aiming to evaluate the appropriateness of regular expressions (regex) to improve foreign language students' ability to identify the relationship between the graphic (letters) and phonic ...
Jacopo Saturno
doaj +1 more source
Population Ecology, EarlyView.Bear management changes management actions according to the horizontal axis of the population size and the vertical axis of the number of nuisance bears. Aiming for the target population size of Ntar, Actions I and II protect the bears, and Action IV reduces the population.
Hiroyuki Matsuda +5 more
wiley +1 more source
Active Learning of Regular Expressions for Entity Extraction
IEEE Transactions on Cybernetics, 2018 We consider the automatic synthesis of an entity extractor, in the form of a regular expression, from examples of the desired extractions in an unstructured text stream.
Alberto Bartoli +3 more
semanticscholar +1 more source