top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Autore Cliquet Gérard
Edizione [1st ed.]
Pubbl/distr/stampa London, : ISTE Ltd.
Descrizione fisica 1 online resource (327 p.)
Disciplina 658.8/04
Altri autori (Persone) HughesEugene
Collana Geographical information systems series
Soggetto topico Target marketing
Consumer behavior
ISBN 1-118-61402-X
0-470-39446-3
1-280-51065-X
9786610510658
1-84704-457-3
1-84704-557-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Consumer behavior and geographic information -- pt. 2. Retail location and geographic information -- pt. 3. Marketing management and geographic information.
Record Nr. UNINA-9910143312003321
Cliquet Gérard  
London, : ISTE Ltd.
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Autore Cliquet Gérard
Edizione [1st ed.]
Pubbl/distr/stampa London, : ISTE Ltd.
Descrizione fisica 1 online resource (327 p.)
Disciplina 658.8/04
Altri autori (Persone) HughesEugene
Collana Geographical information systems series
Soggetto topico Target marketing
Consumer behavior
ISBN 1-118-61402-X
0-470-39446-3
1-280-51065-X
9786610510658
1-84704-457-3
1-84704-557-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Consumer behavior and geographic information -- pt. 2. Retail location and geographic information -- pt. 3. Marketing management and geographic information.
Record Nr. UNISA-996217138303316
Cliquet Gérard  
London, : ISTE Ltd.
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Geomarketing [[electronic resource] ] : methods and strategies in special martketing / / Gerard Cliquet ; [Translated by Eugene Hughes]
Autore Cliquet Gérard
Edizione [1st ed.]
Pubbl/distr/stampa London, : ISTE Ltd.
Descrizione fisica 1 online resource (327 p.)
Disciplina 658.8/04
Altri autori (Persone) HughesEugene
Collana Geographical information systems series
Soggetto topico Target marketing
Consumer behavior
ISBN 1-118-61402-X
0-470-39446-3
1-280-51065-X
9786610510658
1-84704-457-3
1-84704-557-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Consumer behavior and geographic information -- pt. 2. Retail location and geographic information -- pt. 3. Marketing management and geographic information.
Record Nr. UNINA-9910810778603321
Cliquet Gérard  
London, : ISTE Ltd.
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Modern sensors handbook [[electronic resource] /] / edited by Pavel Ripka, Alois Tipek
Modern sensors handbook [[electronic resource] /] / edited by Pavel Ripka, Alois Tipek
Pubbl/distr/stampa Newport Beach, CA, : ISTE USA, 2007
Descrizione fisica 1 online resource (538 p.)
Disciplina 681.2
681/.2
Altri autori (Persone) RipkaPavel
TipekAlois
Collana Instrumentation and measurement series
Soggetto topico Detectors
ISBN 1-280-84781-6
9786610847815
0-470-39489-7
0-470-61223-1
1-84704-616-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modern Sensors Handbook; Table of Contents; Chapter 1. Pressure Sensors; 1.1. Introduction; 1.2. Pressure; 1.2.1. Pressure as a physical quantity; 1.2.1.1. Static pressure; 1.2.1.2. Units; 1.2.2. Absolute, relative and differential sensors; 1.2.3. Fluid physical properties; 1.2.3.1. Liquids; 1.2.3.2. Gases; 1.2.3.3. Sensor pneumatic connection influence; 1.3. Pressure ranges; 1.3.1. Vacuum and ultra-vacuum; 1.3.2. Middle range pressure; 1.3.3. High pressure; 1.4. Main physical principles; 1.4.1. The sensing device; 1.4.2. Sensors with elastic element
1.4.2.1. Conversion by resistance variation1.4.2.2. Conversion by capacitance variation; 1.4.2.3. Conversion by inductance variation; 1.4.2.4. Conversion by piezoelectric effect; 1.4.2.5. Conversion by oscillators; 1.4.2.6. Optical conversion; 1.4.2.7. Servo controlled sensors with balance of force; 1.4.3. Vacuum sensors; 1.4.3.1. Ionization pressure sensors; 1.4.3.2. Heating effect sensors; 1.5. Calibration: pressure standards; 1.5.1. Low pressure standard; 1.5.2. High pressure standard; 1.6. Choosing a pressure sensor; 1.7. References; 1.8. Other pressure sensor manufacturers
1.9. BibliographyChapter 2. Optical Sensors; 2.1. Optical waveguides and fibers; 2.2. Light sources and detectors; 2.2.1. Light sources; 2.2.1.1. Semiconductor sources of light; 2.2.1.2. Laser diodes; 2.2.2. Light detectors; 2.2.2.1. Photoresistors; 2.2.2.2. Photodiodes; 2.2.2.3. Phototransistor; 2.2.2.4. Position sensitive photo-detectors (PSD); 2.2.2.5. Charged coupled device image sensors; 2.3. Sensors of position and movement; 2.3.1. Position sensors using the principle of triangulation; 2.3.2. Incremental sensors of position or displacement; 2.3.2.1. General principles
2.3.2.2. Linear incremental encoder2.3.2.3. Optical sensors of displacement with absolute encoding disk; 2.3.2.4. Sensors with pseudorandom coding; 2.3.3. Photoelectric switches; 2.3.3.1. Through beam PES; 2.3.3.2. Diffuse reflective PES; 2.3.3.3. Retro-reflective PES; 2.3.3.4. PES for detection of colors or color marks; 2.4. Optical sensors of dimensions; 2.4.1. Dimensional gauge with scanned beam; 2.5. Optical sensors of pressure and force; 2.5.1. Pressure sensor using the optical resonator; 2.6. Optical fiber sensors; 2.6.1. Introduction and classification of sensors with optical fibers
2.6.2. Optical fiber sensors with amplitude modulation2.6.3. Sensor with wavelength modulation; 2.6.4. Optical sensors with phase modulation; 2.6.5. Perspective of optical fiber sensors; 2.7. Optical chemical sensors; 2.7.1. Introduction; 2.7.2. Chemical sensors based on the absorbency measurement; 2.7.3. Turbidity sensors; 2.8. Bibliography; 2.8.1. Books; 2.8.2. Physical background - websites; Chapter 3. Flow Sensors; 3.1. Introduction; 3.1.1. Volume flow and mass flow; 3.1.2. Influences on the flow; 3.1.3. Bernoulli equation
3.2. Flow measurements based on the principle of difference in pressure
Record Nr. UNISA-996206952703316
Newport Beach, CA, : ISTE USA, 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Modern sensors handbook [[electronic resource] /] / edited by Pavel Ripka, Alois Tipek
Modern sensors handbook [[electronic resource] /] / edited by Pavel Ripka, Alois Tipek
Pubbl/distr/stampa Newport Beach, CA, : ISTE USA, 2007
Descrizione fisica 1 online resource (538 p.)
Disciplina 681.2
681/.2
Altri autori (Persone) RipkaPavel
TipekAlois
Collana Instrumentation and measurement series
Soggetto topico Detectors
ISBN 1-280-84781-6
9786610847815
0-470-39489-7
0-470-61223-1
1-84704-616-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modern Sensors Handbook; Table of Contents; Chapter 1. Pressure Sensors; 1.1. Introduction; 1.2. Pressure; 1.2.1. Pressure as a physical quantity; 1.2.1.1. Static pressure; 1.2.1.2. Units; 1.2.2. Absolute, relative and differential sensors; 1.2.3. Fluid physical properties; 1.2.3.1. Liquids; 1.2.3.2. Gases; 1.2.3.3. Sensor pneumatic connection influence; 1.3. Pressure ranges; 1.3.1. Vacuum and ultra-vacuum; 1.3.2. Middle range pressure; 1.3.3. High pressure; 1.4. Main physical principles; 1.4.1. The sensing device; 1.4.2. Sensors with elastic element
1.4.2.1. Conversion by resistance variation1.4.2.2. Conversion by capacitance variation; 1.4.2.3. Conversion by inductance variation; 1.4.2.4. Conversion by piezoelectric effect; 1.4.2.5. Conversion by oscillators; 1.4.2.6. Optical conversion; 1.4.2.7. Servo controlled sensors with balance of force; 1.4.3. Vacuum sensors; 1.4.3.1. Ionization pressure sensors; 1.4.3.2. Heating effect sensors; 1.5. Calibration: pressure standards; 1.5.1. Low pressure standard; 1.5.2. High pressure standard; 1.6. Choosing a pressure sensor; 1.7. References; 1.8. Other pressure sensor manufacturers
1.9. BibliographyChapter 2. Optical Sensors; 2.1. Optical waveguides and fibers; 2.2. Light sources and detectors; 2.2.1. Light sources; 2.2.1.1. Semiconductor sources of light; 2.2.1.2. Laser diodes; 2.2.2. Light detectors; 2.2.2.1. Photoresistors; 2.2.2.2. Photodiodes; 2.2.2.3. Phototransistor; 2.2.2.4. Position sensitive photo-detectors (PSD); 2.2.2.5. Charged coupled device image sensors; 2.3. Sensors of position and movement; 2.3.1. Position sensors using the principle of triangulation; 2.3.2. Incremental sensors of position or displacement; 2.3.2.1. General principles
2.3.2.2. Linear incremental encoder2.3.2.3. Optical sensors of displacement with absolute encoding disk; 2.3.2.4. Sensors with pseudorandom coding; 2.3.3. Photoelectric switches; 2.3.3.1. Through beam PES; 2.3.3.2. Diffuse reflective PES; 2.3.3.3. Retro-reflective PES; 2.3.3.4. PES for detection of colors or color marks; 2.4. Optical sensors of dimensions; 2.4.1. Dimensional gauge with scanned beam; 2.5. Optical sensors of pressure and force; 2.5.1. Pressure sensor using the optical resonator; 2.6. Optical fiber sensors; 2.6.1. Introduction and classification of sensors with optical fibers
2.6.2. Optical fiber sensors with amplitude modulation2.6.3. Sensor with wavelength modulation; 2.6.4. Optical sensors with phase modulation; 2.6.5. Perspective of optical fiber sensors; 2.7. Optical chemical sensors; 2.7.1. Introduction; 2.7.2. Chemical sensors based on the absorbency measurement; 2.7.3. Turbidity sensors; 2.8. Bibliography; 2.8.1. Books; 2.8.2. Physical background - websites; Chapter 3. Flow Sensors; 3.1. Introduction; 3.1.1. Volume flow and mass flow; 3.1.2. Influences on the flow; 3.1.3. Bernoulli equation
3.2. Flow measurements based on the principle of difference in pressure
Record Nr. UNINA-9910144654003321
Newport Beach, CA, : ISTE USA, 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Pubbl/distr/stampa Newport Beach, CA, : ISTE USA, c2007
Descrizione fisica 1 online resource (256 p.)
Disciplina 621.382
Altri autori (Persone) VivierGuillaume
Collana ISTE
Soggetto topico Mobile communication systems
Wireless communication systems
ISBN 1-280-84774-3
9786610847747
0-470-39470-6
0-470-61208-8
1-84704-596-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reconfigurable Mobile Radio Systems; Table of Contents; Introduction; Chapter 1. Services and Adaptive Uses; 1.1. New networks and new uses; 1.1.1. Broadband mobile radio systems: why do it?; 1.1.2. From Internet services on a voice network to voice services on an Internet network; 1.1.3. From telephony to interpersonal communication; 1.1.4. From charged to free: the value evolution; 1.1.5. From the end-to-end controlled session to the best effort culture; 1.1.6. The new services of the new networks; 1.2. Mobile communications customers; 1.2.1. Mobile service user: a communicating customer
1.2.2. The successful teachings of mobile telephony and the Internet for the new generation services1.2.3. The communicating customer and his values; 1.2.3.1. Compatibility with the present and its practices; 1.2.3.2. Membership and availability; 1.2.3.3. Cost optimization; 1.2.3.4. Security; 1.2.4. Mobility based acceleration; 1.2.4.1. Terminal size and its interaction modes; 1.2.4.2. Multi-network environment; 1.2.4.3. Service heterogenity; 1.2.5. Adaptability as a mobility value; 1.3. Technological and adaptability factors of mobile services; 1.3.1. A microcomputer inside each pocket
1.3.2. An Internet or a juxtaposition of intranets?1.3.3. On the convergence of universal sets or how to contact a person; 1.3.4. Proximity as a way to address the mobile services; 1.3.5. The jungle of networks or how can we communicate in a hostile environment?; 1.3.6. How can we carry our home in our pocket?; 1.4. Conclusion: "I am a nomad in at least five different ways"; 1.4.1. A new challenge: reconciling the incompatible; 1.4.2. A combination of new technologies and new economic models; Chapter 2. Object Modeling and Software-defined Radio; 2.1. Introduction
2.1.1. History of the software industry2.1.2. Object modeling; 2.1.3. Modeling and data flow; 2.1.4. Constituent model; 2.1.5. Software bus; 2.1.6. Product line; 2.2. Applicability of the component-based approach to the field of software-defined radio; 2.2.1. Software-defined radio; 2.2.2. Evolution of the industrial tissue; 2.2.3. Need for stable interfaces; 2.3. The constraints of the component-based approach; 2.3.1. Execution time constraints; 2.3.2. Software - hardware coupling constraints; 2.3.3. Reminder on the evolution of software technologies; 2.3.4. Regulatory constraints
2.3.5. Deployment constraints2.4. An outline of the works pertaining to the component-based approach for software-defined radio; 2.4.1. SPEAKeasy and JTRS; 2.4.2. The weight of the USA; 2.4.3. The impact of JTRS on industrial sector technologies; 2.4.4. Communication software architecture; 2.4.5. Hardware architecture; 2.4.6. Standardizing activities; 2.4.7. UML profile for software-defined radio; 2.4.7.1. Resources metamodel for software-defined radio; 2.4.7.2. Model of peripheral component; 2.4.7.3. Communication channel; 2.4.8. Scope of the UML model; 2.4.9. The OMPT approach
2.5. Conclusion
Record Nr. UNISA-996206952803316
Newport Beach, CA, : ISTE USA, c2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Pubbl/distr/stampa Newport Beach, CA, : ISTE USA, c2007
Descrizione fisica 1 online resource (256 p.)
Disciplina 621.382
Altri autori (Persone) VivierGuillaume
Collana ISTE
Soggetto topico Mobile communication systems
Wireless communication systems
ISBN 1-280-84774-3
9786610847747
0-470-39470-6
0-470-61208-8
1-84704-596-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reconfigurable Mobile Radio Systems; Table of Contents; Introduction; Chapter 1. Services and Adaptive Uses; 1.1. New networks and new uses; 1.1.1. Broadband mobile radio systems: why do it?; 1.1.2. From Internet services on a voice network to voice services on an Internet network; 1.1.3. From telephony to interpersonal communication; 1.1.4. From charged to free: the value evolution; 1.1.5. From the end-to-end controlled session to the best effort culture; 1.1.6. The new services of the new networks; 1.2. Mobile communications customers; 1.2.1. Mobile service user: a communicating customer
1.2.2. The successful teachings of mobile telephony and the Internet for the new generation services1.2.3. The communicating customer and his values; 1.2.3.1. Compatibility with the present and its practices; 1.2.3.2. Membership and availability; 1.2.3.3. Cost optimization; 1.2.3.4. Security; 1.2.4. Mobility based acceleration; 1.2.4.1. Terminal size and its interaction modes; 1.2.4.2. Multi-network environment; 1.2.4.3. Service heterogenity; 1.2.5. Adaptability as a mobility value; 1.3. Technological and adaptability factors of mobile services; 1.3.1. A microcomputer inside each pocket
1.3.2. An Internet or a juxtaposition of intranets?1.3.3. On the convergence of universal sets or how to contact a person; 1.3.4. Proximity as a way to address the mobile services; 1.3.5. The jungle of networks or how can we communicate in a hostile environment?; 1.3.6. How can we carry our home in our pocket?; 1.4. Conclusion: "I am a nomad in at least five different ways"; 1.4.1. A new challenge: reconciling the incompatible; 1.4.2. A combination of new technologies and new economic models; Chapter 2. Object Modeling and Software-defined Radio; 2.1. Introduction
2.1.1. History of the software industry2.1.2. Object modeling; 2.1.3. Modeling and data flow; 2.1.4. Constituent model; 2.1.5. Software bus; 2.1.6. Product line; 2.2. Applicability of the component-based approach to the field of software-defined radio; 2.2.1. Software-defined radio; 2.2.2. Evolution of the industrial tissue; 2.2.3. Need for stable interfaces; 2.3. The constraints of the component-based approach; 2.3.1. Execution time constraints; 2.3.2. Software - hardware coupling constraints; 2.3.3. Reminder on the evolution of software technologies; 2.3.4. Regulatory constraints
2.3.5. Deployment constraints2.4. An outline of the works pertaining to the component-based approach for software-defined radio; 2.4.1. SPEAKeasy and JTRS; 2.4.2. The weight of the USA; 2.4.3. The impact of JTRS on industrial sector technologies; 2.4.4. Communication software architecture; 2.4.5. Hardware architecture; 2.4.6. Standardizing activities; 2.4.7. UML profile for software-defined radio; 2.4.7.1. Resources metamodel for software-defined radio; 2.4.7.2. Model of peripheral component; 2.4.7.3. Communication channel; 2.4.8. Scope of the UML model; 2.4.9. The OMPT approach
2.5. Conclusion
Record Nr. UNINA-9910144654103321
Newport Beach, CA, : ISTE USA, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Reconfigurable mobile radio systems [[electronic resource] ] : a snapshot of key aspects related to reconfigurability in wireless systems / / edited by Guillaume Vivier
Pubbl/distr/stampa Newport Beach, CA, : ISTE USA, c2007
Descrizione fisica 1 online resource (256 p.)
Disciplina 621.382
Altri autori (Persone) VivierGuillaume
Collana ISTE
Soggetto topico Mobile communication systems
Wireless communication systems
ISBN 1-280-84774-3
9786610847747
0-470-39470-6
0-470-61208-8
1-84704-596-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reconfigurable Mobile Radio Systems; Table of Contents; Introduction; Chapter 1. Services and Adaptive Uses; 1.1. New networks and new uses; 1.1.1. Broadband mobile radio systems: why do it?; 1.1.2. From Internet services on a voice network to voice services on an Internet network; 1.1.3. From telephony to interpersonal communication; 1.1.4. From charged to free: the value evolution; 1.1.5. From the end-to-end controlled session to the best effort culture; 1.1.6. The new services of the new networks; 1.2. Mobile communications customers; 1.2.1. Mobile service user: a communicating customer
1.2.2. The successful teachings of mobile telephony and the Internet for the new generation services1.2.3. The communicating customer and his values; 1.2.3.1. Compatibility with the present and its practices; 1.2.3.2. Membership and availability; 1.2.3.3. Cost optimization; 1.2.3.4. Security; 1.2.4. Mobility based acceleration; 1.2.4.1. Terminal size and its interaction modes; 1.2.4.2. Multi-network environment; 1.2.4.3. Service heterogenity; 1.2.5. Adaptability as a mobility value; 1.3. Technological and adaptability factors of mobile services; 1.3.1. A microcomputer inside each pocket
1.3.2. An Internet or a juxtaposition of intranets?1.3.3. On the convergence of universal sets or how to contact a person; 1.3.4. Proximity as a way to address the mobile services; 1.3.5. The jungle of networks or how can we communicate in a hostile environment?; 1.3.6. How can we carry our home in our pocket?; 1.4. Conclusion: "I am a nomad in at least five different ways"; 1.4.1. A new challenge: reconciling the incompatible; 1.4.2. A combination of new technologies and new economic models; Chapter 2. Object Modeling and Software-defined Radio; 2.1. Introduction
2.1.1. History of the software industry2.1.2. Object modeling; 2.1.3. Modeling and data flow; 2.1.4. Constituent model; 2.1.5. Software bus; 2.1.6. Product line; 2.2. Applicability of the component-based approach to the field of software-defined radio; 2.2.1. Software-defined radio; 2.2.2. Evolution of the industrial tissue; 2.2.3. Need for stable interfaces; 2.3. The constraints of the component-based approach; 2.3.1. Execution time constraints; 2.3.2. Software - hardware coupling constraints; 2.3.3. Reminder on the evolution of software technologies; 2.3.4. Regulatory constraints
2.3.5. Deployment constraints2.4. An outline of the works pertaining to the component-based approach for software-defined radio; 2.4.1. SPEAKeasy and JTRS; 2.4.2. The weight of the USA; 2.4.3. The impact of JTRS on industrial sector technologies; 2.4.4. Communication software architecture; 2.4.5. Hardware architecture; 2.4.6. Standardizing activities; 2.4.7. UML profile for software-defined radio; 2.4.7.1. Resources metamodel for software-defined radio; 2.4.7.2. Model of peripheral component; 2.4.7.3. Communication channel; 2.4.8. Scope of the UML model; 2.4.9. The OMPT approach
2.5. Conclusion
Record Nr. UNINA-9910829163103321
Newport Beach, CA, : ISTE USA, c2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Trends in constraint programming / / edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan
Trends in constraint programming / / edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan
Edizione [1st ed.]
Pubbl/distr/stampa Newport Beach, CA : , : ISTE USA, , 2007
Descrizione fisica 1 online resource (410 p.)
Disciplina 005.1
005.1/16
005.116
Collana ISTE
Soggetto topico Constraint programming (Computer science)
Soggetto genere / forma Electronic books.
ISBN 1-280-84786-7
9786610847860
0-470-61230-4
0-470-39494-3
1-84704-647-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Trends in Constraint Programming; Contents; Introduction; Part I. The Past, Present and Future of Constraint Programming; Chapter 1. Constraint Programming as Declarative Algorithmics; 1.1. The CHIP project; 1.2. The Numerica project; 1.3. The OPL project; 1.4. The Comet project; 1.5. The future of constraint programming; Chapter 2. Constraint Programming Tools; 2.1. Introduction; 2.2. Invited talks; 2.2.1. The development of an industrial CP tool; 2.2.1.1. Design goals; 2.2.1.2. The future; 2.2.2. System design: taking informed decisions; 2.2.2.1. Search; 2.2.2.2. Constraint propagation
2.2.2.3. Variables2.3. System presentations; 2.3.1. ECLiPSe; 2.3.2. SICStus FD; 2.3.3. G12; 2.3.4. DiSolver; 2.3.5.MINION; 2.3.6. Choco; 2.3.7. Gecode; 2.3.8. Comet; 2.3.9. JaCoP; 2.3.10. Borderwijk; 2.4. Panels; 2.5. Conclusion; 2.6. References; Chapter 3. The Next 10 Years of Constraint Programming; 3.1. Pedro Barahona; 3.2. Christian Bessiere; 3.3. Peter Jeavons; 3.4. Pedro Meseguer; 3.5. Gilles Pesant; 3.6. Francesca Rossi; 3.7. Thomas Schiex; 3.8. Christian Schulte; 3.9. Meinolf Sellmann; 3.10. Mark Wallace; 3.11. Toby Walsh; 3.12. Roland Yap; 3.13. References
Chapter 4. Constraint Propagation and Implementation4.1. Filtering algorithms for precedence and dependency constraints; 4.1.1. Problem description and related works; 4.1.2. Filtering rules for precedence and dependency constraints; 4.1.3. Summary; 4.2. A study of residual supports in arc consistency; 4.3. Maintaining singleton arc consistency; 4.3.1. Mixed consistency; 4.3.2. Checking existential-SAC; 4.3.3. Conclusion; 4.4. Probabilistic singleton arc consistency; 4.5. Simplification and extension of the SPREAD constraint; 4.5.1. Filtering of π; 4.5.2. Filtering of X; 4.5.3. Conclusion
4.6. A new filtering algorithm for the graph isomorphism problem4.6.1. A global constraint for the graph isomorphism problem; 4.6.2. ILL-consistency and ILL-filtering; 4.6.3. Experimental results; 4.7. References; Chapter 5. On the First SAT/CP Integration Workshop; 5.1. The technical program; 5.1.1. The invited talk; 5.1.2. Contributions related to SMT and solver integration; 5.1.3. Contributions related to the use of SAT techniques to improve CSP/CP solvers; 5.1.4. Other contributions; 5.2. The panel session; 5.2.1. Are SAT and CP different or similar?
5.2.2. Why has SAT succeeded in reducing the tuning issue?5.2.3. How long can the current generation of SAT solvers evolve?; 5.2.4. Were performance issues correctly addressed by CP?; 5.2.5. Was CP too ambitious?; 5.2.6. Do we still need CP?; 5.3. Summary, future directions and conclusion; 5.4. References; Chapter 6. Constraint-Based Methods for Bioinformatics; 6.1. On using temporal logic with constraints to express biological properties of cell processes; 6.2. Modeling biological systems in stochastic concurrent constraint programming
6.3. Chemera: constraints in protein structural problems
Record Nr. UNINA-9910144653803321
Newport Beach, CA : , : ISTE USA, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Trends in constraint programming / / edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan
Trends in constraint programming / / edited by Frédéric Benhamou, Narendra Jussien, Barry O'Sullivan
Edizione [1st ed.]
Pubbl/distr/stampa Newport Beach, CA : , : ISTE USA, , 2007
Descrizione fisica 1 online resource (410 p.)
Disciplina 005.1
005.1/16
005.116
Collana ISTE
Soggetto topico Constraint programming (Computer science)
ISBN 1-280-84786-7
9786610847860
0-470-61230-4
0-470-39494-3
1-84704-647-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Trends in Constraint Programming; Contents; Introduction; Part I. The Past, Present and Future of Constraint Programming; Chapter 1. Constraint Programming as Declarative Algorithmics; 1.1. The CHIP project; 1.2. The Numerica project; 1.3. The OPL project; 1.4. The Comet project; 1.5. The future of constraint programming; Chapter 2. Constraint Programming Tools; 2.1. Introduction; 2.2. Invited talks; 2.2.1. The development of an industrial CP tool; 2.2.1.1. Design goals; 2.2.1.2. The future; 2.2.2. System design: taking informed decisions; 2.2.2.1. Search; 2.2.2.2. Constraint propagation
2.2.2.3. Variables2.3. System presentations; 2.3.1. ECLiPSe; 2.3.2. SICStus FD; 2.3.3. G12; 2.3.4. DiSolver; 2.3.5.MINION; 2.3.6. Choco; 2.3.7. Gecode; 2.3.8. Comet; 2.3.9. JaCoP; 2.3.10. Borderwijk; 2.4. Panels; 2.5. Conclusion; 2.6. References; Chapter 3. The Next 10 Years of Constraint Programming; 3.1. Pedro Barahona; 3.2. Christian Bessiere; 3.3. Peter Jeavons; 3.4. Pedro Meseguer; 3.5. Gilles Pesant; 3.6. Francesca Rossi; 3.7. Thomas Schiex; 3.8. Christian Schulte; 3.9. Meinolf Sellmann; 3.10. Mark Wallace; 3.11. Toby Walsh; 3.12. Roland Yap; 3.13. References
Chapter 4. Constraint Propagation and Implementation4.1. Filtering algorithms for precedence and dependency constraints; 4.1.1. Problem description and related works; 4.1.2. Filtering rules for precedence and dependency constraints; 4.1.3. Summary; 4.2. A study of residual supports in arc consistency; 4.3. Maintaining singleton arc consistency; 4.3.1. Mixed consistency; 4.3.2. Checking existential-SAC; 4.3.3. Conclusion; 4.4. Probabilistic singleton arc consistency; 4.5. Simplification and extension of the SPREAD constraint; 4.5.1. Filtering of π; 4.5.2. Filtering of X; 4.5.3. Conclusion
4.6. A new filtering algorithm for the graph isomorphism problem4.6.1. A global constraint for the graph isomorphism problem; 4.6.2. ILL-consistency and ILL-filtering; 4.6.3. Experimental results; 4.7. References; Chapter 5. On the First SAT/CP Integration Workshop; 5.1. The technical program; 5.1.1. The invited talk; 5.1.2. Contributions related to SMT and solver integration; 5.1.3. Contributions related to the use of SAT techniques to improve CSP/CP solvers; 5.1.4. Other contributions; 5.2. The panel session; 5.2.1. Are SAT and CP different or similar?
5.2.2. Why has SAT succeeded in reducing the tuning issue?5.2.3. How long can the current generation of SAT solvers evolve?; 5.2.4. Were performance issues correctly addressed by CP?; 5.2.5. Was CP too ambitious?; 5.2.6. Do we still need CP?; 5.3. Summary, future directions and conclusion; 5.4. References; Chapter 6. Constraint-Based Methods for Bioinformatics; 6.1. On using temporal logic with constraints to express biological properties of cell processes; 6.2. Modeling biological systems in stochastic concurrent constraint programming
6.3. Chemera: constraints in protein structural problems
Record Nr. UNISA-996206952003316
Newport Beach, CA : , : ISTE USA, , 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui