Search Results - COMDEX~

Sales and Leases A Problem-based Approach by Burnham, Scott J., Juras, Kristen

Table of Contents: “…Introduction to the Uniform Commercial Code and Article 1 -- Chapter 2. Introduction to UCC Article 2 -- Chapter 3. …”
Access online version

International Advances in Writing Research Cultures, Places, Measures by Bazerman, Charles, Dean, Chris, Early, Jessica Singer, Lunsford, Karen, Null, Suzie, Rogers, Paul, Stansell, Amanda

Table of Contents: “…Online Book Reviews and Emerging Generic Conventions: A Situated Study of Authorship, Publishing, and Peer Review, Tim Laquintano -- Chapter 30. Coming to Grips with Complexity: Dynamic Systems Theory in the Research of Newswriting, Daniel Perrin…”
Access online version

Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie /

Table of Contents: “…In Memory of Professor Sergey Grigorievich Psakhie -- Biomechanical and Tribological Aspects of Orthopaedic Implants -- A New Method for Seismically Safe Managing of Seismotectonic Deformations in Fault Zones -- Particle-Based Approach for Simulation of Nonlinear Material Behavior in Contact Zones -- A Tool for Studying the Mechanical Behavior of the Bone-Endoprosthesis System Based on Multi-scale Simulation -- Abstract Methods on Mesoscopic Scales of Friction -- Study of Dynamics of Block-Media in the Framework of Minimalistic Numerical Models -- Material Transfer by Friction Stir Processing -- Nanomaterials Interaction with Cell Membranes: Computer Simulation Studies -- Application of Crumpled Aluminum Hydroxide Nanostructures for Cancer Treatment -- Influence of Lattice Curvature and Nanoscale Mesoscopic Structural States on the Wear Resistance and Fatigue Life of Austenitic Steel -- Autowave Mechanics of Plastic Flow -- Three-Component Wear-Resistant PEEK-Based Composites Filled with PTFE and MoS2: Composition Optimization, Structure Homogenization, and Self-Lubricating Effect -- Regularities of Structural Rearrangements in Single- and Bicrystals Near the Contact Zone -- Fault Sliding Modes - Governing, Evolution and Transformation -- Multilayer Modelling of Lubricated Contacts: A New Approach Based on a Potential Field Description -- Microstructure-Based Computational Analysis of Deformation and Fracture in Composite and Coated Materials Across Multiple Spatial Scales -- Formation of a Nanostructured Hardened Surface Layer on the TiC-(Ni-Cr) Metal-Ceramic Alloy by Pulsed Electron-Beam Irradiation -- Adhesion of a Thin Soft Matter Layer: The Role of Surface Tension -- Adhesion Hysteresis Due to Chemical Heterogeneity -- Theoretical Study of Physico-Mechanical Response of Permeable Fluid-Saturated Materials under Complex Loading Based on the Hybrid Cellular Automaton Method -- Transfer of a Biological Fluid Through a Porous Wall of a Capillary -- Failure Mechanisms of Alloys with a Bimodal Graine Size Distribution -- Self-Reproduction Cycles of Living Matter and Energetics of Human Activity -- Seeing what Lies in Front of Your Eyes: Understanding and Insight in Teaching and Research.…”
Link to Metadata

Reimagining Science Education in the Anthropocene

Table of Contents: “…Resurrecting Science Education by Re-Inserting Women, Nature, and Complexity -- 17. Watchmen, Scientific Imaginaries, and the Capitalocene: The Media and Their Messages for Science Educators -- 18. …”
Link to Metadata

Education, Equity and Inclusion Teaching and Learning for a Sustainable North /

Table of Contents: “…"A lesson is most exciting [when] the teacher typically explains complex topics" - A student perspective on public schooling in Greenland -- Chapter 10. …”
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

Understanding The Everyday Digital Lives of Children and Young People

Table of Contents: “…Developing a Toolkit for Contributing to Digital Competence: A Review of Existing Resources -- 16. EU Policy Reflections on the Intersections Between Digital and Social Policies Supporting Children as Digital Citizens -- .…”
Link to Metadata

Withstanding Vulnerability throughout Adult Life Dynamics of Stressors, Resources, and Reserves /

Table of Contents: “…Spillovers across life domains -- Subjective well-being, family dynamics and vulnerability -- Positive and negative spillover effects: Managing multiple goals in middle adulthood -- How personal relationships affect employment outcomes: On the role of social networks and family obligations -- When mobility meets gender in the multidimensional transnational life course -- Intimate partner loss in later life -- Synthesis: Multidimensional perspective of vulnerability and life course -- Section 2: Vulnerability at the articulation of levels -- Social policies, vulnerability and the life course: A complex nexus -- Vulnerabilities in local contexts -- How family and other close ties shape vulnerability processes -- The many faces of social connectedness and their impact on well-being -- Vulnerability and health issues: Trajectories, experiences and meanings -- Synthesis: Multilevel studies on vulnerability processes -- Section 3: The unfolding of vulnerable life trajectories -- Childhood socioeconomic disadvantage and health in the second half of life: The role of gender and welfare states in the life course of Europeans -- Ageing and reserves -- Vulnerabilities and psychological adjustment resources in career development -- On the sociohistorical construction of social and economic reserves across the life course and on their use in old age -- Life trajectories as products and determinants of social vulnerability -- Synthesis: Overcoming vulnerability? …”
Link to Metadata

Post-Digital, Post-Internet Art and Education The Future is All-Over /

Table of Contents: “…Teaching in a Post-Digital Age -- 16. Creative Coding as Compost(ing) -- 17. Post-Internet Verfremdung.…”
Link to Metadata

