Search Results - With~

Urban Socio-Economic Segregation and Income Inequality A Global Perspective /

Table of Contents: “…Part 1: Introduction -- Rising inequalities and a changing social geography of cities. An introduction to the global segregation book -- Residential segregation between income groups in international perspective -- Part 2: Africa -- Income inequality, socio-economic status and residential segregation in Greater Cairo: 1986-2006 -- Social inequality and spatial segregation in Cape Town -- Income inequality and socio-economic segregation in the city of Johannesburg -- Part 3: Asia -- Dual land regime, income inequalities and multifaceted socio-economic and spatial segregation in Hong Kong -- Income inequality and socioeconomic segregation in Jakarta -- Socio-spatial segregation and exclusion in Mumbai -- Social polarisation and socio-economic segregation in Shanghai, China: Evidence from 2000 and 2010 censuses -- Increasing inequality and the changing spatial distribution of income in Tel-Aviv -- Changes in occupational structure and residential segregation in Tokyo -- Part 4: Australia -- The land ofthe 'fair go'? …”
Link to Metadata

A Student's Guide to Tropical Marine Biology by Zanga, Haley, Boraski, Audrey, Olendorf, Alana

Table of Contents: “…Coral Reefs and Diversity -- II. Common Fish in the Coral Reef -- III. Environmental Threats -- IV. …”
Access online version

European Higher Education Area: Challenges for a New Decade

Table of Contents: “…Introduction -- Part 1: Furthering the internationalization of higher education: particular challenges in the EHEA (coordinated by Hans de Wit and Ligia Deca) -- Part 2: Access and success for every learner in higher education (coordinated by David Crosier and Mihai Cezar Hâj) -- Part 3: Advancing learning and teaching in the EHEA: innovation, links with research, and cooperation with the ERA (coordinated by Michael Gaebel and Romiță Iucu) -- Part 4: The future of the EHEA - principles, challenges and ways forward (coordinated by Sjur Bergan and Liviu Matei) -- Part 5: Bologna Process in the global higher education arena. …”
Link to Metadata

The dynamics of finite-size settling particles by Doychev, Todor

“…Dissertationsreihe am Institut für Hydromechanik, Karlsruher Institut für Technologie / Karlsruher Institut für Technologie (KIT), Institut für Hydromechanik…”
DOAB: download the publication
DOAB: description of the publication

Neue Grauzonen der Technikgeschichte by Möser, Kurt

“….: Karlsruher Institut für Technologie (KIT), Institut für Technikzukünfte, Teilinstitut für Geschichte…”
DOAB: download the publication
DOAB: description of the publication

Technik- und Wissenschaftsgeschichte in der universitären Lehre. Formate, Adressaten, Konzepte by Popplow, Marcus [Hrsg.]

“….: Karlsruher Institut für Technologie (KIT), Institut für Technikzukünfte, Teilinstitut für Geschichte…”
DOAB: download the publication
DOAB: description of the publication

Urban Health A Practical Application for Clinical Based Learning by McNeill, Cynthera, Stephens, Umeika, Walker, Tara

Table of Contents: “…Defining Urban Health in the Inner City -- Chapter 2. Clinician Preparation for Urban Health Practice -- Chapter 3. …”
Access online version

Projection-Based Clustering through Self-Organization and Swarm Intelligence Combining Cluster Analysis with the Visualization of High-Dimensional Data / by Thrun, Michael Christoph

Table of Contents: “…Approaches to Unsupervised Machine Learning -- Methods of Visualization of High-Dimensional Data -- Quality Assessments of Visualizations -- Behavior-Based Systems in Data Science -- Databionic Swarm (DBS).…”
Link to Metadata

História da educação na França - L'histoire de l'éducation en France by Antoine Prost, com apresentação de Pierre Caspard, France

Connect to this object online.

Antibacterial force of the luting-type of glass ionomer cement toward Lactobacillus species and Streptococcus mutans by Dwi Warna Aju Fatmawati, Ekiyantini Widyowati

Connect to this object online.

