The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Table of Contents: “…Software Driven Networks, Virtualisation, Programmability and Autonomic Management -- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) -- The NEBULA Future Internet Architecture -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T -- Towards a Minimal Core for Information-Centric Networking -- Managing QoS for Future Internet Applications over Virtual Sensor Networks -- High Availability in the Future Internet -- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation -- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds -- Cloud-Based Evaluation Framework for Big Data -- Optimizing Service Ecosystems in the Cloud -- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles -- Towards a Secure Network Virtualization Architecture for the Future Internet -- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures -- Internet of Things -- IoT6 - Moving to an IPv6-Based Future IoT -- SmartSantander: Internet of Things Research and Innovation through Citizen Participation -- A Cognitive Management Framework for Empowering the Internet of Things -- Building Modular Middlewares for the Internet of Things with OSGi -- Towards an Architecture for Future Internet Applications -- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability -- Test-Enabled Architecture for IoT Service Creation and Provisioning -- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet -- The EARTH Project -- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces -- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices -- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities -- User Involvement in Future Internet Projects -- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play -- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life -- CONCORD Project Management of the Future Internet -- FLAMINGO NoE Project Management of the Future Internet -- The GEYSERS Concept and Major Outcomes -- iCore: A Cognitive Management Framework for the Internet of Things -- IoT6 Project in a Nutshell -- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand -- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet -- The SmartSantander Project -- UniverSelf, Realizing Autonomics for Future Networks.…”
Link to Metadata

Wissenschaft und Gesellschaft: Ein vertrauensvoller Dialog Positionen und Perspektiven der Wissenschaftskommunikation heute /

Table of Contents: “…Wissenschaft und Journalismus als Partner im Ringen um faktenbasierte Erkenntnisse -- Wissenschaftskommunikation und Social Media: Skepsis, Polarisierung und Vertrauen -- "So wie Müller reden nur Dogmatiker." Das Format "Müllers Memo" bei Spiegel Online: ein Werkstattbericht -- Woher nehmen und nicht stehlen? …”
Link to Metadata

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

AI in Learning: Designing the Future

Table of Contents: “….-13.Multiple users' experiences of an AI-aided educational platform for teaching and learning. 14.Deep Learning in Automatic Math Word Problem Solvers. 15.Recent Advances in Intelligent Textbooks for Better Learning -- Part IV. …”
Link to Metadata

Media Innovation and Entrepreneurship

Table of Contents: “…-- Looking Ahead -- Ideation -- Ideation -- Looking Ahead -- Customer Discovery -- Customer Discovery for Content and Tech Startups -- Looking Ahead -- Business Models for Content & Technology Ventures -- Business Models for Content and Technology Plays -- From the Field: Refining Our Business Plan Was the Key to Attracting Our First Investor -- From the Field: Writing a Business Plan & Budget -- Nonprofit Model Development -- Nonprofit Model Development -- From the Field: The Knoxville Experiment -- Exercise: Being a Media Nonprofit -- Freelancing as Entrepreneurship and Consulting as Business Models -- Freelancing as Entrepreneurship and Consulting as Business Models -- From the Field: How to Get and Keep Gigs as a Freelance Journalist -- From the Field: How I Ditched the 9 to 5 and Built a Business I Could Live With -- Looking Ahead -- Startup Funding -- Startup Funding: Introduction -- Startup Funding: Why Funding -- Startup Funding: Traditional Venture Funding -- Startup Funding: Nontraditional Funding Sources -- Startup Funding: Crowdfunding -- From the Field: Friends, Family and Fools Funding -- From the Field: The Journey from Listening to Leader -- From the Field: Your Kickstarter Campaign is a Story -- Looking Ahead -- Pitching Ideas -- Pitching Ideas -- From the Field: The Perfect Pitch -- Looking Ahead -- Marketing Your Venture to Audiences -- Marketing Your Venture to Audiences -- Marketing Your Venture: Engagement and Analytics -- Looking Ahead -- Entrepreneurship Abroad: Cultural and International Perspectives and Challenges -- Entrepreneurship Abroad: Cultural and International Perspectives and Challenges -- From the Field: A Short History of Silicon Valley -- Planned AdditionsInstructor ResourcesGlossaryAcknowledgementsAbout the AuthorsCover CreditsLicense & Remixing InformationHelp to Expand This Book!…”
Access online version

National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /

Table of Contents: “…Mathematics for teams - Developing thinking skills in mathematics education; Monica Wijers, Dédé de Haan -- 3. Task contexts in Dutch mathematics education; Pauline Vos -- 4. …”
Link to Metadata

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

