Refine
Year of publication
- 2010 (2786) (remove)
Document Type
- Article (974)
- Doctoral Thesis (378)
- Book (338)
- Part of Periodical (337)
- Part of a Book (212)
- Contribution to a Periodical (144)
- Review (141)
- Working Paper (84)
- Report (71)
- Conference Proceeding (35)
Language
- German (1695)
- English (846)
- mis (105)
- Portuguese (49)
- French (32)
- Croatian (29)
- Multiple languages (13)
- Italian (7)
- dut (3)
- Spanish (3)
Is part of the Bibliography
- no (2786) (remove)
Keywords
- Mosambik (114)
- Mozambique (114)
- Moçambique (113)
- Filmmusik (96)
- Deutsch (75)
- Christentum (65)
- Bibel (63)
- bible (63)
- christianity (63)
- Literatur (40)
Institute
- Extern (296)
- Medizin (295)
- Präsidium (235)
- Gesellschaftswissenschaften (99)
- Biowissenschaften (98)
- Biochemie und Chemie (97)
- Physik (87)
- Geschichtswissenschaften (68)
- Geowissenschaften (59)
- Wirtschaftswissenschaften (55)
The central structural element of the title compound, C24H29NO2, is a carbazole unit substituted with two acetyl residues and an octyl chain. The acetyl residues are nearly coplanar [dihedral angles = 5.37 (14) and 1.0 (3)°] with the carbazole unit which is essentially planar (r.m.s. deviation for all non-H atoms = 0.025 Å). The octyl chain adopts an all-trans conformation. The crystal packing is stabilized by C—H ... O hydrogen bonds.
The dihydropyrimidine ring of the title compound, C13H15ClN2S, adopts an envelope conformation with five almost coplanar atoms (r.m.s. deviation = 0.054 Å) and the C atom bearing the two methyl substituents deviating from this plane by 0.441 (2) Å. The best plane through the five almost coplanar atoms forms a dihedral angle of 89.56 (5)° with the benzene ring. The crystal packing is characterized by centrosymmetric dimers connected by pairs of N—H ... S hydrogen bonds.
The two rings in the title compound, C11H12N2O4S, are roughly coplanar [dihedral angle = 6.77 (8)°]. Whereas the two outer methyl groups of the three methoxy groups are almost coplanar with the aromatic ring to which they are attached [C—C—O—C torsion angles = 8.5 (3) and -8.3 (3)°], the methyl group of the central methoxy substituent is not [C—C—C—C = -78.4 (3)°]. The crystal packing is stabilized by N—H ... O hydrogen bonding.
Das 2009 erschienene Lehrwerk für Deutsch als Fremdsprache IDIAL. Deutsch im interkulturellen Dialog ist im Rahmen eines gleichnamigen internationalen Projektes entstanden, das von der Europäischen Union im Rahmen des Bildungsprogramms "Lebenslanges Lernen" gefördert und parallel in mehreren Staaten Europas durchgeführt wurde. An dem Projekt beteiligt waren Schulen und Institutionen aus Deutschland sowie germanistische Abteilungen polnischer, slowakischer und bulgarischer Universitäten und Hochschulen. Wie der Titel bereits verrät (Interkultureller DIALog), reflektieret das Lehrwerk die steigende Notwendigkeit des interkulturellen Lernens im europäischen, also sprachenvielfältigen Raum, in dem die Interaktion zwischen den Kulturen die Voraussetzung für einen zufrieden stellenden Austausch zwischen Menschen aus verschiedenen Kulturen darstellt. Das Lehrbuch des slowakischen Teams zielt also nicht nur darauf, die Fremdsprache zu vermitteln und die Deutschkenntnisse der Lernenden zu vertiefen, sondern bietet einen Austausch zwischen der Eigenkultur und der Fremdkultur, wodurch die interkulturelle Kompetenz der Lernenden entwickelt bzw. weiterentwickelt wird. Das Lehrwerk richtet sich an Studierende der Stufe B2 des Europäischen Referenzrahmens und die ersten positiven Erfahrungen an Hochschulen bestätigen, dass sowohl das Gesamtkonzept erfolgreich verfolgt als auch die partiellen Ziele, die das Buch verfolgt, erfolgreich erreicht werden können.
A logical framework consisting of a polymorphic call-by-value functional language and a first-order logic on the values is presented, which is a reconstruction of the logic of the verification system VeriFun. The reconstruction uses contextual semantics to define the logical value of equations. It equates undefinedness and non-termination, which is a standard semantical approach. The main results of this paper are: Meta-theorems about the globality of several classes of theorems in the logic, and proofs of global correctness of transformations and deduction rules. The deduction rules of VeriFun are globally correct if rules depending on termination are appropriately formulated. The reconstruction also gives hints on generalizations of the VeriFun framework: reasoning on nonterminating expressions and functions, mutual recursive functions and abstractions in the data values, and formulas with arbitrary quantifier prefix could be allowed.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. It is designed to perform automatic induction proofs and can also deal with partial functions. This paper provides a reconstruction of the corresponding logic and semantics using the standard treatment of undefinedness which adapts and improves the VeriFun-logic by allowing reasoning on nonterminating expressions and functions. Equality of expressions is defined as contextual equivalence based on observing termination in all closing contexts. The reconstruction shows that several restrictions of the VeriFun framework can easily be removed, by natural generalizations: mutual recursive functions, abstractions in the data values, and formulas with arbitrary quantifier prefix can be formulated. The main results of this paper are: an extended set of deduction rules usable in VeriFun under the adapted semantics is proved to be correct, i.e. they respect the observational equivalence in all extensions of a program. We also show that certain classes of theorems are conservative under extensions, like universally quantified equations. Also other special classes of theorems are analyzed for conservativity.
The interactive verification system VeriFun is based on a polymorphic call-by-value functional language and on a first-order logic with initial model semantics w.r.t. constructors. This paper provides a reconstruction of the corresponding logic when partial functions are permitted. Typing is polymorphic for the definition of functions but monomorphic for terms in formulas. Equality of terms is defined as contextual equivalence based on observing termination in all contexts. The reconstruction also allows several generalizations of the functional language like mutual recursive functions and abstractions in the data values. The main results are: Correctness of several program transformations for all extensions of a program, which have a potential usage in a deduction system. We also proved that universally quantified equations are conservative, i.e. if a universally quantified equation is valid w.r.t. a program P, then it remains valid if the program is extended by new functions and/or new data types.