Search Results - Ohey~

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

Table of Contents: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata

Programming Persistent Memory A Comprehensive Guide for Developers / by Scargall, Steve

Table of Contents: “…Chapter 1: Introduction to Persistent Memory Programming -- Chapter 2: Persistent Memory Architecture -- Chapter 3: Operating System Support for Persistent Memory -- Chapter 4: Fundamental Concepts of Persistent Memory Programming -- Chapter 5: Introducing the Persistent Memory Development Kit -- Chapter 6: libpmem: Low-Level Persistent Memory Support -- Chapter 7: libpmemobj - A Native Transactional Object Store -- Chapter 8: libpmemobj-cpp: The adaptable language C++ and Persistent Memory -- Chapter 9: pmemkv - A Persistent In-Memory Key-Value Store -- Chapter 10: Volatile Use of Persistent Memory -- Chapter 11: Designing Data Structures for Persistent Memory -- Chapter 12: Debugging Persistent Memory Applications -- Chapter 13: Enabling Persistence in a Real World Application -- Chapter 14: Concurrency and Persistent Memory -- Chapter 15: Profiling and Performance -- Chapter 16: PMDK Internals - Important Algorithms and Data Structures -- Chapter 17: Reliability, Availability and Serviceability -- Chapter 18: Remote Persistent Memory -- Chapter 19: Advanced Topics -- Appendix A: Installing NDCTL and DAXCTL on Linux -- Appendix B: Installing PMDK on Linux & Windows -- Appendix C: Installing IPMCTL on Linux and Windows -- Appendix D: Java for Persistent Memory -- Appendix E: The Future of Remote Persistent Memory Replocation.…”
Link to Metadata

Agroecological Transitions: From Theory to Practice in Local Participatory Design

Table of Contents: “…-- Chapter 14: Review and Critique of the TATA-BOX Model -- Chapter 15: Opening the TATA-BOX to raise new questions on agroecological transition.…”
Link to Metadata

Values and Valuing in Mathematics Education Scanning and Scoping the Territory /

Table of Contents: “…A Cross - Cultural Study -- Chapter 11 - Mathematical Values Through Personal and Social Values: A Number Activity in a Japanese Kindergarten -- Chapter 12 - Socially Open-Ended Problems for Enriching Student Learning With Mathematical Models and Social Values -- Chapter 13 - Values in Mathematics Learning: Perspectives of Chinese Mainland Primary and Secondary Students -- Chapter 14 - Methodological Issues in the Investigation of Values in Mathematics -- Chapter 15 - The Elementary Mathematics Teachers' Values Underlying Teacher Noticing: The Context of Polygons.…”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings /

Table of Contents: “….-7th International Workshop on Large-Scale Agile -- Future Trends in Agile at Scale: A Summary of the 7th International Workshop on Large-Scale Agile Development -- SAFe Adoptions in Finland: A Survey Research -- Comparing Scaling Agile Frameworks Based on Underlying Practices -- Finnish Large-Scale Agile Transformations: A Survey Study -- Changes Over Time in a Planned Inter-Team Coordination Routine -- Technical-, Social- and Process Debt in Large-Scale Agile: an exploratory case-study -- Doctoral Symposium -- Coordination in Large-Scale Agile Software Development -- Panels -- Security and Privacy -- Agile Manifesto - Impacts on Culture, Education, andSoftware Practices -- Business Agility -- Agile: The Next 20 Years.…”
Link to Metadata

Textbook on Scar Management State of the Art Management and Emerging Technologies /

Table of Contents: “…(see attached PDF for latest version) Foreword -- Preface -- I Semiology of scars, classifications and scoring -- 1 Biology and scar formation -- 2 Epidemiology of scars and their consequences -- 3 Scar symptoms: itching, redness, thickness, contractures, colour, hyper/hypochromia, psychological disorders -- 4 International classification and semiology od scars -- 5 Scar evaluation scales (Vancouver, POSAS, Manchester) -- 6 Assessment technologies (cutometer, laser Doppler, 3D imaging, stereophotogrammetry) -- II Scars management and Evidence-based medicine -- 7 Non-invasive technologies (lasers fractional ER Yag, pulsed dye, fractional CO2, silicone, pressure garments, postop devices) and psychological management -- 8 Semi invasive technologies (injections corticoteroids, antimitotic, needling) -- 9 Invasive techniques (surgery with local flaps, resurfacing, skin substitutes, microsurgical flaps, fat injections, others) -- 10 Specific scar management depending on anatomical features (face, hair, breast, hand, joints, foot) -- 11Cosmetic requirements depending on age and social considerations -- III State- of- the -Art Scar management technologies -- 12 Recently developed new technologies (mechanical, chemical) -- 13 Cultural and traditional approaches -- 14 Cellular skin substitutes -- 15 New drugs for scar treatment -- 16 Vacuum massage in scar treatment -- 17 Shock wave therapy for scar treatment -- Subject Index.…”
Link to Metadata

