LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Name
OPUS Augsburg
Type
Institutional Repository
Items
2421 Publications
Compatibility
OpenAIRE 3.0 (OA, funding)
OAI-PMH
http://opus.bibliothek.uni-augsburg.de/opus4/oai/
More information
Detailed data provider information (OpenDOAR)

 

  • Integration und kulturelle Identität zugewanderter Minderheiten : Ansprachen und Materialien zur Verleihung des Augsburger Wissenschaftspreises für Interkulturelle Studien 2002 an Prof. Dr. Christine Langenfeld am 16. Mai 2001 an der Universität Augsburg

    (2004)
    Ansprachen und Materialien zur Verleihung des Augsburger Wissenschaftspreises für Interkulturelle Studien 2002 an Prof. Dr. Christine Langenfeld am 16. Mai 2001 an der Universität Augsburg [Hartmann, Helmut: Nahe an der interkulturellen Wirklichkeit ; Frühwald, Wolfgang: Die Sprache und die Menschenwürde ; Langenfeld, Christine: Gefordert sind abgewogene Lösungen ; Langenfeld, Christine: Integration und kulturelle Identität zugewanderter Minderheiten in der Bundesrepublik Deutschland]

    Towards Algebraic Separation Logic

    We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic like assertions and commands. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.

    wp is wlp

    Using only a simple transition relation one cannot model commands that may or may not terminate in a given state. In a more general approach commands are relations enriched with termination vectors. We reconstruct this model in modal Kleene algebra. This links the recursive definition of the do-od loop with a combination of the Kleene star and a convergence operator. Moreover, the standard wp operator coincides with the wlp operator in the modal Kleene algebra of commands. Therefore our earli...

    From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus

    The duration calculus (DC) is a formal, algebraic system for specification and design of realtime systems, where real numbers are used to model time and (Boolean valued) functions to formulate requirements. Since its introduction in 1991 by Chaochen, Hoare and Ravn it has been applied to many case studies and has been extended into several directions. E.g., there is an extension for specifying liveness and safety requirements. In the original duration calculus the authors used knowledge about...

    Study of Interface Properties in LaAlO3/SrTiO3 Heterostructures

    Interface effects, which play a crucial role in semiconductors, are also important in oxides. Over the last years several oxide heterostructures were investigated with interface properties, which are not found in the bulk properties of the constituting materials. An exciting example is the interface between the two oxides Lanthanumaluminate (LAO) and Strontiumtitanate (STO) which was investigated in this work. Both materials are band-insulators, however a conducting layer can form at the inte...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark