Research Ethics for Students in the Social Sciences by Bos, Jaap

Table of Contents: “…Science and Politics -- Part IV: Forms, Codes and of types Regulations -- Chapter 9. Research Ethics Step by Step -- Appendix -- Indexes.…”
Link to Metadata

Mnemonic Solidarity Global Interventions /

Table of Contents: “…Eddies and Entanglements: Africa and the Global Mnemoscape- Lauren van der Rede and Aidan Erasmus.…”
Link to Metadata

Placing the History of College Writing Stories from the Incomplete Archive by Shepley, Nathan

Table of Contents: “…Front Matter -- Acknowledgments -- Chapter One: Placing History, Historicizing Place -- Chapter Two: Customizing Composition: Students Broadening Behavioral Codes -- Chapter Three: Tracking Lines of Communication: Student Writing as a Response to Civic Issues -- Chapter Four: Composition on Display: Students Performing College Competence -- Chapter Five: Rethinking Links Between Histories of Composition -- Chapter Six: Composition as Literacy, Discourse, and Rhetoric -- Works Cited -- Glossary…”
Access online version

Object-Oriented Reengineering Patterns by Demeyer, Serge, Ducasse, Stéphane, Nierstrasz, Oscar

Table of Contents: “…-- Chapter 7: Migration Strategies -- Chapter 8: Detecting Duplicated Code -- Chapter 9: Redistribute Responsibilities -- Chapter 10: Transform Conditionals to Polymorphism…”
Access online version

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Guide to Ancient Near Eastern Art

Table of Contents: “…Visiting Babylon today -- 14. Law Code Stele of King Hammurabi -- 15. Law Code Stele of King Hammurabi -- 16. …”
Access online version

Bioimage Data Analysis Workflows ‒ Advanced Components and Methods

Table of Contents: “…Introduction -- Batch Processing Methods in ImageJ -- Python: Data Handling, Analysis and Plotting -- Building a Bioimage Analysis Workflow Using Deep Learning -- GPU-Accelerating ImageJ Macro Image Processing Workflows Using CLIJ -- How to Do the Deconstruction of Bioimage Analysis Workflows: A Case Study with SurfCut -- i.2.i. with the (Fruit) Fly: Quantifying Position Effect Variegation in Drosophila Melanogaster -- A MATLAB Pipeline for Spatiotemporal Quantification of Monolayer Cell Migration.…”
Link to Metadata

Pharo by Example 5.0 by Ducasse, Stéphane, Zagidulin, Dmitri, Hess, Nicolai, Chloupis, Dimitris

Table of Contents: “…1 Preface -- 2 A quick tour of Pharo -- 3 A first application -- 4 Syntax in a nutshell -- 5 Understanding message syntax -- 6 The Pharo object model -- 7 Some of the key tools of the Pharo environment -- 8 Sharing code and source control -- 9 S Unit -- 10 Basic classes -- 11 Collections -- 12 Streams -- 13 Morphic -- 14 Seaside by example -- 15 Classes and metaclasses -- 16 Reflection -- 17 Regular expressions in Pharo…”
Access online version

Inside Asylum Bureaucracy: Organizing Refugee Status Determination in Austria by Dahlvik, Julia

Table of Contents: “…Foreword -- Acknowledgements -- Part I: Claiming asylum in the 21st century: an institutional perspective -- 1.Introduction -- 2.Determining refugee status in the European context: the legal and institutional framework -- Part II: Setting the scene: the context and circumstances of work at the Federal Asylum Office -- 3.The organization: structure, environment and socialization -- 4.The asylum interview as a magnifying glass for key issues: conflicting norms, power struggles, and actors' strategies -- 5.Regulation vs. room for maneuver -- 6.Definitiveness vs. uncertainty -- 7.The human individual vs. the faceless case -- 8.Responsibility vs. dissociation -- Part IV: Conclusion and prospects: theorizing public officials' practices and practical ways ahead -- 9.Practices in focus: the dilemmas that evoke them and the effects they have -- 10.Practical implications: how to deal with structural dilemmas? …”
Link to Metadata

Government Regulation and the Legal Environment of Business by Mayer, Don, Warner, Daniel, Siedel, George, Lieberman, Jethro K.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Contracts -- Chapter 9: Consumer Credit Transactions -- Chapter 10: Secured Transactions and Suretyship -- Chapter 11: Mortgages and Nonconsensual Liens -- Chapter 12: Bankruptcy -- Chapter 13: Intellectual Property -- Chapter 14: The Nature and Regulation of Real Estate and the Environment -- Chapter 15: Securities Regulation -- Chapter 16: Antitrust Law -- Chapter 17: Unfair Trade Practices and the Federal Trade Commission -- Chapter 18: Employment Law -- Chapter 19: Labor-Management Relations -- Chapter 20: International Law…”
Access online version

Living with Earthquakes in the Pacific Northwest by Yeats, Robert S.

Table of Contents: “…Earthquake Design of Large Structures -- 13. The Federal Government and Earthquakes -- 14. The Role of State and Local Government -- 15. …”
Access online version

