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.
2016 Qualitative Reasoning about Software Architectures (QRASA) : 5-8 April 2016, Venice, Italy / / Institute of Electrical and Electronics Engineers
| 2016 Qualitative Reasoning about Software Architectures (QRASA) : 5-8 April 2016, Venice, Italy / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2016] |
| Descrizione fisica | 1 online resource (37 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico |
Qualitative reasoning
Software architecture |
| ISBN | 1-5090-2672-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2016 Qualitative Reasoning about Software Architectures |
| Record Nr. | UNISA-996279469203316 |
| Piscataway, New Jersey : , : IEEE, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2016 Qualitative Reasoning about Software Architectures (QRASA) : 5-8 April 2016, Venice, Italy / / Institute of Electrical and Electronics Engineers
| 2016 Qualitative Reasoning about Software Architectures (QRASA) : 5-8 April 2016, Venice, Italy / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2016] |
| Descrizione fisica | 1 online resource (37 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico |
Qualitative reasoning
Software architecture |
| ISBN | 1-5090-2672-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2016 Qualitative Reasoning about Software Architectures |
| Record Nr. | UNINA-9910136910403321 |
| Piscataway, New Jersey : , : IEEE, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Manual de Investigação Qualitativa em Educação - reedição
| Manual de Investigação Qualitativa em Educação - reedição |
| Autore | Amado João <1948-, > |
| Pubbl/distr/stampa | Coimbra University Press, 2014 |
| Descrizione fisica | 1 electronic resource (432 p.) |
| Disciplina | 001.42 |
| Collana | Ensino |
| Soggetto topico |
Qualitative research
Qualitative reasoning |
| ISBN | 989-26-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | por |
| Record Nr. | UNINA-9910404234403321 |
Amado João <1948-, >
|
||
| Coimbra University Press, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative spatial and temporal reasoning [[electronic resource] /] / Gérard Ligozat
| Qualitative spatial and temporal reasoning [[electronic resource] /] / Gérard Ligozat |
| Autore | Ligozat Gérard |
| Pubbl/distr/stampa | London, U.K., : ISTE |
| Descrizione fisica | 1 online resource (539 p.) |
| Disciplina | 511.3 |
| Collana | ISTE |
| Soggetto topico |
Qualitative reasoning
Spatial analysis (Statistics) Space and time - Mathematical models Logic, Symbolic and mathematical |
| ISBN |
1-118-60156-4
1-118-60145-9 1-118-60137-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Qualitative Spatial and Temporal Reasoning; Title Page; Copyright Page; Table of Contents; Introduction. Qualitative Reasoning; Chapter 1. Allen's Calculus; 1.1. Introduction; 1.1.1. ""The mystery of the dark room""; 1.1.2. Contributions of Allen's formalism; 1.2. Allen's interval relations; 1.2.1. Basic relations; 1.2.2. Disjunctive relations; 1.3. Constraint networks; 1.3.1. Definition; 1.3.2. Expressiveness; 1.3.3. Consistency; 1.4. Constraint propagation; 1.4.1. Operations: inversion and composition; 1.4.2. Composition table; 1.4.3. Allen's algebra; 1.4.4. Algebraic closure
1.4.5. Enforcing algebraic closure 1.5. Consistency tests; 1.5.1. The case of atomic networks; 1.5.2. Arbitrary networks; 1.5.3. Determining polynomial subsets; Chapter 2. Polynomial Subclasses of Allen's Algebra; 2.1. ""Show me a tractable relation!""; 2.2. Subclasses of Allen's algebra; 2.2.1. A geometrical representation of Allen's relations; 2.2.2. Interpretation in terms of granularity; 2.2.3. Convex and pre-convex relations; 2.2.4. The lattice of Allen's basic relations; 2.2.5. Tractability of convex relations; 2.2.6. Pre-convex relations; 2.2.7. Polynomiality of pre-convex relations 2.2.8. ORD-Horn relations 2.3. Maximal tractable subclasses of Allen's algebra; 2.3.1. An alternative characterization of pre-convex relations; 2.3.2. The other maximal polynomial subclasses; 2.4. Using polynomial subclasses; 2.4.1. Ladkin an Reinefeld's algorithm; 2.4.2. Empirical study of the consistency problem; 2.5. Models of Allen's language; 2.5.1. Representations of Allen's algebra; 2.5.2. Representations of the time-point algebra; 2.5.3. א0-categoricity of Allen's algebra; 2.6. Historical note; Chapter 3.neralized Intervals; 3.1. ""When they built the bridge" 3.1.1. Towards generalized intervals 3.2. Entities and relations; 3.3. The lattice of basic (p, q)-relations; 3.4. Regions associated with basic (p, q)-relations; 3.4.1. Associated polytopes; 3.4.2. M-convexity of the basic relations; 3.5. Inversion and composition; 3.5.1. Inversion; 3.5.2. Composition; 3.5.3. The algebras of generalized intervals; 3.6. Subclasses of relations: convex and pre-convex relations; 3.6.1. (p, q)-relations; 3.6.2. Convex relations; 3.6.3. Pre-convex relations; 3.7. Constraint networks; 3.8. Tractability of strongly pre-convex relations; 3.8.1. ORD-Horn relations 3.9. Conclusions 3.10. Historical note; Chapter 4. Binary Qualitative Formalisms; 4.1. ""Night driving""; 4.1.1. Parameters; 4.1.2. A panorama of the presented formalisms; 4.2. Directed points in dimension 1; 4.2.1. Operations; 4.2.2. Constraint networks; 4.2.3. Networks reducible to point networks; 4.2.4. Arbitrary directed point networks; 4.3. Directed intervals; 4.3.1. Operations; 4.3.2. Constraint networks and complexity; 4.4. The OPRA direction calculi; 4.5. Dipole calculi; 4.6. The Cardinal direction calculus; 4.6.1. Convex and pre-convex relations; 4.6.2. Complexity 4.7. The Rectangle calculus |
| Record Nr. | UNINA-9910141601003321 |
|
Ligozat Gérard
|
||
| London, U.K., : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative spatial and temporal reasoning / / Gérard Ligozat
| Qualitative spatial and temporal reasoning / / Gérard Ligozat |
| Autore | Ligozat Gérard |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London, U.K., : ISTE |
| Descrizione fisica | 1 online resource (539 p.) |
| Disciplina | 511.3 |
| Collana | ISTE |
| Soggetto topico |
Qualitative reasoning
Spatial analysis (Statistics) Space and time - Mathematical models Logic, Symbolic and mathematical |
| ISBN |
9781118601563
1118601564 9781118601457 1118601459 9781118601372 1118601378 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Qualitative Spatial and Temporal Reasoning; Title Page; Copyright Page; Table of Contents; Introduction. Qualitative Reasoning; Chapter 1. Allen's Calculus; 1.1. Introduction; 1.1.1. ""The mystery of the dark room""; 1.1.2. Contributions of Allen's formalism; 1.2. Allen's interval relations; 1.2.1. Basic relations; 1.2.2. Disjunctive relations; 1.3. Constraint networks; 1.3.1. Definition; 1.3.2. Expressiveness; 1.3.3. Consistency; 1.4. Constraint propagation; 1.4.1. Operations: inversion and composition; 1.4.2. Composition table; 1.4.3. Allen's algebra; 1.4.4. Algebraic closure
1.4.5. Enforcing algebraic closure 1.5. Consistency tests; 1.5.1. The case of atomic networks; 1.5.2. Arbitrary networks; 1.5.3. Determining polynomial subsets; Chapter 2. Polynomial Subclasses of Allen's Algebra; 2.1. ""Show me a tractable relation!""; 2.2. Subclasses of Allen's algebra; 2.2.1. A geometrical representation of Allen's relations; 2.2.2. Interpretation in terms of granularity; 2.2.3. Convex and pre-convex relations; 2.2.4. The lattice of Allen's basic relations; 2.2.5. Tractability of convex relations; 2.2.6. Pre-convex relations; 2.2.7. Polynomiality of pre-convex relations 2.2.8. ORD-Horn relations 2.3. Maximal tractable subclasses of Allen's algebra; 2.3.1. An alternative characterization of pre-convex relations; 2.3.2. The other maximal polynomial subclasses; 2.4. Using polynomial subclasses; 2.4.1. Ladkin an Reinefeld's algorithm; 2.4.2. Empirical study of the consistency problem; 2.5. Models of Allen's language; 2.5.1. Representations of Allen's algebra; 2.5.2. Representations of the time-point algebra; 2.5.3. א0-categoricity of Allen's algebra; 2.6. Historical note; Chapter 3.neralized Intervals; 3.1. ""When they built the bridge" 3.1.1. Towards generalized intervals 3.2. Entities and relations; 3.3. The lattice of basic (p, q)-relations; 3.4. Regions associated with basic (p, q)-relations; 3.4.1. Associated polytopes; 3.4.2. M-convexity of the basic relations; 3.5. Inversion and composition; 3.5.1. Inversion; 3.5.2. Composition; 3.5.3. The algebras of generalized intervals; 3.6. Subclasses of relations: convex and pre-convex relations; 3.6.1. (p, q)-relations; 3.6.2. Convex relations; 3.6.3. Pre-convex relations; 3.7. Constraint networks; 3.8. Tractability of strongly pre-convex relations; 3.8.1. ORD-Horn relations 3.9. Conclusions 3.10. Historical note; Chapter 4. Binary Qualitative Formalisms; 4.1. ""Night driving""; 4.1.1. Parameters; 4.1.2. A panorama of the presented formalisms; 4.2. Directed points in dimension 1; 4.2.1. Operations; 4.2.2. Constraint networks; 4.2.3. Networks reducible to point networks; 4.2.4. Arbitrary directed point networks; 4.3. Directed intervals; 4.3.1. Operations; 4.3.2. Constraint networks and complexity; 4.4. The OPRA direction calculi; 4.5. Dipole calculi; 4.6. The Cardinal direction calculus; 4.6.1. Convex and pre-convex relations; 4.6.2. Complexity 4.7. The Rectangle calculus |
| Record Nr. | UNINA-9910814774803321 |
|
Ligozat Gérard
|
||
| London, U.K., : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh
| Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh |
| Autore | Sampson Victor <1974-> |
| Pubbl/distr/stampa | Arlington, Virginia : , : NSTA Press, , 2013 |
| Descrizione fisica | 1 online resource (426 pages) : illustrations |
| Disciplina | 570.71/2 |
| Altri autori (Persone) | SchleighSharon <1963-> |
| Soggetto topico |
Qualitative reasoning
Biology |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-936959-56-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- [Section 1] Generate an argument -- Activity 1. Classifying birds in the United States: species concept -- Activity 2. Color variation in Venezuelan guppies: mechanisms of evolution -- Activity 3. Desert snakes: mechanics of evolution -- Activity 4. Fruit fly traits: genetics -- Activity 5. DNA family relationship analysis: genetics -- Activity 6. Evolutionary relationships in mammals: genetics and evolution -- Activity 7. Decline in saltwater fish populations: ecology and human impact on the environment -- Activity 8. History of life on Earth: trends in evolution -- Activity 9. Surviving winter in the dust bowl: food chains and trophic levels -- Activity 10. Characteristics of viruses: characteristics of life -- [Section 2] Evaluate alternatives -- Activity 11. Spontaneous generation: cell theory -- Activity 12. Plant biomass: photosynthesis -- Activity 13. Movement of molecules in or out of cells: osmosis and diffusion -- Activity 14. Liver and hydrogen peroxide: chemical reactions and catalysts -- Activity 15. Cell size and diffusion: diffusion -- Activity 16. Environmental influence of genotypes and phenotypes: genetics -- Activity 17. Hominid evolution: macroevolution -- Activity 18. Plants and energy: respiration and photosynthesis -- Activity 19. Healthy diet and weight: human health -- Activity 20. Termite trails: animal behavior -- [Section 3] Refutational writing -- Activity 21. Misconception about theories and laws: nature of science -- Activity 22. Misconception about the nature of scientific knowledge: nature of science -- Activity 23. Misconception about the work of scientists: nature of science -- Activity 24. Misconception about the methods of scientific investigations: nature of science -- Activity 25. Misconception about life on Earth: evolution -- Activity 26. Misconception about bacteria: microbiology -- Activity 27. Misconception about interactions that take place between organisms: ecology -- Activity 28. Misconception about plant reproduction: botaNew York -- Activity 29. Misconception about inheritance traits: genetics -- Activity 30. Misconception about insects: ecology -- Assessment and student samples. |
| Record Nr. | UNINA-9910462688303321 |
|
Sampson Victor <1974->
|
||
| Arlington, Virginia : , : NSTA Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh
| Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh |
| Autore | Sampson Victor <1974-> |
| Pubbl/distr/stampa | Arlington, Virginia : , : NSTA Press, National Science Teachers Association, , [2013] |
| Descrizione fisica | 1 online resource (xli, 382 pages) : illustrations, map |
| Disciplina | 570.71/2 |
| Collana | Gale eBooks |
| Soggetto topico |
Qualitative reasoning
Biology |
| ISBN | 1-936959-56-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- [Section 1] Generate an argument -- Activity 1. Classifying birds in the United States: species concept -- Activity 2. Color variation in Venezuelan guppies: mechanisms of evolution -- Activity 3. Desert snakes: mechanics of evolution -- Activity 4. Fruit fly traits: genetics -- Activity 5. DNA family relationship analysis: genetics -- Activity 6. Evolutionary relationships in mammals: genetics and evolution -- Activity 7. Decline in saltwater fish populations: ecology and human impact on the environment -- Activity 8. History of life on Earth: trends in evolution -- Activity 9. Surviving winter in the dust bowl: food chains and trophic levels -- Activity 10. Characteristics of viruses: characteristics of life -- [Section 2] Evaluate alternatives -- Activity 11. Spontaneous generation: cell theory -- Activity 12. Plant biomass: photosynthesis -- Activity 13. Movement of molecules in or out of cells: osmosis and diffusion -- Activity 14. Liver and hydrogen peroxide: chemical reactions and catalysts -- Activity 15. Cell size and diffusion: diffusion -- Activity 16. Environmental influence of genotypes and phenotypes: genetics -- Activity 17. Hominid evolution: macroevolution -- Activity 18. Plants and energy: respiration and photosynthesis -- Activity 19. Healthy diet and weight: human health -- Activity 20. Termite trails: animal behavior -- [Section 3] Refutational writing -- Activity 21. Misconception about theories and laws: nature of science -- Activity 22. Misconception about the nature of scientific knowledge: nature of science -- Activity 23. Misconception about the work of scientists: nature of science -- Activity 24. Misconception about the methods of scientific investigations: nature of science -- Activity 25. Misconception about life on Earth: evolution -- Activity 26. Misconception about bacteria: microbiology -- Activity 27. Misconception about interactions that take place between organisms: ecology -- Activity 28. Misconception about plant reproduction: botaNew York -- Activity 29. Misconception about inheritance traits: genetics -- Activity 30. Misconception about insects: ecology -- Assessment and student samples. |
| Record Nr. | UNINA-9910787787103321 |
|
Sampson Victor <1974->
|
||
| Arlington, Virginia : , : NSTA Press, National Science Teachers Association, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh
| Scientific argumentation in biology : 30 classroom activities / / Victor Sampson, Sharon Schleigh |
| Autore | Sampson Victor <1974-> |
| Pubbl/distr/stampa | Arlington, Virginia : , : NSTA Press, National Science Teachers Association, , [2013] |
| Descrizione fisica | 1 online resource (xli, 382 pages) : illustrations, map |
| Disciplina | 570.71/2 |
| Collana | Gale eBooks |
| Soggetto topico |
Qualitative reasoning
Biology |
| ISBN | 1-936959-56-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- [Section 1] Generate an argument -- Activity 1. Classifying birds in the United States: species concept -- Activity 2. Color variation in Venezuelan guppies: mechanisms of evolution -- Activity 3. Desert snakes: mechanics of evolution -- Activity 4. Fruit fly traits: genetics -- Activity 5. DNA family relationship analysis: genetics -- Activity 6. Evolutionary relationships in mammals: genetics and evolution -- Activity 7. Decline in saltwater fish populations: ecology and human impact on the environment -- Activity 8. History of life on Earth: trends in evolution -- Activity 9. Surviving winter in the dust bowl: food chains and trophic levels -- Activity 10. Characteristics of viruses: characteristics of life -- [Section 2] Evaluate alternatives -- Activity 11. Spontaneous generation: cell theory -- Activity 12. Plant biomass: photosynthesis -- Activity 13. Movement of molecules in or out of cells: osmosis and diffusion -- Activity 14. Liver and hydrogen peroxide: chemical reactions and catalysts -- Activity 15. Cell size and diffusion: diffusion -- Activity 16. Environmental influence of genotypes and phenotypes: genetics -- Activity 17. Hominid evolution: macroevolution -- Activity 18. Plants and energy: respiration and photosynthesis -- Activity 19. Healthy diet and weight: human health -- Activity 20. Termite trails: animal behavior -- [Section 3] Refutational writing -- Activity 21. Misconception about theories and laws: nature of science -- Activity 22. Misconception about the nature of scientific knowledge: nature of science -- Activity 23. Misconception about the work of scientists: nature of science -- Activity 24. Misconception about the methods of scientific investigations: nature of science -- Activity 25. Misconception about life on Earth: evolution -- Activity 26. Misconception about bacteria: microbiology -- Activity 27. Misconception about interactions that take place between organisms: ecology -- Activity 28. Misconception about plant reproduction: botaNew York -- Activity 29. Misconception about inheritance traits: genetics -- Activity 30. Misconception about insects: ecology -- Assessment and student samples. |
| Record Nr. | UNINA-9910819834903321 |
|
Sampson Victor <1974->
|
||
| Arlington, Virginia : , : NSTA Press, National Science Teachers Association, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
