1435 research outputs found
Sort by
Opus tessellatum a Pisa e nella chiesa di San Pietro in Vinculis
Get PDFSUMMARY It is known that the first floor cosmatesco has been realized in Italy at the end of the XI century, between the 1066 and the 1071, when the Abbot of Montecassino invited some workers of marble, coming from Costantinopoli, to build a new floor in the Cathedral. The floor cosmatesco realized in S. Pietro in Vinculis (XII century), in Pisa is certainly the most valuable and ancient and is further very well preserved. The marble that composes this floor is even “reused” and a part of it come from roman factories. Today the attention is mainly focused on its preservation and use. RIASSUNTO E’ noto che il primo pavimento cosmatesco è stato realizzato in Italia alla fine del secolo XI, tra il 1066 e il 1701, quando l’Abbate di Montecassino invitò alcuni artigiani marmisti, provenienti da Costantinopoli, a costruire una nuova pavimentazione nella cattedrale. Il pavimento cosmatesco realizzato in S.Pietro in Vinculis (XII secolo) a Pisa è certamente il più pregevole e antico ed inoltre è molto ben conservato. Oggi l’attenzione è principalmente concentrata sulla sua conservazione e sulla sua usura
Il Paesaggio dell’arcipelago filippino. Un patrimonio ambientale ed architettonico da conservare
Get PDFLe Filippine, arcipelago di oltre settemila isole, dell’Asia sudorientale, tra l’Oceano Pacifico ed il Mar Cinese Meridionale, da sempre è stato meta di costanti e diversificati traffici che hanno importato stili di arte ed architettura molto diversi gli uni dagli altri. La letteratura e le attività proprie del Sud Est dell’Asia hanno influenzato molto l’architettura propria di queste isole, il tutto ben manifesto soprattutto nei materiali, nelle tecniche costruttive e nelle decorazioni naturalistiche della primitiva abitazione: la casa di bambù
Organizzare la conoscenza: dalle biblioteche all’architettura dell’informazione per il web. Claudio Gnoli, Vittorio Marino, Luca Rosati. Milano: Tecniche nuove, c2006. x, 211 p. : ill. ; 21 cm. (Hops) ISBN: 88-481-1849-6
No full textRIASSUNTO Recensione di un libro dedicato all'analisi del ruolo giocato dall'organizzazione semantica delle informazioni nell'ambito dell'architettura del web. SUMMARY Is there a role for traditional knowledge organization systems in the digital age
Order, Disorder and Confinement
No full textStudying the order of the chiral transition for is of fundamental
importance to understand the mechanism of color confinement. We present results
of a numerical investigation on the order of the transition by use of a novel
strategy in finite size scaling analysis. The specific heat and a number of
susceptibilities are compared with the possible critical behaviours. A second
order transition in the O(4) and O(2) universality classes are excluded.
Substantial evidence emerges for a first order transition. Results are in
agreement with those found by studying the scaling properties of a disorder
parameter related to the dual superconductivity mechanism of color confinement
The critical exponents of the superfluid transition in He4
No full textWe improve the theoretical estimates of the critical exponents for the
three-dimensional XY universality class, which apply to the superfluid
transition in He4 along the lambda-line of its phase diagram. We obtain the
estimates alpha=-0.0151(3), nu=0.6717(1), eta=0.0381(2), gamma=1.3178(2),
beta=0.3486(1), and delta=4.780(1). Our results are obtained by finite-size
scaling analyses of high-statistics Monte Carlo simulations up to lattice size
L=128 and resummations of 22nd-order high-temperature expansions of two
improved models with suppressed leading scaling corrections. We note that our
result for the specific-heat exponent alpha disagrees with the most recent
experimental estimate alpha=-0.0127(3) at the superfluid transition of He4 in
microgravity environment
SDP Diagonalizations and Perspective Cuts for a Class of Nonseparable MIQP
No full textPerspective cuts are a computationally effective family of valid inequalities, belonging to the general family of disjunctive cuts, for Mixed-Integer Convex NonLinear Programming problems with a specific structure. The required structure can be forced upon models that would not originally display it by decomposing the Hessian of the problem into the sum of two positive semidefinite matrices, a generic and a diagonal one, so that the latter is ''as large as possible''. We compare two ways for computing the diagonal matrix: an inexpensive approach requiring a minimum eigenvalue computation and a more costly procedure which require the solution of a SemiDefinite Programming problem. The latter dramatically outperforms the former at least upon instances of the Mean-Variance problem in portfolio optimization
Review of U. Bultrighini (ed.), Democrazia e antidemocrazia nel mondo greco. Atti del convegno internazionale di studi, Chieti 9-11 aprile 2003
No full textCrediti liberi e tirocini in biblioteca
No full textRIASSUNTO Il seminario ha esaminato alcune iniziative, mirate alla educazione e formazione degli utenti, organizzate da varie biblioteche toscane (scolastiche, universitarie, ospedaliere e pubbliche), con lo scopo di favorire l'acquisizione di competenze utili per tutto l'arco della vita. SUMMARY The workshop examinated some cultural activities meant for users education and training, organized by various tuscan libraries (educational, academic, hospital and public libraries), to reach the aim of acquiring lifelong useful skills
Process Bisimulation via a Graphical Encoding
No full textThe paper presents a case study on the synthesis of labelled transition systems (LTSs) for process calculi, choosing as testbed Milner's Calculus of Communicating System (CCS). The proposal is based on a graphical encoding: each CCS process is mapped into a graph equipped with suitable, such that the denotation is fully abstract with respect to the usual structural congruence. Graphs with interfaces are amenable to the synthesis mechanism based on borrowed contexts (BCs), proposed by Ehrig and Koenig (which are an instance of relative pushouts, originally introduced by Milner and Leifer). The BC mechanism allows the effective construction of an LTS that has graphs with interfaces as both states and labels, and such that the associated bisimilarity is automatically a congruence. Our paper focuses on the analysis of the LTS distilled by exploiting the encoding of CCS processes: besides offering some technical contributions towards the simplification of the BC mechanism, the key result of our work is the proof that the bisimilarity on processes obtained via BCs coincides with the standard strong bisimilarity for CCS
The cost of security in skeletal systems
No full textSkeletal systems exploit algorithmical skeletons technology to provide the user very high level, efficient parallel programming environments. They have been recently demonstrated to be suitable for highly distributed architectures, such as workstation clusters, networks and grids. However, when using skeletal system for grid programming care must be taken to secure data and code transfers across non-dedicated, non-secure network links.
In this work we take into account the cost of security introduction in muskel, a full Java skeletal system exploiting macro data flow implementation technology. We consider the adoption of mechanisms that allow securing all the communications happening between remote, unreliable nodes and we evaluate the cost of such mechanisms. In particular, we consider the implications on the computational grains needed to scale secure and insecure skeletal computations