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.
Algebra and Coalgebra in Computer Science [[electronic resource] ] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / / edited by Alexander Kurz, Marina Lenisa
| Algebra and Coalgebra in Computer Science [[electronic resource] ] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / / edited by Alexander Kurz, Marina Lenisa |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XI, 457 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Models of Computation Theory of Computation |
| ISBN | 3-642-03741-0 |
| Classificazione |
DAT 500f
DAT 702f MAT 110f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic Effects and Recursive Equations -- Adequacy for Infinitary Algebraic Effects (Abstract) -- Algebras for Parameterised Monads -- Kleene Monads: Handling Iteration in a Framework of Generic Effects -- Complete Iterativity for Algebras with Effects -- Semantics of Higher-Order Recursion Schemes -- Theory of Coalgebra -- Coalgebraic Components in a Many-Sorted Microcosm -- Complementation of Coalgebra Automata -- Characterising Behavioural Equivalence: Three Sides of One Coin -- Coinduction -- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) -- Circular Coinduction: A Proof Theoretical Foundation -- Bisimulation -- Approximating Labelled Markov Processes Again! -- Weak Bisimilarity Coalgebraically -- Coalgebraic Symbolic Semantics -- Relating Coalgebraic Notions of Bisimulation -- Traces, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation Relations -- Stone Duality -- Stone Duality and the Recognisable Languages over an Algebra -- Free Heyting Algebras: Revisited -- Distributive Lattice-Structured Ontologies -- A Duality Theorem for Real C * Algebras -- Game Theory -- Conway Games, Coalgebraically -- A Semantical Approach to Equilibria and Rationality -- Graph Transformation -- Van Kampen Colimits as Bicolimits in Span -- Unfolding Grammars in Adhesive Categories -- Software Development Techniques -- Views on Behaviour Protocols and Their Semantic Foundation -- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation -- Constructor-Based Institutions -- CALCO Tools Workshop -- DBtk: A Toolkit for Directed Bigraphs -- Constraint-Muse: A Soft-Constraint Based System for Music Therapy -- CIRC: A Behavioral Verification Tool Based on Circular Coinduction -- The Priced-Timed Maude Tool -- A Tool Proving Well-Definedness of Streams Using Termination Tools. |
| Record Nr. | UNISA-996465311303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009, proceedings / / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
| Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009, proceedings / / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XI, 457 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
KurzAlexander
LenisaMarina TarleckiAndrzej |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Algebra - Data processing
Computational complexity Computer science Logic design |
| ISBN | 3-642-03741-0 |
| Classificazione |
DAT 500f
DAT 702f MAT 110f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algebraic Effects and Recursive Equations -- Adequacy for Infinitary Algebraic Effects (Abstract) -- Algebras for Parameterised Monads -- Kleene Monads: Handling Iteration in a Framework of Generic Effects -- Complete Iterativity for Algebras with Effects -- Semantics of Higher-Order Recursion Schemes -- Theory of Coalgebra -- Coalgebraic Components in a Many-Sorted Microcosm -- Complementation of Coalgebra Automata -- Characterising Behavioural Equivalence: Three Sides of One Coin -- Coinduction -- Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) -- Circular Coinduction: A Proof Theoretical Foundation -- Bisimulation -- Approximating Labelled Markov Processes Again! -- Weak Bisimilarity Coalgebraically -- Coalgebraic Symbolic Semantics -- Relating Coalgebraic Notions of Bisimulation -- Traces, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation Relations -- Stone Duality -- Stone Duality and the Recognisable Languages over an Algebra -- Free Heyting Algebras: Revisited -- Distributive Lattice-Structured Ontologies -- A Duality Theorem for Real C * Algebras -- Game Theory -- Conway Games, Coalgebraically -- A Semantical Approach to Equilibria and Rationality -- Graph Transformation -- Van Kampen Colimits as Bicolimits in Span -- Unfolding Grammars in Adhesive Categories -- Software Development Techniques -- Views on Behaviour Protocols and Their Semantic Foundation -- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation -- Constructor-Based Institutions -- CALCO Tools Workshop -- DBtk: A Toolkit for Directed Bigraphs -- Constraint-Muse: A Soft-Constraint Based System for Music Therapy -- CIRC: A Behavioral Verification Tool Based on Circular Coinduction -- The Priced-Timed Maude Tool -- A Tool Proving Well-Definedness of Streams Using Termination Tools. |
| Record Nr. | UNINA-9910484370903321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Accessible Instruction and Testing Practices : Issues, Innovations, and Applications / / edited by Stephen N. Elliott, Ryan J. Kettler, Peter A. Beddow, Alexander Kurz
| Handbook of Accessible Instruction and Testing Practices : Issues, Innovations, and Applications / / edited by Stephen N. Elliott, Ryan J. Kettler, Peter A. Beddow, Alexander Kurz |
| Edizione | [2nd ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (283 pages) |
| Disciplina | 155.4 |
| Soggetto topico |
Child psychology
School psychology Educational psychology Education—Psychology Social work Educational policy Education and state Child and School Psychology Educational Psychology Social Work Educational Policy and Politics |
| ISBN | 3-319-71126-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction: Accessible Instruction and Testing Today -- Part 1. Professional Policies & Consideration -- Chapter 2. U.S. Education Policies that Support Accessible Instruction and Testing -- Chapter 3. International Policies that Support Inclusive Assessments -- Chapter 4. Fair Testing and the Role of Accessibility -- Chapter 5. The Role of Accessibility in a National Testing Program -- Chapter 6. Professional Development for Delivering on the Promise of Accessible Instruction and Testing -- Part 2. Special Populations -- Chapter 7. The Accessibility Needs of Students with Disabilities -- Chapter 8. The Accessibility Needs of English Language Learners -- Part 3. Classroom Connections -- Chapter 9. Opportunity to Learn What is Tested: What We Know Today -- Chapter 10. Response-to-Intervention Models and Access to Services for All Students -- Chapter 11. Advances in the Application of Universal Design for Learning -- Chapter 12. Academic Testing for Students with Autism and Behavior Challenges: Considerations and Recommendations -- Part 4. Test Design Principles & Innovative Practices for More Accessible Tests -- Chapter 13. Item Writing Research -- Chapter 14. Influences of Universal Design and Cognitive Load Theory on Item and Test Design -- Chapter 15. Testing Accommodations and Item Modifications: Research to Guide Practice -- Chapter 16. Advances in the Accessibility of Computer Delivered Tests -- Chapter 17. Computer-Based Test Models: Advantages, Disadvantages, and Recommendations -- Part 5. Conclusions: Accessibility Challenges, Innovative Answers -- Chapter 18. Accessible Classrooms and Tests: Essential Components to Advance Educational Equity and Quality. |
| Record Nr. | UNINA-9910298067803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||