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] | ||
![]() | ||
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 |
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Manual de Investigação Qualitativa em Educação - reedição |
Autore | João Amado |
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 |
João Amado
![]() |
||
Coimbra University Press, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Qualitative spatial and temporal reasoning [[electronic resource] /] / 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 |
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-9910814774803321 |
Ligozat Gérard
![]() |
||
London, U.K., : ISTE | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|