User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Evidenze molecolari del ruolo antiproliferativo e pro-apoptotico della clusterina in cellule epiteliali prostatiche umane

The Clusterin (CLU) gene produces different forms of protein products which vary in their biological properties and distribution within the cell. Both the extra- and intracellular CLU forms regulate cell proliferation and apoptosis. Dis-regulation of CLU expression occurs in many cancer types, including prostate cancer. The role that CLU plays in tumorigenesis is still unclear. We found that CLU over-expression inhibited cell proliferation and induced apoptosis in prostate cancer cells. Here we show that depletion of CLU affects the growth of PC-3 prostate cancer cells. Following siRNA, all protein products quickly disappeared, inducing cell cycle progression and higher expression of specific proliferation markers (i.e. H3 mRNA, PCNA and cyclins A, B1 and D) as detected by RT-qPCR and Western blot. Quite surprisingly, we also found that the turnover of CLU protein is very rapid and tightly regulated by ubiquitin–proteasome mediated degradation. Inhibition of protein synthesis by cycloheximide showed that CLU half-life is less than 2 hours. All CLU protein products were found poly-ubiquitinated by co-immuniprecipitation. Proteasome inhibition by MG132 caused stabilization and accumulation of all CLU protein products, strongly inducing the nuclear form of CLU (nCLU) and committing cells to caspase-dependent death. In conclusion, proteasome inhibition may induce prostate cancer cell death through accumulation of nCLU, a potential tumour suppressor factor.

Gli interventi sostitutivi nei confronti degli enti territoriali

