Zoekresultaten - LKL~

Understanding Society and Natural Resources Forging New Strands of Integration Across the Social Sciences /

Inhoudsopgave: “…: Jörg Friedrichs -- Chapter 11: Developing Social - Ecological Models of Emerging Infectious Disease: Melissa L. Finucane, Jefferson Fox, Sumeet Saksena, Jim Spencer -- Chapter 12: Social Perspectives on Land Degradation and Desertification: The Case of Migration and Conflict: Andreas Rechkemmer, Walter Amman,  Luc Gnacadja -- Chapter 13: Seeking Multilevel Dimensions for Social-Psychological Research in Society and Natural Resources: Mike Manfredo, Elke Weber, Tara Teel -- Part 3: Methodological Advances for Facilitating Social Science Integration: Chapter 14: Human Agency in Spatial Models of Land Change: Peter Verburg -- Chapter 15: Agent-based Modeling: Randall Boone, Kathleen Galvin -- Chapter 16: Social Network Analysis: Philip Vaughter and Jeff Broadbent -- Chapter 17: Systems and Learning Approaches for Integrating Social Sciences into Policy Processes: Kevin Collins.…”
Link to Metadata

PIDOTIMOD IN TREATMENT OF RECURRENT PHARYNGOTONSILLITIS door S. Di Filippo, S. Varacalli, F. Zardo

Connect to this object online.

PIDOTIMOD IN TREATMENT OF RECURRENT PHARYNGOTONSILLITIS door S. Di Filippo, S. Varacalli, F. Zardo

Connect to this object online.

To Be a Minority Teacher in a Foreign Culture Empirical Evidence from an International Perspective /

Inhoudsopgave: “…From Korea to USA: a self- study on professional trajectory of minority EFL teacher educator -- 10. Understanding cultural influences on minority teacher educators' pedagogical choices, agency and identity -- 11. …”
Link to Metadata

Technical Writing and Simple Statistics for laboratory classes door Wettstein, Stephanie G.

Inhoudsopgave: “…Statistics -- Descriptive Statistics -- Mean, Median, and Mode -- Outliers -- Standard Deviation -- Sample Variance -- Standard Error -- Confidence Interval -- Percent Error and Percent Difference -- Excel Tutorial: Performing Descriptive Statistics Using Excel -- Using Graphs to Display Data -- Line Graphs -- Bar Graphs -- Box Plots -- Error Bars -- Charts – What Not to Do -- Statistical Process Control & Process Control Charts -- Process Variation -- Making the Process Control Chart -- Example #1: Bullet Speeds All Data -- Example #2: Bullet Speeds with Narrower Specifications -- Linear Regression -- Performing Linear Regression -- Excel Tutorials: Performing Regression Analysis Using Excel -- Method 1: Using Excel Formulas -- Method 2: Using Excel Trendlines -- Method 3: Using Excel Data Analysis -- Example: Regression Analysis of Diameter Data -- Statistical Comparison of Two Regressed Slopes -- General Approach for Comparing Two Linearly Regressed Slopes -- Analysis Steps -- Example: Two Regressed Slopes that are Statistically Different -- Example Analysis: Regression Slope Comparison -- Example Two Regressed Slopes that are Not Statistically Different -- t-Tests -- Hypotheses -- Sample Collection and Determining Alpha -- Performing a t-test using Excel -- Interpret the Data -- References -- Writing -- The Writing Process -- Team Writing Strategies -- Meeting agendas and notes -- Agenda -- Notes -- Communication Components -- Abstract (or Summary) -- Background/Introduction -- Objective Statement -- Theory -- Methods -- Apparatus (or Equipment) -- Safety -- Experimental Protocol, Design, and Analysis -- Experimental Protocol -- Experimental Design -- Methods of Analysis -- Data Collection -- Results and Discussion -- Conclusions and Recommendations -- Sample Conclusion Paragraph -- References: Citing the work of others -- Citation Location -- Numerical Formatting -- Alphabetical Formatting -- Reference list/Bibliography -- Appendices -- Appendix -- Excel Tutorial: Using Equation Editor in Microsoft Word -- Step 1: Insert an Equation Region -- Step 2: Use Equation Tools Structures to Create Basic Equation Layout -- Step 3: Fill in the placeholders to complete the equation -- Cliff Notes/Shortcuts -- Excel Tutorial: Using Text Boxes -- Text Box Management: Three Examples -- VERSION 1: Textboxes Near Text Description -- VERSION 2: Textboxes at Bottom of Page -- VERSION 3: No Textboxes -- Excel Tutorial: Formatting Excel Charts for a Professional Look -- Templates -- Captions -- Inserting Symbols in Captions…”
Access online version

