1435 research outputs found
Sort by
Labeled Transitions for Mobile Ambients
No full textThe paper presents a case study on the synthesis of labelled transition
systems (LTSs) for process calculi, choosing as testbed Cardelli and
Gordon's Mobile Ambients (MAs). The proposal is based on a graphical
encoding: each process is mapped into a graph equipped with suitable
interfaces, such that the denotation is fully abstract with respect to
the usual structural congruence. Graphs with interfaces are amenable to
the synthesis mechanism proposed by Ehrig and Koenig and based on
borrowed contexts (BCs), an instance of relative pushouts, introduced
by Leifer and Milner. The BC mechanism allows the effective
construction of a 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 a LTS over
(processes as) graphs with interfaces, as distilled by exploiting the
graphical encoding of MAs. In particular, we use the LTS on graphs to
recover a suitable LTS directly defined over the structure of MAs
processes
The critical line from imaginary to real baryonic chemical potentials in two-color QCD
No full textThe method of analytic continuation from imaginary to real chemical
potentials is one of the few available techniques to study QCD at finite
temperature and baryon density. One of its most appealing applications is the
determination of the critical line for small : we perform a direct test of
the validity of the method in this case by studying two-color QCD, where the
sign problem is absent. The (pseudo)critical line is found to be analytic
around , but a very large precision would be needed at imaginary
to correctly predict the location of the critical line at real
Constructing Non-Abelian Vortices with Arbitrary Gauge Groups
No full textWe construct the general vortex solution in the fully-Higgsed, color-flavor
locked vacuum of a non-Abelian gauge theory, where the gauge group is taken to
be the product of an arbitrary simple group and U(1), with a Fayet-Iliopoulos
term. The vortex moduli space is determined
Automating and visually inspecting product marking (Part One) / Automazione e controllo visivo della marcatura di prodotti (Parte Prima)
No full textSUMMARY: The main stages in alphanumerical character recognition Preprocessing images is fundamental in OCR Main thresholding and morphing techniques RIASSUNTO: Le fasi principali del riconoscimento dei caratteri alfanumerici Il preprocessing delle immagini è fondamentale per l’OCR Metodi di sogliatura e tecniche morfologiche principal
Repertorio bibliografico su studi di genere e pari opportunità: il catalogo dell'Università di Pisa
No full textRIASSUNTO Il presente repertorio bibliografico è il risultato di un grosso lavoro di ricerca che le tre autrici hanno affrontato interrogando il catalogo unico di ateneo (http://sba2.adm.unipi.it:8991/F/?func=find-b-0). Questa bibliografia, infatti, comprende tutte le pubblicazioni su studi di genere e pari opportunità, possedute dalle biblioteche del nostro Ateneo e pubblicate dal 1990 a tutto il 2007. Le citazioni bibliografiche complessive sono 1516 (complete di indicazione di collocazione). Sono disponibili, alla fine del volume, tre indici, uno per autori, uno per autori di tesi e uno per relatori. Infine, l’introduzione costituisce un’agile guida sulle tecniche di ricerca disponibili nel nostro catalogo. SUMMARY This bibliography is the result of a big research work on the University catalog (http://sba2.adm.unipi.it:8991/F/?func=find-b-0). This bibliography includes all publications on gender studies and equal opportunity, owned by our University libraries and published by 1990 to all 2007. The bibliographic citations are total 1516 (each with its call numbers). Three indexes are available: one for authors, one for thesis authors and one for thesis advisors. Finally, the introduction is a guide on research techniques available in our catalog
Efficient inclusion for a class of XML types with interleaving and counting
No full textSUMMARY: Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleaving and counting can be decided in polynomial time in the presence of two important restrictions: no element appears twice in the same content model, and Kleene star is only applied to disjunctions of single elements. Our approach is based on the transformation of each such content model into a set of constraints that completely characterizes the generated language. We then reduce inclusion checking to constraint implication. We exhibit a quadratic algorithm to perform inclusion checking on a RAM machine
Resonant tunneling of Bose-Einstein condensates in optical lattices
No full textSUMMARY In this article, we present theoretical as well as experimental results on
resonantly enhanced tunneling of Bose-Einstein condensates in optical lattices
both in the linear case and for small nonlinearities. Our results demonstrate
the usefulness of condensates in optical lattices for simulating Hamiltonians
originally used for describing solid state phenomena
Design and implementation of the @Java system
No full textAnnotations are a recent feature introduced in languages such as Java, C#, and other languages of the .NET family, which allow programmers to attach arbitrary, structured and typed metadata to their code. These languages run on top of so-called virtual execution environments, e.g. the JVM for Java, and the CLR for .NET languages, which allow for the run-time generation of executable code. In this report we explore how annotations and the dynamic code generation capability can be used together to provide programmers with high-level methods for dynamic generation and modification of an application’s code — at run-time. The report describes the framework @Java system, the Java libraries it is constituted by, and the @Java language, which is an extension to Java allowing annotation of arbitrary statements. The strategy we developed consists in parsing a source file written using @Java language to produce a Java 5 compatible source file. Once compiled, information about annotated statements,such as their bytecode instructions, can be recovered at run-time. We developed two libraries, one that works at low level to do generic bytecode engineering called JDAsm, and one at high level called JCodeBrick.Together, these two libraries allow type-safe and totally symbolic runtime code modification and generation without any need to explicitly address bytecode instructions, letting a programmer to easily manipulate existing classes or to synthesize new ones, by inserting, deleting or extruding pieces of code. After an overview of the Annotations in Section 2, we address the @Java language and its parser in Section 3. Then a full description of the two libraries for bytecode engineering and code manipulation follows in Section 4 and 5. We introduce then in Section 6 a few motivating examples of applications of @Java, and provide a more developed case study in Section7.The last section offers conclusions and ideas for future work. The documentation of the two libraries is provided in Appendix A, completing the report
La città senza regole? M. Fuksas: un'antologia su caos sublime e progettazione
Get PDFRIASSUNTO Massimiliano Fuksas, grazie al suo approccio innovativo all'urbanistica, fu nominato nel 2000 direttore della Mostra internazionale di architettura di Venezia dal titolo "Città: less aesthetics, more ethics". Si propone qui un'antologia dei suoi pensieri sulla città esposti nei dibattiti e negli scritti. SUMMARY Massimiliano Fuksas was the Director of the International Exhibition of Architecture in Venice "The city: less aesthetics, more ethics". This paper, derived from a poster presented to the AISU conference "The city and the rules", shows Fuksas' ideas and writings regarding the new metropolis of the XXIst Century
Sviluppo di un Riflettometro per il controllo della lucidatura di materiali lapidei / Developing a Reflectometer to control polishing on stone materials
No full textSUMMARY The Glossmeter is severely limited on translucent materials Reflectance is an objective attribute of quality in polishing The proposed Reflectometer correlates roughness and shininess RIASSUNTO Il Glossmetro presenta severe limitazioni su materiali traslucidi La Riflettanza è un attributo oggettivo della qualità in lucidatura Il Riflettometro proposto correla rugosità e lucentezz