Law 101 Fundamentals of the Law by Martella, Michael H.

Table of Contents: “…Chapter 1 – Major Factors In Choosing And Working With An Attorney -- Chapter 2 – Comparing And Contrasting Civil And Criminal Law -- Chapter 3 – New York State And Federal Court Structure And Sources Of Law -- Chapter 4 – How The United States And New York State Constitutions Affects Our Lives -- Chapter 5 – The Path Of A New York State Criminal Case -- Chapter 6 – Traffic Stops & DWI -- Chapter 7 – Discrimination Law -- Chapter 8 – The Path Of A Civil Tort Case -- Chapter 9 – Marriage, Divorce And Family Law -- Chapter 10 – Common Estate Planning Processes And Documents -- Chapter 11 – Taxes -- Chapter 12 – Real Estate Transfers -- Chapter 13 – Residential Lease Transactions -- Chapter 14 – Elements Of A Contract, Consumer Protections, And Bankruptcy -- Chapter 15 – Privacy --…”
Access online version

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

Access to Medicines and Vaccines Implementing Flexibilities Under Intellectual Property Law /

Table of Contents: “…Interpreting the flexibilities under the TRIPS agreement -- Intellectual Property Exhaustion and Parallel Imports of Pharmaceuticals: A Comparative and Critical Review -- Compulsory license and government use -- Access to genome editing technologies -- Bolar exception -- Patent oppositions in India -- Protection of clinical test data -- Courts and Pharmaceutical Patents -- Robust Patent Examination or Deep Harmonization? Cooperation and Work Sharing between Patent Offices -- IPRs, Competition Law and excessive pricing of medicines -- The impact of TRIPS plus rules -- Patent Linkages and its Impact on Access to Medicines.…”
Link to Metadata

Prevention and Treatment of Atherosclerosis Improving State-of-the-Art Management and Search for Novel Targets /

Table of Contents: “…Diet, Life Style, Smoking -- Blood Pressure Lowering -- Glycemic Control in Diabetes -- LDL-Cholesterol Lowering -- Antithrombotic Therapy (Platelet Inhibition, Anti-coagulation) -- Triglyceride Rich Lipoproteins -- HDL -- Lipoprotein(a) -- Obesity, Non-alcoholic Fatty Liver Disease, and Metabolic Syndrome -- Nutraceuticals / Functional Food -- Adipose Tissue (WAT, BAT) -- Microbiota and Cardiometabolic Disease -- SMCs, Matrix -- Immune Modulation -- NETs and Neutrophils -- Genomic Strategies Towards Identification of Novel Therapeutic Targets -- Non Coding RNAs -- Metabolomics, Lipidomics -- Epigenomics.…”
Link to Metadata

Bildverarbeitung in der Automation Ausgewählte Beiträge des Jahreskolloquiums BVAu 2022 /

Table of Contents: “…Anomaly Detection for Automated Visual Inspection: A Review -- Bewertungsmetrik für die Bildqualität bei automatisierten optischen Inspektionsanwendungen -- DSGVO-konforme Personendetektion in 3D-LiDAR-Daten mittels Deep Learning Verfahren -- Advanced Feature Extraction Workflow for Few Shot Object Recognition -- The RRDS, an Improved Animal Experimentation System for More Animal Welfare and More Accurate Results -- A Study on Data Augmentation Techniques for Visual Defect Detection in Manufacturing -- Creating Synthetic Training Data for Machine Vision Quality Gates.…”
Link to Metadata

Introduction to Physical Oceanography by Stewart, Robert H.

Table of Contents: “…1 A Voyage of Discovery -- 2 The Historical Setting -- 3 The Physical Setting -- 4 Atmospheric Influences -- 5 The Oceanic Heat Budget -- 6 Temperature, Salinity, and Density -- 7 The Equations of Motion -- 8 Equations of Motion With Viscosity -- 9 Response of the Upper Ocean to Winds -- 10 Geostrophic Currents -- 11 Wind Driven Ocean Circulation -- 12 Vorticity in the Ocean -- 13 Deep Circulation in the Ocean -- 14 Equatorial Processes -- 15 Numerical Models -- 16 Ocean Waves -- 17 Coastal Processes and Tides…”
Access online version

Methods of Teaching Early Literacy by Gurjar, Nandita, Meacham, Sohyun, Beecher, Constance

Table of Contents: “…Phonics: Breaking the Code to Words -- Chapter 5. Supporting Literacy Learning in the Early Childhood Classroom -- Chapter 6. …”
Access online version

The Future of Election Administration Cases and Conversations /

Table of Contents: “…Inter-Organizational Implementation: Carrying Out a Federal Court Order in Alabama -- 3. Reflections on the Creation and Implementation of Voting System Guidelines -- 4. …”
Link to Metadata

Hypergraph Computation by Dai, Qionghai, Gao, Yue

Table of Contents: “…Hypergraph Computation for Computer Vision -- Chapter 12.The Deep Hypergraph Library -- Chapter 13. Conclusions and Future Work.…”
Link to Metadata