328,229 Works

6. Book Reviews

Andrea Cavaletto, Franca Varallo & Enrico Pasini
 Reviews of F. Azouvi, “Le Mythe du grand silence: Auschwitz, les Français, la mémoire”, Fayard, 2012; V. Huys - D. Vernant, “L’indisciplinaire de l’art”, P.U.F., 2012; U. App, “The Cult of Emptiness”, University Media 2012; J.Ā. Josephson, “The Invention of Religion in Japan”, University of Chicago Press, 2012.

7. Activities of the GISI | Les activités du GISI (2013-2014)

Cecilia Carnino
Journal of Interdisciplinary History of Ideas, Vol 2, No 4 (2013)

5. Doctor of Rivers. On the Remedies for Facing the Fortune in the Italian Renaissance

Simone Mammola
Renaissance medicine had the peculiar capacity to integrate in an organic and functional weave even historical and antiquarian competencies next to those properly naturalistic and biological. This is mirrored by the widespread use of medical metaphors in the context of moral and political, civil and technical reflexions. Such is the case also for the management of waters and rivers. So while Agostino Bacci compares floods to a disease and the idraulic engineer to a physician...

1. Deuxième anniversaire et un appel à communications

Manuela Albertone & Enrico Pasini
Notre revue est parvenue à son deuxième anniversaire, elle s’est enrichie de nouveaux collaborateurs et a reserré ses liens avec le groupe de recherche in- terdisciplinaire en histoire des idées (GISI), qui en constitue un complément essentiel en tant que labo- ratoire de réflexion et chantier d’initiatives. L’appel à communications “Erasmian Science. The influence on Early-Modern science of Erasmus of Rotterdam and his legacy”, pour un numéro special du Journal of Interdisciplinary History of Ideas...

3. Crossing Boundaries: Cosmopolitanism, Secularism and Words in the Age of Revolutions

Erica Joy Mannucci
This study is focused on a cosmopolitan group of both famous and less famous radical intellectuals from both sides of the Atlantic—some of them of popular origin and self-educated—all linked by relations of personal friendship or at least col- laboration or contiguity: Thomas Paine, Joel Barlow, Nicolas de Bonneville, John Oswald, Joseph Ritson. The analysis of the language strategies they used to attempt a democratization of the universal communication that had been until then kept...

2. Émeric Crucé’s “Nouveau Cynée” (1623), Universal Peace and Free Trade

Andrew Mansfield
Émeric Crucé’s Nouveau Cynée (1623) was the earliest work to call for both universal peace and global free trade. Anonymously published, the work endorsed a pacifistic international body that would replace war with diplomatic state cooperation. Crucé claimed that by eschewing belligerent aggrandisement people could not only live in peaceful co-existence, regardless of geography or religion, great material prosperity would also be engendered. But this notion of an end to war within a seventeenth century...

4. Infinity and the Sublime

Karin Verelst
In their recent work, L. Graham and J.-M. Kantor discuss a remarkable connection between diverging conceptions of the mathematical infinite in Russia and France at the beginning of the twentieth century and the religious convictions of their respective authors. They expand much more on the Russian side of the cultural equation they propose; I do believe, however, that the French (or rather ‘West European’) side is more complex than it seems, and that digging deeper...

Genetic Algorithms for Construction Time-Cost-Quality Trade-Off: A Road Project Case Study

Mariarosa Sorrentino
Construction projects must satisfy time cost and quality requirements and Project Management is basically focused on this trade-off. In fact, in every project these three parameters are interdependent:  it’s impossible to change an element without conditioning at least one of the other two. The paper presents the development of a practical and automated system that uses an artificial intelligence technique for the planning of an infrastructural construction work, with the aim of optimizing time-cost-quality simultaneously....

La gestione della realizzazione di una grande opera pubblica: l’impianto di potabilizzazione di Standiana di Ravenna

Paolo Baldoni, Guido Govi & Andrea Gambi
Romagna Acque Società delle Fonti S.p.A. è una società con capitale completamente pubblico ed incedibile che detiene la proprietà immobiliare e gestisce le fonti di produzione di acqua potabile in tutta la Romagna. Il settore dell’acqua a partire dalla fine del 2012 è regolato, attraverso un metodo di tariffazione, dall’Autorità per l’Energia Elettrica ed il Gas (AEEG). Al centro del metodo vi è la capacità di produrre investimenti, l’incentivazione all’efficienza gestionale ed ammortamenti basati su...

Il controllo di gestione e operativo delle commesse per una impresa di costruzioni: nuovo impianto di trattamento e recupero di rifiuti urbani.

