Logo ISTI

  • About
    • Organization
    • People
    • Contacts
    • Reach us
  • Research
    • ISTI Awards
    • ISTI Day
    • Laboratories
    • Publications
    • Projects
    • Infrastructures
    • Software Tools
    • Library
  • Activities
    • Associations
    • Teaching & Training
    • External Services
    • Internal Services
  • Announcements
    • Events
    • Jobs
    • News
    • Press Release
    • Achievements
    • Seminars
  • Isti News
  • Intranet
    • Amministrazione
    • Biblioteca
    • Consiglio di Istituto
    • Direzione
    • Direzione Reclutamento e Personale
    • Emergenze
    • Logistica
    • Privacy e Sicurezza
    • Progetti
    • Segreteria Scientifica
    • Servizio Infrastruttura Informatica s2i2s
    • Utilities
    • WIKI - Procedure ISTI
  • Italiano (Italia)
  • English (United Kingdom)

linkedn X youtube

Announcements

  • Events
  • Jobs
  • News
  • Press Release
  • Achievements
  • Seminars

External Seminars

2010-11-29
Controllo dell'Azione e Aprassia
2010-11-25
On effective versions of a theorem due to Shafarevich

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-17
Geometria dei loop spaces derivati e applicazioni

La 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-16
Estetica della programmazione

Il 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-28
Deriving Labels and Bisimilarity for Concurrent Constraint Programming

Concurrent 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-25
The Development and Evolution of Face Space

Faces 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-11
The impact of systemic infection on the brain in health and disease

Prof. 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-23
Dirichlet spaces on H-convex sets in the Wiener space

Dirichlet spaces on H-convex sets in the Wiener space

2010-09-23
The global random attractor for a class of stochastic porous media equations

The global random attractor for a class of stochastic porous media equations

2010-09-22
Electron scattering mechanisms in graphen

High 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 ...

Page 5 of 6
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
linkedn X youtube

ISTI • Area della Ricerca CNR, via G. Moruzzi 1, 56124 Pisa, Italy • tel +39 050 6212878, fax +39 050 3152811 • certified email protocollo.isti@pec.cnr.it (pec) 
P.IVA 02118311006 • C.F. 80054330586
Transparent administration • Privacy & Cookie Policy
Web Master: web_master@isti.cnr.it • For technical issues click HERE
Copyright © 2020 CNR-ISTI. All Rights Reserved.