Search Results - COMDEX~

Measure, Integration & Real Analysis by Axler, Sheldon

Table of Contents: “…Hilbert Spaces -- 9. Real and Complex Measures -- 10. Linear Maps on Hilbert Spaces -- 11. …”
Link to Metadata

Neighbourhoods in Transition Brownfield Regeneration in European Metropolitan Areas / by Rey, Emmanuel, Laprise, Martine, Lufkin, Sophie

Table of Contents: “…Part 1: Definition and issues -- Introduction -- Urban brownfields: Origin, definition, and diversity -- The multiple potentials of urban brownfields -- Urban brownfield regeneration projects: Complexities and issues -- Sustainability issues at the neighbourhood scale -- Part 2: Project dynamics and support tools -- Key steps of a regeneration process -- Specific skills and adapted support -- Sustainability monitoring: Principles, challenges, and approaches -- An operational monitoring tool -- Application to a case study -- Conclusion -- Appendix.…”
Link to Metadata

Self-Assembled Molecules - New Kind of Protein Ligands Supramolecular Ligands /

Table of Contents: “…Supramolecular Protein Ligands - Unexplored Teritory Of Potential Pharmacological Activity -- Supramolecular Congo Red As Specific Ligand Of Antibodies Engaged In Immune Complex -- Protein Conditioning For Binding Congo Red And Other Supramolecular Ligands -- Metal Ions Introduced To Proteins By Supramolecular Ligands -- Possible Mechanism Of Amyloidogenesis Of V Domains -- Supramolecular Structures As Carrier Systems Enabling The Use Of Metal Ions In Antibacterial Therapy -- Congo Red Interactions With Single-Walled Carbon Nanotubes.…”
Link to Metadata

Hydraulic Fracturing and Rock Mechanics by Zhao, Yu, Zhang, Yongfa, He, Pengfei

Table of Contents: “…1 Introduction -- Part I Laboratory observation -- 2 Rock mechanics in hydraulic fracturing operations -- Part II Laboratory observation -- 3 Reservoir characteristics -- 4 Constant flow injection -- 5 Constant pressure injection -- Part III Theoretical modeling considering Nonuniform fluid pressure -- 6 Fracture initiation -- 7 Fracture propagation -- 8 Fracture interaction behaviors -- Part IV Field implication -- 9 Formation of complex networks -- Epilogue -- References.…”
Link to Metadata

Taking the EU to Court Annulment Proceedings and Multilevel Judicial Conflict / by Adam, Christian, Bauer, Michael W., Hartlapp, Miriam, Mathieu, Emmanuelle

Table of Contents: “…Chapter 1 The Neglected Politics behind EU Annulment Litigation -- Chapter 2 Towards an Analytical Framework to Study Annulments in the EU -- Chapter 3 The Legal Background -- Chapter 4 Studying Annulment Actions -- Chapter 5 Motivations: When Conflict Leads to Litigation -- Chapter 6 Litigant Configurations: Turbulence and the Emergence of Complex Configurations -- Chapter 7 Litigant Success: How Litigant Configurations Relate to Legal Outcomes -- Chapter 8 The Political Side of EU Annulment Litigation -- Annexes.…”
Link to Metadata

A Practical Guide on Behaviour Change Support for Self-Managing Chronic Disease

Table of Contents: “…Supplementary on-line resources for the development of behaviour change support competencies.…”
Link to Metadata

Women's Empowerment and Public Policy in the Arab Gulf States Exploring Challenges and Opportunities /

Table of Contents: “…Grounded Approach to Women's Empowerment: Understanding the Complexities1 Rabia Naguib -- Chapter 3. A Maqasid Approach to Understanding Women's Status and Rights in Islam -- Chapter 4. …”
Link to Metadata

Fundamentals of Global Strategy by de Kluyver, Cornelis A.

Table of Contents: “…Chapter 1: Competing in a Global World -- Chapter 2: The Globalization of Companies and Industries -- Chapter 3: Generic Strategies for Global Value Creation -- Chapter 4: Global Strategy as Business Model Change -- Chapter 5: Target Markets and Modes of Entry -- Chapter 6: Globalizing the Value Proposition -- Chapter 7: Global Branding -- Chapter 8: Globalizing the Value Chain Infrastructure -- Chapter 9: Global Supply-Chain Management -- Chapter 10: Globalizing the Management Model…”
Access online version