Matteo Camprini, Ares Frassinetti & Andrea Gambi
Il mercato delle costruzioni in Italia soffre problemi di maturità da molto tempo. Dagli anni ’90, infatti, per superare i fatti di tangentopoli venne riformata la legislazione dei lavori pubblici per giungere a livelli di competizione maggiori e più simili a quelli esistenti in Europa.  In questo contesto le imprese che per la loro struttura culturale, organizzativa e produttiva mostravano maggiore sensibilità a tali aspetti avviarono processi di formazione e riorganizzazione introducendo specifiche procedure mirate...

Analisi dell’efficienza e dell’efficacia della verifica ai fini della validazione

Giuseppe M. Di Giuda, Valentina Villa & Marco Poletti
La strategicità della progettazione, comprendente le relative attività di controllo assume un’importanza fondamentale nel garantire la qualità dell’intero procedimento, in quanto un progetto, rispondente alle esigenze iniziali e privo di carenze o incongruenze che ne impediscono la realizzabilità, è la premessa irrinunciabile per ottenere un’opera conforme alle aspettative, realizzabile senza incrementi di costo, nei tempi stabiliti e che riduce l’insorgenza di difetti e le non conformità sul lungo periodo. Alla luce di questo e dopo...

Modelli di Partenariato Pubblico Privato per la gestione del processo di infrastrutturazione e riqualificazione urbana

Giuseppe M. Di Giuda, Valentina Villa & Antonio C. Devito
In Europa i PPP si sono sviluppati nel settore trasporti, edilizia e attrezzature pubbliche  e dell’ambiente. L’esperienza varia da settore a settore e da un Paese all’altro: molti Stati hanno un’esperienza limitata di PPP, o non ne hanno affatto. Quella delle Smart Cities e della riqualificazione urbana potrebbe essere una strada nuova ed efficace nel percorso verso la digitalizzazione che il nostro Paese sta intraprendendo con molta fatica e ancora in assenza di una visione...

Improve general contracting to strengthen the effectiveness of the italian public commissioning bodies in managing of the construction process

Ernesto Antonini & Aldo Norsa
The EU Directive 93/37 defined the “third kind” of tender procedures, that a public commissioning body  may use to select a figure that is responsible for "the realization, by whatever means, of a work corresponding to the requirements specified by the contracting authority". Italy has interpreted in an original way this tender procedure, introducing (through law 443/2001) the role of “contraente generale”. The point is that the notion of “contraente generale” still remains controversial on...

Constructability and Safety Assessment Design Approach

Pietro Capone
The theme of this contribution fi ts astride two strands of the studies of Construction Management: health and safety risks management on construction sites and constructability design approaches. The hypothesis developed in this approach is to entrust the design a harmonizing function between the parties. In particular, it refers to the delicate moment in which Executive Design implements in a Constructive one. The method proposed, working directly on design drawings, allows the specific and detailed...

Advanced technologies for supporting health and safety in construction management

Berardo Naticchia & Alessandro Carbonari
Decisions made during project planning strongly influence the level of safety which can be reached on site. However, some hazards are generated by the concurrence of several unpredictable risk factors. So the use of tracking systems might become decisive. In this paper we will present three example of advanced monitoring systems: one proactive safety management system to prevent overhead hazards; one infrastructureless real-time monitoring system to avoid hazardous interferences among the several teams operating on...

Environmental impact of Building Construction Projects in Northern Europe

Olli Teriö & Jouni Honkanen
The concept of environmental impact in general refers to any influence that affects the environment. Usually when discussing about environmental impact in the context of construction industry the emphasis is on pollution and living conditions of fauna and use of material and energy. The key role in reducing environmental impact is played by careful preliminary planning and skilled labour. Preliminary planning is a way to affect the amount of waste by reducing loss. The significant...

Low environmental impact technologies for road construction

Andrea Simone
The “sustainability” concept relates to the prolonging of human economic systems with as little detrimental impact on ecological systems as possible. Construction that exhibits good environmental stewardship and practices that conserve resources in a manner that allow growth and development to be sustained for the long-term without degrading the environment are indispensable in a developed society. Past, current and future advancements in road construction as an environmentally sustainable paving material are especially important because the...

REPNET: project scheduling and workflow optimization for Construction Projects

Marco Alvise Bragadin & Kalle Kahkonen
Project planning and control are core processes for construction management. In practice project planning is achieved by network - based techniques like Precedence Diagramming Method (PDM). Indeed many researchers and practitioners claims that networking techniques as such do not provide a suitable model for construction projects. Construction process modeling should incorporate for specific features of resource flows through project activities. So an improved resource scheduling method for construction is developed, called REPNET, based on a...

Project Management for Construction: towards methods and tools meeting demands of modern construction operations

