Search Results - COMDEX~

Software for Exascale Computing - SPPEXA 2016-2019

Table of Contents: “…EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. …”
Link to Metadata

Autistic Community and the Neurodiversity Movement Stories from the Frontline /

Table of Contents: “…Shifting the System: AASPIRE and the Loom of Science and Activism -- 10. Out of Searching Comes New Vibrance -- 11. Two Winding Parent Paths to Neurodiversity Advocacy -- 12. …”
Link to Metadata

Economics Theory Through Applications by Cooper, Russell, John, Andrew

Table of Contents: “…-- Chapter 2: Microeconomics in Action -- Chapter 3: Macroeconomics in Action -- Chapter 4: Everyday Decisions -- Chapter 5: Life Decisions -- Chapter 6: eBay and craigslist -- Chapter 7: Where Do Prices Come From? -- Chapter 8: Why Do Prices Change? -- Chapter 9: Growing Jobs -- Chapter 10: Making and Losing Money on Wall Street -- Chapter 11: Raising the Wage Floor -- Chapter 12: Barriers to Trade and the Underground Economy -- Chapter 13: Superstars -- Chapter 14: Cleaning Up the Air and Using Up the Oil -- Chapter 15: Busting Up Monopolies -- Chapter 16: A Healthy Economy -- Chapter 17: Cars -- Chapter 18: The State of the Economy -- Chapter 19: The Interconnected Economy -- Chapter 20: Globalization and Competitiveness -- Chapter 21: Global Prosperity and Global Poverty -- Chapter 22: The Great Depression -- Chapter 23: Jobs in the Macroeconomy -- Chapter 24: Money: A User's Guide -- Chapter 25: Understanding the Fed -- Chapter 26: Inflations Big and Small -- Chapter 27: Income Taxes -- Chapter 28: Social Security -- Chapter 29: Balancing the Budget -- Chapter 30: The Global Financial Crisis -- Chapter 31: Toolkit…”
Access online version

Media Studies 101 by Pearson, Erika

Table of Contents: “…AboutIntroduction, and How To Use This TextPart One: Reading Media Texts -- Analysing Texts: Media and Theory -- Communication & Culture -- Intercultural Communication -- Semiotics -- Signs and Signifiers -- Sign Systems -- Semiotics and Communication Processes -- Codes -- Two-step flow of communication -- Gender and politics -- Limitations of minimal effects model -- Part Two: Culture and Contexts -- Ideology -- Discourse, Institutions, and Power -- Institutions -- Discourse and Institutions -- Media and Democracy -- Habermas' Public Sphere -- Who is 'the Public'? …”
Access online version

Etiology and Morphogenesis of Congenital Heart Disease From Gene Function and Cellular Interaction to Morphology /

Table of Contents: “…Current Molecular Mechanism in Cardiovascular Development -- Combinatorial functions of transcription factorsand epigenetic factors in heart development and disease -- Pcgf5 contributes to PRC1 (Polycomb repressive complex 1) in developing cardiac cells -- non-coding RNAs in cardiovascular disease -- Part X. iPS Cells and Regeneration in Congenital Heart Diseases -- Human pluripotent stem cells to model congenital heart disease -- Engineered cardiac tissues generated from immature cardiac and stem-cell derived cells: Multiple approaches and outcomes -- Dissecting the left heart hypoplasia by pluripotent stem cells -- Lentiviral gene transfer to iPS cells; toward the cardiomyocyte differentiation of Pompe disease-specific iPS cells -- Molecular analysis of long-term cultured cardiac stem cells for cardiac regeneration -- Epicardial contribution in neonatal heart regeneration -- Part XI. …”
Link to Metadata

Perspectives on Public Policy in Societal-Environmental Crises What the Future Needs from History /

Table of Contents: “…Globalization as adaptive complexity: learning from failure -- 7. Disjunctures of practice and the problems of collapse -- Part II: Climate change -- 8. …”
Link to Metadata

Knowledge and Networks

Table of Contents: “…: Christopher Ansell, Martin Lundin, and Per Ola Öberg -- The Coevolution of Innovative Ties, Proximity, and Competencies: Toward a Dynamic Approach to Innovation Cooperation: Uwe Cantner, Susanne Hinzmann, and Tina Wolf -- The Klaus Tschira Foundation -- Index.…”
Link to Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Teacher Transition into Innovative Learning Environments A Global Perspective /

Table of Contents: “…Envisaging Teacher Spatial Competency Through the Lenses of Situated Cognition and Personal Imagination to Reposition it as a Professional Classroom Practice Skill -- Chapter 18. …”
Link to Metadata

Digital Platform Regulation Global Perspectives on Internet Governance /

Table of Contents: “…Global platforms and local networks: an institutional account of the Australian news media bargaining code by James Meese & Edward Hurcombe -- 9. Regulating Chinese and North American Digital Media in Australia: Facebook and WeChat as Case Studies by Chunmeizi Su.-10. …”
Link to Metadata

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

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Bioethics and the Holocaust A Comprehensive Study in How the Holocaust Continues to Shape the Ethics of Health, Medicine and Human Rights /

Table of Contents: “…From the Nuremberg "Doctors' Trial" to the "Nuremberg Code" (Paul Weindling) -- Chapter 12. The Rights and Responsibilities of the Physician to Uphold Bioethical Values in Society (Ashley K. …”
Link to Metadata

Ethics, Integrity and Policymaking The Value of the Case Study /

Table of Contents: “…Formulating a Guidance Code for Research Managers (the UK ARMA case) (John Oates) -- Chapter 12. …”
Link to Metadata

Stakeholder Engagement in a Sustainable Circular Economy Theoretical and Practical Perspectives /

Table of Contents: “…Chapter 2. How Did It Come to Be? Circular Economy as Collective Stakeholder -- Chapter 3. …”
Link to Metadata

New Music and Institutional Critique

Table of Contents: “…Sheltering Each Other from the Storms to Come. Why we need to become allies rather than critics of liberal cultural institutions -- 9. …”
Link to Metadata

Algebra and Trigonometry 2e by Abramson, Jay

Table of Contents: “…Models and Applications -- 2.4. Complex Numbers -- 2.5. Quadratic Equations -- 2.6. …”
Access online version

Compendium for Early Career Researchers in Mathematics Education

Table of Contents: “…Judit Moschkovich 9150 -- 4 An introduction to grounded theory with a special focus on axial coding and the coding paradigm. Maike Vollstedt and Sebastian Rezat 8900 -- 5 Interactional analysis: A method for analyzing mathematical learning processes in interaction. …”
Link to Metadata

Children and Peace From Research to Action /

Table of Contents: “…The Role of Cognitive Complexity in Promoting a Positive Representation of Diversity in Children -- 17. …”
Link to Metadata

Water-filtered Infrared A (wIRA) Irradiation From Research to Clinical Settings /

Table of Contents: “…Water-filtered infrared A (wIRA): from observations in clinical studies to complex in vitro models -- 19. Therapeutic use of water-filtered infrared-A irradiation in dermatology -- RHEUMATOLOGY -- 20. …”
Link to Metadata

Non-affirmative Theory of Education and Bildung

Table of Contents: “…Bildung and 21th century competences: in need of mutual recognition? (Armend Tahirslay) -- Chapter 16. …”
Link to Metadata