Search Results - Hyoen~
Suggested Topics within your search.
Suggested Topics within your search.
- Biography & True Stories 117
- Research & information: general 58
- Early history: c 500 to c 1450/1500 39
- Archaeology 35
- History 34
- Humanities 32
- Biology, life sciences 30
- European history 28
- Hygiene 28
- Technology: general issues 28
- Medicine 23
- Literary studies: classical, early & medieval 18
- Education 17
- History of engineering & technology 17
- Women -- Health and hygiene 17
- Literary studies: general 16
- Mathematics & science 16
- Music 16
- Social & cultural anthropology, ethnography 14
- Sociology 14
- Philosophy 13
- Social & cultural history 13
- Computer science 12
- Regional studies 12
- Theory of music & musicology 12
- Society & social sciences 11
- History of medicine 10
- Information technology industries 10
- Anthropology 9
- Literature: history & criticism 9
-
4961
Writing as Material Practice Substance, surface and medium
Published 2013Table of Contents: “…The Function and Meaning of Writing in the Prehistoric Aegean: Some reflections on the social and symbolic significance of writing from a material perspective (Helène Whittaker) -- Chapter 7. Form Follows Function: Writing and its supports in the Aegean Bronze Age (Sarah Finlayson) -- Chapter 8. …”
Access online version
Electronic eBook -
4962
-
4963
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata
Electronic eBook -
4964
Using Social Theory in Higher Education
Published 2024Table of Contents: “…Low -- Chapter 10 The Foggy Window: Passive empathy and the fight for testimonial reading in neoliberal higher education -- Chapter 11 Performing empathy with neoliberalism, or Kendall Jenner on the streets, Thomas Gradgrind in the sheets: a response to Lauren Weber -- Chapter 12 Understanding higher education enrolment through Michel Foucault's biopolitics -- Chapter 13 Students, biopolitics, and state racism: a response to Ren-Hao Xu -- Chapter 14 Wrestling with monsters: critique, climate change, and comets -- Chapter 15 Still wrestling with monsters: a response to Pat Norman -- Chapter 16 Dialogues between activist knowledge and Southern Theory -- Chapter 17 Approximate Geographies: a response to José Fernando Serrano Amaya -- Chapter 18 The historian as pedagogue: on Hayden White's practical past -- Chapter 19 What stories to tell: a response to Remy Low -- Chapter 20 The good university? …”
Link to Metadata
Electronic eBook -
4965
Mobilities in Life and Death Negotiating Room for Migrants and Minorities in European Cemeteries /
Published 2023Table of Contents: “…Cultural Jewishness and Geographically Bounded Identity: Negotiating Jewish Identity and the Jewish Cemetery in the Local Context of Trondheim, Norway (Ida Marie Høeg) -- Part 3. Changing and Contemporary Practices in European Cemeteries -- 7. …”
Link to Metadata
Electronic eBook -
4966
Higher Education Reforms in Romania Between the Bologna Process and National Challenges /
Published 2015Table of Contents: “…Why do Romanian universities fail to internalise quality assurance? Koen Geven, Oana Sarbu, Robert Santa, Adina Maricut, Norbert Sabic.-4. …”
Link to Metadata
Electronic eBook -
4967
South-North Migration of EU Citizens in Times of Crisis
Published 2017Table of Contents: “…Gastarbeiter Migration Revisited: Consolidating Germany's Position as an Immigration Country : Amanda Klekowski von Koppenfels and Jutta Höhne -- Chapter 10. UK: large-scale European migration and the challenge to EU free movement: Alessio D'Angelo and Eleonore Kofman -- Chapter 11. …”
Link to Metadata
Electronic eBook -
4968
Arts and Health Promotion Tools and Bridges for Practice, Research, and Social Transformation /
Published 2021Table of Contents: “…From Arts to Action: Project SHINE as a Case Study of Engaging Youth in Efforts to Develop Sustainable Water, Sanitation, and Hygiene Strategies in Rural Tanzania and India -- Chapter 10. …”
Link to Metadata
Electronic eBook -
4969
Transforming Education for Sustainability Discourses on Justice, Inclusion, and Authenticity /
Published 2023Table of Contents: “…The everyday action project: Teaching hygiene through art (Emma Ruskin) -- Part IV: Climate change, politics, students, and the undergraduate curriculum -- Chapter 11. …”
Link to Metadata
Electronic eBook -
4970
Genre in a Changing World
Published 2009Table of Contents: “…Emmons -- Stories of Becoming: A Study of Novice Engineers Learning Genres of Their Profession, Natasha Artemeva -- The Dissertation as Multi-Genre: Many Readers, Many Readings, Anthony Paré, Doreen Starke-Meyerring, and Lynn McAlpine -- Part 3: Genre and Media -- The Distinction Between News and Reportage in the Brazilian Journalistic Context: A Matter of Degree, Adair Bonini -- The Organization and Functions of the Press Dossier: The Case of Media Discourse on the Environment in Portugal, Rui Ramos -- Multi-semiotic Communication in an Australian Broadsheet: A New News Story Genre, Helen Caple -- Narrative and Identity Formation: An Analysis of Media Personal Accounts from Patients of Cosmetic Plastic Surgery, Débora de Carvalho Figueiredo -- Part 4: Genre in Teaching and Learning -- Genre and Cognitive Development: Beyond Writing to Learn, Charles Bazerman -- Bakhtin Circle's Speech Genres Theory: Tools for a Transdisciplinary Analysis of Utterances in Didactic Practices, Roxane Helena Rodrigues Rojo -- The Role of Context in Academic Text Production and Writing Pedagogy, Désirée Motta-Roth -- Teaching Critical Genre Awareness, Amy Devitt -- Curricular Proposal of Santa Catarina State: Assessing the Route, Opening Paths, Maria Marta Furlanetto -- Intertextual Analysis of Finnish EFL Textbooks: Genre Embedding as Recontextualization, Salla Lähdesmäki -- Part 5: Genre in Writing Across the Curriculum -- Exploring Notions of Genre in "Academic Literacies" and "Writing Across the Curriculum": Approaches Across Countries and Contexts , David R. …”
Access online version
Electronic eBook -
4971
Writing Manuals for the Masses The Rise of the Literary Advice Industry from Quill to Keyboard /
Published 2021Table of Contents: “…Visual Plot Models in a Sample of Anglo-American Advice Handbooks, Liorah Hoek -- 8. The "Ready-Made-Writer" in a Selection of Contemporary Francophone Literary Advice Manuals, Françoise Grauby -- 9. …”
Link to Metadata
Electronic eBook -
4972
Childlessness in Europe: Contexts, Causes, and Consequences
Published 2017Table of Contents: “…Part I: Childlessness in Europe: An Overview: Analyzing Childlessness: Michaela Kreyenfeld & Dirk Konietzka -- Childlessness in Europe: Reconstructing Long-Term Trends among Women Born in 1900-1972: Tomáš Sobotka -- Part II: Country Studies: Childlessness in the UK: Ann Berrington -- Childlessness in France: Katja Köppen, Magali Mazuy & Laurent Toulemon -- Childlessness in East and West Germany: Michaela Kreyenfeld & Dirk Konietzka -- Childlessness in Switzerland and Austria: Marion Burkimsher & Kryštof Zeman -- Childlessness in Finland: Anna Rotkirch & Anneli Miettinen -- Childlessness in the United States: Tomáš Frejka -- Part III:Women's Education and Childlessness: Education and Childlessness: The Influence of Educational Field and Educational Level on Childlessness among Swedish and Austrian Women: Gerda Neyer, Jan Hoem & Gunnar Andersson -- Childlessness and Fertility Dynamics of Female Higher Education Graduates in Germany: Hildegard Schaeper, Michael Grotheer & Gesche Brandt -- Part IV: Fertility Ideals, Biographical Decisions and Assisted Reproduction: Fertility Ideals of Women and Men across the Life Course in Germany: Anne-Kristin Kuhnt, Michaela Kreyenfeld & Heike Trappe -- Childless at Age 30: A Qualitative Study of the Life Course Plans of Working Women in East and West Germany: Laura Bernardi & Sylvia Keim-Klärner -- Assisted Reproductive Technologies in Germany: A Review of the Current Situation: Heike Trappe -- Assisted Reproductive Technology in Europe: Usage and Regulation in the Context of Cross-Border Reproductive Care: Patrick Präg & Melinda C. …”
Link to Metadata
Electronic eBook -
4973
Qualitative Research in European Migration Studies
Published 2018Table of Contents: “…: Annalisa Frisina -- Chapter 12: Participant Observation in Migration Studies: An Overview and Some Emerging Issues: Paolo Boccagni, Mieke Schrooten -- Chapter 13: Discourse and Migration: Teun A. van Dijk -- Chapter 14: Doing Digital Migration Studies: Methodological Considerations for an Emerging Research Focus: Koen Leurs,Madhuri Prabhakar -- Part IV: Significant Requirements before Embarking: Chapter 15: Methodological and Ethical Dilemmas in Research among Smuggled Migrants: Ilse van Liempt, Veronika Bilger -- Chapter 16: Research-policy Relations and Migration Studies: Peter Scholten -- About the authors. .…”
Link to Metadata
Electronic eBook -
4974
-
4975
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electronic eBook -
4976
Compendium for Early Career Researchers in Mathematics Education
Published 2019Table of Contents: “…Norma Presmeg and Jeremy Kilpatrick 5200 -- 17 Scholarly writing. Helen Forgasz 5500 -- IIIb Description of major journals in mathematics education -- 18 Educational Studies in Mathematics (Merrilyn Goos) 5900 -- 19 For the Learning of Mathematics (David Reid and Richard Barwell) 5800 -- 20 International Journal of Science and Mathematics Education (Peter Liljedahl) 6300 + 2000 -- 21 Journal for Research in Mathematics Education (Jinfa Cai, Stephen Hwang, and Victoria Robison) 7200 -- 22 Journal of Mathematical Behavior (Carolyn Maher) 2900 -- 23 Journal of Mathematics Teacher Education (Despina Potari) 4900 -- 24 Mathematical Thinking and Learning (Lyn English) 5600 -- 25 ZDM Mathematics Education (Gabriele Kaiser) 6000 -- Section IV: Looking ahead -- 26 What makes for powerful classrooms, and how can we support teachers in creating them? …”
Link to Metadata
Electronic eBook -
4977
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
4978
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published 2022Table of Contents: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata
Electronic eBook -
4979
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published 2022Table of Contents: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata
Electronic eBook -
4980
Writing in Knowledge Societies
Published 2011Table of Contents: “…Grabill -- The Role of Writing in the Production of Knowledge in Research Environments -- Rhetoric, Knowledge, and "The Brute Facts of Nature" in Science Research, Heather Graves -- Disciplines and Discourses: Social Interactions in the Construction of Knowledge, Ken Hyland -- Knowledge and Identity Work in the Supervision of Doctoral Student Writing: Shaping Rhetorical Subjects, Anthony Paré, Doreen Starke-Meyerring, and Lynn McAlpine -- Writing into the Knowledge Society: A Case Study of Vulnerability in Inkshedding, Miriam Horne -- The Teaching of Writing as an Epistemic Practice in Higher Education -- Writing and Knowledge Making: Insights from an Historical Perspective, Paul M. …”
Access online version
Electronic eBook