Technical Universities Past, present and future /

Table of Contents: “…Are some technical universities better than others?; Mats Benner -- 4. The position of technical universities within changing frameworks of institutional organisation and steering: the case of the Norwegian University of Science and Technology; Agnete Vabø & Liv Langfeldt -- 5. …”
Link to Metadata

Polarimetric Synthetic Aperture Radar Principles and Application /

Table of Contents: “…Ferro-Famil, D. Goodenough, H. Chen, S. Tebaldini, M. Neumann, L. M. H. Ulander, M. …”
Link to Metadata

Social Development in the World Bank Essays in Honor of Michael M. Cernea /

Table of Contents: “…Growing Social Science Demand at the World Bank -- The Important Contribution of Social Knowledge to International Development -- The Road to Achieving Critical Mass of Sociologists and Anthropologists in the World Bank -- Address to the World Bank Sociological Group -- Working Together: Broadening the World Bank's Development Paradigm -- Social Analysis in the World Bank -- Resettlement, Impoverishment, and Development's Pathologies -- The Direct and Major Operational Relevance of Social Assessments -- Writing New Rules and Changing Old Practices -- Social Development Work - Live -- Malinowski Award Lecture 1996 Social Organization and Development Anthropology -- Anthropology at Work -- Social Development (excerpts from her 2004 Oral History) -- Putting People First in Practice: Indonesia and the Kecamatan Development Program -- The World Bank and Indigenous Peoples -- The Need for Social Research and the Broadening of CGIAR's Paradigm -- Fighting Poverty, Combatting Social Exclusion -- Involuntary Resettlement -- The Risk and Reconstruction Model for Resettling Displaced Populations -- Muddy Waters: Inside The World Bank As It Struggled With The Narmada Irrigation And Resettlement Projects, Western India -- Performance in Resettlement -- From Onlookers to Participants: How the Role of Social Scientists has Changed in India's Development in the last Seventy Years -- Social Assessment and Resettlement Policies and Practice in China: Contributions by Michael Cernea to Development in China -- Retrospective & Outlook -- A Retrospective: MICHAEL M. …”
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

Creating Resilient Futures Integrating Disaster Risk Reduction, Sustainable Development Goals and Climate Change Adaptation Agendas /

Table of Contents: “…-- Section 1 Best practice approaches -- 2 Why making connections through resilience indicators matters? -- 3 Coherence, alignment and integration: Understanding the legal relationship between sustainable development, climate change adaptation and disaster risk reduction -- 4 Bridging gaps: connecting climate change risk assessments with disaster risk reduction and climate change adaptation agendas -- Section 2 Irish case studies -- 5 Enhancing Integration of Disaster Risk and Climate Change Adaptation into Irish Emergency Planning -- 6 Supporting national climate change action in Ireland through local governance networks -- 7 Mainstreaming climate change adaptation into planning and development: A case study example from Northern Ireland -- Section 3 International case studies -- 8 Sustainability, disaster risk reduction and climate change adaptation: Building from the bottom up - ASouth African perspective from the small-scale fisheries sector -- 9 Adapting to climate change through disaster risk reduction in the Caribbean: lessons from the Global South in tackling the Sustainable Development Goals -- 10 Towards a resilient riverine community: A Case Study in Sadong Jaya, Sarawak, Malaysia -- 11 Reimagining our menu for sustainable development.…”
Link to Metadata

Narrative Ethics in Public Health: The Value of Stories

