PUMA

Modulo lista

Seleziona tipo di lista:


 

 

 

 

 


Righe per pag.:

 

ISTI - Istituto di Scienza e Tecnologie dell'Informazione (Pisa)


Selezione da: 1 a: 100   Icona documento Documento accesso libero  Icona documentoRiservato  Icona documentoProtetto

        

Icona documento cnr.cnuce/2001-A0-001 Scheduling of real-time messages in optical broadcast-and-select networks
Icona documento cnr.cnuce/2001-A0-002 Effect of Mitigation Measures on the Long-Term Evolution of the Debris Population
Icona documento cnr.cnuce/2001-A0-003 A Hybrid Heuristic for the Traveling Salesman Problem
Icona documento cnr.cnuce/2001-A0-004 Web log data warehousing and mining for intelligent web caching
Icona documento cnr.cnuce/2001-A0-005 Dependability analysis in the early phases of UML based system design
Icona documento cnr.cnuce/2001-A0-006 A distributed mechanism for power saving in IEEE 802.11 Wireless LANs
Icona documento cnr.cnuce/2001-A0-007 A Simple Protocol for the Dynamic tuning of the backoff mechanism in IEEE 802.networks
Icona documento cnr.cnuce/2001-A0-008 Characterization of MPEG scalable sources
Icona documento cnr.cnuce/2001-A0-009 Bandwidth allocation for the transmission of scalable MPEG video traffic with deterministic guarantees
Icona documento cnr.cnuce/2001-A0-010 Reasoning about interactive systems with stochastic models
Icona documento cnr.cnuce/2001-A0-011 Using hybrid automata to support human factors analysis in a critical system
Icona documento cnr.cnuce/2001-A0-012 Nondeterministic, Nonmonotonic Logic Databases
Icona documento cnr.cnuce/2001-A0-013 Semantics and expressive power of nondeterministic constructs in deductive databases
Icona documento cnr.cnuce/2001-A0-014 Metric semantics for true concurrent real time
Icona documento cnr.cnuce/2001-A0-015 Gravity field and rotation state of Mercury from the BepiColombo Radio Science Experiments
Icona documento 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
Icona documento cnr.cnuce/2001-A0-017 Preventing user errors by systematic analysis of deviations from the system task model
Icona documento cnr.cnuce/2001-A0-018 Basic targeting strategies for rendezvous and flyby missions to the near-Earth asteroids
Icona documento 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
Icona documento 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
Icona documento cnr.cnuce/2001-A0-023 QoS-based Architectures for Geographically Replicated Web Servers
Icona documento cnr.cnuce/2001-A0-024 Formal verification in the design of gestural interaction
Icona documento cnr.cnuce/2001-A0-025 GSn: a new service type for integrated services on the Internet
Icona documento cnr.cnuce/2001-A0-026 Design and evaluation of an adaptive virtual guide for Web applications
Icona documento 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
Icona documento cnr.cnuce/2001-A0-029 On the effectiveness of end-of-life re-orbiting for debris mitigation in geostationary orbit
Icona documento cnr.cnuce/2001-A0-030 A low-cost optical 3D scanner
Icona documento cnr.cnuce/2001-A0-031 A structured clinical model for predicting the probability of pulmonary embolism
Icona documento cnr.cnuce/2001-A0-032 A multifrequency TDMA/TDM system for a VSAT terminal network operating in Ka band
Icona documento cnr.cnuce/2001-A1-001 GaliLEO: a simulation tool for LEO satellite constellations
Icona documento cnr.cnuce/2001-A1-002 GaliLEO: a simulation tool for LEO satellite constellations
Icona documento cnr.cnuce/2001-A2-001 Towards a UML for interactive systems
Icona documento 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
Icona documento cnr.cnuce/2001-A2-004 User interface evaluation when user errors may have safety-critical effects
cnr.cnuce/2001-A2-005 Welcome
Icona documento cnr.cnuce/2001-A2-006 Optimal packet scheduling in tree-structured LEO satellite clusters
Icona documento cnr.cnuce/2001-A2-007 Integrating HPF in a Skeleton Based Parallel Language
Icona documento 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
Icona documento cnr.cnuce/2001-A2-010 A Parallel Compact Genetic Algorithm for multi-FPGA Partitioning
Icona documento cnr.cnuce/2001-A2-011 A Parallel Hybrid Heuristic for the TSP
cnr.cnuce/2001-A2-012 A Public Access Web Information System
Icona documento cnr.cnuce/2001-A2-013 A Software Development Plan for Managing a Stratospheric Balloon Flight
Icona documento cnr.cnuce/2001-A2-014 A Tool Suite for Integrating Task and System Models through Scenarios
Icona documento cnr.cnuce/2001-A2-015 A computering directional drive for stratospheric balloon using wind variation versus altitude
Icona documento 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
Icona documento cnr.cnuce/2001-A2-018 Continuity in Future Computing Systems
cnr.cnuce/2001-A2-019 Adaptive Web Caching Using Decision Trees
Icona documento 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
Icona documento cnr.cnuce/2001-A2-022 Data Mining for Intelligent Web Caching
Icona documento cnr.cnuce/2001-A2-023 Design criteria for usable Web-accessible virtual environments
Icona documento 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
Icona documento cnr.cnuce/2001-A2-028 Edoard : an electrodynamic theter device for efficient spacecraft de-orbiting
Icona documento 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
Icona documento cnr.cnuce/2001-A2-032 Il ruolo centrale di XML nell' evoluzione del Web
Icona documento cnr.cnuce/2001-A2-033 Integrating HPF in a Skeleton Based Parallel Language
Icona documento 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
Icona documento cnr.cnuce/2001-A2-036 Modeling Free Flight with Collision Avoidance
Icona documento 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
Icona documento 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
Icona documento 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
Icona documento cnr.cnuce/2001-A2-048 The intraCoastal satellite communicator system
Icona documento 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
Icona documento cnr.cnuce/2001-A2-051 The library: a Cultural Mine
Icona documento cnr.cnuce/2001-A2-052 A Software Development Plan for Managing a Stratospheric Balloon Flight
Icona documento 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
Icona documento 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
Icona documento 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
Icona documento cnr.cnuce/2001-A3-008 Culture across cultures: a quality challenge
Icona documento 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
Icona documento 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