KONSEP BERPIKIR DALAM ALQURAN DAN IMPLIKASINYA TERHADAP PEMBELAJARAN PAI DI TINGKAT SMA : studi tematik tentang ayat-ayat yang mengandung konsep berpikir by Hidayat, Taufik

Link Metadata

Agency and Causal Explanation in Economics

Table of Contents: “…Preface -- Introduction -- Part I Theory -- Nadine Elzein: Free Will and Empirical Arguments for Epiphenomenalism -- Stephen Pratten: Causality, Agency and Change -- Jason Blakely: How Economics Becomes Ideology: The Uses and Abuses of Rational Choice Theory -- William Child: Economics, Agency, and Causal Explanation -- Part II Praxis -- Richard Conrad and Peter Hunter: Why Aquinas Would Agree That Human Economic Behaviour Is Largely Predictable -- Paul Clough: Agency, Time and Morality: An Argument from Social and Economic Anthropology -- Scott Meikle: The Switch from Agency to Causation in Marx -- Margaret S. …”
Link to Metadata

Algebra and Trigonometry 2e by Abramson, Jay

Table of Contents: “…Rational Expressions -- Chapter Review -- Exercises -- Chapter 2. …”
Access online version

Algorithms for Big Data DFG Priority Program 1736 /

Table of Contents: “…Algorithms for Large and Complex Networks Algorithms for Large-scale Network Analysis and the NetworKit Toolkit -- Generating Synthetic Graph Data from Random Network Models -- Sampling Efficiency for the Link Assessment Problem -- A Custom Hardware Architecture for the Link Assessment Problem -- Graph-based Methods for Rational Drug Design -- Recent Advances in Practical Data Reduction -- Skeleton-based Clustering by Quasi-Threshold Editing -- The Space Complexity of Undirected Graph Exploration -- Algorithms for Big Data and their Applications Scalable Cryptography -- Distributed Data Streams -- Energy-Efficient Scheduling -- The GENO Software Stack -- Laue Algorithms for Big Data Problems in de Novo Genome Assembly -- Scalable Text Index Construction. …”
Link to Metadata

Sustainable Land Use and Rural Development in Southeast Asia: Innovations and Policies for Mountainous Areas

Table of Contents: “…From Challenges to Sustainable Solutions for Upland Agriculture in Southeast Asia -- Beyond the Horizons - Challenges and Prospects for Soil Science and Soil Care in Southeast Asia -- Water and Matter Flows in Mountainous Watersheds of Southeast Asia: Processes and Implications for Management -- Agricultural Pesticide Use in Mountainous Areas of Thailand and Vietnam: Towards Reducing Exposure and Rationalizing Use -- Linkages between Agriculture, Poverty and Natural Resource Use in Mountainous Regions of Southeast Asia -- Mango and Longan Production in Northern Thailand: the Role of Water Saving Irrigation and Water Stress Monitoring -- Soil Conservation on Sloping Land: Technical Options and Adoption Constraints -- Improved Sustainable Aquaculture Systems for Small-scale Farmers in Northern Vietnam -- Participatory Approaches to Research and Development in the Southeast Asian Uplands: Potential and Challenges -- Integrated Modeling of Agricultural Systems in Mountainous Areas -- Rethinking Knowledge Provision for the Marginalized: Rural Networks and Novel Extension Approaches in Vietnam -- Policies for Sustainable Development: The Commercialization of Smallholder Agriculture.…”
Link to Metadata

PENGEMBANGAN MODEL PEMBELAJARAN REFLECTIVE ACTIVITY AS NATURALIS INTELLIGENCE DALAM MENINGKATKAN KECERDASAN EKOLOGIS SISWA SEBAGAI KONSUMEN by Rani Tania Pratiwi, -

Link Metadata

PENGUATAN KEPEMERINTAHAN DAERAH YANG BAIK MELALUI PENGEMBANGAN BUDAYA DEMOKRASI: Studi Tentang Good governance Pada Kinerja Aparatur dan Peran Civil Society Dalam Konteks Pendidika... by Abdul, Jabar

Link Metadata

River Basin Development and Human Rights in Eastern Africa - A Policy Crossroads by Carr, Claudia J.

