1,018 research outputs found
Die Slawistik in Italien in den Jahren 1920 bis 2000
No full textThis is the first synthesis of the history of Slavic Studies in Italy from the beginning of the 20th century to the beginning of the 21st century. Analysis of the most important publications, of the Institutions where Slavic languages, literatures and cultures are taught, of the connections of the developement of Slavic Studies with the main events and ideas of the 20th century, of the journals and associations, of the main libraries interesting for Slavic Studies
L’Opera di S. Maria in Provenzano e il suo archivio
No full texta cura di Paolo Nardi e Achille Mirizi
Tectonic control on hydrothermal circulation and fluid evolution in the Pietratonda-Poggio Peloso (southern Tuscany, Italy) carbonate-hosted Sb-mineralization
No full textThis paper deals with the development of an exhumed Sb-ore deposit associated with Neogene-Quaternary magmatism of Southern Tuscany. This epithermal mineralization represents a fossil hydrothermal system that was probably active during the volcanic activity that produced rhyolitic lava flows (~2.3Ma), presently exposed close to the study area (Roccastrada volcanic complex). Volcanism was coeval with strike-/oblique-slip and normal faults that controlled the hydrothermal circulation. Faults were active until the Pleistocene. Our study, based on fluid inclusion and structural data, demonstrates that fluids were channeled in damage zones of the Pliocene-Quaternary strike-/oblique-slip and normal faults and permeated within damage zones of Middle-Late Miocene extensional detachments, consisting of fractured carbonate rock masses sandwiched between successions with very low permeability. Fluids produced a diffuse hydrothermal alteration both in the cataclasite and in carbonate damage zones where jasperoid strata bounds developed. Fluid inclusion investigation allowed tracing the evolution of the hydrothermal fluids that is interpreted in terms of a progressive cooling of the hydrothermal system. Such evolution could be related to large infiltration of shallow waters from the early mineralizing stage (fluids at about 200-225°C, salinity around 3 wt.% NaClequiv.) down to the later post-ore stages, characterized by more diluted fluids (salinity of about 2.1 wt.% NaClequiv) having lower temperatures (Th around 155°C). The latest hydrothermal activity in the area is indicated by fluid inclusions hosted in late calcite veins that are characterized by Th values of about 125°C. This fossil hydrothermal system may provide a close analogue to the active geothermal systems occurring in southern Tuscany, thus the results are useful for better understanding the relationships between brittle structures and fluids migration
Nieopublikowany wiersz Stefana Jaworskiego?
No full textThe author publishes a poem dedicated to the Virgin Mary, found handwritten in a book belonging to Stefan Javors'kyj, and brings evidence of his authorship
Barokova homiletyka u schidnoslov ́janskomu kul ́turnomu prostori
No full textThe author analyses common features and specificities of some of the most important homiletic works written in Ukraine in the 17th century, with refernce to works of the same genre in Russia and Poland
Renesansni istoriohrafichni mify v Ukrajini
No full textThe author analyses some common places of Ukrainian historiography in comparision with similar motives in the history writing of Renaissance and Baroque authors in Poland, Dalmatia and Italy
Do pytannja pro homiletyku Stefana Javors'koho
No full textThe Author analyses the sermons of Stefan Javors'kyj written in Ukraine, contained in the autograph of the author. She invites scholarship to a thorough investigation and publications of the sermon
Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10) -special issue with selected papers
No full textThis special issue contains a selection of the best paper that were presented at the Fourth Workshop on Formal Languages
and Analysis of Contract-Oriented Software 1 (FLACOS’10), which was held in Pisa, Italy 17–18 September 2010.
The FLACOS workshop series initiated in 2007 as part of (and partially supported by) the Nordunet32 project COSoDIS 3
(“Contract-Oriented Software Development for Internet Services"). The aim of the FLACOS series of workshops has always
been to bring together researchers and practitioners working on formal approaches to deal with the different facets of
contracts, from synthesis, transformation and refinement to the negotiation, analysis and monitoring of contracts.
The program of the FLACOS’10 consisted of 6 regular papers, 6 short papers, and 3 invited papers. The papers were
selected by the Programme Committee formed by Björn Bjurling (SICS, Sweden), Antonio Brogi (University of Pisa, Italy,
co-chair), Giuseppe Castagna (University Paris 7, France), Suzanne Graf (VERIMAG, France), Alessio Lomuscio (Imperial College
London, UK), Ugo Montanari (University of Pisa, Italy), Olaf Owe (University of Oslo, Norway), Gordon Pace (University of
Malta, Malta), Ernesto Pimentel (Universidad of Malaga, Spain), Anders P. Ravn (Aalborg University, Denmark), Wolfgang
Reisig (Humboldt University, Germany), Kaisa Sere (Abo Akademi, Finland), Gerardo Schneider (Chalmers | University of
Gothenburg, Sweden, co-chair), Valentín Valero (University of Castilla-La Mancha, Spain), and Martin Wirsing (LudwigMaximilians
University, Germany).
Only a few papers were selected with the help of the Programme Committee, and finally only two papers were accepted
for publication in this special issue.
The first paper, A Trace-based Model for Multi-Party Contracts by Hvitved, Klaedtke and Zalinescu, is concerned with Multiparty
contracts. The authors define a model for multi-party contracts in which contract conformance is defined abstractly
as a property on traces. Besides it is introduced a contract specification language called CSL which overcomes limitations of
previously proposed formalisms for specifying contracts. The approach is illustrated by formalizing various contracts from
different domains in CSL.
In the second paper accepted for this issue, Synthesis of Secure Adaptors, Martín, Martinelli and Pimentel present an
adaptor synthesis, verification and refinement process based on security adaptation contracts, with the aim of overcoming
incompatibilities among services and prevents secrecy attacks. They also extend the ITACA toolbox for synthesis and deadlock
analysis and integrate it with Crypto-CCS, to verify and refine adaptors based on partial model checking and logical
satisfiability techniques
Stefano Brogi : Theologia senza verità. Bayle contro i «rationaux ». 1998
No full textPorset Charles. Stefano Brogi : Theologia senza verità. Bayle contro i «rationaux ». 1998. In: Dix-huitième Siècle, n°33, 2001. L'Atlantique, sous la direction de Marcel Dorigny . p. 687
- …
