1,088 research outputs found
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
No full textHybrid systems with both discrete and continuous dynamics are an important model for real-world physical systems. The key challenge is how to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires significant human guidance, since hybrid systems verification tools solve undecidable problems. It is thus not uncommon for verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) modeling hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks
ON THE DISPUTE BETWEEN PUBLISHER JOSIP (JOSEPH) V. PLATZER AND FRANZ ANTON WERNER, AUTHOR
No full textAnalizirajući zanimljivi arhivski predmet broj 99 iz 1845. iz fonda Poglavarstvo grada Varaždina, 11 stranica dugo pismo pisca F. A. Wernera upućeno varaždinskom magistratu kao odgovor na tužbu tiskara J. pl. Platzera, i k tomu 26 dodanih priloga, opisuju se brojne povijesne činjenice o kulturnom životu Varaždina u razdoblju 1842. do 1850. Istraživanjem spomenutog arhivskog gradiva, na svjetlo dana izlaze manje poznate pojedinosti o brojnim izdavačkim pothvatima („Etape putovanja po Njemačkoj i pograničnim zemljama“, „Abecedni prirodoslovni muzej sa slikama“) tiskara J. pl. Platzera i došljaka F. A. Wernera, Pražanina, pisca najmanje osam kazališnih komada.
U radu se posebno opisuju ugovori iz 1843. i 1844. između tiskara Platzera i autora više projekata F. A. Wernera, te idejni prijedlog za izdavanje varaždinskoga tjednika (koriste se tri različita imena) s prilogom za kulturu na njemačkom jeziku. Ukazujući na zapis da je skladatelj Ivan Padovec u srpnju 1844. potpisao ugovor s Franzom Wernerom o prepuštanju autorskih prava za tiskanje udžbenika za sviranje deseterostrune gitare na tri godine po cijeni od 400 fl., iznose se činjenice o Padovčevim višegodišnjim pokušajima ostvarivanja prava poslije isteka tog roka. Iz brojnih pisama i koncepata iz magistratske pismohrane vidi se da je u Leipzigu - u trgovca muzikalijama F. Hofmeistera - na pohrani bilo više Padovčevih i Udlovih skladbi. Autorica ukazuje na činjenicu da Padovčeve skladbe jesu one br. 49, i od 57 do 62, osim broja 50, koji je tiskao Platzer (na naslovnici ima sitan zapis imena litografa nepoznatog podrijetla), a sve ostale u nakladi Werner & Comp. tiskane su na nepoznatom mjestu. Isto vrijedi i za Udlov rad broj 3 u nakladi Werner & Comp.After analyzing the interesting archive file number 99 dating from 1845 found in the Varaždin City Government, page 11, second letter of writer F.A.Werner addressed to the Varaždin magistrate as the reply to the complaint of publisher J. Pl. Platzer, and also the 26 attachments, we can observe that many historical facts are discussed linked with Varaždin’s cultural life in the period from 1842 till 1850. By studying the described archive matter, less known data on the numerous publishing endeavors come to light such as editions „Etape putovanja po Njemačkoj i pograničnim zemljama“, „Abecedni prirodoslovni muzej sa slikama“ (Segments of the journey through Germany and bordering countries“, Alphabet Natural Museum with Pictures) published by J.pl. Platzer and the newcomer F.A.Werner, Prague city dweller, writer of at least eight theatre plays.
Special attention in the paper is paid to describing contracts dating from 1843 and 1844 between the publisher Platzer and F.A. Werner, the author of several projects, and also the author of the initial proposition for publishing a Varaždin weekly (three different names are used) with a supplement on culture in German. By pointing out to the record which evidences that the composer Ivan Padovec had signed a contract in 1844 with Franz Werner on handing over author’s rights for publishing a manual on playing the ten-string guitar with rights lasting for a period of three years and at a price of 400 fl., facts are put forward showing Padovec’s efforts during several years to acquire such rights after the contracted period had expired. On basis of many letters and drafts from the magistrate record office, it may be observed that there had been a number of Padovec’s and Udl’s compositions stored with the musical merchandise trader F. Hofmeister in Leipzig. The paper’s author points out to the fact that Padovec’s compositions are actually the ones under number 49 and those from 57 till 62, except number 50 published by Platzer (the cover page has a small record of the lithographs name, of unknown descent), and it is not known where all the others published by Werner & Comp. had been printed. The same applies to Udl’s work no. 3 published by Werner & Comp
Etude de la fixation d'ions phosphoriques par la montmorillonite-zirconium
No full textBittel R., Boursat C., Platzer R. Etude de la fixation d'ions phosphoriques par la montmorillonite-zirconium. In: Bulletin du Groupe français des argiles. Tome 12, nouvelle série n°7, 1960. pp. 89-96
Locomotor system: color atlas and textbook of human anatomy, vol. 1/ Platzer
No full textxii, 435 hal.: ill.; 19 c
Locomotor system: color atlas and textbook of human anatomy, vol. 1/ Platzer
No full textxii, 435 hal.: ill.; 19 c
Locomotor system: color atlas and textbook of human anatomy, vol. 1/ Platzer
No full textxii, 435 hal.: ill.; 19 c
Arriving in Europe : empirical analysis of the "Platform Willkommens Kultur" (Platform Welcoming Culture) in South-East Styria
No full textDie vorliegende Meisterarbeit gibt einen Überblick über die Arbeit der Plattformen „Willkommenskultur“ und „Gemeinsam in Straden“ in Mureck und Straden nach den Fluchtbewegungen im Sommer und Herbst 2015. Entstehung, Entfaltung, Wirkung und Nachhaltigkeit der beiden Initiativen werden untersucht., die Basis dafür bilden Inter-views mit den Gründern und Gründerinnen beider Plattformen, Vermietern und Betreu-ungspersonen in den Quartieren, mit Flüchtlingen selbst sowie mit Personen aus Politik, Bildungswesen und Kirche.This Master's thesis provides an overview of the work and activities of the launched platforms, "Welcoming Culture" in Mureck and "Together in Straden" in Straden, after the outbreak of the refugee crisis from the summer of 2015. This work examines the origin, development, impact, and sustainability of both initiatives. The basis of the Master's thesis are the interviews with founders of both platforms and the landlords and the caretakers of the neighborhoods, along with the refugees themselves and the people and representatives from politics, education and the church. The author hopes to gain insight into the value and benefits of both platforms through empirical research.vorgelegt von Željka Platzer-PapičAbweichender Titel laut Übersetzung des Verfassers/der VerfasserinZusammenfassungen in Deutsch und EnglischMasterarbeit Karl-Franzens-Universität Graz 201
Drawing the history of the Hutterite population on a genetic landscape: inference from Y-chromosome and mtDNA genotypes.
No full textAssociation of TLR7 variants with AIDS-like disease and AIDS vaccine efficacy in rhesus macaques.
No full textIn HIV infection, TLR7-triggered IFN-α production exerts a direct antiviral effect through the inhibition of viral replication, but may also be involved in immune pathogenesis leading to AIDS. TLR7 could also be an important mediator of vaccine efficacy. In this study, we analyzed polymorphisms in the X-linked TLR7 gene in the rhesus macaque model of AIDS. Upon resequencing of the TLR7 gene in 36 rhesus macaques of Indian origin, 12 polymorphic sites were detected. Next, we identified three tightly linked single nucleotide polymorphisms (SNP) as being associated with survival time. Genotyping of 119 untreated, simian immunodeficiency virus (SIV)-infected male rhesus macaques, including an 'MHC adjusted' subset, revealed that the three TLR7 SNPs are also significantly associated with set-point viral load. Surprisingly, this effect was not observed in 72 immunized SIV-infected male monkeys. We hypothesize (i) that SNP c.13G>A in the leader peptide is causative for the observed genotype-phenotype association and that (ii) the underlying mechanism is related to RNA secondary structure formation. Therefore, we investigated a fourth SNP (c.-17C>T), located 17 bp upstream of the ATG translation initiation codon, that is also potentially capable of influencing RNA structure. In c.13A carriers, neither set-point viral load nor survival time were related to the c.-17C>T genotype. In c.13G carriers, by contrast, the c.-17C allele was significantly associated with prolonged survival. Again, no such association was detected among immunized SIV-infected macaques. Our results highlight the dual role of TLR7 in immunodeficiency virus infection and vaccination and imply that it may be important to control human AIDS vaccine trials, not only for MHC genotype, but also for TLR7 genotype
- …