Table of Contents: “…Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop -- Probability Estimation of Uncertain Process Trace Realizations -- Visualizing Trace Variants From Partially Ordered Event Data -- Analyzing Multi-level BOM-structured Event Data -- Linac: A Smart Environment Simulator of Human Activities -- Root Cause Analysis in Process Mining with Probabilistic Temporal Logic -- xPM: A Framework for Process Mining with Exogenous Data -- A Bridging Model for Process Mining and IoT -- Exploiting Instance Graphs and Graph Neural Networks for next activity prediction -- Can deep neural networks learn process modelstructure? …”
Link to Metadata

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

Table of Contents: “…Multi-robot systems: bio-inspired concepts and deployment challenges (Vivek Shankar Varadharajan and Giovanni Beltrame) -- Chapter 12 - The Embedded design process: CAD/CAM and prototyping (Eddi Pianca) -- PART III: Interaction Design -- Chapter 13 - Social robots: Principles of interaction design and user studies (Janie Busby Grant & Damith Herath) -- Chapter 14 - Safety first: On the safe deployment of robotic systems (Bruno Belzile and David St-Onge) -- Chapter 15 - Managing the world complexity: from linear regression to deep learning (Yann Bouteiller) -- Chapter 16 - Robot ethics: Ethical design considerations (Dylan Cawthorne) -- Chapter 17 - Robot Hexapod Build Labs (David Hinwood and Damith Herath) -- Chapter 18 - ROS Mobile Manipulator labs (David St-Onge, Corentin Boucher and Bruno Belzile).…”
Link to Metadata

The Palgrave Handbook of Digital Russia Studies

Table of Contents: “…Studying ideational change in Russian politics with topic models and word embeddings -- 27. Deep Learning for the Russian Language -- 28. Automatic Sentiment Analysis of Texts: Case of Russian -- 29. …”
Link to Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Migration and Social Protection in Europe and Beyond (Volume 3) A Focus on Non-EU Sending States /

Table of Contents: “…Access to Social Protection by Immigrants, Emigrants and Resident Nationals in the Russian Federation: Daria Popova -- 15. Diaspora Policies, Consular Services and Social Protection for Russian Citizens Abroad: Anna Prokhorova -- 16. …”
Link to Metadata

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

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Digital Transformation of the Design, Construction and Management Processes of the Built Environment

Table of Contents: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
Link to Metadata

Financial Crisis Management and Democracy Lessons from Europe and Latin America /

Table of Contents: “…Chapter 1: Introduction -- Part I: Global Economic Crisis -- Chapter 2: The Road from Prosperity into the Crisis: The Long Cycle of Post-War Economic, Social and Political Development -- Chapter 3: The Systemic Nature of the Global Crisis and Some Principles for Tackling it -- Part II: Regional Governance and Crisis Management in Europe and Latin America -- Chapter 4: EU's Double Democratic Deficit -- Chapter 5: European Union's Democratic Legitimacy after the MoUs: The Political Legacy of an Economic Crisis -- Chapter 6: Finance Capitalism and Democracy: The Case of the Financial Transactions Tax -- Chapter 7: Regional Governance and Macroeconomic Crisis Management in Latin America -- Part III: Impact of the Crisis in Europe and Latin America: National Level -- Chapter 8: Managing the Crisis in Greece: The Missing Link Between External Conditionality and Domestic Political Economy -- Chapter 9: The Crisis, its Management and Impact on Equity and Democracy in Portugal and Possible Consequences for the EU -- Chapter 10: The 2011 Crisis in Italy: A Story of Deep Rooted (and Still Unresolved) Economic and Political Weaknesses -- Chapter 11: Latin American Economic Crises and Populist Bids: Argentina, Brazil and Mexico -- Chapter 12: The Fall of a Giant: Greed, Corruption and Abuse of Power Undermining Democracy in Brazil -- Chapter 13: Venezuela in Crisis - Governance, Equity and Democracy -- Part IV: Impact of the Crisis in Europe and Latin America: Regional Level -- Chapter 14: The Rise of Right-wing Populism in Europe: A Psychoanalytical Contribution -- Chapter 15: European Economic Governance and Rising Sovereignism -- Chapter 16: Eurozone Crisis Management and the Growth of Opposition to European Integration -- Chapter 17: A 'Pink Tide' Than a 'Turn to the Right': Populisms and Extremism in Latin America in the 21st Century -- Chapter 18: The Impact of the Global Financial Crisis on Latin American Regionalism and Beyond -- Part V: Conclusions -- Chapter 19: Comparing the Crises in Europe and Latin America: Causes, Management and Consequences -- Part VI: Reform Proposals -- Chapter 20: Financial Instability, Climate Change and the 'Digital Colonization' of Europe: Some Unconventional Proposals -- Chapter 21: Promoting Investment in the European Union, Evaluating the Junker Plan -- Chapter 22: Proposal for a Pact for National Responsibility Through EU Solidarity within the Present EU Architecture -- Chapter 23: Proposals for Reforms and Democratization of the EMU -- Chapter 24: Operational Proposal for an EU-CELAC Strategic Alliance -- Chapter 25: Epilogue - Financial Crises, Regionalism and Domestic Adjustment.…”
Link to Metadata

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

