1,723,063 research outputs found
Per Claudio Cesa. Una giornata di studi pisana
No full textClaudio Cesa (1928 - 2014) was an eminent Italian historian of philosophy, who devoted his research to the deepening of important subjects like German Idealism from Kant to Hegel, Hegelian Left, Italian modern philosophical tradition. His personality and his work have been illustrated by M. Moretti, C. De Pascale, G. Cantillo, M. Mori, F. Tomasoni, A. Savorelli and G. Bonacina in a conference held in Pisa in Autumn 2017
Delio Cantimori e Johann Gustav Droysen. In ristampa del 'Sommario di istorica'
No full textJohann G. Droysen, uno dei maggiori storici tedeschi del XIX secolo, ha accompagnato al suo lavoro una profonda riflessione sui metodi e i principi della storia di cui un frutto importante è questo Sommario di istorica. Esso fu presentato per la prima volta alla cultura italiana da Delio Cantimori che lo tradusse facendone oggetto di due memorabili seminari tenuti alla Scuola Normale Superiore di Pisa negli anni 1940-41 e 1941-42. Questo testo eccezionale viene ora riproposto a cura di Giovanni Bonacina che, oltre a rivedere la classica traduzione di Cantimori, vi premette una illuminante introduzione
Raw dataset of SLIDE imaging of stem cells in whole blood by SHG emission of Bismuth Ferrite nanoparticles
No full textRaw data file in blood SLIDE imaging used for
Harmonic Imaging of Stem Cells in Whole Blood at GHz Pixel Rate
Sebastian Karpf, Nina Glöckner Burmeister, Laurence Dubreil, Shayantani Ghosh, Reka Hollandi, Julien Pichon, Isabelle Leroux, Alessandra Henkel, Valerie Lutz, Jonas Jurkevičius, Alexandra Latshaw, Vasyl Kilin, Tonio Kutscher, Moritz Wiggert, Oscar Saavedra-Villanueva, Alfred Vogel, Robert A. Huber, Peter Horvath, Karl Rouger, Luigi Bonacina … See fewer authors
First published: 11 June 2024
https://doi.org/10.1002/smll.202401472
See the published articles for detail
Sommario di istorica, di J.G. Droysen
No full textJohann G. Droysen, uno dei maggiori storici tedeschi del XIX secolo, ha accompagnato al suo lavoro una profonda riflessione sui metodi e i principi della storia di cui un frutto importante è questo Sommario di istorica. Esso fu presentato per la prima volta alla cultura italiana da Delio Cantimori che lo tradusse facendone oggetto di due memorabili seminari tenuti alla Scuola Normale Superiore di Pisa negli anni 1940-41 e 1941-42. Questo testo eccezionale viene ora riproposto a cura di Giovanni Bonacina che, oltre a rivedere la classica traduzione di Cantimori, vi premette una illuminante introduzione
The Wahhabis Seen through European Eyes (1772-1830). Deists and Puritans of Islam
No full textIn "The Wahhabis Seen through European Eyes (1772-1830). Deists and Puritans of Islam" Giovanni Bonacina offers an account of the early reactions in Europe to the rise of the Wahhabi movement in Arabia. Commonly pictured nowadays as a form of Muslim fundamentalism, the Wahhabis appeared to many European witnesses as the creators of a deistic revolution with serious political consequences for the Ottoman 'ancien régime'. They were seen either in the light of contemporary events in France, or as Islamic theological reformers in the mould of Calvin, opposing an established church and devotional traditions. These audacious but fascinating attempts to interpret the unknown by the way of the better known are illustrated in this book
Possible CO2 injection in aquifers below Venice
No full textIt has been proposed to rise Venice by injecting CO2 into an aquifer lying 600–800 m below its lagoon. It is shown that because of the prevailing ambient conditions in the aquifer phase change of CO2 cannot be avoided. The ensuing change of specific volume and compressibility will inhibit a uniform uplift pattern which is needed to avoid cracks in historical buildings. Further, both liquid and gaseous CO2 produce capillary effects at the contact surface with water in the voids of the reservoir rock and this affects its mechanical response. Hence further non homogeneity in the uplift pattern will be produced. This prevents the use of CO2 in the proposed conditions. This contribution is a short version of the paper by Schrefler and Bonacina, in print on Mechanics Research Communications
Sulla risoluzione degli indirizzi IP. Parte II - Domain Name System
Full text linkProsegue anche in questo numero la pubblicazione di una monografia a puntate sul riconoscimento degli indirizzi IP. Il lavoro è originato dalla attività di dottorato di Stefano Bonacina, dottorando in Bioingegneria del Politecnico di Milano. Il documento originale è stato curato e rivisto nel suo complesso dagli specialisti di reti del CILEA, anche per tenere conto delle attuali evoluzioni delle soluzioni software. Questa seconda parte descrive il Domain Name System, il servizio software che si occupa di tradurre gli indirizzi numerici, adatti ai computers, in nomi a dominio, più adatti agli umani
Sulla risoluzione degli indirizzi IP. Parte III - Domain Name System.
Full text linkCon questo articolo continua la pubblicazione a puntate della monografia sul riconoscimento degli indirizzi IP. Il lavoro è originato dalla attività di dottorato di Stefano Bonacina, dottorando in Bioingegneria del Politecnico di Milano. Il documento originale è stato curato e rivisto nel suo complesso dagli specialisti di reti del CILEA, anche per tenere conto delle attuali evoluzioni delle soluzioni software. Questa terza parte riprende e conclude la descrizione del Domain Name System, il servizio che, sulla rete Internet, si occupa della traduzione degli indirizzi IP in nomi a dominio e viceversa. Le prime due puntate sono state pubblicate sui numeri 85 e 86 del Bollettino del CILEA
Sulla risoluzione degli indirizzi IP. Parte I Generalità
Full text linkA partire da questo numero viene pubblicata una monografia a puntate sul riconoscimento degli indirizzi IP. Il lavoro è originato dalla attività di dottorato di Stefano Bonacina, dottorando in Bioingegneria del Politecnico di Milano. Il documento originale è stato curato e rivisto nel suo complesso dagli specialisti di reti del CILEA, anche per tenere conto delle attuali evoluzioni delle soluzioni software. Questa prima parte descrive i concetti generali indispensabili per affrontare le parti successive
On the representation of parallel search in theorem proving
Full text linkThis extended abstract summarizes two contributions from ongoing work on parallel search in theorem proving. First, we give a framework of definitions for parallel theorem proving, including inference system, communication operators, parallel search plan, subdivision function, parallel strategy, parallel derivation, fairness and propagation of redundancy for parallel derivations. A notion of a parallel strategy being a parallelization of a sequential strategy, and a theorem establishing a general relation between sequential fairness and parallel fairness are also given. Second, we extend our approach to the modelling of search to parallel search, covering inferences (expansion and contraction), behaviour of the search plan, subdivision of the search space and communication among the processes. This model allows us to study the behavior of many search processes on a single {\em marked search graph}. In the full paper, we plan to extend our methodology for the measure of the complexity of search in infinite spaces to parallel search, and apply it to obtain results in the comparison of strategies
- …