Research Methods in Psychology by Price, Paul C., Jhangiani, Rajiv S.

Table of Contents: “…Chapter 1: The Science of Psychology -- Chapter 2: Getting Started in Research -- Chapter 3: Research Ethics -- Chapter 4: Theory in Psychology -- Chapter 5: Psychological Measurement -- Chapter 6: Experimental Research -- Chapter 7: Non-experimental Research -- Chapter 8: Complex Research Designs -- Chapter 9: Survey Research -- Chapter 10: Single-Subject Research -- Chapter 11: Presenting Your Research -- Chapter 12: Descriptive Statistics -- Chapter 13: Inferential Statistics…”
Access online version

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / by Linge, Svein, Langtangen, Hans Petter

Table of Contents: “…Preface -- 1 The first few steps -- 2 A few steps more -- 3 Loops and branching -- 4 Functions and the writing of code -- 5 Some more Python essentials -- 6 Computing integrals and testing code -- 7 Solving nonlinear algebraic equations -- 8 Solving ordinary differential equations -- 9 Solving partial differential equations -- A Installation and use of Python -- References -- Index.…”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

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

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Compliance and Initiative in the Production of Safety A Systems Perspective on Managing Tensions and Building Complementarity /

Table of Contents: “…Resolving the Command-Adapt Paradox: Guided Adaptability to Cope with Complexity.…”
Link to Metadata

A grammar of Palula by Liljegren, Henrik

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Typological overview -- Chapter 3: Phonology -- Chapter 4: Parts of speech and the lexical profile -- Chapter 5: Nouns -- Chapter 6: Pronouns -- Chapter 7: Adjectives and quantifiers -- Chapter 8: Adverbs and postpositions -- Chapter 9: Verbs -- Chapter 10: Verbal categories -- Chapter 11: Noun phrases and non-verbal agreement -- Chapter 12: Grammatical relations -- Chapter 13: Simple clauses and argument structure -- Chapter 14: Complex constructions -- Chapter 15: Sentence modification…”
Access online version

Engineering Systems, Dynamics, Modelling, Simulation, and Design by Tabatabaian, Mehrzad

Table of Contents: “…Acknowledgements -- About the Author -- Preface -- List of Figures -- List of Tables -- Introduction -- Lagrangian Mechanics -- Bond Graph Modelling Method -- Building Bond Graph Models: General Procedure and Application -- Introduction to 20-sim Software Tool -- Bond Graph Models for Complex Mechanical Systems -- Bond Graph Models for Electrical Systems -- Bond Graph Models for Hydraulic Systems -- Bond Graph Models for Multi-Domain Systems -- Frequency Analysis: Bode Plots and Transfer Function -- Miscellaneous Topics -- References -- Versioning History…”
Access online version

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

Flowing Matter

Table of Contents: “…Numerical approaches to complex fluids -- Chapter2. Basic Concepts of Stokes Flows -- Chapter3. …”
Link to Metadata

The Evolution of Research on Teaching Mathematics International Perspectives in the Digital Era /

Table of Contents: “…Mathematics teacher competencies, knowledge, and skills -- 4. Research on pre-active mathematics teacher activities -- 5. …”
Link to Metadata

Big Data for Epidemiology Applied Data Analysis Using National Health Surveys by Kindratt, Tiffany B

Table of Contents: “…Basic Data Analysis -- 5. Complex Survey Design Features -- 6. National Health Interview Survey -- 7. …”
Access online version

Mastering Strategic Management

Table of Contents: “…Publisher Information -- Chapter 1: Mastering Strategy: Art and Science -- Chapter 2: Leading Strategically -- Chapter 3: Evaluating the External Environment -- Chapter 4: Managing Firm Resources -- Chapter 5: Selecting Business-Level Strategies -- Chapter 6: Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Chapter 7: Competing in International Markets -- Chapter 8: Selecting Corporate-Level Strategies -- Chapter 9: Executing Strategy through Organizational Design -- Chapter 10: Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility…”
Access online version