Let K be a number field and let S be a finite set of places of K. A classical theorem of Shafarevich says that there are only finitely many K-isomorphism classes of elliptic curves over K with good reduction outside S. An effective version of thi...
2010-11-17La geometria algebrica derivata permette di definire una versione derivata del loop space LX per uno schema X. Le funzioni su LX coincidono con il complesso di omologia di Hochschild su X, mentre quelle S^1-invarianti forniscono un modello per l'o...
2010-11-16Il quadro generale dell'intervento è una ricerca sulla possibilità di applicare anche ai codici sorgente dei programmi per calcolatore alcuni concetti, tecniche e teorie che sono state sviluppate in questi anni a proposito dei testi più tradiz...
2010-10-28Concurrent Constraint Programming (CCP) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarity is one of the central reasoning techniques in concurren...
2010-10-25Faces are important visual stimuli to social primates because they transmit information that can be used to identify an individual. The human visual system is required to categorize, identify and remember the thousands of faces that are encountered t...
2010-10-11Prof. V Hugh Perry, School of Biological Sciences, University of Southampton, Mail Point 840, LD80B South Lab and Path Block, Southampton General Hospital Tel: 023 8079 6968 http://www.southampton.ac.uk/biosci
2010-09-23Dirichlet spaces on H-convex sets in the Wiener space
2010-09-23The global random attractor for a class of stochastic porous media equations
2010-09-22High electron mobility in graphene is one of its most interesting properties for potential applications. Despite intensive efforts, both experimental and theoretical, we still have no complete understanding of main electron scattering mechanisms ...