La ricerca ha perseguito l’obiettivo di individuare e definire il potere di un ente territoriale di sostituire, tramite i suoi organi o atti, quelli ordinari degli enti territoriali minori, per assumere ed esercitare compiutamente, in situazioni straordinarie, le funzioni proprie di questi. Dogmaticamente potremmo distinguere due generali categorie di sostituzione: quella amministrativa e quella legislativa, a seconda dell’attività giuridica nella quale il sostituto interviene. Nonostante tale distinzione riguardi in generale il rapporto tra organi o enti della stessa o di differenti amministrazioni, con eguale o diverso grado di autonomia; la ricerca ha mirato ad analizzare le due summenzionate categorie con stretto riferimento agli enti territoriali. I presupposti, l’oggetto e le modalità di esercizio avrebbero consentito ovviamente di sottocatalogare le due generali categorie di sostituzione, ma un’indagine volta a individuare e classificare ogni fattispecie di attività sostitutiva, più che un’attività complessa, è sembrata risultare di scarsa utilità. Più proficuo è parso il tentativo di ricostruire la storia e l’evoluzione del menzionato istituto, al fine di definire e comprendere i meccanismi che consentono l’attività sostitutiva. Nel corso della ricostruzione non si è potuto trascurare che, all’interno dell’ordinamento italiano, l’istituto della sostituzione è nato nel diritto amministrativo tra le fattispecie che regolavano l’esercizio della funzione amministrativa indiretta. La dottrina del tempo collocava la potestà sostitutiva nella generale categoria dei controlli. La sostituzione, infatti, non avrebbe avuto quel valore creativo e propulsivo, nel mondo dell’effettualità giuridica, quell’energia dinamica ed innovatrice delle potestà attive. La sostituzione rappresentava non solo la conseguenza, ma anche la continuazione del controllo. Le fattispecie, che la menzionata dottrina analizzava, rientravano principalmente all’interno di due categorie di sostituzione: quella disposta a favore dello Stato contro gli inadempimenti degli enti autarchici – principalmente il comune – nonché la sostituzione operata all’interno dell’organizzazione amministrativa dal superiore gerarchico nei confronti del subordinato. Già in epoca unitaria era possibile rinvenire poteri sostitutivi tra enti, la prima vera fattispecie di potestà sostitutiva, era presente nella disciplina disposta da diverse fattispecie dell'allegato A della legge 20 marzo 1856 n. 2248, sull'unificazione amministrativa del Regno. Tentativo del candidato è stato quello, quindi, di ricostruire l'evoluzione delle fattispecie sostitutive nella stratificazione normativa che seguì con il T.U. della legge Comunale e Provinciale R.D. 4 febbraio 1915 e le successive variazioni tra cui il R.D.L. 30 dicembre 1923. Gli istituti sostitutivi vennero meno (di fatto) con il consolidarsi del regime fascista. Il fascismo, che in un primo momento aveva agitato la bandiera delle autonomie locali, non tardò, come noto, una volta giunto al potere, a seguire la sua vera vocazione, dichiarandosi ostile a ogni proposito di decentramento e rafforzando, con la moltiplicazione dei controlli e la soppressione del principio elettivo, la già stretta dipendenza delle comunità locali dallo Stato. Vennero meno i consigli liberamente eletti e al loro posto furono insediati nel 1926 i Podestà e i Consultori per le Amministrazioni comunali; nel 1928 i Presidi e i Rettorati per le Amministrazioni Provinciali, tutti organi nominati direttamente o indirettamente dall’Amministrazione centrale. In uno scenario di questo tipo i termini autarchia e autonomia risultano palesemente dissonanti e gli istituti di coordinamento tra Stato ed enti locali furono ad esso adeguati; in tale ordinamento, infatti, la sostituzione (pur essendo ancora presenti istituti disciplinanti fattispecie surrogatorie) si presentò come un semplice rapporto interno tra organi diversi, di uno stesso unico potere e non come esso è in realtà, anello di collegamento tra soggetti differenti con fini comuni (Stato - Enti autarchici); per semplificare, potremmo chiederci, in un sistema totalitario come quello fascista, in cui tutti gli interessi sono affidati all’amministrazione centrale, chi dovrebbe essere il sostituito. Il potere sostitutivo (in senso proprio) ebbe una riviviscenza nella normativa post-bellica, come reazione alla triste parentesi aperta dal fascismo, che mise a nudo i mali e gli abusi dell’accentramento statale. La suddetta normativa iniziò una riforma in favore delle autonomie locali; infatti, come noto, tutti i partiti politici assunsero posizione in favore di una maggiore autonomia degli enti territoriali minori e ripresero le proposte dei primi anni dell’Unità di Italia avanzate dal Minghetti, il quale sentiva l’esigenza dell’istituzione di un ente intermedio tra Stato e Province, a cui affidare interessi territorialmente limitati: la Regione appunto. Emerge piuttosto chiaramente dalla ricerca che la storia politica e l’evoluzione del diritto pubblico documentano come ad una sempre minore autonomia locale nelle politiche accentratrici dello Stato unitario prima, e totalitario poi, corrisponda una proporzionale diminuzione di istituti di raccordo come i poteri sostitutivi; al contrario ad una sempre maggiore ed evoluta autonomia dello Stato regionalista della Costituzione del 1948 prima, e della riforma del titolo V oggi, una contestuale evoluzione e diffusione di potestà sostitutive. Pare insomma che le relazioni stato-regioni, regioni-enti locali che la sostituzione presuppone, sembrano rappresentare (ieri come oggi) uno dei modi migliori per comprendere il sistema delle autonomie nell’evoluzione della stato regionale e soprattutto dopo la riforma apportata dalla legge costituzionale 18 ottobre 2001, n. 3. Dalla preliminare indagine storica un altro dato, che pare emergere, sembra essere la constatazione che l'istituto nato e giustificato da esigenze di coerenza e efficienza dell'azione amministrativa sia stato trasferito nell'ambio delle relazioni tra stato e autonomie territoriali. Tale considerazione sembra essere confermata dal proseguo dell’indagine, ed in particolare dai punti di contatto tra presupposti e procedure di sostituzione nell’analisi dell’istituto. Nonostante, infatti, il Costituente non disciplinò poteri sostitutivi dello Stato o delle regioni, al momento di trasferire le competenze amministrative alle regioni la Corte costituzionale rilevò il problema della mancanza di istituti posti a garantire gli interessi pubblici, volti ad ovviare alle eventuali inerzie del nuovo ente territoriale. La presente ricerca ha voluto infatti ricostruire l’ingresso dei poteri sostitutivi nel ordinamento costituzionale, riportando le sentenze del Giudice delle leggi, che a partire dalla sentenza n. 142 del 1972 e dalla connessa pronuncia n. 39 del 1971 sui poteri di indirizzo e coordinamento dello Stato, pur non senza incertezze e difficoltà, ha finito per stabilire un vero e proprio “statuto” della sostituzione con la sentenza n. 177 del 1988, individuando requisiti sostanziali e procedurali, stimolando prima e correggendo successivamente gli interventi del legislatore. Le prime fattispecie sostitutive furono disciplinate con riferimento al rispetto degli obblighi comunitari, ed in particolare con l’art. 27 della legge 9 maggio 1975, n. 153, la quale disciplina, per il rispetto dell’autonomia regionale, venne legittimata dalla stessa Corte nella sentenza n. 182 del 1976. Sempre con riferimento al rispetto degli obblighi comunitari intervenne l’art. 6 c. 3°, D.P.R. 24 luglio 1977, n. 616. La stessa norma va segnalata per introdurre (all’art. 4 c. 3°) una disciplina generale di sostituzione in caso di inadempimento regionale nelle materie delegate dallo Stato. Per il particolare interesse si deve segnalare il D.M. 21 settembre 1984, sostanzialmente recepito dal D.L. 27 giugno 1985, n. 312 (disposizioni urgenti per la tutela delle zone di particolare interesse ambientale), poi convertito in legge 8 agosto 1985, n. 431 c.d. legge Galasso. Tali disposizioni riaccesero il contenzioso sul potere sostitutivo innanzi la Corte Costituzionale, risolto nelle sentt. n. 151 e 153 del 1986. Tali esempi sembrano dimostrare quello che potremmo definire un dialogo tra legislatore e giudice della costituzionalità nella definizione dei poteri sostitutivi; il quale culminò nella già ricordata sent. n. 177 del 1988, nella quale la Corte rilevò che una legge per prevedere un potere sostitutivo costituzionalmente legittimo deve: essere esercitato da parte di un organo di governo; nei confronti di attività prive di discrezionalità nell’an e presentare idonee garanzie procedimentali in conformità al principio di leale collaborazione. Il modello definito dalla Corte costituzionale sembra poi essere stato recepito definitivamente dalla legge 15 marzo 1997, n. 59, la quale per prima ha connesso la potestà sostitutiva con il principio di sussidiarietà. Detta legge sembra rappresentare un punto di svolta nell’indagine condotta perché consente di interpretare al meglio la funzione – che già antecedentemente emergeva dallo studio dei rapporti tra enti territoriali – dei poteri sostitutivi quale attuazione del principio di sussidiarietà. La legge costituzionale 18 ottobre 2001, n. 3, ha disciplinato all’interno della Costituzione ben due fattispecie di poteri sostitutivi all’art. 117 comma 5 e all’art. 120 comma 2. La “lacuna” del 1948 necessitava di essere sanata – in tal senso erano andati anche i precedenti tentativi di riforma costituzionale, basti ricordare l’art. 58 del progetto di revisione costituzionale presentato dalla commissione D’Alema il 4 novembre 1997 – i disposti introdotti dal riformatore costituzionale, però, non possono certo essere apprezzati per la loro chiarezza e completezza. Le due richiamate disposizioni costituzionali, infatti, hanno prodotto numerose letture. Il dibattito ha riguardato principalmente la natura delle due fattispecie sostitutive. In particolare, si è discusso sulla natura legislativa o amministrativa delle potestà surrogatorie e sulla possibilità da parte del legislatore di introdurre o meno la disciplina di ulteriori fattispecie sostitutive rispetto a quelle previste dalla Costituzione. Con particolare riferimento all’art. 120 c. 2 Cost. sembra semplice capire che le difficoltà definitorie siano state dovute all’indeterminatezza della fattispecie, la quale attribuisce al Governo il potere sostitutivo nei confronti degli organi (tutti) delle regioni, province, comuni e città metropolitane. In particolare, la dottrina, che ha attribuito all’art. 120 capoverso la disciplina di un potere sostitutivo sulle potestà legislative delle Regioni, è partita dalla premessa secondo la quale detta norma ha una funzione fondamentale di limite e controllo statale sulle Regioni. La legge 18 ottobre 2001 n. 3 ha, infatti, variato sensibilmente il sistema dei controlli sulle leggi regionali, con la modificazione degli artt. 117 e 127 della Costituzione; pertanto, il sistema dei controlli dopo la riforma del 2001, troverebbe nel potere sostitutivo ex art. 120 la norma di chiusura. Sul tema è insistito un ampio dibattito, al di là di quello che il riformatore costituzionale avrebbe dovuto prevedere, un’obiezione (più delle altre) pare spingere verso l’accoglimento della tesi che propende per la natura amministrativa della fattispecie in oggetto, ovvero la constatazione che il Governo è il soggetto competente, ex art. 120 capoverso Cost., alla sostituzione; quindi, se si intendesse la sostituzione come avente natura legislativa, si dovrebbe ritenere che il Costituente abbia consentito all’Esecutivo, tosto che al Parlamento, l’adozione di leggi statali in sostituzione di quelle regionali. Suddetta conseguenza sembrerebbe comportare una palese violazione dell’assetto costituzionale vigente. Le difficoltà interpretative dell’art. 120 Cost. si sono riversate sulla normativa di attuazione della riforma costituzionale, legge 5 giugno 2003, n. 131. In particolare nell’art. 8, il quale ha mantenuto un dettato estremamente vago e non ha preso una chiara e netta opzione a favore di una della due interpretazione riportate circa la natura della fattispecie attuata, richiamando genericamente che il potere sostitutivo si adotta “Nei casi e per le finalità previsti dall'articolo 120” Cost. Di particolare interesse pare essere, invece, il procedimento disciplinato dal menzionato art. 8, il quale ha riportato una procedura volta ad attuare quelle che sono state le indicazioni della Corte in materia. Analogamente agli anni settanta ed ottanta, le riportate difficoltà interpretative dell’art. 120 Cost. e, più in generale il tema dei poteri sostitutivi dopo la riforma del 2001, sono state risolte e definite dal giudice della costituzionalità. In particolare, la Corte sembra aver palesemente accolto (sent. n. 43 del 2004) la tesi sulla natura amministrativa del potere sostitutivo previsto dall’art. 120 c. 2 Cost. Il giudice delle leggi ha tra l’altro fugato i dubbi di chi, all’indomani della riforma costituzionale del 2001, aveva letto nel potere sostitutivo, attribuito dalla riformata Costituzione al Governo, l’illegittimità di tutte quelle previsioni legislative regionali, che disponevano ipotesi di surrogazione (da parte della regione) nei confronti degli enti locali. La Corte costituzionale, infatti, nella già citata sentenza ha definito “straordinario” il potere di surrogazione attribuito dall’art. 120 Cost. allo Stato, considerando “ordinare” tutte quelle fattispecie sostitutive previste dalla legge (statale e regionale). Particolarmente innovativa è la parte dell'indagine in cui la ricerca ha verificato in concreto la prassi di esercizio della sostituzione statale, da cui sono sembrate emergere numerose tendenze. In primo luogo significativo sembra essere il numero esiguo di sostituzioni amministrative statali nei confronti delle amministrazioni regionali; tale dato sembra dimostrare ed essere causa della scarsa “forza” degli esecutivi che avrebbero dovuto esercitare la sostituzione. Tale conclusione sembra trovare conferma nell'ulteriore dato che sembra emergere ovvero i casi in cui sono stati esercitati i poteri sostitutivi sono avvenuti tutti in materie omogenee (per lo più in materia di tutela ambientale) che rappresentano settori in cui vi sono rilevanti interessi pubblici di particolare risonanza nell'opinione pubblica. Con riferimento alla procedura va enfatizzato il rispetto da parte dell'amministrazione sostituente delle procedure e dei limiti fissati tanto dal legislatore quanto nella giurisprudenza costituzionale al fine di rispettare l'autonomia dell'ente sostituito. Dalla ricerca emerge che non è stato mai esercitato un potere sostitutivo direttamente ex art. 120 Cost., nonostante sia nella quattordicesima (Governo Berlusconi) che nella quindicesima legislatura (Governo Prodi) con decreto sia stata espressamente conferita al Ministro per gli affari regionali la competenza a promuovere l’“esercizio coordinato e coerente dei poteri e rimedi previsti in caso di inerzia o di inadempienza, anche ai fini dell'esercizio del potere sostitutivo del Governo di cui all'art. 120 della Costituzione”. Tale conclusione, però, non lascia perplessi, bensì, piuttosto, sembra rappresentare la conferma della “straordinarietà” della fattispecie sostitutiva costituzionalizzata. Infatti, in via “ordinaria” lo Stato prevede sostituzioni per mezzo di specifiche disposizioni di legge o addirittura per mezzo di decreti legge, come di recente il D.L. 09 ottobre 2006, n. 263 (Misure straordinarie per fronteggiare l'emergenza nel settore dei rifiuti nella regione Campania. Misure per la raccolta differenziata), che ha assegnato al Capo del Dipartimento della protezione civile della Presidenza del Consiglio dei Ministri “le funzioni di Commissario delegato per l'emergenza nel settore dei rifiuti nella regione Campania per il periodo necessario al superamento di tale emergenza e comunque non oltre il 31 dicembre 2007”. Spesso l’aspetto interessante che sembra emergere da tali sostituzioni, disposte per mezzo della decretazione d’urgenza, è rappresentato dalla mancata previsione di diffide o procedure di dialogo, perché giustificate da casi di estrema urgenza, che spesso spingono la regione stessa a richiedere l’intervento di surrogazione. Del resto è stata la stessa Corte costituzionale a legittimare, nei casi di particolare urgenza e necessità, sostituzioni prive di dialogo e strumenti di diffida nella sent. n. 304 del 1987. Particolare attenzione è stata data allo studio dei poteri sostitutivi regionali. Non solo perché meno approfonditi in letteratura, ma per l’ulteriore ragione che tali fattispecie, disciplinate da leggi regionali, descrivono i modelli più diversi e spingono ad analisi di carattere generale in ordine alla struttura ed alla funzione dei poteri sostitutivi. Esse sembrano rappresentare (in molti casi) modelli da seguire dallo stesso legislatore statale, si vedano ad esempio leggi come quella della regione Toscana 31 ottobre 2001, n. 53, artt. 2, 3, 4, 5, 7; legge regione Emilia-Romagna 24 marzo 2004, n. 6, art. 30, le quali recepiscono i principi sviluppati dalla giurisprudenza costituzionale e scandiscono un puntuale procedimento ispirato alla collaborazione ed alla tutela delle attribuzioni degli enti locali. La ricerca di casi di esercizio di poter sostitutivi è stata effettuata anche con riferimento ai poteri sostitutivi regionali. I casi rilevati sono stati numerosi in particolare nella regione Sicilia, ma si segnalano anche casi nelle regioni Basilicata ed Emilia-Romagna. Il dato principale, che sembra emergere, pare essere che alle eterogenee discipline di sostituzione corrispondano eterogenee prassi di esercizio della sostituzione. Infatti, alle puntuali fattispecie di disciplina dei poteri sostitutivi dell’Emilia-Romagna corrispondono prassi volte ad effettuare la sostituzione con un delibera della giunta (organo di governo) motivata, nel rispetto di un ampio termine di diffida, nonché nella ricerca di intese volte ad evitare la sostituzione. Alla generale previsione della regione Sicilia, pare corrispondere un prassi sostitutiva caratterizzata da un provvedimento del dirigente generale all’assessorato per gli enti locali (organo di governo?), per nulla motivato, salvo il richiamo generico alle norme di legge, nonché brevi termini di diffida, che sembrano trovare la loro giustificazione in note o solleciti informati che avvisano l’ente locale della possibile sostituzione. In generale il fatto che in molti casi i poteri sostitutivi siano stimolati per mezzo dell’iniziativa dei privati, sembra dimostrare l’attitudine di tal istituto alla tutela degli interessi dei singoli. I differenti livelli nei quali operano i poteri sostitutivi, il ruolo che la Corte ha assegnato a tali strumenti nell’evoluzione della giurisprudenza costituzionale, nonché i dati emersi dall’indagine dei casi concreti, spingono ad individuare nel potere sostitutivo uno dei principali strumenti di attuazione del principio di sussidiarietà, principio quest’ultimo che sembra rappresentare – assieme ai corollari di proporzionalità, adeguatezza e leale collaborazione – la chiave di lettura della potestà sostitutiva di funzioni amministrative. In tal senso, come detto, pare emergere dall’analisi di casi concreti come il principio di sussidiarietà per mezzo dei poteri sostitutivi concretizzi quel fine, a cui l’art. 118 cost. sembra mirare, di tutela degli interessi pubblici, consentendo all’ente sovraordinato di intervenire laddove l’ente più vicino ai cittadini non riesca. Il principio di sussidiarietà sembra essere la chiave di lettura anche dell’altra categoria della sostituzione legislativa statale. L’impossibilità di trascurare o eliminare l’interesse nazionale, all’interno di un ordinamento regionale fondato sull’art. 5 Cost., sembra aver spino la Corte costituzionale ad individuare una sorta di “potere sostitutivo legislativo”, attraverso il (seppur criticabile) meccanismo introdotto per mezzo della sent. 303 del 2003 e della cosiddetta “chiamata i sussidiarietà”. Del resto adattare i principi enucleati nella giurisprudenza costituzionale a partire dalla sent. n. 117 del 1988 alla chiamata in sussidiarietà e i limiti che dal principio di leale collaborazione derivano, sembra rappresentare un dei modi (a costituzione invariata) per limitare quello che potrebbe rappresentare un meccanismo di rilettura dell’art. 117 Cost. ed ingerenza dello stato nelle competenze della regioni. Nonostante le sensibili differenze non si può negare che lo strumento ideato dalla Corte abbia assunto le vesti della konkurrierende gesetzgebung e, quindi, di fatto, di un meccanismo che senza limiti e procedure potrebbe rappresentare uno strumento di interferenza e sostituzione della stato nelle competenze regionali. Tali limiti e procedure potrebbero essere rinvenuti come detto nelle procedure di sostituzione scandite nelle pronunce del giudice delle leggi. I risultati che si spera emergeranno dalla descritta riflessione intorno ai poteri sostitutivi e il conseguente risultato circa lo stato del regionalismo italiano, non sembrano, però, rappresentare un punto di arrivo, bensì solo di partenza. I poteri sostitutivi potrebbero infatti essere oggetto di futuri interventi di riforma costituzionale, così come lo sono stati in occasione del tentativo di riforma del 2005. Il legislatore costituzionale nel testo di legge costituzionale approvato in seconda votazione a maggioranza assoluta (recante “Modifiche alla Parte II della Costituzione” e pubblicato in gazzetta ufficiale n. 269 del 18-11-2005) pareva aver fatto un scelta chiara sostituendo il disposto “Il Governo può sostituirsi a organi delle Regioni, delle città metropolitane, delle Province e dei Comuni” con “Lo Stato può sostituirsi alle Regioni, alle città metropolitane, alle Province e ai Comuni nell'esercizio delle funzioni loro attribuite dagli articoli 117 e 118”. Insomma si sarebbe introdotto quello strumento che in altri Paesi prende il nome di Supremacy clause o Konkurrierende Gesetzgebung, ma quali sarebbero state le procedure e limiti che lo Stato avrebbe dovuto rispettare? Il dettato che rigidamente fissa le competenze di stato e regioni, assieme alla reintroduzione espressa dell’interesse nazionale, non avrebbe ridotto eccessivamente l’autonomia regionale? Tali interrogativi mirano a riflettere non tanto intorno a quelli che potrebbero essere gli sviluppi dell’istituto dei poteri sostitutivi. Piuttosto essi sembrano rappresenterebbe l’ulteriore punto di vista per tentare di comprendere quale percorso avrebbe potuto (o potrebbe domani) prendere il regionalismo italiano.

