Search results for "STANDARD"
showing 10 items of 3299 documents
On extremal cases of Hopcroft’s algorithm
2010
AbstractIn this paper we consider the problem of minimization of deterministic finite automata (DFA) with reference to Hopcroft’s algorithm. Hopcroft’s algorithm has several degrees of freedom, so there can exist different executions that can lead to different sequences of refinements of the set of the states up to the final partition. We find an infinite family of binary automata for which such a process is unique, whatever strategy is chosen. Some recent papers (cf. Berstel and Carton (2004) [3], Castiglione et al. (2008) [6] and Berstel et al. (2009) [1]) have been devoted to find families of automata for which Hopcroft’s algorithm has its worst execution time. They are unary automata as…
The Infinite-Valued Łukasiewicz Logic and Probability
2017
The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses interrelations holding between the logical systems determined by the above algebras. Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.
Standard Sturmian words and automata minimization algorithms
2015
The study of some close connections between the combinatorial properties of words and the performance of the automata minimization process constitutes the main focus of this paper. These relationships have been, in fact, the basis of the study of the tightness and the extremal cases of Hopcroft's algorithm, that is, up to now, the most efficient minimization method for deterministic finite state automata. Recently, increasing attention has been paid to another minimization method that, unlike the approach proposed by Hopcroft, is not based on refinement of the set of states of the automaton, but on automata operations such as determinization and reverse, and is also applicable to non-determ…
Periodic and quasi-periodic orbits of the dissipative standard map
2011
We present analytical and numerical investigations of the dynamics of the dissipative standard map. We first study the existence of periodic orbits by using a constructive version of the implicit function theorem; then, we introduce a parametric representation, which provides the interval of the drift parameter ensuring the existence of a periodic orbit with a given period. The determination of quasi--periodic attractors is efficiently obtained using the parametric representation combined with a Newton's procedure, aimed to reduce the error of the approximate solution provided by the parametric representation. These methods allow us to relate the drift parameter of the periodic orbits to th…
Calcification is not the Achilles'heel of cold-water corals in an acidifying ocean
2015
Ocean acidification is thought to be a major threat to coral reefs: laboratory evidence and CO2 seep research has shown adverse effects on many coral species, although a few are resilient. There are concerns that cold-water corals are even more vulnerable as they live in areas where aragonite saturation (Omega ara) is lower than in the tropics and is falling rapidly due to CO2 emissions. Here, we provide laboratory evidence that net (gross calcification minus dissolution) and gross calcification rates of three common cold-water corals, Caryophyllia smithii, Dendrophyllia cornigera, and Desmophyllum dianthus, are not affected by pCO2 levels expected for 2100 (pCO2 1058 µatm, Omega ara 1.29),…
Querying Dynamic and Context-Sensitive Metadata in Semantic Web
2005
RDF (core Semantic Web standard) is not originally appropriate for context representation, because of its initial focus on the ordinary Web resources, such as web pages, files, databases, services, etc., which structure and content are more or less stable. However, on the other hand, emerging industrial applications consider e.g. machines, processes, personnel, services for condition monitoring, remote diagnostics and maintenance, etc. to be specific classes of Web resources and thus a subject for semantic annotation. Such resources are naturally dynamic, not only from the point of view of changing values for some attributes (state of resource), but also from the point of view of changing “…
Is Participation in Tourism Market an Opportunity for Everyone? Some Evidence from Italy
2014
Exploring the main determinants of tourism participation at national and international level, the paper investigates if there are differences in tourism consumption behavior among Italian families which reflect disparities in their standard of living. To achieve this a Heckman model has been used on a huge sample of Italian households over the period 1997-2007. Results show that participation in the tourism market is strongly affected by the personal characteristics of individuals and that tourism consumption is an income sensitive good. The analysis reveals that tourism is generally a luxury good reflecting the disparities in the standard of living among Italian families. We have found tha…
Inhibitory avoidance learning in CD1 mice: Effects of chronic social defeat stress
2015
Chronic social defeat stress (CSDS) is an animal model widely used to determine the neurobiological mechanisms of stress and its associated pathologies. In this study, the effects of CSDS on inhibitory avoidance (IA) were evaluated in post-pubertal and adult male CD1 mice, instead of the C57BL/6J strain used in the CSDS standard protocol. CSDS consisted of daily 5-min (experiments 1 and 2) or 10-min (experiment 3) agonistic encounters on 21 consecutive days. Twenty four hours after the last session of CSDS, all the mice were tested for IA. They were also evaluated in an elevated plus-maze, obtaining complementary measures of locomotor activity and emotionality. In experiments 1 and 2, IA le…
Taxation in Romania – Some Positive Aspects
2013
Abstract The field of taxation is often a subject of analysis, due to its importance for the formation and administration of public financial resources. By taking into account the local, national and international size of taxation, may be thus identified strengths, weaknesses, opportunities and threats. Although the taxation in Romania is often criticized both by taxpayers and by specialists, there is a progress in taxation field as a result of actions taken in forming and managing fiscal revenues. Without claiming an exhaustive approach, through this article we mention some positive aspects of Romanian taxation. We believe that these should be consolidated and continued.
Erratum to: DYTurbo: fast predictions for Drell–Yan processes
2020
The European physical journal / C 80(5), 440 (2020). doi:10.1140/epjc/s10052-020-7972-0