In Vitro Evaluation of the Antibacterial Effect of Photodynamic Therapy with Methylene Blue door Maria Helena Chaves de Vasconcelos Catão, Ana Luzia Araújo Batista

Connect to this object online.

Differential IL-13 Production by Small Intestinal Leukocytes in Active Coeliac Disease versus Refractory Coeliac Disease door Sascha Gross, Roy L. van Wanrooij, Petula Nijeboer, Kyra A. Gelderman, Saskia A. G. M. Cillessen, Gerrit A. Meijer, Chris J. J. Mulder, Gerd Bouma, B. Mary E. von Blomberg, Hetty J. Bontkes

Connect to this object online.

Angiopoietin-like 4 directs uptake of dietary fat away from adipose during fasting door Emily M. Cushing, Xun Chi, Kelli L. Sylvers, Shwetha K. Shetty, Matthew J. Potthoff, Brandon S.J. Davies

Connect to this object online.

Conceptualizing Environmental Citizenship for 21st Century Education

Inhoudsopgave: “…Hadjichambis, Daphne Goldman, Demetra Paraskeva-Hadjichambi, Per Sund, Louise Sund, Niklas Gericke, Daniela Conti -- PART IV: Environmental Citizenship in Educational Levels -- Environmental Citizenship in Primary Formal Education; Jan Čincera, Marta Romero-Ariza, Mirjana Zabic, Marianna Kalaitzidaki, María del Consuelo Díez-Bedmar -- Environmental Citizenship in the Context of Primary Non-Formal Education; Jelle Boeve-de Pauw, Rares Halbac-Zamfir -- Environmental Citizenship in Secondary Formal Education - The importance of curriculum and subject teachers; Niklas Gericke, Lihong Huang, Marie-Christine Knippels, Andri Christodoulou, Frans van Dam, Slaven Gasparovic -- Educating for Environmental Citizenship in Non-Formal Frameworks for Secondary Level Youth; Demetra Paraskeva-Hadjichambi, Daphne Goldman, Andreas Ch. …”
Link to Metadata

Nanoscale Photonic Imaging

