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
Filter
  • (α-Aminoalkyl)phosphonic acids
  • Computer Programming and Software
  • General Chemistry
  • 2015-2019  (3)
  • 2000-2004  (10)
Collection
Keywords
Publisher
Years
Year
  • 1
    ISSN: 1434-1948
    Keywords: Copper ; Nickel ; Amides ; Polynuclear complexes ; Magnetic properties ; Chemistry ; General Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: New homo- and heterometallic hexanuclear complexes of formula {[Cu(tmen)(H2O)]2[Cu(tmen)]2[Cu2L](H2O)}(ClO4)4 ·2 H2O [Cu6-tmen] {[Cu(pmdien)]4[Cu2L]}(ClO4)4 · 4 H2O [Cu6-pmdien] and {[Ni(cyclam)]4[Cu2L]}(ClO4)4 · 4 H2O [Cu2Ni4-cyclam] [H8L = tetrakis(aminomethylene)methanetetrakis(oxamic acid), tmen = N,N,N′,N′-tetramethylethylenediamine, pmdien = N,N,N′,N′,N″-pentamethyldiethylenetriamine, and cyclam = 1,4,8,11-tetraazacyclotetradecane] have been synthesized. The crystal structure of [Cu6-tmen] has been determined by single-crystal X-ray diffraction. The structure consists of cationic {[Cu(tmen)(H2O)]2[Cu(tmen)]2[Cu2L](H2O)}4+ hexanuclear units. The hexanuclear cation is made up of two symmetry-related oxamato-bridged trinuclear units connected through the central carbon atom C(6) of the L8- ligand. Variable-temperature magnetic susceptibility measurements (1.8-300 K) have been performed for these series of complexes including the dinuclear precursors of formula Na4[Cu2L] · 10.5 H2O [Cu2-Na], (NMe4)4[Cu2L] · 4 H2O [Cu2-NMe4] and (PPh4)4[Cu2L] · 6 H2O [Cu2-PPh4]. The magnetic data have been interpreted. Evidence of a weak intramolecular ferromagnetic interaction between the two CuII ions in [Cu2L]4- has been observed. For the hexanuclear species, the interaction through the oxamato bridge was found to be equal to -6790, -2650, and -1643 yJ (-342, -133, and -82 cm-1) for [Cu6-tmen], [Cu6-pmdien], and [Cu2Ni4-cyclam], respectively. In these complexes, the weak intramolecular ferromagnetic coupling between the two CuII ions within the dinuclear synthon was masked by intermolecular interactions or local anisotropy.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Weinheim : Wiley-Blackwell
    Liebigs Annalen 2000 (2000), S. 281-289 
    ISSN: 1434-193X
    Keywords: Phosphorus acid amphiphiles ; (α-Aminoalkyl)phosphonic acids ; Carboxyalkyl (α-aminoalkyl)phosphonic acid monoesters ; Spiro compounds ; Pudovik reaction ; Chemistry ; General Chemistry
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Chemistry and Pharmacology
    Notes: ---The addition reaction between the P-H bond of tetraoxyspirophosphoranes 1-2 and long-chain imines 3a-h (decyl, dodecyl, tetradecyl, hexadecyl, octadecyl, and oleyl imines) occurs instantaneously at room temperature. It is diastereoselective, and quantitatively leads to the corresponding (α-aminoalkyl)spirophosphoranes 4a-h and 5e. The influence of the pentacoordinated phosphorus atom on the stereoselectivity of the Pudovik reaction might be attributed to the involvement of the rigid spirophosphoranide (PV) intermediate in the addition reaction. Selective and one-pot hydrolysis of these P-C bond spirophosphoranes readily proceeds either at room temperature in the presence of moist solvents to give the corresponding carboxyalkyl (α-aminoalkyl)phosphonic acid monoesters 6a-h and 7e, or the reaction may be carried out in the presence of 20% aqueous hydrochloric acid under reflux, to afford the free (α-aminoalkyl)phosphonic acid amphiphiles 8a-h in high yields. In contrast to their sodium salts, these single- and double-chained free and monoester phosphonic acid amphiphiles exist as zwitterions and are not soluble in water.
    Additional Material: 2 Tab.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2018-06-11
    Description: This tutorial provides an overview of the PVS strategy language, and explains how to define new PVS strategies and load them into PVS, and how to create a strategy package. It then discusses several useful techniques that can be used in developing user strategies, and provides examples that illustrate many of these techniques.
    Keywords: Computer Programming and Software
    Type: Design and Application of Strategies/Tactics in Higher Order Logics; 16-42; NASA/CP-2003-212448
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2019-07-13
    Description: This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compares the outputs computed by the software implementations on a given suite of input values to the outputs computed by the formal models on the same inputs, and determines if they are equal up to a given tolerance. The approach is illustrated on a prototype air traffic management system that computes simple kinematic trajectories for aircraft. Proofs for the mathematical models of the system's algorithms are carried out in the Prototype Verification System (PVS). The animation tool PVSio is used to evaluate the formal models on a set of randomly generated test cases. Output values computed by PVSio are compared against output values computed by the actual software. This comparison improves the assurance that the translation from formal models to code is faithful and that, for example, floating point errors do not greatly affect correctness and safety properties.
    Keywords: Computer Programming and Software
    Type: NF1676L-20845 , International Conference on Tests & Proofs (TAP 2015); Jul 22, 2015 - Jul 24, 2015; L''Aquila; Italy
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2019-07-12
    Description: As the technological and operational capabilities of unmanned aircraft systems (UAS) have grown, so too have international efforts to integrate UAS into civil airspace. However, one of the major concerns that must be addressed in realizing this integration is that of safety. For example, UAS lack an on-board pilot to comply with the legal requirement that pilots see and avoid other aircraft. This requirement has motivated the development of a detect and avoid (DAA) capability for UAS that provides situational awareness and maneuver guidance to UAS operators to aid them in avoiding and remaining well clear of other aircraft in the airspace. The NASA Langley Research Center Formal Methods group has played a fundamental role in the development of this capability. This article gives a selected survey of the formal methods work conducted in support of the development of a DAA concept for UAS. This work includes specification of low-level and high-level functional requirements, formal verification of algorithms, and rigorous validation of software implementations.
    Keywords: Computer Programming and Software
    Type: NF1676L-24045
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2019-08-17
    Description: Explicit substitution calculi are extensions of the lambda-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic-based tools such as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the lambda sigma- and lambda S(e)-calculi.
    Keywords: Computer Programming and Software
    Type: AD-A385383 , ICASE-2000-45 , NASA-CR-2000-210621
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2019-07-10
    Description: We provide a package of strategies for automation of non-linear arithmetic in PVS. In particular, we describe a simplication procedure for the field of real numbers and a strategy for cancellation of common terms.
    Keywords: Computer Programming and Software
    Type: NASA/CR-2001-211271 , NAS 1.26:211271 , ICASE-39
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2019-07-10
    Description: Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach, based on formal verification, for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, which is a continuous path in the x-y plane constrained by physical laws and operational requirements. From the Model of trajectories, we extract, and formally prove, high level properties that can serve as a framework to analyze conflict scenarios. We use the Airborne Information for Lateral Spacing (AILS) alerting algorithm as a case study of our approach.
    Keywords: Computer Programming and Software
    Type: NASA/TM-2001-210864 , L-18083 , NAS 1.15:210864
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2019-07-13
    Description: The TPHOLs International Conference serves as a venue for the presentation of work in theorem proving in higher-order logics and related areas in deduction, formal specification, software and hardware verification, and other applications. Fourteen papers were submitted to Track B (Work in Progress), which are included in this volume. Authors of Track B papers gave short introductory talks that were followed by an open poster session. The FCM 2002 Workshop aimed to bring together researchers working on the formalisation of continuous mathematics in theorem proving systems with those needing such libraries for their applications. Many of the major higher order theorem proving systems now have a formalisation of the real numbers and various levels of real analysis support. This work is of interest in a number of application areas, such as formal methods development for hardware and software application and computer supported mathematics. The FCM 2002 consisted of three papers, presented by their authors at the workshop venue, and one invited talk.
    Keywords: Computer Programming and Software
    Type: NASA/CP-2002-211736 , NAS 1.55:211736 , L-18211 , Track B Proceedings of the 15th International Conference on Theorem Proving In Higher Order Logics: TPHOLs 2002; Aug 20, 2002 - Aug 23, 2002; Hampton, VA; United States|Formalising Continuous Mathematics: FCM 2002; Aug 19, 2002; Hampton, VA; United States
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2019-07-13
    Description: This Proceedings includes both a paper from the implementors of PVS providing guidance for PVS strategy writers and a tutorial on PVS strategy writing distilled from the experience of three PVS users who have written extensive sets of PVS user strategies. Following these are three full papers from the higher-order logic theorem proving community that discuss PVS strategies to enhance arithmetic and other interactive reasoning in PVS; implementing first-order tactics in higher-order provers; and a proposed technique for specifying small step semantics that can be used in multiple higher order logic theorem provers, with illustrations from both Coq and PVS. The Proceedings concludes with three position papers for a panel session that discuss three settings in which development of PVS strategies is worth while.
    Keywords: Computer Programming and Software
    Type: NASA/CP-2003-212448 , NAS 1.55:212448 , L-18328 , STRATA 2003: First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics; Sep 08, 2003; Rome; Italy
    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...