ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Applied categorical structures 6 (1998), S. 1-35 
    ISSN: 1572-9095
    Keywords: application of category theory ; abstract data types ; formal specification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract The theory of algebraic specifications – one of the most important mathematical approaches to the specification of abstract data types and software systems – is reviewed from a mathematical and a computer science point of view. The important role of category theory in this area is discussed and it is shown how the following selected problems are treated using category theory: First, a unified framework for specification logics, second compositional semantics, third partial algebras and their specification, and fourth specifications and models for concurrent systems. For the solution of two of the problems classifying categories are used. They allow to present categories of algebras as functor categories and to derive a number of important properties from well known results for functor categories.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2021-03-29
    Description: The Sun shows a variety of transient surface features which are summarized as solar activity. Activity phenomena, apparently similar to the solar case, are also observed on stars other than the Sun. Stellar activity is closely related to magneto-hydrodynamic processes in a stars̉ convection zone. A dynamo is believed to operate in the outer convection zone of solar-like stars, generating magnetic fields by complex motions of the convecting plasma under the influence of rotation. Differential (i.e. non-rigid) rotation of the stellar surface is an important indicator of the overall dynamics of a stars̉ outer convection zone. Sunspots are a conspicuous token of solar activity; dark spots can also be observed on the surface of stars other than the Sun. To which degree starspots are analogues of sunspots is presently only poorly known; the processes governing their lifetime and structure are largely unexplored. Doppler imaging overcomes the diffraction-limitations of direct and interferometric imaging techniques by making use of information that is modulated into a star’s spectrum due to its rotation. Doppler imaging is currently the only method to produce well-resolved images of solar-like stars. After a selective review of the observational and theoretical foundation,
    Description: thesis
    Keywords: 523 ; THN 400 ; THE 400 ; Sternatmosphären {Astronomie} ; Rotation, Eigenbewegung {Astronomie: Sterne}
    Language: English
    Type: monograph , publishedVersion
    Format: 187 S.
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...