La Carpetania, ¿territorio étnico o región geográfica?

[ES]En el presente trabajo se pretende aportar una visión crítica en relación a la definición de la Carpetania como territorio étnico prerromano o región geográfica creada por el poder romano, partiendo del análisis de las fuentes escritas así como de los últimos hallazgos arqueológicos.

Tuning the structural and magnetic properties of Sr 2 FeReO 6 by substituting Fe and Re with valence invariant metals

In the course of this work the effect of metal substitution on the structural and magnetic properties of the double perovskites Sr2MM’O6 (M = Fe, substituted by Cr, Zn and Ga; M’ = Re, substituted by Sb) was explored by means of X-ray diffraction, magnetic measurements, band structure calculations, Mößbauer spectroscopy and conductivity measurements. The focus of this study was the determination of (i) the kind and structural boundary conditions of the magnetic interaction between the M and M’ cations and (ii) the conditions for the principal application of double perovskites as spintronic materials by means of the band model approach. Strong correlations between the electronic, structural and magnetic properties have been found during the study of the double perovskites Sr2Fe1-xMxReO6 (0 < x < 1, M = Zn, Cr). The interplay between van Hove-singularity and Fermi level plays a crucial role for the magnetic properties. Substitution of Fe by Cr in Sr2FeReO6 leads to a non-monotonic behaviour of the saturation magnetization (MS) and an enhancement for substitution levels up to 10 %. The Curie temperatures (TC) monotonically increase from 401 to 616 K. In contrast, Zn substitution leads to a continuous decrease of MS and TC. The diamagnetic dilution of the Fe-sublattice by Zn leads to a transition from an itinerant ferrimagnetic to a localized ferromagnetic material. Thus, Zn substitution inhibits the long-range ferromagnetic interaction within the Fe-sublattice and preserves the long-range ferromagnetic interaction within the Re-sublattice. Superimposed on the electronic effects is the structural influence which can be explained by size effects modelled by the tolerance factor t. In the case of Cr substitution, a tetragonal – cubic transformation for x > 0.4 is observed. For Zn substituted samples the tetragonal distortion linearly increases with increasing Zn content. In order to elucidate the nature of the magnetic interaction between the M and M’ cations, Fe and Re were substituted by the valence invariant main group metals Ga and Sb, respectively. X-ray diffraction reveals Sr2FeRe1-xSbxO6 (0 < x < 0.9) to crystallize without antisite disorder in the tetragonal distorted perovskite structure (space group I4/mmm). The ferrimagnetic behaviour of the parent compound Sr2FeReO6 changes to antiferromagnetic upon Sb substitution as determined by magnetic susceptibility measurements. Samples up to a doping level of 0.3 are ferrimagnetic, while Sb contents higher than 0.6 result in an overall antiferromagnetic behaviour. 57Fe Mößbauer results show a coexistence of ferri- and antiferromagnetic clusters within the same perovskite-type crystal structure in the Sb substitution range 0.3 < x < 0.8, whereas Sr2FeReO6 and Sr2FeRe0.9Sb0.1O6 are “purely” ferrimagnetic and Sr2FeRe0.1Sb0.9O6 contains antiferromagnetically ordered Fe sites only. Consequently, a replacement of the Re atoms by a nonmagnetic main group element such as Sb blocks the double exchange pathways Fe–O–Re(Sb)–O–Fe along the crystallographic axis of the perovskite unit cell and destroys the itinerant magnetism of the parent compound. The structural and magnetic characterization of Sr2Fe1-xGaxReO6 (0 < x < 0.7) exhibit a Ga/Re antisite disorder which is unexpected because the parent compound Sr2FeReO6 shows no Fe/Re antisite disorder. This antisite disorder strongly depends on the Ga content of the sample. Although the X-ray data do not hint at a phase separation, sample inhomogeneities caused by a demixing are observed by a combination of magnetic characterization and Mößbauer spectroscopy. The 57Fe Mößbauer data suggest the formation of two types of clusters, ferrimagnetic Fe- and paramagnetic Ga-based ones. Below 20 % Ga content, Ga statistically dilutes the Fe–O–Re–O–Fe double exchange pathways. Cluster formation begins at x = 0.2, for 0.2 < x < 0.4 the paramagnetic Ga-based clusters do not contain any Fe. Fe containing Ga-based clusters which can be detected by Mößbauer spectroscopy firstly appear for x = 0.4.