Table of Contents: “…Components Of Catastrophe: Social And Environmental Consequences of Omo River Basin Development -- Chapter 6. The Rush to Rationalize: Public Policies and Impact Assessments -- Chapter 7. …”
Link to Metadata

Mathematics Education and Language Diversity The 21st ICMI Study /

Table of Contents: “…Introduction -- Challenges and opportunities for second language learners in undergraduate mathematics -- Mathematics in the hands of deaf learners and blind learners: visual-gestural-somatic means of doing and expressing -- Challenging deficit perspectives: student agency in multilingual mathematics classrooms -- Language diversity in mathematics teacher education: challenges across three countries -- Impact of differing grammatical structures in mathematics teaching and learning -- Addressing multi-language diversity in mathematics teacher education programs -- Language diversity and new media: issues of multimodality and performance -- Making use of multiple (non-shared) first languages: state and need of research and development in the European language context -- Purposefully relating multilingual registers - building theory and teaching strategies for bilingual learners based on an integration of three traditions -- Trends in mathematics education in multilingual contexts for indigenous population: experiences from Latin America -- Tensions in teaching mathematics in contexts of language diversity -- Research rationalities and the construction of the deficient multilingual mathematics learner -- Language diversity in research and its consequences -- Using ICTs to facilitate multilingual mathematics teaching and learning -- Mathematics teaching, language policy and the political role of language: perspectives from around the world -- Reflections -- Index.…”
Link to Metadata

Planning Cities in Africa Current Issues and Future Prospects of Urban Governance and Planning /

Table of Contents: “…Textmarke nicht definiert -- Contributions of local authorities to community adaptive capacity to impacts of climate change; A case study of sea level rise in Pangani Division, Pangani District -- Part III: Participatory and multi-level governance approach toward current urban challenges -- Qualities of urban planning and the conflict between participatory planning and planning standards: Evidence from Ethiopia -- Complementing or conflicting rationalities? How self-production practices in collective space can shape urban planning. …”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata

A Primer of Real Analysis by Sloughter, Dan

Table of Contents: “…1 Fundamentals -- 1.1 Sets and relations -- 1.2 Functions -- 1.3 Rational numbers -- 1.4 Real Numbers -- 2 Sequences and Series -- 2.1 Sequences -- 2.2 Infinite series -- 3 Cardinality -- 3.1 Binary representations -- 3.2 Countable and uncountable sets -- 3.3 Power sets -- 4 Topology of the Real Line -- 4.1 Intervals -- 4.2 Open sets -- 4.3 Closed sets -- 4.4 Compact Sets -- 5 Limits and Continuity -- 5.1 Limits -- 5.2 Monotonic functions -- 5.3 Limits to infinity and infinite limits -- 5.4 Continuous Functions -- 6 Derivatives -- 6.1 Best linear approximations -- 6.2 Derivatives -- 6.3 Mean Value Theorem -- 6.4 Discontinuities of derivatives -- 6.5 l'Hˆopital's rule -- 6.6 Taylor's Theorem -- 7 Integrals -- 7.1 Upper and lower integrals -- 7.2 Integrals -- 7.3 Integrability conditions -- 7.4 Properties of integrals -- 7.5 The Fundamental Theorem of Calculus -- 7.6 Taylor's theorem revisited -- 7.7 An improper integral -- 8 More Functions -- 8.1 The arctangent function -- 8.2 The tangent function -- 8.3 The sine and cosine Functions -- 8.4 The logarithm function -- 8.5 The exponential function -- Index…”
Access online version

Knowledge and Institutions

Table of Contents: “…The Shared Challenges of Institutional Theories: Rational Choice, Historical Institutionalism andSociological Institutionalism (Henry Farrell) -- Chapter 9. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

The Responsible University Exploring the Nordic Context and Beyond /

Table of Contents: “…Massive Open Online Courses (MOOCs) and the responsible university: History and enacting rationalities for MOOC-initiatives at three Swedish universities; Linda Barman, Cormac McGrath and Christian Stöhr -- Chapter 6. …”
Link to Metadata

