Search Results - Mushk~

Energy Demand Challenges in Europe Implications for policy, planning and practice /

Table of Contents: “…Chapter 1: An introduction to energy demand challenges in Europe; Frances Fahy and Gary Goggins -- Chapter 2: Framing the sustainable energy challenge and implications for solutions; Charlotte Louise Jensen, Inge Røpke, Gary Goggins and Frances Fahy -- Chapter 3: The impact of German energy policy on household energy use; Eoin Grealis, Annika-Kathrin Musch and Henrike Rau -- Chapter 4: The role of households in Danish energy policy: Visions and contradictions; Inge Røpke, Charlotte Louise Jensen and Maj-Britt Quitzau -- Chapter 5: Reducing residential carbon emissions in Ireland: Challenges and policy responses; Gary Goggins, Frances Fahy and Eimear Heaslip -- Chapter 6: UK responses to the energy challenge: Dominant framings and new imaginaries; Marfuga Iskandarova and Audley Genus -- Chapter 7: Turning off the gas tap: Sustainable energy policies, practices and prospects in the Netherlands; Julia Backhaus -- Chapter 8: The energy challenge in Hungary: A need for more complex approaches; Edina Vadovics -- Chapter 9: Slovenia: Focus on energy efficiency, community energy projects and energy poverty; Lidija Živčič and Tomislav Tkalec -- Chapter 10: From efficiency to sufficiency: Insights from the Swiss energy transition; Laure Dobigny and Marlyne Sahakian -- Chapter 11: Sustainable energy consumption and energy poverty: Challenges and trends in Bulgaria; Marko Hajdinjak and Desislava Asenova -- Chapter 12: Finnish energy policy in transition; Eva Heiskanen, Senja Laakso and Kaisa Matschoss -- Chapter 13: Comparing household energy use across Europe: Uncovering opportunities for sustainable transformation; Patrick Naef, Marlyne Sahakian and Gary Goggins.…”
Link to Metadata

A Person-Centered Guide to Demystifying Technology Working together to observe, question, design, prototype, and implement/reject technology in support of people's valued beings an... by Wolske, Martin

Table of Contents: “…Introduction to the Book -- -- Orange Unit: A Person-Centered Launch -- -- 1A: Information Systems -- -- 1B: Introduction to Electronic Circuits -- -- 2A: Critical Social + Technical Perspective -- -- 2B: Electronic Components in Series -- -- 3A: The Unknown Tech Innovators -- -- 3B: Computer Building Blocks -- -- 4A: Storytelling in the Information Sciences -- -- 4B: Meet the Microcomputer -- -- 4C: Getting Started with the Raspberry Pi -- -- 4D: Coding Electronics -- -- Orange Unit Review -- -- Blue Unit: Computational Tinkering -- -- 1A: The Logic of Hardware and Programming -- -- 1B: Essential Coding Concepts -- -- 2A: The Methodological Landscape -- -- 2B: Make Music with Code -- -- 3A: Valued, Inclusive Information and Computing Technology Experiences -- -- 3B: Build Functions for Remixable Code -- -- 4A: Sharing Our Counterstories -- -- 4B: Raspberry Pi Counterstory Little Free Library -- -- Blue Unit Review -- -- REMIX: Ideating and Iterating Code: Scratch Example -- -- Rainbow Unit: Networks Big and Small -- -- 1A: Programmable Electronics, Smart Technology, and the Internet of Things -- -- 1B: Connecting Our Electronic ‘Thing’ to a Wider World -- -- 2A: Digital Internets, Past and Present -- -- 2B: The Infrastructure of the Internet -- -- 3A: The Digitization of Divides -- -- 3B: A Person-Centered Network Information System Adventure -- -- 4A: Recovering Community: Designing for Social Justice -- -- 4B: Community-Centered Design: An Emergent Strategy for Community Organizing and Action -- -- Rainbow Unit Review -- -- Introducing the Unix Command Line -- -- Raspberry Pi Networking 1010 -- -- Network Troubleshooting -- -- Security and Privacy -- -- Glossary -- -- Bibliography…”
Access online version

Evidence and Expertise in Nordic Education Policy A Comparative Network Analysis /

Table of Contents: “…Evidence-based Policymaking in Nordic Countries: Different Settings, Different Practices? -- How Much is Policy Advice Changed and Lost in Political Translation? …”
Link to Metadata