An accuracy approach to robotic microsurgery in the ear

Concerns of rising healthcare costs and the ever increasing desire to improve surgical outcome have motivated the development of a new robotic assisted surgical procedure for the implantation of artificial hearing devices (AHDs). This paper describes our efforts to enable minimally invasive, cost effective surgery for the implantation of AHDs. We approach this problem with a fundamental goal to reduce errors from every component of the surgical workflow from imaging and trajectory planning to patient tracking and robot development. These efforts were successful in reducing overall system error to a previously unattained level.

Preclinical testing of strategies for therapeutic targeting of human T-cell trafficking in vivo

Naive T cells are migratory cells that continuously recirculate between blood and lymphoid tissues. Antigen-specific stimulation of T cells within the lymph nodes reprograms the trafficking properties of T cells by inducing a specific set of adhesion molecules and chemokine receptors on their surface which allow these activated and effector T cells to effectively and specifically home to extralymphoid organs. The observations of organ-specific homing of T cells initiated the development of therapeutic strategies targeting adhesion receptors for organ-specific inhibition of chronic inflammation. As most adhesion receptors have additional immune functions besides mediating leukocyte trafficking, these drugs may have additional immunomodulatory effects. Therapeutic targeting of T-cell trafficking to the central nervous system is the underlying concept of a novel treatment of relapsing remitting multiple sclerosis with the humanized anti-alpha-4-integrin antibody natalizumab. In this chapter, we describe a possible preclinical in vivo approach to directly visualize the therapeutic efficacy of a given drug in inhibiting T-cell homing to a certain organ at the example of the potential of natalizumab to inhibit the trafficking of human T cells to the inflamed central nervous system in an animal model of multiple sclerosis.