Ethics and Drug Resistance: Collective Responsibility for Global Public Health

Table of Contents: “…Introduction -- Part 1 Theoretical and conceptual approaches to ethics in antimicrobial resistance -- Chapter 1 The practical ethics of antimicrobial resistance as a collective action problem (Julian Savulescu) -- Chapter 2 Collective responsibility for antimicrobial resistance (Angus Dawson) -- Chapter 3 Moral aspects of antimicrobial stewardship (Marcel Verweij) -- Chapter 4 Ethical frameworks for rational antibiotic use (Annette Rid, Jasper Littmann, Alena Buyx) -- Chapter 5 The virtuous physician as antimicrobial prescriber (Justin Oakley) -- Chapter 6 Solidarity and compliance with antimicrobial policy (Søren Holm, Thomas Ploug) -- Chapter 7 Resistance, inequality, and epidemiological transition (Lynette Reid) -- Chapter 8 The price of precaution (Joakim Larsson, Christian Munthe) -- Part 2 Ethics and antimicrobial resistance in context -- Chapter 9 Hospital acquired infection (Lyn Gilbert & Ian Kerridge) -- Chapter 10 Antibiotic use in childhood (Michael Millar) -- Chapter 11 Ethics, animals, public goods (Jonny Anomaly) -- Chapter 12 Malaria (PY Cheah& Mike Parker) -- Chapter 13 Resistant HIV (Bridget Haire) -- Chapter 14 Access & availability of new TB drugs (Diego Silva, Adrian Viens, Jasper Littmann) -- Chapter 15 TB Resistance and Human rights (Leslie London) -- Chapter 16 TB Resistance in developing countries (Richard Coker, Marco Liverani, Mishal Khan) -- Chapter 17 Animal Epidemiology (Lisa Boden & Dominic Mellor) -- Part 3 Ethical, legal and economic aspects of antimicrobial resistance -- Chapter 18 Privacy and data collection(Leslie Francis) -- Chapter 19 Mandatory treatment interventions (Carl Coleman) -- Chapter 20 Ethics and AMR Regulation (Belinda Bennett) -- Chapter 21 Ethics of Drug Development (Nick King) -- Chapter 22 Economics of resistance (Coast/Smith) -- Conclusion.…”
Link to Metadata

The Meaning of Love by Garlikov, Richard

Table of Contents: “…Dedication and AcknowledgementsDisclaimerA Note Concerning GrammarIntroduction -- Chapter 1 Personal Versus Professional Relationships -- Chapter 2 Love, Some Popular Views -- Chapter 3 The Three Important Aspects of Relationships -- Chapter 4 The Emotional Aspect— Feelings -- Chapter 5 The Satisfaction Aspect -- Chapter 6 The Goodness and Badness (Ethical) Aspect -- Chapter 7 Independence of the Three Aspects of Relationships -- Chapter 8 The Meaning of Love -- Chapter 9 Infatuation, Friendship, and Love -- Chapter 10 Love at First Sight -- Chapter 11 Importance of Various (Kinds of) Satisfactions -- Chapter 12 Sex and Love -- Chapter 13 A Kiss Is Just a Kiss — The Impossibility of Sexual Communication -- Chapter 14 Being Loved For Yourself -- Chapter 15 Loving More Than One Person At the Same Time -- Chapter 16 Commitment and Loving More Than One Person -- Chapter 17 Rejection and Acceptance -- Chapter 18 Care and Concern -- Chapter 19 Love and Marriage -- Chapter 20 The Future of a Relationship -- Chapter 21 Love and Change and Rational Prediction -- Chapter 22 Jealousy -- Chapter 23 Independence and Sharing -- Chapter 24 “Meaningful” Relationships -- Chapter 25 Introduction to Ethics -- Chapter 26 Ethics — Seeking to Discover What the Highest Principles of Behavior and the Things of Greatest Value Are -- Chapter 27 Modification of the Analysis of Love -- Chapter 28 Good “For” and Good “To” -- Chapter 29 Ethical Principles and Spontaneity -- Chapter 30 Ethics and Sex -- Chapter 31 Sex and Intimacy -- Chapter 32 Relationships After Sex -- Chapter 33 Problems of the Inexperienced -- Chapter 34 On Being Used -- Chapter 35 The Causes of Feelings -- Chapter 36 Some Other Writers on Love -- Chapter 37 Some Personal Comments and Notions of a More Intuitive Nature -- GlossaryReferences…”
Access online version

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...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