Table of Contents: “…Numerical analyses of children's drawings of god(s): an approach based on computer vision and mathematical methods (Christelle Cocco, Raphaël Ceré) -- Chapter 7. Emotional expression in children's drawings of God according to age, gender and religiosity (Richard P. …”
Link to Metadata

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

Table of Contents: “…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 /

Table of Contents: “…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

Make Life Visible

Table of Contents: “…Photoacoustic Tomography: Deep Tissue Imaging by Ultrasonically Beating Optical Diffusion -- Chapter 2. …”
Link to Metadata

Writing in Knowledge Societies by Starke-Meyerring, Doreen, Paré, Anthony, Artemeva, Natasha, Horne, Miriam, Yousoubova, Larissa

Table of Contents: “…Rogers and Olivia Walling -- Reinventing WAC (again): The First-Year Seminar and Academic Literacy, Doug Brent -- A Code of Ethics as a Collaborative Learning Tool: Comparing a Face-to-Face Engineering Team and Multidisciplinary Online Teams, Anne Parker and Amanda Goldrick-Jones -- "An Engrained Part of My Career": The Formation of a Knowledge Worker in the Dual Space of Engineering Knowledge and Rhetorical Process, Natasha Artemeva -- International Students and Identity: Resisting Dominant Ways of Writing and Knowing in Academe, Heekyeong Lee and Mary H. …”
Access online version

British Literature I Anthology From the Middle Ages to Neoclassicism and the Eighteenth Century

Table of Contents: “…Part 1: The Middle Ages -- 1.1 Learning Outcomes -- 1.2 Introduction -- 1.3 Recommended Reading -- 1.4 The Dream of the Rood -- 1.5 Beowulf -- 1.6 Judith -- 1.7 The Wanderer -- 1.8 The Wife's Lament -- 1.9 The Venerable Bede -- 1.10 Anglo-Saxon Riddles -- 1.11 Marie de France -- 1.12 Middle English Lyrics -- 1.13 Geoffrey Chaucer -- 1.14 Sir Gawain and the Green Knight -- 1.15 Julian of Norwich -- 1.16 The Second Shepherds' Play -- 1.17 Sir Thomas Malory -- 1.18 Everyman -- 1.19 Key Terms -- Part Two: The Tudor Age (1485-1603) -- 2.1 Learning Outcomes -- 2.2 Introduction -- 2.3 Recommended Reading -- 2.4 Thomas More -- 2.5 Thomas Wyatt -- 2.6 Henry Howard, Earl of Surrey -- 2.7 Queen Elizabeth -- 2.8 Edmund Spenser -- 2.9 Sir Walter Raleigh -- 2.10 Sir Philip Sidney -- 2.11 Mary (Sidney) Herbert, Countess of Pembroke -- 2.12 Christopher Marlowe -- 2.13 William Shakespeare -- 2.14 Key Terms -- Part 3: The Seventeenth Century: The Age of Revolution (1603-1688) -- 3.1 Learning Outcomes -- 3.2 Introduction -- 3.3 Recommended Reading -- 3.4 John Donne -- 3.5 Aemilia Lanyer -- 3.6 Ben Jonson -- 3.7 Robert Herrick -- 3.8 Andrew Marvell -- 3.9 Margaret Cavendish, the Duchess of Newcastle -- 3.10 John Milton -- 3.11 John Dryden -- 3.12 Samuel Pepys -- 3.13 Key Terms -- Part 4: Neoclassicism and the Eighteenth Century (1603-1688) -- 4.1 Learning Outcomes -- 4.2 Introduction -- 4.3 Recommended Reading -- 4.4 Aphra Behn -- 4.5 William Congreve -- 4.6 Daniel Defoe -- 4.7 Anne Finch, Countess of Winchilsea -- 4.8 Jonathan Swift -- 4.9 Alexander Pope -- 4.10 Henry Fielding -- 4.11 Lady Mary Wortley Montagu -- 4.12 Samuel Johnson -- 4.13 James Boswell -- 4.14 Olaudah Equiano -- 4.15 Key Terms…”
Access online version