Daya antibakteri penambahan Propolis pada zinc oxide eugenol dan zinc oxide terhadap kuman campur gigi molar sulung non vital (The antibacterial effect of propolis additional to zi... by Yemy Ameliana, Herawati Herawati, Seno Pradopo

Connect to this object online.

Relativity Lite A Pictorial Translation of Einstein’s Theories of Motion and Gravity by Straton, Jack C.

Table of Contents: “…Chapter 1: To c or Not to c -- Chapter 2: Mixmaster Universe -- Chapter 3: A Trip to Alpha Centauri -- Chapter 4: Gravity Lite -- Chapter 5: Cosmology…”
Access online version

Interdisciplinary Mathematics Education The State of the Art and Beyond /

Table of Contents: “…-SECTION 1: CONCEPTUAL FRAMEWORKS -- Introduction -- Theoretical Perspectives on Interdisciplinary Mathematics -- Interdisciplinary Collaboration Between Musicians and Mathematicians: An Experience with Stochastic Music -- Challenges and Opportunities STEM Interdisciplinary Agenda -- SECTION 2: FOCUS ON CROSS-CUTTING SKILLS -- Introduction -- Using Scientific Hypothesis in Interdisciplinary Maths Activities -- Quantitative Reasoning and its Role in Interdisciplinarity from a Mathematical Perspective -- Modelling and Programming of Digital Video: A Source for the Integration of Mathematics, Engineering, and Technology -- SECTION 3: CASE STUDIES OF INTERDISCIPLINARITY IN PRACTICE -- Introduction -- Mathematics in an Interdisciplinary STEM Course (NLT) -- "Maths add up": Interdisciplinary Maths Activities -- The Successful Students STEM project: A Medium Scale Case of Teacher Development -- "Draw What You See": Transcending The Mathematics Classroom -- Interdisciplinarity: Old wine in new bottles? …”
Link to Metadata

Foundational Practices of Online Writing Instruction

Table of Contents: “…A Research History of the CCCC OWI Committee, Beth L. Hewett and Kevin Eric DePew -- Part 1. An OWI Primer -- Chapter 1. …”
Access online version

Special Topics in Information Technology

Table of Contents: “…Advances in Wave Digital Modeling of Linear and Nonlinear Systems: a Summary -- Enhancing Indoor Coverage by Multi-Pairs Copper Cables: The Analog MIMO Radio-over-Copper Architecture -- Chirp Generators for Millimeter-Wave FMCW Radars -- Modeling and simulation of spiking neural networks with resistive switching synapses -- Learning and Adaptation to Detect Changes and Anomalies in High-Dimensional Data -- Enhancing Video Recommendation using Multimedia Content -- Dynamic Application Autotuning for Self-Aware Approximate Computing -- CAOS: CAD as an Adaptive Open-platform Service for High Performance Reconfigurable Systems -- A General Framework for Shared Control in Robot Teleoperation with Force and Visual Feedback.…”
Link to Metadata

Socio-Spatial Theory in Nordic Geography Intellectual Histories and Critical Interventions /

Table of Contents: “…The Spatialities of the Nordic Compact City (Per Gunnar Røe, Kristin Edith Abrahamsen Kjærås and Håvard Haarstad) -- 12. …”
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

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

Table of Contents: “…A case study in Croatia -- An Integrated approach to landslides risk management for local and national authorities -- Assessing landslide hazard in the High City of Antananarivo, Madagascar (UNESCO Tentative site) -- Part V: ICL Landslide Teaching Tools -- Teaching Tools for LS-Tsnnamis -- Part VI: Technical Notes and Case Studies -- CliRtheRoads - An integrated approach to landslide risk management on roads in Serbia -- Part VII: World Landslide Reports -- Rock slope instabilities affecting the AlUla archaeological sites (KSA) -- Refugees' perception of landslide disasters: Insights from the Rohingya camps in Cox's Bazar, Bangladesh.…”
Link to Metadata

Elementary Algebra by Marecek, Lynn, Anthony-Smith, MaryAnne

Table of Contents: “…Foundations -- Solving Linear Equations and Inequalities -- Math Models -- Graphs -- Systems of Linear Equations -- Polynomials -- Factoring -- Rational Expressions and Equations -- Roots and Radicals -- Quadratic Equations -- Answer Key -- Index…”
Access online version