Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • classification  (1)
  • finite state automaton  (1)
  • reduction  (1)
Source
Material
Years
Keywords
  • 1
    Electronic Resource
    Electronic Resource
    Geostatistical investigations of gabbro occurrences near Savantvadi, Ratnagiri district, India (1972)
    Springer
    Mathematical geology 4 (1972), S. 147-153 
    Details
    ISSN: 1573-8868
    Keywords: classification ; statistical inference ; statistics ; geochemistry ; petrochemistry
    Source: Springer Online Journal Archives 1860-2000
    Topics: Geosciences , Mathematics
    Notes: Abstract This paper embodies petrographical and statistical investigations of three gabbro occurrences. The Mangaon and Kunkeri gabbros are similar in petrography and petrochemistry, whereas they are completely different from the Vajrat gabbro. Application of recently developed statistical tests help in classifying these gabbros by using three oxides, CaO, FeO, and K2O.This study shows that the evolution of the Mangaon and Kunkeri gabbros probably proceeded along different lines as compared to the Vajrat gabbro.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02080299
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Reduction of Timed Hybrid Systems (1998)
    Springer
    Discrete event dynamic systems 8 (1998), S. 343-351 
    Details
    ISSN: 1573-7594
    Keywords: hybrid systems ; timed automata ; reduction ; finite state automaton
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008385431572
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...