Kalle Kahkonen
Project management standards are gradually moving to the direction where increasingly attention is put on cooperation and collaboration methods between different players involved in construction operation. Construction professionals and other experts i.e. in academia agree widely that this is essential. Construction business and its operations in general have not been isolated from the long term developments in different sectors such as outsourcing where core businesses is valued high and other operations are cut away. This...

Presentazione del workshop: linee di ricerca per il Construction Management

Marco Alvise Bragadin
Il tema della gestione del processo edilizio, sia a livello di concezione e progettazione che a livello operativo di gestione del processo costruttivo, è di centrale importanza per un settore industriale come quello delle costruzioni che è chiamato a dare il proprio importante contributo in questo difficile momento di crisi economica. In cooperazione con il gruppo di ricerca “Construction Production” del Tampere University of Technology finlandese sono state individuate cinque linee di ricerca inerenti i...

A Formal Proof of Square Root and Division Elimination in Embedded Programs

Pierre Neron
The use of real numbers in a program can introduce differences between the expected and the actual behavior of the program, due to the finite representation of these numbers. Therefore, one may want to define programs using real numbers such that this difference vanishes. This paper defines a program transformation for a certain class of programs that improves the accuracy of the computations on real number representations by removing the square root and division operations...

A String of Pearls: Proofs of Fermat's Little Theorem

Hing Lun Chan & Michael Norrish
We discuss mechanised proofs of Fermat's Little Theorem in a variety of styles, focusing in particular on an elegant combinatorial ``necklace'' proof that has not been mechanised previously. What is elegant in prose turns out to be long-winded mechanically, and so we examine the effect of explicitly appealing to group theory. This has pleasant consequences both for the necklace proof, and also for some of the direct number-theoretic approaches.

Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model

Mauricio Ayala-Rincón & Yuri Santos Rego
In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-Yao and for fully formalizing its security in the specification language of the Prototype Verification System PVS. Although cascade protocols could be argued to be a very limited model, it should be stressed here that they are the basis of more sophisticated protocols of great applicability, such as those which allow treatment of multiparty, tuples, nonces, name-stamps, signatures, etc. In...

Formal Verification of Language-Based Concurrent Noninterference

Andrei Popescu, Johannes Hölzl & Tobias Nipkow
We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition. We develop a uniform framework where we express a wide range of non-interference variants from the literature and compare them w.r.t. their contracts: the strength of the security properties they ensure weighed against the harshness of the syntactic conditions they enforce. This results in a simple implementable algorithm for proving that a program has a specific...

Silicate mineralogy of basalts at DSDP Leg 54 Holes, supplement to: Thompson, Robert N; Humphris, Susan E (1980): Silicate mineralogy of basalts from the East Pacific Rise, OCP Ridge, and Siqueiros fracture zone: Deep Sea Drilling Project, Leg 54. In: Rosendahl, BR; Hekinian, R; et al. (eds.), Initial Reports of the Deep Sea Drilling Project (U.S. Govt. Printing Office), 54, 651-669

Robert N Thompson & Susan E Humphris
Basalts drilled from the East Pacific Rise, OCP Ridge, and Siqueiros fracture zone during Leg 54 are texturally diverse. Dolerites are equigranular at Sites 422 and 428 and porphyritic, with phenocrysts of plagioclase (An69.73) and Ca-rich clinopyroxene (Ca42Mg48Fe10) at Site 427. The East Pacific Rise lavas and some of those from the OCP Ridge are fine-grained and porphyritic. The majority of the large crystals are clustered skeletal glomerocrysts of plagioclase An64-77), together with olivine (Fo80-87),...

Registration Year

  • 2013
    328,229

Resource Types

  • Text
    193,885
  • Dataset
    68,036
  • Image
    19,320
  • Workflow
    6,821
  • Collection
    5,992
  • Model
    1,113
  • Audiovisual
    1,003
  • Other
    158
  • Event
    110
  • Physical object
    74
  • Sound
    65
  • Film
    47
  • Software
    19
  • Interactive resource
    17
  • Service
    1

Data Centers

  • Deutsches Institut für Erwachsenenbildung
    116,077
  • E-Periodica
    38,437
  • Biodiversity Institute of Ontario
    30,387
  • UC Berkeley Museum of Vertebrate Zoology
    18,927
  • PANGAEA
    16,063
  • e-manuscripta
    15,583
  • Oxford University Library Service Databank
    13,414
  • e-rara.ch
    7,001
  • Universität Zürich, ZORA
    6,900
  • German Medical Science
    6,094
  • Università degli Studi di Bologna
    4,335
  • Archaeology Data Service
    4,307
  • TU Eindhoven
    4,178
  • TIB Hannover
    4,169
  • Broad Institute of MIT and Harvard
    4,034