Clinical outcome of high-risk patients with severe aortic stenosis and reduced left ventricular ejection fraction undergoing medical treatment or TAVI

Introduction Reduced left ventricular function in patients with severe symptomatic valvular aortic stenosis is associated with impaired clinical outcome in patients undergoing surgical aortic valve replacement (SAVR). Transcatheter Aortic Valve Implantation (TAVI) has been shown non-inferior to SAVR in high-risk patients with respect to mortality and may result in faster left ventricular recovery. Methods We investigated clinical outcomes of high-risk patients with severe aortic stenosis undergoing medical treatment (n = 71) or TAVI (n = 256) stratified by left ventricular ejection fraction (LVEF) in a prospective single center registry. Results Twenty-five patients (35%) among the medical cohort were found to have an LVEF≤30% (mean 26.7±4.1%) and 37 patients (14%) among the TAVI patients (mean 25.2±4.4%). Estimated peri-interventional risk as assessed by logistic EuroSCORE was significantly higher in patients with severely impaired LVEF as compared to patients with LVEF>30% (medical/TAVI 38.5±13.8%/40.6±16.4% versus medical/TAVI 22.5±10.8%/22.1±12.8%, p <0.001). In patients undergoing TAVI, there was no significant difference in the combined endpoint of death, myocardial infarction, major stroke, life-threatening bleeding, major access-site complications, valvular re-intervention, or renal failure at 30 days between the two groups (21.0% versus 27.0%, p = 0.40). After TAVI, patients with LVEF≤30% experienced a rapid improvement in LVEF (from 25±4% to 34±10% at discharge, p = 0.002) associated with improved NYHA functional class at 30 days (decrease ≥1 NYHA class in 95%). During long-term follow-up no difference in survival was observed in patients undergoing TAVI irrespective of baseline LVEF (p = 0.29), whereas there was a significantly higher mortality in medically treated patients with severely reduced LVEF (log rank p = 0.001). Conclusion TAVI in patients with severely reduced left ventricular function may be performed safely and is associated with rapid recovery of systolic left ventricular function and heart failure symptoms.

