Gender-Competent Legal Education

Table of Contents: “…Introduction by Mareike Fröhlich, Thomas Giegerich and Dragica Vujadinovic -- Part I Gender in a General Context: Gender Issues in Comparative Legal History by Una Divac, Maurilio Felici, Pietro Lo Iacono, Nina Kršljanin and Vojislav Stanimirović -- Feminist Political and Legal Theories by Antonio Álvarez del Cuvillo, Fabio Macioce and Sofia Strid -- Gender and Structural Inequalities from a Socio-legal Perspective by Eva Bermúdez Figueroa, Valerija Dabetić , Raquel Pastor Yuste and Zara Saeidzadeh -- Feminist Judgments by Marco Evola, Ivana Krstic and Fuensanta Rabadán Sánchez-Lafuente -- Gender Research and Feminist Methodologies by Zara Saeidzadeh -- Part II Gender in a Public Context: Human Rights Law through the Lens of the Gender Perspective by Marco Evola, Julia Jungfleisch and Tanasije Marinkovic -- The Evolving Recognition of Gender in International and European Law by Rigmor Argren, Marco Evola, Thomas Giegerich and Ivana Krstic -- Gender Equality Aspects on Public Law by Marko Davinic, Eleonor Kristoffersson and Tanasije Marinkovic -- Gender Perspective of Social Security Law by MªAngustias Benito and Carmen Jover Ramírez -- Gender Equitable Taxation by Marco Cedro, Eleonor Kristoffersson, Teresa Ponton Aricha and Lidija Živković -- Public Policies on Gender Equality by Vanesa Hervías Parejo and Branko Radulović -- Gender Competent Criminal Law by María Acale Sánchez, Ivana Marković and Susanne Strand -- Gender Perspective of Victimization, Crime and Penal Policy by Beatriz Cruz, Natalija Lukić and Susanne Strand -- Part III Gender in a Private Context: Gender Equality in the Different Fields of Private Law by Amalia Blandino, Letizia Coppo, Gabriele Carapezza Figlia, Snežana Dabic and Katarina Dolovic -- Gender Competent Family Law by Ivana Barac, Amalia Blandino, Letizia Coppo, Giampaolo Frezza, Uros Novakovic, Fuensanta Rabadán and ZaraSaeidzadeh -- Labour Law and Gender by Thais Guerrero Padrón, Ljubinka Kovačević and Mª Isabel Ribes Moreno -- Integrating Gender Equality in Economics and Management by Lydia Bares Lopez, Francesca Costanza, Manuela Ortega Gil and Sofia Strid -- Gender, Business and the Law by Mareike Fröhlich, Tatjana Jevremović Petrović and Jelena Lepetić.…”
Link to Metadata

Diseases of the Abdomen and Pelvis 2018-2021 Diagnostic Imaging - IDKD Book /