Software for Exascale Computing - SPPEXA 2016-2019

Table of Contents: “…ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters.…”
Link to Metadata

Mobilities on the Margins Creative Processes of Place-Making /

Table of Contents: “…Infrastructural encounters in North Greenland (Mette Simonsen Abildgaard) -- Chapter 12. Rush hour in a national park - mobile encounters in a peripheral tourism landscape (Minna Nousiainen, Outi Rantala and Seija Tuulentie) -- Chapter 13. …”
Link to Metadata

Nuel Belnap on Indeterminism and Free Action

Table of Contents: “…Introduction: The many branches of Belnap's knowledge; Müller, Thomas -- Decisions in branching time; Bartha; Paul -- Internalizing case-relative truth in CIFOL+; Belnap, Nuel -- A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes; Broersen, Jan -- Worlds Enough, and Time: Musings on Foundations; Brown, Mark -- Open Futures in the Foundations of Propositional Logic; Garson, James W -- On Saying What Will Be; Green, Mitchell -- The Intelligibility Question For Free Will: Agency, Choice And Branching Time; Kane, Robert -- What William of Ockham and Luis de Molina would have said to Nuel Belnap: A Discussion of some Arguments Against "The Thin Red Line"; Øhrstrøm, Peter -- Branching for general relativists; Placek, Tomasz -- Some examples formulated in a `seeing to it that' logic: Illustrations, observations, problems; Sergot, Marek -- In Retrospect: Can BST models be reinterpreted for what decisions, speciation events and ontogeny might have in common?…”
Link to Metadata

Soft Power and Great-Power Competition Shifting Sands in the Balance of Power Between the United States and China / by Nye, Joseph S.

Table of Contents: “…-- After the Liberal International Order -- As China Rises, Must Others Bow? -- The Rise of China's Soft Power -- Hard Decisions on Soft Power: Opportunities and Difficulties for Chinese Soft Power -- Xi Jinping's Marco Polo Strategy -- China's Soft and Sharp Power -- Perspectives for a China Strategy -- The 'Nye Report': Six Years Later -- The Dollar and the Dragon -- Is China Overtaking America? …”
Link to Metadata

Ovid, Amores (Book 1) by Turpin, William

Table of Contents: “…Chapter 1: The Life of Ovid -- Chapter 2: The Amores -- Chapter 3: The Manuscript Tradition of Ovid's Amores by Bart Huelsenbeck, with the assistance of Dan Plekhov -- Chapter 4: Select Bibliography -- Chapter 5: Scansion -- Chapter 6: Epigram: preface from the author -- Chapter 7: Amores 1.1: Ovid finds his muse -- Chapter 8: Amores 1.2: Conquered by Cupid -- Chapter 9: Amores 1.3: Just give me a chance -- Chapter 10: Amores 1.4: Secret signs -- Chapter 11: Amores 1.5: The siesta -- Chapter 12: Amores 1.6: On the doorstep -- Chapter 13: Amores 1.7: Violence and love -- Chapter 14: Amores 1.8: The bad influence -- Chapter 15: Amores 1.9: Love and war -- Chapter 16: Amores 1.10: Love for sale -- Chapter 17: Amores 1.11: Sending a message -- Chapter 18: Amores 1.12: Shooting messengers -- Chapter 19: Amores 1.13: Oh how I hate to get up in the morning -- Chapter 20: Amores 1.14: Bad hair -- Chapter 21: Amores 1.15: Poetic immortality -- Full vocabulary for Ovid's Amores, Book 1…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

West African Youth Challenges and Opportunity Pathways

Table of Contents: “…Burden, Drivers, and Impacts of Poor Mental Health in Young People of West and Central Africa: Implications for Research and Programming; Kenneth Juma, Frederick Wekesah, Boniface Ushie, Caroline W. Kabiru, and Chimaraoke Izugbara.…”
Link to Metadata

Biotechnologies for Plant Mutation Breeding Protocols /