Diffusion-weighted magnetic resonance imaging detects local recurrence after radical prostatectomy: initial experience

Current conventional cross-sectional imaging techniques, such as contrast-enhanced computed tomography and magnetic resonance imaging (MRI), are largely inaccurate in detecting local recurrence after radical prostatectomy. We report on five patients with biochemical recurrence after radical retropubic prostatectomy and pelvic lymph node dissection for whom local recurrence could only be detected with diffusion-weighted (DW) MRI. Prior to DW-MRI, all patients had negative digital rectal examinations, negative or equivocal conventional cross-sectional imaging, and negative bone scans. All suspicious lesions on DW-MRI imaging were histologically proved to be local recurrences of prostate cancer after either transrectal ultrasound-guided or transurethral biopsy. These results should encourage other centres to test our findings.

The effect of 3 versus 6 years of zoledronic acid treatment of osteoporosis: a randomized extension to the HORIZON-Pivotal Fracture Trial (PFT)

Zoledronic acid 5 mg (ZOL) annually for 3 years reduces fracture risk in postmenopausal women with osteoporosis. To investigate long-term effects of ZOL on bone mineral density (BMD) and fracture risk, the Health Outcomes and Reduced Incidence with Zoledronic acid Once Yearly-Pivotal Fracture Trial (HORIZON-PFT) was extended to 6 years. In this international, multicenter, double-blind, placebo-controlled extension trial, 1233 postmenopausal women who received ZOL for 3 years in the core study were randomized to 3 additional years of ZOL (Z6, n = 616) or placebo (Z3P3, n = 617). The primary endpoint was femoral neck (FN) BMD percentage change from year 3 to 6 in the intent-to-treat (ITT) population. Secondary endpoints included other BMD sites, fractures, biochemical bone turnover markers, and safety. In years 3 to 6, FN-BMD remained constant in Z6 and dropped slightly in Z3P3 (between-treatment difference = 1.04%; 95% confidence interval 0.4 to 1.7; p = 0.0009) but remained above pretreatment levels. Other BMD sites showed similar differences. Biochemical markers remained constant in Z6 but rose slightly in Z3P3, remaining well below pretreatment levels in both. New morphometric vertebral fractures were lower in the Z6 (n = 14) versus Z3P3 (n = 30) group (odds ratio = 0.51; p = 0.035), whereas other fractures were not different. Significantly more Z6 patients had a transient increase in serum creatinine >0.5 mg/dL (0.65% versus 2.94% in Z3P3). Nonsignificant increases in Z6 of atrial fibrillation serious adverse events (2.0% versus 1.1% in Z3P3; p = 0.26) and stroke (3.1% versus 1.5% in Z3P3; p = 0.06) were seen. Postdose symptoms were similar in both groups. Reports of hypertension were significantly lower in Z6 versus Z3P3 (7.8% versus 15.1%, p < 0.001). Small differences in bone density and markers in those who continued versus those who stopped treatment suggest residual effects, and therefore, after 3 years of annual ZOL, many patients may discontinue therapy up to 3 years. However, vertebral fracture reductions suggest that those at high fracture risk, particularly vertebral fracture, may benefit by continued treatment.