Inhoudsopgave: “…Munk, K. Proksch, H. Li, and F. Werner) -- Efficient, Quantitative Numerical Methods for Statistical Image Deconvolution and Denoising (D. …”
Link to Metadata

Dialogue for Intercultural Understanding Placing Cultural Literacy at the Heart of Learning /

Inhoudsopgave: “…Michael Baker, Francoise Detienne, Lucas Bietti, Stephane Safin (for all CNRS - Centre national de la recherche scientifique), Baruch Schwarz (Hebrew University of Jerusalem), Benzi Slakmon (Tel Aviv University) & Talli Cedar (Hebrew University of Jerusalem) -- 7. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Inhoudsopgave: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Inhoudsopgave: “…The colour of god(s): Early processing mechanisms of an all-powerful entity as depicted through colour choices in drawings of gods (Christelle Cocco, Christine Mohr, Domicele Jonauskaite, Zhargalma Dandarova-Robert, Pierre-Yves Brandt) -- Chapter 6. …”
Link to Metadata

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

Inhoudsopgave: “…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 /

Inhoudsopgave: “…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

Remedies against Immunity? Reconciling International and Domestic Law after the Italian Constitutional Court's Sentenza 238/2014 /

Inhoudsopgave: “…Part I - Introduction: 1 Reconciling State Immunity with Recognition of War Victims in a Legal Pluriverse by Anne Peters and Valentina Volpe -- Part II - Immunity: 2 Right of Access to (Italian) Courts über alles? Legal Implications beyond Germany's Jurisdictional Immunity by Paolo Palchetti -- 3 The Illusion of Perfect Justice by Christian Tomuschat -- 4 Sentenza 238/2014: A Good Case for Law-Reform? …”
Link to Metadata

Genre in a Changing World

Inhoudsopgave: “…Swales -- From Speech Genres to Mediated Multimodal Genre Systems: Bakhtin, Voloshinov, and the Question of Writing, Paul Prior -- To Describe Genres: Problems and Strategies, Maria Antónia Coutinho and Florencia Miranda -- Relevance and Genre: Theoretical and Conceptual Interfaces, Fábio José Rauen -- Part 2: Genre and the Professions -- Accusation and Defense: The Ideational Metafunction of Language in the Genre Closing Argument, Cristiane Fuzer and Nina Célia Barros -- The Sociohistorical Constitution of the Genre Legal Booklet: A Critical Approach, Leonardo Mozdzenski -- Uptake and the Biomedical Subject, Kimberly K. Emmons -- Stories of Becoming: A Study of Novice Engineers Learning Genres of Their Profession, Natasha Artemeva -- The Dissertation as Multi-Genre: Many Readers, Many Readings, Anthony Paré, Doreen Starke-Meyerring, and Lynn McAlpine -- Part 3: Genre and Media -- The Distinction Between News and Reportage in the Brazilian Journalistic Context: A Matter of Degree, Adair Bonini -- The Organization and Functions of the Press Dossier: The Case of Media Discourse on the Environment in Portugal, Rui Ramos -- Multi-semiotic Communication in an Australian Broadsheet: A New News Story Genre, Helen Caple -- Narrative and Identity Formation: An Analysis of Media Personal Accounts from Patients of Cosmetic Plastic Surgery, Débora de Carvalho Figueiredo -- Part 4: Genre in Teaching and Learning -- Genre and Cognitive Development: Beyond Writing to Learn, Charles Bazerman -- Bakhtin Circle's Speech Genres Theory: Tools for a Transdisciplinary Analysis of Utterances in Didactic Practices, Roxane Helena Rodrigues Rojo -- The Role of Context in Academic Text Production and Writing Pedagogy, Désirée Motta-Roth -- Teaching Critical Genre Awareness, Amy Devitt -- Curricular Proposal of Santa Catarina State: Assessing the Route, Opening Paths, Maria Marta Furlanetto -- Intertextual Analysis of Finnish EFL Textbooks: Genre Embedding as Recontextualization, Salla Lähdesmäki -- Part 5: Genre in Writing Across the Curriculum -- Exploring Notions of Genre in "Academic Literacies" and "Writing Across the Curriculum": Approaches Across Countries and Contexts , David R. …”
Access online version

Slavery to Liberation The African American Experience door Farrington, Joshua, Powell, Norman W., Graham, Gwendolyn, Anyanwu, Ogechi E.

Inhoudsopgave: “…Lower -- Ch. 10: "Fire on the Hills" : The All-Black 2nd Ranger Infantry Company, by James Sandy -- Ch. 11: Prophecy in the Streets: Prophetic Christianity and the Civil Rights Movement, by Richard Thomas -- Ch. 12: “The Whole Matter Revolves around the Self-Respect of My People”: Black Conservative Women in the Civil Rights Era, by Joshua D. …”
Access online version

Lipoprotein lipase as a target for obesity/diabetes related cardiovascular disease door Rui Shang, Brian Rodrigues

Connect to this object online.

Brown adipose tissue derived ANGPTL4 controls glucose and lipid metabolism and regulates thermogenesis door Abhishek K. Singh, Binod Aryal, Balkrishna Chaube, Noemi Rotllan, Luis Varela, Tamas L. Horvath, Yajaira Suárez, Carlos Fernández-Hernando

Connect to this object online.