Table of Contents: “…Mutagenesis for Crop Breeding and Functional Genomics -- Chemical and Physical Mutagenesis in Jatropha curcas -- Chemical Mutagenesis and Chimera Dissolution in Vegetatively Propagated Banana -- Mutation Induction Using Gamma Irradiation and Embryogenic Cell Suspensions in Plantain (Musa spp.) -- Optimization of Somatic Embryogenesis in Cassava -- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU -- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen -- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley -- Field Evaluation of Mutagenized Rice Material -- Root Phenotyping Pipeline for Cereal Plants -- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization -- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations -- Protocols for Proteome Analyses of Jatropha curcas -- Low-Cost Methods for DNA Extraction and Quantification -- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery -- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage -- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery -- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species -- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) -- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice.…”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Alternatives to Animal Testing Proceedings of Asian Congress 2016 /

Table of Contents: “…Futuristic approach to alternative model organisms: Hydra stakes its claim -- 15. The Lush Prize and Young Researcher Asia Awards 2016.…”
Link to Metadata

Entertainment-Education Behind the Scenes Case Studies for Theory and Practice /

Table of Contents: “…The Emotional Flow Hypothesis in Entertainment-Education Narratives: Theory, Empirical Evidence, and Open Questions -- 8. Music and Culture in Entertainment-Education -- 9. …”
Link to Metadata

Lived Nation as the History of Experiences and Emotions in Finland, 1800-2000

Table of Contents: “…Divided Nation on Records: The Transnational Formation of Finnish Popular Music During the Gramophone Fever- Marko Tikka & Sami Suodenjoki -- 7. …”
Link to Metadata

Contemporary Nordic Literature and Spatiality

Table of Contents: “…"The World in a Small Rectangle": Spatialities in Monika Fagerholm's Novels -- 13. The Miracle of the Mesh: Global Imaginary and Ecological Thinking in Ralf Andtbacka's Wunderkammer.…”
Link to Metadata

Reliability and Validity of International Large-Scale Assessment Understanding IEA's Comparative Studies of Student Achievement /

Table of Contents: “…Foreword; Dirk Hastedt -- 1 Introduction to Reliability and Validity of International Large-Scale Assessment; Hans Wagemaker -- 2 Study Design and Evolution, and the Imperatives of Reliability and Validity; Hans Wagemaker -- 3 Framework Development in International Large-Scale Assessment Studies; John Ainley and Wolfram Schulz -- 4 Assessment Content Development; Liz Twist and Julian Fraillon -- 5 Questionnaire Development in International Large-Scale Assessment Studies; Wolfram Schulz and Ralph Carstens -- 6 Translation: The Preparation of National Language Versions of Assessment Instruments; Paula Korsnakova, Steve Dept, and David Ebbs -- 7 Sampling, Weighting, and Variance Estimation; Sabine Meinck -- 8 Quality Control during Data Collection: Refining for Rigor; Lauren Musu, Sandra Dohr, and Andrea Netten -- 9 Post-collection Data Capture, Processing, and Scoring; Alena Becker -- 10 Technology and Assessment; Heiko Sibberns -- 11 Ensuring Validity in International Comparisons Using State-of-the-art Psychometric Methodologies; Matthias von Davier, Eugene Gonzalez, and Wolfram Schulz -- 12 Publishing and Dissemination; Seamus Hegarty and Sive Finlay -- 13 Consequential Validity: Data Access, Data Use, Analytical Support, and Training; Sabine Meinck, Eugene Gonzalez, and Hans Wagemaker -- 14 Using IEA Studies to Inform Policymaking and Program Development: The Case of Singapore; Hui Leng Ng, Chew Leng Poon, and Elizabeth Pang -- 15 Understanding the Policy Influence of International Large-Scale Assessments in Education; David Rutkowski, Greg Thompson, and Leslie Rutkowski.-.…”
Link to Metadata

Knowledge and Civil Society

Table of Contents: “…Seeding a New World: Lessons From the #FeesMustFall Movement for the Advancement of Social Justice -- Chapter 14. …”
Link to Metadata

Precision Oncology and Cancer Biomarkers Issues at Stake and Matters of Concern /

Table of Contents: “…Precision health and ethical ambiguity: How much cancer can we afford to prevent? (Leonard Fleck) -- Chapter 10. …”
Link to Metadata

Knowledge and Action

Table of Contents: “…Perverse Expertise and the Social Unconscious in the Making of Crisis: Richard Peet -- 6. How Much Knowledge Is Necessary for Action?: Joachim Funke -- 7. …”
Link to Metadata