The Interface Between Morphology and Action Planning: a Comparison of Two Species of New World Monkeys

Recent research with several species of nonhuman primates suggests sophisticated motor-planning abilities observed in human adults may be ubiquitous among primates. However, there is considerable variability in the extent to which these abilities are expressed across primate species. In the present experiment, we explore whether the variability in the expression of anticipatory motor-planning abilities may be attributed to cognitive differences (such as tool use abilities) or whether they may be due to the consequences of morphological differences (such as being able to deploy a precision grasp). We compared two species of New World monkeys that differ in their tool use abilities and manual dexterity: squirrel monkeys, Saimiri sciureus (less dexterous with little evidence for tool use) and tufted capuchins, Sapajus apella (more dexterous and known tool users). The monkeys were presented with baited cups in an untrained food extraction task. Consistent with the morphological constraint hypothesis, squirrel monkeys frequently showed second-order motor planning by inverting their grasp when picking up an inverted cup, while capuchins frequently deployed canonical upright grasping postures. Findings suggest that the lack of ability for precision grasping may elicit more consistent second-order motor planning, as the squirrel monkeys (and other species that have shown a high rate of second-order planning) have fewer means of compensating for inefficient initial postures. Thus, the interface between morphology and motor planning likely represents an important factor for understanding both the ontogenetic and phylogenetic origins of sophisticated motor-planning abilities. (C) 2013 The Association for the Study of Animal Behaviour. Published by Elsevier Ltd. All rights reserved.