Table of Contents: “…-- Renal Tumors "Therapy Monitoring Oncologic Disease in the Abdomen (including PET-CT)" -- Adnexal Diseases -- Adrenal Disease -- Diseases of the Upper GI Tract (incl. …”
Link to Metadata

Risiko im Wandel Herausforderung für die Versicherungswirtschaft /

Table of Contents: “…-- Risiken in der Berufsunfähigkeitsversicherung -- Internationale Standards ISTQB und IREB: Optimierung von Testprozessen und Anforderungsmanagement -- Management von Komplexität am Beispiel von Covid 19 -- Beitrag zum Steuerrecht / Versicherungsrecht -- Klimaerwärmung und Elementarschadenversicherung -- Versicherungsfinanzierte betriebliche Altersversorgung: Spannungsverhältnis zwischen arbeitsrechtlichem Grundverhältnis, versicherungsvertraglicher Umsetzung und dem Verschaffungsanspruch nach § 1 Abs. 1 Satz 3 BetrAVG -- Hackerangriff auf ein autonom fahrendes Fahrzeug Welche Rechtsfragen ergeben sich? …”
Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 1, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Sliding-surface liquefaction and undrained steady-state shear strength -- Identification and Mitigation of Reservoir Landslides Cases Studied in the Three Gorges Reservoir Area of China -- Part II: Original articles -- Impact of input data on the quality of the landslide susceptibility large-scale maps: A case study from NW Croatia -- Landslide warning systems in high-income countries: past accomplishments and expected endeavours -- Modelling of Landslide-Structure Interaction (LSI) through Material Point Method (MPM) -- Landslide Research and Technology in International Standards -- Mathematical and numerical modeling of slope stability for the Mong Sen landslide event in the Trung Chai commune, Sapa, Vietnam -- Landslide early warning system based on the empirical approach - Case study in Ha Long City (Vietnam) -- The modern activity of the Buzulgan landslide and its influence on the debris flow hazard for the Tyrnyauz town (Northern Caucasus, Russia) -- A risk evaluation method of unstable slopes using multipoint tilting sensors -- Part III: IPL/WCOE/KLC2020 -- Community Level Slope Disaster Risk Reduction Program through Multi-Scale Mapping by Mountain Ethnic Group in Northern Vietnam - Project Study by JICA / Lao Cai DARD / ITST -- Landslide Risk Assessment in the tropical zone of Vietnam as a contribution to the mitigation of natural disaster vulnerability -- Protection and conservation of Georgian rupestrian cultural heritage sites: a review -- Spatial and temporal characterization of landslide deformation pattern with Sentinel-1 -- Lessons from 2019-2020 landslide risk assessment in an urban area of volcanic soils in Pereira-Colombia -- Part IV: ICL Landslide Teaching Tools -- Zonation of landslide susceptibility in the Gipuzkoa province (Spain): an application of LAND-SUITE -- Landslide and soil erosion inventory mapping based on high-resolution remote sensing data: A case study from Istria (Croatia) -- Part V: Technical Notes and Case Studies -- Landslide monitoring with RADARSAT Constellation Mission InSAR, RPAS-derived point-clouds and RTK GNSS time-series in the Thompson River Valley, British Columbia, Canada -- Digital terrain models derived from unmanned aerial vehicles and landslide susceptibility -- Use of GIS to assess susceptibility per landform unit to gravitational processes and their volume.…”
Link to Metadata

Geographies of Asylum in Europe and the Role of European Localities

Table of Contents: “…1 Introduction: Birgit Glorius, Jeroen Doomernik -- Part I: Governing Asylum and Reception within an Asylum System under Stress: 2 Dispersal and Reception in Northern Italy: Comparing Systems along the Brenner Route: Michela Semprebon, Gracy Pelacani -- 3 Legal Paradigm Shifts and their Impacts on the Socio-Spatial Exclusion of Asylum Seekers in Denmark: René Kreichauf -- 4 Places and Spaces of the Others: A German Reception Center in Public Discourse and Individual Perception: Daniel Göler -- 5 Before and After the Reception Crisis of 2015: Asylum and Reception Policies in Austria: Sandra Müller, Sieglinde Rosenberger -- Part II: Perceptions and Discourses on Refugee Reception6 Local Narrative-Making on Refugees: how the Interaction between Journalists and Policy Networks shapes the Media Frames: Andrea Pogliano, Irene Ponzo -- 7 Shaping "the Deserving Refugee": Insights from a Local Reception Programme in Flanders: Stiene Ravn, Rilke Mahieu, Milena Belloni, Chris Timmerman -- 8 The Public Perception of the Migration Crisis from the Hungarian Point of View. …”
Link to Metadata

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

Table of Contents: “…Brain Haemorrhage Detection Through SVM Classification of Electrical Impedance Tomography Measurements -- Chapter 14. Patient-specific RF safety assessment in MRI: progress in creating surface-based human head and shoulder models -- Chapter 15. …”
Link to Metadata

Climate Smart Agriculture Building Resilience to Climate Change /

Table of Contents: “…: Cross-Country Evidence from Sub-Saharan Africa -- Chapter 12: Input Subsidy Programs and Climate Smart Agriculture -- Chapter 13: Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria -- Chapter 14: Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems -- Chapter 15: Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate -- Chapter 16: The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change -- Chapter 17: A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries -- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia -- Chapter 19: Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa -- Chapter 20: Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change -- Chapter 21: Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia -- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi -- Chapter 23: Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture -- Chapter 24: Synthesis: Devising Effective Strategies and Policies for CSA -- Chapter 25: Conclusions and Policy Implications.…”
Link to Metadata

Vocational Teacher Education in Central Asia Developing Skills and Facilitating Success /

Table of Contents: “…Preface,Uwe Munzert -- Greeting for the GIZ publication as part of the regional programme "Professional Education and Training in Central Asia", Volker -- About the contributors -- Part I -- Introduction -- 1 Recent technological challenges in (vocational) education, Thomas Köhler, Jens Drummer -- Part II Project based learning -- 1 Project based learning, Christian Stehling, Uwe Munzert -- 2 Strengthening the Innovative Potential of Project-Based Learning for TVET, Navbahor Sharipova, Matthias Wesseler -- 3 Project-Based Learning to Develop Creative Abilities in Students, Asylbek Isabekov, Gulzat Sadyrova -- Part III Specific didactics of laboratory work -- 1 Laboratory work in education of food technology professionals, Maksudakhon Abdullayeva -- 2 The Theoretical-Practical Cake, Linking theory and practice in food industry education, Horlacher, Franz -- 3 Potential of the task-based learning for the sustainable development of food technology, Manuela Niethammer -- Part IV Media and new technologies in TVET -- 1 The project title: The Virtual Laboratory and Quality of Education, Lafiz Boboev, Zokirhodzha Soliyev, Firuz Asrorkulov -- 2 Application of Modern Educational Technologies for Managing Project Activities of Master of Education, Rimma Masyrova, Victoria Savelieva, Janat Bisenbaeva, Bakhyt Atymtaeva -- 3 The significance of the Media Didactics Course for Masters of Vocational Education, Mamatair Joldoshov, Ainura Bekbolsunova -- 4 The significance of using business simulations in training of bachelors and masters, Mamatair Joldoshov, Jypargul Sayakbaeva -- 5 The use of new teaching and learning technologies for professional qualifications development in the system of the initial and secondary vocational education, Masuma Bashirova, Alymkan Sattarova -- Part V Evaluation and development of competencies -- 1 Technical training of teachers of vocational education in higher educational institutions, Svetlana Udartseva, Tatyana Ikonnikova, Tamara Udartseva, Tatyana Chausova, Gulfarida Samashova -- 2 Approaches of Engineering Pedagogy to improve the quality of teaching in engineering education, Steffen Kersten -- Competency-based exams in professional education, Ekaterina Golubina, Alexander Löser -- 4 Learning Performance in Vocational Secondary Schools: Testing academic achievement in electrical engineering, Metwaly Mabed and Thomas Köhler -- 5 Quality management for projects and workshops, Jens Drummer -- Part VI Research methods in TVET -- 1 The significance of scientific research in the professional development of students, Mukhabbat Ikrami -- 2 Preparing of Masters of Vocational Education for Conducting Research Activities, Gafurjon Hakimov, Kalybek Dykanaliev -- 3 Research Training for Doctoral Candidates in the Field of Education and Technology, Thomas Köhler -- Annex.…”
Link to Metadata

A History of Radionuclide Studies in the UK 50th Anniversary of the British Nuclear Medicine Society /

Table of Contents: “…Introduction: The history of Nuclear Medicine in the UK -- The evolution from Radioisotope departments administered by Physicists with an emphasis on in vitro and vivo investigations to Nuclear Medicine Departments encompassing Imaging and therapy -- The history of the British Nuclear Medicine Society -- The development of the society from primarily a medical group to a scientific society which includes all disciplines -- From Houseman to Consultant in Nuclear Medicine -- The evolution of training in Nuclear Medicine, to include the MSc and RCR training -- Technician and Radiographer to Clinical Practitioner -- The Institute of Nuclear Medicine -- Radionuclide studies of the pathology of the brain -- Nuclear Cardiology + The Royal Brompton Department -- Paediatric radioisotope studies + Great Ormond Street Dept -- Renal studies + St Barts Department -- Radiotracer studies of human physiology -- Nuclear Medicine at the Hammersmith Including Malcolm Merrick's work -- Monoclonal Antibody studies plus Nuclear Medicine in Nottingham -- Development of medical cyclotrons and PET in the UK -- Bone radionuclide imaging and quantitation and bone densitometry -- Radionuclide Therapy -- Hospital Radiopharmacy -- Evolution of nuclear medicine physics in the UK -- Development of computers in Nuclear Medicine -- The history of the protection of the patient in human radionuclide studies in the clinic and research -- The future direction of radiopharmaceutical development.…”
Link to Metadata

Influences of the IEA Civic and Citizenship Education Studies Practice, Policy, and Research Across Countries and Regions /

Table of Contents: “…Foreword -- Introduction from Editors -- Part 1: National Perspectives on Participation in IEA Civic and Citizenship Education Studies -- 1 Flemish Belgian Students' and Teachers' Results in the IEA ICCS Studies: Implication for Cross-Curricular Approaches to Civic Education; Ellen Claes and Linde Stals -- 2 Bulgarian Civic Education in Transition; Svetla Petrova -- 3 Civic and Citizenship Education in Chile and the Influence of International Civic and Citizenship Education Studies; Gabriela Cares and Elisa Salinas Valdivieso -- 4 Civic and Citizenship Education in Colombia: Challenges for Both Students and Teachers; Luis Felipe Dussán Zuluaga and Juan Camilo Ramírez Chaguendo -- 5 Civic and Citizenship Education in Denmark 1999-2019: Discourses of Progressive and Productive Education; Jens Bruun -- 6 Building Civic and Citizenship Education in the Dominican Republic; Ancell Scheker and Michelle Guzmán -- 7 Estonian Civic and Citizenship Education in Turbulent Times; Anu Toots and Mare Oja -- 8 IEA's International Civic and Citizenship Education Study and the Teaching of Civic Education in Italy; Laura Palmerio, Valeria Damiani and Elisa Caponera -- 9 Improving Civic and Citizenship Education in Latvia; Ireta Čekse -- 10 How IEA's Civic and Citizenship Education Studies Have Contributed to Educational Discourse in Lithuania; Rita Dukynaitė, Ginta Orintienė, and Šarūnas Gerulaitis -- 11 The Role of IEA's Civic and Citizenship Education Studies in Mexico; María Eugenia Luna-Elizarrarás, María Teresa Meléndez-Irigoyen and Citlalli Sánchez-Alvarez -- 12 Inequality in Citizenship Competences: Citizenship Education and Policy in The Netherlands; Anne Bert Dijkstra, Geert ten Dam and Anke Munniksma -- 13 Strengthening Connections Between Research, Policy and Practice in Norwegian Civic and Citizenship Education; Heidi Biseth, Idunn Seland and Lihong Huang -- 14 The Role of IEA's Studies in the Development of Civic and Citizenship Education in Slovenia; Eva Klemenčič Mirazchiyski -- Part 2: Regional and Interdisciplinary Perspectives on Findings From the IEA Civic and Citizenship Education Studies -- 15 The Personal, the Professional, and the Political: An Intertwined Perspective on the IEA Civic Education Studies; Erik Amnå -- 16 Joining an International Community of Practice: Reflections on the IEA Civic Education Studies as an Early Career Scholar; Carolyn Barber -- 17 IEA Civic Education Studies in Latin America: Paths of Influence and Critique in Policy and Research; Cristian Cox -- 18 Reflecting on IEA's CIVED in the United States: Policies, People, and Research; Carole Hahn -- 19 The Contribution of the IEA Civic and Citizenship Education Studies to Educational Research and Policy in Europe; Maria Magdalena Isac -- 20 Asian Students' Citizenship Values: Exploring Theory by Reviewing Secondary Data Analysis; Kerry Kennedy -- 21 Understanding School and Classroom Contexts for Civic and Citizenship Education: The Importance of Teacher Data in the IEA Studies; Bruno Losito, Gabriella Agrusti, and Valeria Damiani -- 22 The Landscape and Recent Developments of Civic and Citizenship Education Across the Latin American Region; Andrés Sandoval-Hernández and Daniel Miranda -- 23 Reflections on the Development of the IEA Civic and Citizenship Education Studies; Wolfram Schulz -- 24 A Moral Perspective on Citizenship Education and on IEA's International Civic and Citizenship Studies; Wiel Veugelers.…”
Link to Metadata

The Sharing Economy in Europe Developments, Practices, and Contradictions /

Table of Contents: “…Sharing Economy in the Netherlands: Grounding Public Values in Shared Mobility and Gig Work Platforms; Martijn de Waal, & Martijn Arets -- 14. The Sharing Economy in France: From Cooperative Business to Platform Cooperatives; Myriam Lewkowicz, & Jean-Pierre Cahier -- 15. …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Make Life Visible

Table of Contents: “…Molecular dynamics revealed by single-molecule FRET measurement -- Chapter 11. Comprehensive approaches using luminescence to studies of cellular functions -- Part II: Imaging Disease Mechanisms -- Chapter 12. …”
Link to Metadata

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship /

Table of Contents: “…Generation 2030: The Strategic Imperative of Youth Civic and Political Engagement -- Chapter33. …”
Link to Metadata

Ocean Governance Knowledge Systems, Policy Foundations and Thematic Analyses /

Table of Contents: “…Developing progressive marine biodiversity indicators to support the functions of area-based management tools for the sustainable use of oceans: case studies from European territorial waters (Kaymaz, Ipek) -- Chapter 11. Ocean Governance in An Era of Climate Change: Protecting Living Marine Resources on the Sea Bed - the Need for an Integrated Approach (Borg, Simone) -- Chapter 12. …”
Link to Metadata

Beyond Becquerel and Biology to Precision Radiomolecular Oncology: Festschrift in Honor of Richard P. Baum

Table of Contents: “…The Rise of A Theranostic Empire: Good Governance and Precision Oncology -- 2. 18 FDG PET CT assessing Inmunotherapy response -- 3. Radionuclide Therapy in Brain Tumours -- 4. …”
Link to Metadata

How to Think Like a Computer Scientist C Version by Downey, Allen B.

Table of Contents: “…-- 1.4 Formal and natural language -- 1.5 The first program -- 1.6 Glossary -- 1.7 Exercises -- Chapter 2: Variables and types -- 2.1 More output -- 2.2 Values -- 2.3 Variables -- 2.4 Assignment -- 2.5 Outputting variables -- 2.6 Keywords -- 2.7 Operators -- 2.8 Order of operations -- 2.9 Operators for characters -- 2.10 Composition -- 2.11 Glossary -- 2.12 Exercises -- Chapter 3: Function -- 3.1 Floating-point -- 3.2 Constants -- 3.3 Converting from double to int -- 3.4 Math functions -- 3.5 Composition -- 3.6 Adding new functions -- 3.7 Definitions and uses -- 3.8 Programs with multiple functions -- 3.9 Parameters and arguments -- 3.10 Parameters and variables are local -- 3.11 Functions with multiple parameters -- 3.12 Functions with results -- 3.13 Glossary -- 3.14 Exercises -- Chapter 4: Conditionals and recursion -- 4.1 Conditional execution -- 4.2 The modulus operator -- 4.3 Alternative execution -- 4.4 Chained conditionals -- 4.5 Nested conditionals -- 4.6 The return statement -- 4.7 Recursion -- 4.8 Infinite recursion -- 4.9 Stack diagrams for recursive functions -- 4.10 Glossary -- 4.11 Exercises -- Chapter 5: Fruitful functions -- 5.1 Return values -- 5.2 Program development -- 5.3 Composition -- 5.4 Boolean values -- 5.5 Boolean varaiables -- 5.6 Logical operators -- 5.7 Bool functions -- 5.8 Returning from main() -- 5.9 Glossary -- 5.10 Exercises -- Chapter 6: Iteration -- 6.1 Multiple assignment -- 6.2 Iteration -- 6.3 The while statement -- 6.4 Tables -- 6.5 Two-dimensional tables -- 6.6 Encapsulation and generalization -- 6.7 Functions -- 6.8 More encapsulation -- 6.9 Local varaiables -- 6.10 More generalization -- 6.11 Glossary -- 6.12 Exercises -- Chapter 7: Arrays -- 7.1 Increment and decrement operators -- 7.2 Accessing elements -- 7.3 Copying arrays -- 7.4 for loops -- 7.5 Array length -- 7.6 Random numbers -- 7.7 Statistics -- 7.8 Array of random numbers -- 7.9 Passing an array to a function -- 7.10 Counting -- 7.11 Checking the other values -- 7.12 A histogram -- 7.13 A single-pass solution -- 7.14 Random seeds -- 7.15 Glossary -- 7.16 Exercises -- Chapter 8: Strings and things -- 8.1 Containers for strings -- 8.2 String variables -- 8.3 Extracting characters from a string -- 8.4 Length -- 8.5 Traversal -- 8.6 Finding a character in a string -- 8.7 Pointers and Addresses -- 8.8 String concatenation -- 8.9 Assigning new values to string variables -- 8.10 strings are not comparable -- 8.11 Character classification -- 8.12 Getting user input -- 8.13 Glossary -- 8.14 Exercises -- Chapter 9: Structures -- 9.1 Compound values -- 9.2 Point objects -- 9.3 Accessing member variables -- 9.4 Operations on structures -- 9.5 Structures as parameters -- 9.6 Call by value -- 9.7 Call by reference -- 9.8 Rectangles -- 9.9 Structures as return types -- 9.10 Passing other types by reference -- 9.11 Glossary -- 9.12 Exercises…”
Access online version

The Power of Energy Justice & the Social Contract

Table of Contents: “…The Energy Justice Imperative for Clean Energy Storage Alternatives (Zinnure Osman Zengin) -- Chapter 30. …”
Link to Metadata

Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

Table of Contents: “…Transforming Institutional Framings of Academic Writing -- Introduction to Section 4 -- Transforming Dialogic Spaces in an "Elite" Institution: Academic Literacies, the Tutorial and High-Achieving Students, Corinne Boz -- The Political Act of Developing Provision for Writing in the Irish Higher Education Context, Lawrence Cleary and Íde O'Sullivan -- Building Research Capacity through an AcLits-Inspired Pedagogical Framework, Lia Blaj-Ward -- Academic Literacies at the Institutional Interface: A Prickly Conversation Around Thorny Issues, Joan Turner -- Revisiting the Question of Transformation in Academic Literacies: The Ethnographic Imperative, Brian Street in conversation with Mary R. …”
Access online version