Home
Ricerca
Lista
Inserimento
Area Amministrazione
Modulo lista
Seleziona tipo di lista:
Tutti gli Istituti
cnr.isti
Tutti gli autori
Tutti gli anni
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
Tutti i soggetti
free
acm
msc
asfa
lc
ca
mesh
nal
pacs
cnr
Righe per pag.:
"100"
25
50
100
250
500
1000
ALL
ISTI - Istituto di Scienza e Tecnologie dell'Informazione (Pisa)
Selezione da: 1 a: 100
Documento accesso libero
Riservato
Protetto
cnr.cnuce/2001-A0-001
Scheduling of real-time messages in optical broadcast-and-select networks
cnr.cnuce/2001-A0-002
Effect of Mitigation Measures on the Long-Term Evolution of the Debris Population
cnr.cnuce/2001-A0-003
A Hybrid Heuristic for the Traveling Salesman Problem
cnr.cnuce/2001-A0-004
Web log data warehousing and mining for intelligent web caching
cnr.cnuce/2001-A0-005
Dependability analysis in the early phases of UML based system design
cnr.cnuce/2001-A0-006
A distributed mechanism for power saving in IEEE 802.11 Wireless LANs
cnr.cnuce/2001-A0-007
A Simple Protocol for the Dynamic tuning of the backoff mechanism in IEEE 802.networks
cnr.cnuce/2001-A0-008
Characterization of MPEG scalable sources
cnr.cnuce/2001-A0-009
Bandwidth allocation for the transmission of scalable MPEG video traffic with deterministic guarantees
cnr.cnuce/2001-A0-010
Reasoning about interactive systems with stochastic models
cnr.cnuce/2001-A0-011
Using hybrid automata to support human factors analysis in a critical system
cnr.cnuce/2001-A0-012
Nondeterministic, Nonmonotonic Logic Databases
cnr.cnuce/2001-A0-013
Semantics and expressive power of nondeterministic constructs in deductive databases
cnr.cnuce/2001-A0-014
Metric semantics for true concurrent real time
cnr.cnuce/2001-A0-015
Gravity field and rotation state of Mercury from the BepiColombo Radio Science Experiments
cnr.cnuce/2001-A0-016
Influence of the spacecraft end-of-life re-orbiting altitude on the long-term collision risk in the geostationary ring
cnr.cnuce/2001-A0-017
Preventing user errors by systematic analysis of deviations from the system task model
cnr.cnuce/2001-A0-018
Basic targeting strategies for rendezvous and flyby missions to the near-Earth asteroids
cnr.cnuce/2001-A0-019
First passage time analysis of stochastic process algebra using partial orders
cnr.cnuce/2001-A0-020
The effects of spacecraft and upper stage breakups on the geostationary ring
cnr.cnuce/2001-A0-021
Towards integrated cognitive and interface analysis
cnr.cnuce/2001-A0-022
A multifrequency TDMA/TDM system for a VSAT terminal network operating in Ka band
cnr.cnuce/2001-A0-023
QoS-based Architectures for Geographically Replicated Web Servers
cnr.cnuce/2001-A0-024
Formal verification in the design of gestural interaction
cnr.cnuce/2001-A0-025
GSn: a new service type for integrated services on the Internet
cnr.cnuce/2001-A0-026
Design and evaluation of an adaptive virtual guide for Web applications
cnr.cnuce/2001-A0-027
Graphics and Visualization: Breaking New Frontiers (Introduction to the Special Theme Section on "Computer Graphics and Visualization")
cnr.cnuce/2001-A0-028
Comparison and accuracy assessment of semi-empirical atmosphere models through the orbital decay of spherical satellities
cnr.cnuce/2001-A0-029
On the effectiveness of end-of-life re-orbiting for debris mitigation in geostationary orbit
cnr.cnuce/2001-A0-030
A low-cost optical 3D scanner
cnr.cnuce/2001-A0-031
A structured clinical model for predicting the probability of pulmonary embolism
cnr.cnuce/2001-A0-032
A multifrequency TDMA/TDM system for a VSAT terminal network operating in Ka band
cnr.cnuce/2001-A1-001
GaliLEO: a simulation tool for LEO satellite constellations
cnr.cnuce/2001-A1-002
GaliLEO: a simulation tool for LEO satellite constellations
cnr.cnuce/2001-A2-001
Towards a UML for interactive systems
cnr.cnuce/2001-A2-002
Understanding legacy systems with OSK
cnr.cnuce/2001-A2-003
Use of GIS for the analysis of spatial data on fishing effort and seasonal changes in fishing strategies for Tyrrenian sea bottom trawl fisheries
cnr.cnuce/2001-A2-004
User interface evaluation when user errors may have safety-critical effects
cnr.cnuce/2001-A2-005
Welcome
cnr.cnuce/2001-A2-006
Optimal packet scheduling in tree-structured LEO satellite clusters
cnr.cnuce/2001-A2-007
Integrating HPF in a Skeleton Based Parallel Language
cnr.cnuce/2001-A2-008
A control architecture for short- and medium-term bandwidth allocation in satellite channels with fading
cnr.cnuce/2001-A2-009
A Control Centered Approach to Designing Interaction with Novel Devices
cnr.cnuce/2001-A2-010
A Parallel Compact Genetic Algorithm for multi-FPGA Partitioning
cnr.cnuce/2001-A2-011
A Parallel Hybrid Heuristic for the TSP
cnr.cnuce/2001-A2-012
A Public Access Web Information System
cnr.cnuce/2001-A2-013
A Software Development Plan for Managing a Stratospheric Balloon Flight
cnr.cnuce/2001-A2-014
A Tool Suite for Integrating Task and System Models through Scenarios
cnr.cnuce/2001-A2-015
A computering directional drive for stratospheric balloon using wind variation versus altitude
cnr.cnuce/2001-A2-016
A formal testing framework for {UML Statechart Diagrams} behaviours: From theory to automatic verification
cnr.cnuce/2001-A2-017
A geometrical analysis of impacts on the ISS
cnr.cnuce/2001-A2-018
Continuity in Future Computing Systems
cnr.cnuce/2001-A2-019
Adaptive Web Caching Using Decision Trees
cnr.cnuce/2001-A2-020
CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications
cnr.cnuce/2001-A2-021
Continuous interaction with computers: Issues and requirements
cnr.cnuce/2001-A2-022
Data Mining for Intelligent Web Caching
cnr.cnuce/2001-A2-023
Design criteria for usable Web-accessible virtual environments
cnr.cnuce/2001-A2-024
Design of a parallel and distributed Web search engine
cnr.cnuce/2001-A2-025
Dynamical analysis of masonry pillars
cnr.cnuce/2001-A2-026
EC funded industrial research co-operation in the area of IT
cnr.cnuce/2001-A2-027
EC funded industrial research co-operation in the area of IT
cnr.cnuce/2001-A2-028
Edoard : an electrodynamic theter device for efficient spacecraft de-orbiting
cnr.cnuce/2001-A2-029
Enhancing the apriori algorithm for frequent set counting
cnr.cnuce/2001-A2-030
Guidelines for the archaeological map of tuscany: some issues and experiences
cnr.cnuce/2001-A2-031
Ideal-ist Fostering European Research and co-operation in the area of IST supported by the European Commission
cnr.cnuce/2001-A2-032
Il ruolo centrale di XML nell' evoluzione del Web
cnr.cnuce/2001-A2-033
Integrating HPF in a Skeleton Based Parallel Language
cnr.cnuce/2001-A2-034
Interactive view of data on catch, fleet and fishing grounds
cnr.cnuce/2001-A2-035
Long term effects and delta-V analysis of the de-orbit mitigation measures
cnr.cnuce/2001-A2-036
Modeling Free Flight with Collision Avoidance
cnr.cnuce/2001-A2-037
Models, tools, and transformations for design and evaluation of interactive applications
cnr.cnuce/2001-A2-038
Qualitative Reasoning with a Spatio Temporal Language
cnr.cnuce/2001-A2-039
Reasoning on geographical data using constraints and annotations
cnr.cnuce/2001-A2-040
Reentry predictions in support of the IADC test campaigns
cnr.cnuce/2001-A2-041
Remote Automatic Evaluation of Web Sites Based on Task Models and Browser Monitoring
cnr.cnuce/2001-A2-042
SVG and the representation of spatial data
cnr.cnuce/2001-A2-043
SVG:more than a markup language for vector graphics
cnr.cnuce/2001-A2-044
Self-generated debris hazard for satellite constellations
cnr.cnuce/2001-A2-045
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study.
cnr.cnuce/2001-A2-046
Technologies for Public Acces Web Information Systems
cnr.cnuce/2001-A2-047
The European Space Debris safety and mitigation standard
cnr.cnuce/2001-A2-048
The intraCoastal satellite communicator system
cnr.cnuce/2001-A2-049
The long-term evolution of the space debris environment
cnr.cnuce/2001-A2-050
The effect of a-priori fade level information on bandwidth control in a satellite channel: comparisons in a real case
cnr.cnuce/2001-A2-051
The library: a Cultural Mine
cnr.cnuce/2001-A2-052
A Software Development Plan for Managing a Stratospheric Balloon Flight
cnr.cnuce/2001-A2-053
A computering directional drive for stratospheric balloon using wind variation versus altitude
cnr.cnuce/2001-A3-001
Alcuni esempi di analisi dinamiche di strutture in muratura
cnr.cnuce/2001-A3-002
Automatic support for usability evaluation
cnr.cnuce/2001-A3-003
Bootstrap Confidence Bands for Assessing Environmental Pollution
cnr.cnuce/2001-A3-004
CNUCE activities on Space Debris in the year 2000-2001
cnr.cnuce/2001-A3-005
Collision risk mitigation in geostationary orbit
cnr.cnuce/2001-A3-006
Complex Reasoning on geographical data
cnr.cnuce/2001-A3-007
Continuity in Human-Computer Interaction
cnr.cnuce/2001-A3-008
Culture across cultures: a quality challenge
cnr.cnuce/2001-A3-009
Deriving multiple interfaces from task models of nomadic applications
cnr.cnuce/2001-A3-010
Energetic cost and viability of the proposed space debris mitigation measures
cnr.cnuce/2001-A3-011
Evolution of NEOs rotation rate due to repeated close encounters with the earth
cnr.cnuce/2001-A3-012
Epidemiological and environmental study by GIS in Pisa suburbs (Italy)
cnr.cnuce/2001-A3-013
Evoluzione dei flauti sistema Briccialdi