Mannitol dry powder challenge in comparison with exercise testing in children

Rationale Mannitol dry powder (MDP) challenge is an indirect bronchial provocation test, which is well studied in adults but not established for children. Objective We compared feasibility, validity, and clinical significance of MDP challenge with exercise testing in children in a clinical setting. Methods Children aged 6–16 years, referred to two respiratory outpatient clinics for possible asthma diagnosis, underwent standardized exercise testing followed within a week by an MDP challenge (Aridol™, Pharmaxis, Australia). Agreement between the two challenge tests using Cohen's kappa and receiving operating characteristic (ROC) curves was compared. Results One hundred eleven children performed both challenge tests. Twelve children were excluded due to exhaustion or insufficient cooperation (11 at the exercise test, 1 at the MDP challenge), leaving 99 children (mean ± SD age 11.5 ± 2.7 years) for analysis. MDP tests were well accepted, with minor side effects and a shorter duration than exercise tests. The MDP challenge was positive in 29 children (29%), the exercise test in 21 (21%). Both tests were concordant in 83 children (84%), with moderate agreement (κ = 0.58, 95% CI 0.39–0.76). Positive and negative predictive values of the MDP challenge for exercise-induced bronchoconstriction were 68% and 89%. The overall ability of MDP challenge to separate children with or without positive exercise tests was good (area under the ROC curve 0.83). Conclusions MDP challenge test is feasible in children and is a suitable alternative for bronchial challenge testing in childhood. Pediatr. Pulmonol. 2011; 46:842–848. © 2011 Wiley-Liss, Inc.