Transforming Entrepreneurship Education Interdisciplinary Insights on Innovative Methods and Formats /

Table of Contents: “…Using Unplugged Tools to Introduce Coding to South African Learners -- Part 3. Research -- Chapter 10. …”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Concepts, Frames and Cascades in Semantics, Cognition and Ontology

Table of Contents: “…Escitalopram restores reversal learning impairments in rats with lesions of orbital frontal cortex (David S. Tait) -- Chapter 19. Rat ultrasonic vocalizations as social reinforcers - implications for a multilevel model of the cognitive representation of action and rats' socialworld (Tobias Kalenscher) -- Chapter 20. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

The Restless Compendium Interdisciplinary Investigations of Rest and Its Opposites /

Table of Contents: “…Songs of rest: an intervention in the complex genre of the lullaby; Holly Peste -- 14. Could insomnia be relieved with a YouTube video? …”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Sequence Analysis and Related Approaches Innovative Methods and Applications /

Table of Contents: “…-- Daniel Courgeau -- Case Studies of Combining Sequence Analysis and Modelling: Mervi Eerola -- Part II Sequence Analysis and Event History Analysis: Glass Ceilings, Glass Escalators and Revolving Doors: Lydia Malin and Ramsey Wise -- Modelling Mortality Using Life Trajectories of Disabled andNon-Disabled Individuals in 19th-Century Sweden: Erling Ha¨ggstro¨m Lundevaller, Lotta Vikstro¨m, and Helena Haage -- Sequence History Analysis (SHA): Estimating the Effect of Past Trajectories on an Upcoming Event: Florence Rossignon, Matthias Studer, Jacques-Antoine Gauthier and Jean-Marie Le Goff -- Part III The Sequence Network Approach: Network Analysis of Sequence Structures: Benjamin Cornwell -- Relational Sequence Networks as a Tool for Studying Gendered Mobility Patterns: Klaus Hamberger -- Part IV Unfolding the Process: Multiphase Sequence Analysis: Thomas Collas -- Unpacking Configurational Dynamics: Sequence Analysis and Qualitative Comparative Analysis as a Mixed-Method Design: Camilla Borgna and Emanuela Struffolino -- Combining Sequence Analysis and Hidden Markov Models in the Analysis of Complex Life Sequence Data: Satu Helske, Jouni Helske, and Mervi Eerola -- Part V Advances in Sequence Clustering: Markovian-based Clustering of Internet Addiction Trajectories: Zhivko Taushanov and Andre´ Berchtold -- Divisive Property-Based and Fuzzy Clustering for Sequence Analysis: Matthias Studer -- From 07.00 to 22.00: A Dual-Earner Couple's Typical Day in Italy: Ivano Bison and Alessandro Scalcon -- Part VI Appraising Sequence Quality: Measuring Sequence Quality: Anna Manzoni and Irma Mooi-Reci -- An Index of Precarity for Measuring Early Employment Insecurity: Gilbert Ritschard, Margherita Bussi, and JacquelineO'Reilly -- Subject Index.…”
Link to Metadata

Innovative Medicine Basic Research and Development /

Table of Contents: “…Synaptic and axonal plasticity induction in the human cerebral cortex -- 25. TIM-3 is a novel therapeutic target for eradicating acute myelogenous leukemia stem cells -- 26. …”
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

Sexual Reproduction in Animals and Plants

Table of Contents: “…Franklin-Tong ) -- 24 S-RNase-based Self-incompatibility in Petunia: A Complex Non-self Recognition System Between Pollen and Pistil (Teh-hui Kao) -- 25 Self-incompatibility System of Ipomoea trifida, a Wild-type Sweet Potato (Tohru Tsuchiya) -- Part 4 Male-Female Interaction and Gamete Fusion -- 26 Profiling the GCS1-based Gamete Fusion Mechanism (Toshiyuki Mori) -- 27 Fertilization Mechanisms of the Rodent Malarial Parasite Plasmodium berghei (Makoto Hirai) -- 28 Sexual Reproduction of a Unicellular Charophycean Alga, Closterium peracerosum-strogosum-littorale Complex (Hiroyuki Sekimoto) -- 29 Fertilization of Brown Algae: Flagellar Function in Phototaxis and Chemotaxis (Taizo Motomura ) -- 30 Gene and Protein Expression Profiles in Rice Gametes and Zygotes: A Cue for Understanding the Mechanisms of Gametic and Early Zygotic Development in Angiosperms (Takashi Okamoto) -- 31 Role of CD9 in Sperm-Egg Fusion and Virus-induced Cell Fusion in Mammals (Kenji Miyado) -- 32 The Mechanism of Sperm-Egg Fusion in Mouse and the Involvement of IZUMO1 (Naokazu Inoue) -- 33 A ZP2 Cleavage Model of Gamete Recognition and the Post-fertilization Block to Polyspermy (Jurrien Dean) -- 34 Involvement of Carbohydrate Residues of the Zona Pellucida in In Vitro Sperm Recognition in Pigs and Cattle (Naoto Yonezawa) -- Part 5 Organella, Proteolysis, and New Techniques -- 35 The Role of Peroxisomes in Plant Reproductive Processes (Shoji Mano) -- 36 Regulation of Vacuole-mediated Programmed Cell Death During Innate Immunity and Reproductive Development in Plants (Tomoko Koyano) -- 37 Sperm Proteasomes as a Putative Egg Coat Lysin in Mammals (Peter Sutovsky) -- 38 Germline Transformation in the Ascidian Ciona intestinalis (Yasunori Sasakura) -- BM Index.  .…”
Link to Metadata