The Intelligent Troglodyte’s Guide to Plato’s Republic by Drabkin, Douglas

Table of Contents: “…Book I -- 1 A Religious Festival in the Piraeus -- 2 Being Old -- 3 Treasure for Heaven -- 4 Giving What is Owed -- 5 The Craft of Justice -- 6 Benefiting Friends and Harming Enemies -- 7 The Advantage of the Stronger -- 8 The Good Shepherd -- 9 The Blushing Argument -- 10 Function, Virtue, and the Soul -- Book II -- 11 The Division of Goods -- 12 The Social Contract Theory of Justice -- 13 The Magic Ring -- 14 The Challenge -- 15 The Teaching of Justice -- 16 Glaucon's Lover -- 17 From Souls to Cities -- 18 Making the Most of Differences -- 19 Luxuries in the Just City -- 20 The Good Soldier -- 21 Censoring Homer -- 22 Gods Causing Bad Things -- 23 Gods in Disguise or Speaking Falsely -- Book III -- 24 Fear and Grief -- 25 Laughter and Lying -- 26 Lust, Wrath, and Greed -- 27 Narrative Style and Personal Integrity -- 28 The Emotional Power of Tune and Rhythm -- 29 Love of the Fine and Beautiful -- 30 Physical Training -- 31 Doctors and Judges -- 32 Harmony in the Soul -- 33 Rulers -- 34 The Myth of the Metals -- 35 Private Property and Private Interests -- Book IV -- 36 The City as a Whole -- 37 Lawfulness Internalized, Legislation Minimized -- 38 Wisdom in the City -- 39 Courage in the City -- 40 Temperance in the City -- 41 Justice in the City -- 42 Parts of the Soul ¬¬ Appetitive and Rational -- 43 The Spirited Part of the Soul -- 44 The Virtues of the Soul -- 45 Injustice is Sick -- Book V -- 46 A Desire to Listen -- 47 The Natures of Men and Women -- 48 Good Breeding -- 49 Families and the Saying of “Mine” and “Not Mine” -- 50 The Waging of War -- 51 Philosophers and Knowledge of the Forms -- Book VI -- 52 The Virtues of the Philosopher -- 53 Philosophical Perspective and the Fear of Death -- 54 The Uselessness of Philosophers -- 55 Gifted Students and the Sophists -- 56 Putting Knowledge of the Forms to Use -- 57 The Form of the Good -- 58 Every Soul Pursues the Good -- 59 The Sun -- 60 Degrees of Clarity (The Line) -- Book VII -- 61 The Cave -- 62 Two Kinds of Confusion -- 63 The Craft of Education -- 64 Compulsory Service for Philosophers -- 65 Numbers as Summoners -- 66 Further Mathematical Studies -- 67 Dialectic -- 68 Selecting Students for Philosophy -- 69 Abuses of Refutation -- 70 Completing the Education of the Rulers -- 71 Establishing Justice -- Book VIII -- 72 The Fall of the Aristocratic City -- 73 The Timocratic City -- 74 The Timocratic Soul -- 75 The Oligarchic City -- 76 The Oligarchic Soul -- 77 The Democratic City -- 78 The Democratic Soul -- 79 The Tyrannical City -- Book IX -- 80 Lawless Desires -- 81 The Right Way to Fall Asleep -- 82 The Tyrannical Soul -- 83 The First Proof: Analogy of City and Soul -- 84 The Second Proof: Who's to Say? …”
Access online version

Volume of hill estimation for engineering earth work / Nordianah Jusoh ... [et al.] by Jusoh, Nordianah, Ghazali, Noorzalianee, Jamaluddin, Siti Hafawati, Muhamad, Siti Nor Nadrah, Wan Ibrahim, Wan Juliyana, Md. Ali, Jamaludin, Wan Yaacob, Wan Mohd Zulkifle

Link Metadata