Table of Contents: “…Boyle's "The Fugitive" -- Addressing Historical Trauma among US American Indian/Alaskan Natives: The Ethics of Making Space for Multiple Narratives in Public Health Research and Practice -- Using paired poems to crystallize and (re)consider public health breastfeeding promotion -- Database of Individual Patient Experiences (DIPEx): Potential for Public Health Considerations -- Poverty as Trauma: Considering Social Determinants of Health through the Lens of Narrative Ethics -- Ethical Imperatives and Challenges with Community-based Participatory Research in Public Health: Reflections of One Academic -- Disclosure of HIV Status during a Household HIV Survey in Namibia -- Vaccine Refusal: Stories from the Front Lines of Immunization Education -- What Is This All About: Tipping theBalance toward Treatment and Recovery -- The Boys Under My Deck: Fostering Resilience In Diverse Urban Neighborhoods -- Overweight and Obesity: A New Narrative -- Voices of Our Fathers: Narrative (Care) Ethics, Pragmatic Bioethics, Trust and Trustworthiness -- Stories, Stigma and Sequences: HIV Cluster Detection and Response Activities Through a Narrative Ethics Lens -- A Novel Approach to Public Health Crises Using Narrative Ethics -- Patient Rights versus Public Health.…”
Link to Metadata

Interdisciplinarity in the Scholarly Life Cycle Learning by Example in Humanities and Social Science Research /

Table of Contents: “…Examining Personal and Cultural Narratives of Aging: Literary Gerontology Revisited -- 9. Museology and Its Others: Analyzing Exhibition Storytelling through Narratology, Space analysis, Discourse analysis, and Ethnographic Research -- 10. …”
Link to Metadata

Vitalism and Its Legacy in Twentieth Century Life Sciences and Philosophy

Table of Contents: “…Jane Maienschein (ASU): Early Twentieth Century Accounts of the Individuality of Organized Whole Organisms -- 6. Bohang Chen (Ghent): Hans Driesch and vitalism: the standpoint of logical empiricism -- 7. …”
Link to Metadata

Midwifery and Sexuality

Table of Contents: “…Introduction to Module 5 -- Talking sexuality -- Teaching and learning; skills -- Various sexual consequences of interventions in midwifery practice -- How sexual problems are managed (by other professionals) -- Midwifery of the future; a widening field of competences.…”
Link to Metadata

Rangeland Wildlife Ecology and Conservation

Table of Contents: “…A Perspective on Rangeland and Wildlife Disciplines: Similarities Over Differences -- 30. Future of Rangeland Wildlife in North America.…”
Link to Metadata

Volunteered Geographic Information Interpretation, Visualization and Social Context /

Table of Contents: “…Analyzing and Improving the Quality and Fitness for Purpose of OpenStreetMap as Labels in Remote Sensing Applications -- 3. …”
Link to Metadata

Cultural Change in Post-Migrant Societies Re-Imagining Communities Through Arts and Cultural Activities /

Table of Contents: “…Museums remove offensive terms in the Netherlands: changing representations of 'self' and 'others' -- Chapter 8. Everyday encounters with national day celebrations: the case of Turks in Norway -- Part III: Research, arts and cultural production: joint ventures for change -- Chapter 9. …”
Link to Metadata

Creating a Roadmap Towards Circularity in the Built Environment

Table of Contents: “…Circular Construction Principles: From Theoretical Perspective to Practical Application in Public Procurement -- Procedure for Waste Prevention and Management to Implement Best Practices in the Design and Construction of a Building -- Reuse of Steel Sheet Piles - Best Practice -- Design Strategies and Technical Practices for Reusable Steel-concrete Composite Structural Systems -- How Circular Economy Strategies Can Be Implemented in the Dwelling Renovation Design Phase -- Design for Disassembly and Reuse of Timber in Construction: Identification of Trends and Knowledge Gaps -- A Dynamic-based Methodology for Optimising Insulation Retrofit to Reduce Total Carbon -- Circular Strategies in Lightweight Steel-framed (Lsf) Buildings and the Research Project Tyre4buildins -- The Recycling of Construction Foams: An Overview -- By-product Phosphogypsum Valorisation Possibilities in the Context of Circular Economy of Building Materials -- Identifying Abandoned Industrial Zones in City X and Evaluating thePotential of Extending Their Useful Lifespan by Adaptive Reuse -- The Materials Bank of the City of Porto: Flow of Processes to Recover Tiles in Urban Operations of Historic Buildings -- Focus on Skills for a Circular Built Environment in a New Curriculum Development -- Efficient Recovery of Valuable Resources from Construction and Demolition Waste Towards Circular Economy in Construction Industry - Sustainability Assessment and a Case Study -- Albanian Green Economy Trends -- Pv and Thermal Solar Systems Application in Buildings. …”
Link to Metadata

Advancing Human Assessment The Methodological, Psychological and Policy Contributions of ETS /

Table of Contents: “…Advancing Human Assessment: A Synthesis Over Seven Decades.…”
Link to Metadata