Search Results - Ohey~

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…God Does Not Prefer Sons Over Daughters (!) -- AT A GLANCE: The Nature of Women -- Part III The Rights of Women -- 11. …”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Using Social Theory in Higher Education

Table of Contents: “…Chapter 1 Other people's ideas: An introduction to using social theory in higher education -- Chapter 2 Sit Down, be Humble: The influence of the Work of Linda Tuhiwai Smith on our research -- Chapter 3 The decolonial imperative - text and context: a response to Amani Bell and Gulwanyang Moran -- Chapter 4 After Belonging: Aileen Moreton-Robinson's 'I Still Call Australia Home' -- Chapter 5 In belonging: a response to Timothy Laurie -- Chapter 6 Deploying Rose and Abi-Rached to 'make sense' of the rise of the 'brain sciences' in the field of violence against women -- Chapter 7 What do we talk about when we talk about neuro? …”
Link to Metadata

Capitalism in the Platform Age Emerging Assemblages of Labour and Welfare in Urban Spaces /

Table of Contents: “…Introduction (Sandro Mezzadra) -- Chapter 2. Operations of Platforms. A Global Process in a Multipolar World (Sandro Mezzadra) -- Chapter 3. …”
Link to Metadata

Building the Foundation: Whole Numbers in the Primary Grades The 23rd ICMI Study /

Table of Contents: “…Connecting whole number arithmetic foundations to other parts of mathematics: structure and structuring activity -- Chapter 14. …”
Link to Metadata

Riverine Ecosystem Management Science for Governing Towards a Sustainable Future /

Table of Contents: “…Ensuring Long-Term Cooperation Over Transboundary Water Resources Through Joint River Basin Management -- Chapter 19. …”
Link to Metadata

Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /

Table of Contents: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
Link to Metadata

Diversity and Evolution of Butterfly Wing Patterns An Integrative Approach /

Table of Contents: “…Color Patterns of Larva and Other Insects -- Chapter15:Molecular Mechanisms of Larval Color Pattern Switch in the Swallowtail Butterfly -- Chapter16:Drosophila guttifera as a model system for elucidating color pattern formation -- Chapter17:Molecular mechanisms underlying color vision and color formation in dragonflies.…”
Link to Metadata

Decision Science for Future Earth Theory and Practice /

Table of Contents: “…Conflict of legitimacy over tropical forest lands: Lessons for collaboration from case of industrial tree plantation in Indonesia -- Chapter 6. …”
Link to Metadata

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

Table of Contents: “…-Chapter 4 - Software building blocks: From Python to Version control (Damith Herath, Adam Haskard and Niranjan Shukla) -- Chapter 5 - The Robot Operating System (ROS1&2): programming paradigms and deployment(David St-Onge and Damith Herath) -- Chapter 6 - Mathematical building blocks: From geometry to quaternions to Bayesian(Rebecca Stower, Bruno Belzile and David St-Onge).…”
Link to Metadata

Finland's Famous Education System Unvarnished Insights into Finnish Schooling /

Table of Contents: “…-- Ecological sustainability and steering of Finnish comprehensive schools -- Unmentioned challenges of Finnish teacher education: Decontextualisation, scientification and the rhetoric of the research-based agenda -- Teachers' expectations and expectations of teachers: Understanding teachers' societal role -- Businessing around comprehensive schooling -- Co-operation of edu-business and public schooling: Is the governance of education in Finland shifting from the public sector to networks?…”
Link to Metadata

The Palgrave Handbook of Digital Russia Studies

Table of Contents: “…Corpora in text-based Russian studies -- 19. RuThes Thesaurus for Natural Language Processing -- 20. …”
Link to Metadata

Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science / by Wittmann, Erich Christian

Table of Contents: “…(p. 26-34) Rotterdam: Springer -- 10. Operative Proofs in Schoolmathematics and Elementary Mathematics mathematica didactica 37, H. 2 (2014), 213 - 232) (transl. from German) -- 11. …”
Link to Metadata

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Suitability of BEPS in Developing Countries (Emphasis on Latin America and the Caribbean) (Isaác Gonzalo Arias Esteban and Anarella Calderoni) -- Part II: External assistance for tax capacity building ((Chapters on external assistance, including issues for donors) -- Chapter 4. Policy Coherence for Sustainable Development in International Tax Matters: A Way Forward for Donor Countries? …”
Link to Metadata

Reimagining Science Education in the Anthropocene, Volume 2

Table of Contents: “…-- Chapter 8 The Social Focus Framework: Antiracist and Anticolonial Conscientization, Consequence, and Presencing in Science Education -- Chapter 9 Breaking the Paradigm: Storying Climate Change -- Part III Politics and Political Reverberations -- Chapter 10 From False Generosity to True Generosity: Theorizing a Critical Imaginary for Science Education -- Chapter 11 Anti-racist Praxis in (Science and) Education -- Chapter 12 Science Education: From an Ideology of Greed to an Ideology of Thriving -- Chapter 13 Practices of Care with the Anthropocene: Scenes from the 2019 Nebraska Flood -- Part IV Science Education for a World Yet to Come -- Chapter 14 Science Fiction, Speculative Pedagogy, and Critical Hope: Counternarratives for/of the Future -- Chapter 15 Curriculum Beyond Apocalypse -- Chapter 16 Let's Root for Each Other and Grow: Interconnectedness (with)in Science Education -- Chapter 17 Perturbing Current Boundary Conditions in Discipline-Based and Science Education Research in the Anthropocene: Implications for Research and Teaching Communities -- Part V Complicated Conversations -- Chapter 18 In Conversation with SharonTodd: Rethinking the Future in a Time of Sorrow -- Chapter 19 In Conversation with Max Liboiron: Towards an Everyday, Anticolonial Feminist Science (Education) Practice -- Chapter 20 In Conversation with Isabelle Stengers: Ontological Politics in Catastrophic Times -- Chapter 21 In Conversation with Steven Khan: Sensible and Sense-able Qualitative Literacies for Multi-species Flourishing -- Conclusion Amplifying Science Education Research with(in) a Minor Key. .…”
Link to Metadata

Interface Oral Health Science 2016 Innovative Research on Biosis-Abiosis Intelligent Interface /

Table of Contents: “…Molecular Mechanisms Regulating Tooth Number -- Part IV Symposium IV: Medical device innovation for diagnosis and treatment of biosis-abiosis interface -- 14. Open Source Technologies and Workflows in Digital Dentistry -- 15. …”
Link to Metadata

Innovation, Economic Development, and Intellectual Property in India and China Comparing Six Economic Sectors /

Table of Contents: “…The Growth of the Indian Automobile Industry: Analysis of the Roles of Government Policy and Other Enabling Factors -- Part VII: The Culture of Sharing and the Sharing Economy -- Chapter 20. …”
Link to Metadata

Un/doing Race Rassifizierung in der Schweiz

DOAB: download the publication
DOAB: description of the publication

Un/doing Race Racialisation en Suisse

DOAB: download the publication
DOAB: description of the publication