87,264 research outputs found
Active Courts and Menu Contracts
Get PDFWe describe and analyze a contractual environment that allows a role for an active court. The model we analyze is the same as in Anderlini, Felli, and Postlewaite (2006). An active court can improve on the outcome that the parties would achieve without it. The institutional role of the court is to maximize the parties’ welfare under a veil of ignorance. In Anderlini, Felli, and Postlewaite (2006) the possibility of “menu contracts” between the informed buyer and the uninformed seller is described but not analyzed. Here, we fully analyze this case. We find that if we maintain the assumption that one of the potential objects of trade is not contractible ex-ante, the results of Anderlini, Felli, and Postlewaite (2006) survive intact. If however we let all “widgets” be contractible ex-ante, then multiple equilibria obtain. In this case the role for an active court is to ensure the inefficient pooling equilibria do not exist alongside the superior ones in which separation occurs.optimal courts, informational externalities, ex-ante welfare, informed principal, menu contracts
Young massive stars in the ISOGAL survey. II. The catalogue of bright YSO candidates
No full textThe 7 and 15 mu m observations of selected fields in the Galactic Plane obtained with ISOCAM during the ISOGAL program offer a unique possibility to search for previously unknown YSOs, undetected by IRAS because of lower sensitivity or confusion problems. In a previous paper (Felli et al. \cite{FCTOS00}) we established criteria of general validity to select YSOs from the much larger population of Post Main Sequence (Post-MS) stars present in the ISOGAL fields by comparing radio and IR observations of five fields located at l ~ +45deg. The selection was based primarily on the position of the point sources in the [15]-[7]-[15] diagram, which involves only ISOGAL data and allows to find possible YSOs using the survey data alone. In the present work we revise the adopted criteria by comparing radio-identified UC HII regions and ISOGAL observations over a much larger region. The main indications of the previous analysis are confirmed, but the criteria for selecting YSO candidates had to be revised to select only bright objects, in order to limit the contamination of the sample by Post-MS stars. The revised criteria ([15]le4 .5, [7]-[15]ge1 .8) are then used to extract YSO candidates from the ISOGAL Point Source Catalogue in preparation. We select a total of 715 YSO candidates, corresponding to ~ 2% of the sources with good detections at 7 and 15 mu m. The results are presented in a table form that provides an unique input list of small diameter, le 6 arcsec, Galactic YSO candidates. The global properties of the sample of YSO candidates are briefly discussed. This is paper No. 11 in a refereed journal based on data from the ISOGAL project
Fratture fresche di gamba trattate con gessi funzionali
No full textSi analizza casistica delle fratture di gamba trattate con la metodica dei gessi funzionali. La percentuale di complicanze è trascurabile ed il ricupero funzionale rapid
Indagini archeometallurgiche preliminari su manufatti in piombo provenienti dal santuario etrusco di Pyrgi
No full textCatani
Legislative Foundations: Exploring Land Take Laws and Urban Regeneration Policies in Italy and Europe
No full textSoil is now a central issue on the European as well as the national political agenda, as it represents a fundamental ecosystem for human survival on the planet. Today, more than ever, its protection and proper use in various contexts (agricultural, natural, urban) require stringent policies that can be implemented immediately. The difficult reversibility of urban transformations is the main threat to the ecosystem integrity of soil. Starting from this statement, the main objective of the proposed work is to analyze how the main European countries (Italy, France, Germany, and Spain) are addressing the issue of the goal of zero net land take by 2050 by examining the current laws and strategies. The results highlight how the regulatory aspect plays a key role in managing the phenomenon and how the absence of a national framework law can generate strong distortions and different interpretations of the soil ecosystem. The analysis of the Nature Restoration Law, adopted by the European Commission in July 2023, enables us to assess whether the regulations and measures adopted by the major European countries align with the European Union’s trends. Through a comparative perspective, the study aims to contribute to a comprehensive understanding of sustainable development practices and provide valuable insights for policymakers, urban planners, and academics
The importance of urban regeneration actions: European and Italian legislative framework analysis
Get PDFThis work focuses on the measures put in place to stem and contain the phenomenon of
urbanization and soil sealing in Europe and highlights the measures that various European coun-
tries have taken to curb land consumption and promote urban regeneration. The focus is on Italy,
where the lack of a national law on land consumption and inconsistent regional regulations pose a
hard challenge. The study compares urban regeneration laws in the main European countries and
Italy, by analyzing best practices and conducting an analysis of the "Nature Restoration Law"
adopted by the European Commission in July 2023. The research emphasizes the necessity of adopt-
ing a comprehensive strategy to address urbanization challenges, as urban regeneration efforts can
enhance city sustainability and resilience through improved provision of ecosystem services
Ingegneria e Architettura lungo un secolo di storia. Lo studio degli ingegneri Inverardi dell’Aquila
No full textGli Inverardi rappresentano una delle famiglie di ingegneri di più lunga data nel panorama italiano. Affermatosi in principio come progettista nel corpo del Genio Civile Militare di Giuseppe Garibaldi, la storia del capostipite è portata avanti da ben quattro generazioni.
Giuseppe, il figlio Achille e suo figlio Pier Luigi operano a L’Aquila e in Abruzzo a iniziare dai primi anni del Novecento, proseguendo nelle ricostruzioni dei due dopoguerra. Tutta la loro attività è raccolta in un archivio di famiglia, custodito oggi dagli eredi a loro volta continuatrici dell’attività professionale, da cui si evince il ruolo primario di questo studio di progettisti nella trasformazione strutturale di un intero territorio, a iniziare dall’adeguamento idrico e sanitario.
La ricchezza della loro attività testimonia il ruolo cardine della figura dell’ingegnere nei diversi settori della progettazione: dalla pianificazione territoriale alla scala urbana; dalle opere di ingegneria civile (quali ad esempio strade, acquedotti e reti fognarie) all’architettura pubblica (edifici scolastici, lavatoi, mattatoi) fino all’edilizia residenziale.
Nello spoglio del ricco materiale archivistico e bibliografico, in questa sede s’intende soffermarsi sui primi interventi, incentrati, in larga parte, sulla costruzione di acquedotti, fontane, mattatoi, edifici scolastici, e opere urbane atte a modernizzare il territorio.
La realizzazione di reti di adduzione di acqua a inizio secolo, e i numerosi progetti di ammodernamento, riqualificazione urbana e di architettura pubblica negli anni Venti e, ancora, nella ricostruzione degli anni Cinquanta, evidenziano la continuità nel tempo del ruolo svolto dallo studio Inverardi nella trasformazione di centri e territori abruzzesi.
L’analisi dell’attività professionale, in particolare dei primi decenni del Novecento, offre, inoltre, un quadro delle applicazioni e delle opportunità offerte dal veloce progredire delle conoscenze scientifiche e dalla sperimentazione di nuovi materiali e tecniche costruttive; in particolare, si fa riferimento ai primi utilizzi di calcestruzzo armato, largamente impiegato nelle opere idrauliche e non solo
Property-based testing of the meta-theory of abstract machines: An experience report
No full textContrary to Dijkstra's diktat, testing, and more in general validation has found an increasing niche in formal verification, prior or even in alternative to theorem proving. In particular, property-based testing (PBT) is quite effective in mechanized meta-theory of programming languages, where theorems have shallow but tedious proofs that may go wrong for fairly banal mistakes. In this report, we abandon the comfort of high-level object languages and address the validation of abstract machines and typed assembly languages. We concentrate on Appel et al.'s list-machine benchmark [ADL12], which we tackle with αCheck, the simple model-checker on top of the nominal logic programming αProlog. We uncover one major bug in the published version of the paper plus several typos and ambiguities thereof. This is particularly striking, as the paper is accompanied by two full formalizations, in Coq and Twelf. Finally, we carry out some mutation testing on the given model, to asses the trade-off between exhaustive and randomized data generation, using for the latter the PBT library FSCheck for F#. Spoiler alert: aProlog performs better. © Copyright 2018 for the individual papers by the papers' authors
FIG. 12 in Early Miocene Gastropods from the Felli Section (Proto-Mediterranean Sea NW Greece)
No full textFIG. 12. —?Lautoconus. sp.: A-D, AMPG(IV) 2473; E, F, AMPG(IV) 2473, under UV light. Scale bars: 5 mm.Published as part of Thivaiou, Danae, Harzhauser, Mathias & Koskeridou, Efterpi, 2019, Early Miocene Gastropods from the Felli Section (Proto-Mediterranean Sea NW Greece), pp. 323-366 in Geodiversitas 41 (8) on page 358, DOI: 10.5252/geodiversitas2019v41a8, http://zenodo.org/record/370000
- …
