Search Results - Zuul~

Refine Results
  1. 8641

    Bemessung von Erzeugnissen aus Stahlguss unter vorwiegend ruhender Beanspruchung by Spannaus, Max Jonas

    Published 2016
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 8642

    Consideration of runouts by the evaluation of fatigue experiments by Toasa Caiza, Paul Dario

    Published 2019
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  3. 8643

    Fatigue crack detection on structural steel members by using ultrasound excited thermography = Erkennung von Ermüdungsrissen in Stahlbauteilen durch ultraschallangeregte Thermogra... by Plum, Robin Marc

    Published 2015
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 8644

    Kreishohlprofil-X-Knoten aus nichtrostenden Stählen unter Axialbeanspruchung by Lipp, Andreas

    Published 2016
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 8645

    Nachhaltigkeit von Infrastrukturbauwerken - Ganzheitliche Bewertung von Autobahnbrücken unter besonderer Berücksichtigung externer Effekte by Zinke, Tim

    Published 2016
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  6. 8646

    Tragverhalten von biegebeanspruchten Stahlmasten mit polygonalen Querschnitten by Reinke, Thomas

    Published 2015
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 8647

    Zur statischen Tragfähigkeit geklebter Kreishohlprofilverbindungen im Stahlbau by Albiez, Matthias Friedrich

    Published 2016
    “…Berichte zum Stahl- und Leichtbau / Karlsruher Institut für Technologie, Versuchsanstalt für Stahl, Holz und Steine, Stahl- und Leichtbau…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 8648

    Children and Peace From Research to Action /

    Published 2020
    Table of Contents: “…Political Orientation and Engagement from Adolescence to Adulthood: Evidence of (Dis)Continuity from a Three-Decade Longitudinal Study in the German Peace Movement -- 18. Enabling Full Participation: A Community-Led Approach to Child Protection -- 19. …”
    Link to Metadata
    Electronic eBook
  9. 8649

    Stable Isotopes in Tree Rings Inferring Physiological, Climatic and Environmental Responses /

    Published 2022
    Table of Contents: “…Probing tree physiology using the dual-isotope approach -- 17. Intrinsic water-use efficiency derived from stable carbon isotopes of tree-rings -- PART V: ENVIRONMENTAL FACTORS IMPACTING THE ISOTOPIC FRACTIONATION: 18. …”
    Link to Metadata
    Electronic eBook
  10. 8650

    Übersetzen in der Frühen Neuzeit - Konzepte und Methoden / Concepts and Practices of Translation in the Early Modern Period

    Published 2021
    Table of Contents: “…Zur Selbstdarstellung arabischer Christen in Europa am Beispiel Salomon Negris (1665-1727) -- Birth, Berat, and Banishment. …”
    Link to Metadata
    Electronic eBook
  11. 8651

    Situating Children of Migrants across Borders and Origins A Methodological Overview /

    Published 2017
    Table of Contents: “…Theoretical and Methodological Issues: Claudine Attias-Donfut and Joanne Cook -- 7: Using a Cohort Survey to Track the Entry into Adult Life of Young People from Immigrant Backgrounds: Emmanuelle Santelli -- 8: Combining in-depth Biographical Interviews with the LIVES History Calendar in Studying the Life Course of Children of Immigrants: Andrés Gomensoro and Raúl Burgos Paredes -- 9: Participatory Qualitative Methodology: a promising Pathway for the Study of Intergenerational Relations within Migrant Families: Michèle Vatz Laaroussi -- Part III The Biography and the Identity of Immigrant Descendants as a Negotiation Process -- 10: Studying Second-Generation Transitions into Adulthood in Switzerland: a Biographical Approach: Eva Mey -- 11: National Identity and the Integration of the Children of Immigrants: Rosa Aparicio and Andrés Tornos -- Part IV Transnational Approach and Children of Migrants: Beyond Methodological Nationalism -- 12: Beyond Home and Return: Negotiating Religious Identity across Time and Space Through the Prism of the American Experience: Peggy Levitt, Kristen Lucken, Melissa Barnett -- 13: Following People, Visiting Places, and Reconstructuring Networks. …”
    Link to Metadata
    Electronic eBook
  12. 8652

    Calculus by Strang, Gilbert

    Published 2016
    Table of Contents: “…Green's Theorem -- 6.6. Divergence and Curl -- 6.7. Surface Integrals -- 6.8. Stokes' Theorem -- 6.9. …”
    Access online version
    Electronic eBook
  13. 8653

    Kursbuch Neueste und Technikgeschichte : Studienorganisation und Hilfsmittel by Kunze, Rolf-Ulrich

    Published 2008
    “…Technikdiskurse : Karlsruher Studien zur Technikgeschichte / Hrsg.: Univ. Karlsruhe (TH), Fak. für Geistes- u. …”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 8654

    Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

    Published 2017
    Table of Contents: “…41 Uses of technology in primary mathematics education (up to age 10), Sophie Soury-Lavergne, Colleen Vale -- Topic study group no. 42 Uses of technology in lower secondary mathematics education (age 10 to 14), Lynda Ball, Paul Drijvers -- Topic study group no. 43 Uses of technology in upper secondary education (age 14 to 19), Colette Laborde, Stephen Hegedus -- Topic study group no. 44 Distance learning, e-learning, blended learning, Rúbia Barcelos Amaral, Veronica Hoyos -- Topic study group no. 45 Knowledge in/for teaching mathematics at primary level, Carolyn Maher, Peter Sullivan -- Topic study group no. 46 Knowledge in/for teaching mathematics at the secondary level, Ruhama Even, Xinrong Yang -- Topic study group no. 47 Pre-service mathematics education of primary teachers, Keiko Hino, Gabriel Stylianides -- Topic study group no. 48 Pre-service Mathematics Education of Secondary Teachers, Marilyn Strutchens, Rongjin Huang -- Topic study group no. 49 In-service education and professional development of primary mathematics teachers, Akihiko Takahashi, Leonor Varas -- Topic study group no. 50 In-service education, and professional development of secondary mathematics teachers, Jill Adler, Yudong Yang -- Topic study group no. 51 Diversity of theories in mathematics education, Tommy Dreyfus, Anna Sierpinska -- Topic study group no. 52 Empirical methods and methodologies, David Clarke, Alan Schoenfeld -- Topic study group No. 53 Philosophy of mathematics education, Paul E.…”
    Link to Metadata
    Electronic eBook
  15. 8655

    Theoretical and Practical Advances in Computer-based Educational Measurement

    Published 2019
    Table of Contents: “…Differential Item Functioning in PISA due to Mode Effects; Remco Feskens, Jean-Paul Fox, Robert Zwitser -- 13. Investigating Rater Effects in International Large-Scale Assessments; Hyo Jeong Shin, Matthias von Davier, Kentaro Yamamoto -- Theme 4: Computerized adaptive testing in educational measurement -- 14. …”
    Link to Metadata
    Electronic eBook
  16. 8656

    Brain and Human Body Modeling Computational Human Modeling at EMBC 2018 /

    Published 2019
    Table of Contents: “…Estimates of Peak Electric Fields Induced by Transcranial Magnetic Stimulation in Pregnant Women as Patients or Operators Using an FEM Full-Body Model -- Chapter 4. Finite element modelling framework for electroconvulsive therapy and transcranial stimulation -- Chapter 5. …”
    Link to Metadata
    Electronic eBook
  17. 8657

    Dialogue for Intercultural Understanding Placing Cultural Literacy at the Heart of Learning /

    Published 2021
    Table of Contents: “…From policy discourse to art education: Challenges of intercultural dialogue as a policy and practice. Tuuli Lähdesmäki and Aino-Kaisa Koistinen (Department of Music, Art and Culture Studies, University of Jyväskylä, Finland) -- 4. …”
    Link to Metadata
    Electronic eBook
  18. 8658

    The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

    Published 2021
    Table of Contents: “…Hearing the Form: Breath and the Structures of Poetry in Charles Olson and Paul Celan, David Fuller -- 21. A Panting Consciousness: Beckett, Breath, and Biocognitive Feedback, Marco Bernini -- 22. …”
    Link to Metadata
    Electronic eBook
  19. 8659

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
    Link to Metadata
    Electronic eBook
  20. 8660

    Introduction to Development Engineering A Framework with Applications from the Field /

    Published 2023
    Table of Contents: “…Part I: A New Discipline: Development Engineering -- Chapter 1: The Role Of Technology In Development -- Chapter 2: The Development Engineering Framework: Innovate, Evaluate, Scale -- Chapter 3: Asking the Right Questions -- Part II: Water, Sanitation and Health -- Chapter 4: Advances In Water and Health Technologies -- Chapter 5: Case Study: Electrochemical Arsenic Remediation, India (Innovation) -- Chapter 6: Case Study: Information For Intermittent Water Supply, India (Evaluation) -- Chapter 7: Case Study: Mobile Phone Diagnostic Microscopy, Vietnam/Cameroon (Innovation, Scale) -- Part III: Governance -- Chapter 8: Technologies for Governance And Accountability -- Chapter 9: Case Study: Sensors For Aid Accountability, Rwanda (Evaluation, Scale) -- Chapter 10: Case Study: High Resolution Development Indicators, Afghanistan (Evaluation, Scale) -- Chapter 11: Case Study: Monitoring For Elections And Public Service Delivery, Kenya (Evaluation, Scale) -- Part IV: Energy and Resources -- Chapter 12: Advances in Energy & Environmental Technologies -- Chapter 13: Case Study: Economic Impacts Of Rural Electrification, Kenya (Evaluation, Scale) -- Chapter 14: Case Study: Cool Joule: Flexible Energy Loads, Nicaragua (Innovation, Evaluation) -- Chapter 15: Case Study: Cookstove Monitoring and Use In East Africa (Innovation, Evaluation) -- Part V: Information -- Chapter 16: Information and Communications Technology For Development -- Chapter 17: Case Study: Community Cellular Networks, Philippines (Innovation, Evaluation) -- Chapter 18: Case Study: ICT Solutions To Bring Telemedicine To Rural India (Innovation) -- Chapter 19: Case Study: Platforms For Development Data (ODK/Mezuri) (Innovation, Scale) -- PART VI: Markets (Incorporates Agriculture) -- Chapter 20: Technologies To Improve Market Performance -- Chapter 21: Case Study: Ag Market Information Platforms, India (Innovation, Evaluation, Scale) -- Chapter 22: Case Study: Agricultural Trading Platforms, Uganda (Innovation, Evaluation) -- Chapter 23: Case Study: Inventory And Supply Chain Tracking, Sri Lanka (Evaluation) -- PART VII: Human Capital (Incorporates Labor) -- Chapter 24: Increasing the Productivity of Human Capital -- Chapter 25: Case Study: Electronic Job Search Platforms, India (Evaluation, Scale) -- Chapter 26: Case Study: Customized E-Learning Innovations, India (Evaluation) -- Chapter 27: Case Study: TBD (Evaluation) -- PART VIII: Conclusion -- Chapter 28: Promising Directions in Development Engineering.…”
    Link to Metadata
    Electronic eBook