Search Results - C2Net~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 365
- History of engineering & technology 284
- Technology: general issues 276
- Medical genetics 268
- Biology, life sciences 234
- Medicine 197
- Genetics (non-medical) 153
- Science: general issues 90
- Physics 43
- Science 43
- Neurosciences 40
- Mathematics & science 37
- Biotechnology 36
- Chemistry 36
- Information technology industries 36
- Technology, engineering, agriculture 36
- Botany & plant sciences 35
- Computer science 33
- Humanities 31
- Sociology 30
- Education 29
- Bio-ethics 28
- Biochemistry 26
- Ecological science, the Biosphere 26
- Environmental science, engineering & technology 26
- Oncology 26
- History 24
- Agricultural science 23
- Philosophy 23
- Biology 22
-
4261
-
4262
Migration, Displacement, and Higher Education Now What? /
Published 2023Table of Contents: “…Refugees and Forced Migration: An Engaged Humanities Course in French and Francophone Studies -- 6. Education Can't Wait for LGBTQ Refugees? Exploring Inclusion and Access to Higher Education in Kakuma Refugee Camp -- 7. …”
Link to Metadata
Electronic eBook -
4263
Debating Transformations of National Citizenship
Published 2018Table of Contents: “…Schuck -- Terrorists Repudiate Their Own Citizenship: Christian Joppke -- It's not About Their Citizenship, it's About Ours: Vesco Paskalev -- You Can't Lose What You Haven't Got: Citizenship Acquisition and Loss in Africa: Bronwen Manby -- Revocation of Citizenship of Terrorists: A Matter of Political Expediency: Kay Hailbronner -- Whose Bad Guys Are Terrorists?…”
Link to Metadata
Electronic eBook -
4264
Nuclear Law The Global Debate.
Published 2022Table of Contents: “…The Challenge of Climate Change - Complete Energy Systems Transformation: No nuclear, no net zero -- Chapter 7. Legal Imputation of Health Effects to Radiation Exposure -- Chapter 8. …”
Link to Metadata
Electronic eBook -
4265
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /
Published 2020Table of Contents: “…Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment - Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale AgileTransformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! …”
Link to Metadata
Electronic eBook -
4266
Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /
Published 2019Table of Contents: “…Simple Environment Map Filtering Using Ray Cones and Ray Differentials -- Chapter 22. Improving Temporal Antialiasing with Adaptive Ray Tracing -- Part 6: Hybrid Approaches and Systems -- Chapter 23. …”
Link to Metadata
Electronic eBook -
4267
Concepts in Action Representation, Learning, and Application /
Published 2021Table of Contents: “…Lexical and Structural Divergences between WordNets of Different Languages (Christiane D. Fellbaum) -- Chapter 5. …”
Link to Metadata
Electronic eBook -
4268
Food Studies Matter, Meaning, Movement
Published 2022Table of Contents: “…MacLennan and Irena Knezevic -- Perspective: Breast Milk, Janet Colson -- Perspective: Food Insecurity, Michael Classens and Mary Anne Martin -- Creative: Food System Blues, Faris Ahmed and Tommy Wall -- Creative: Food Waste, Pamela Tudge -- Perspective: Food Access, Laine Young -- Case: Food Rescue, Leda Cooks -- Perspective: Financialization of Food, Phoebe Stephens -- Creative: Solidarity for Food Businesses, Annika Walsh -- Perspective: Fair Trade, Eefje De Gelder -- Case: Migrant Farm Workers, Courtney Jane Clause -- Case: Pollinator Ecologies, D. …”
Access online version
Electronic eBook -
4269
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata
Electronic eBook -
4270
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata
Electronic eBook -
4271
Housing Estates in Europe Poverty, Ethnic Segregation and Policy Challenges /
Published 2018Table of Contents: “…Introduction: The Role of Large Housing Estates in Past, Present and Future Change in European Cities -- PART 1: Four Thematic Lenses for Viewing the Trajectories of Large Housing Estates -- PART 2: Case Studies of Housing Estates in European Metropolitan Area -- Western Europe (Changing Context, Policies and Estates in the UK: The Birmingham Example / The Socio-economic Evolution of Large Housing Estates in Brussels / Large Housing Estates in a Divided City: Berling's Pallenbauten and Wohnblöcke / Large Housing Estates in the Paris Region: The Local Challenge of Internal Social Mixing in Orly) -- Eastern Europe (Persistence or Change: Social and Physical Challenges of Housing Estates in Budapest / Housing Estates in Prague: Long-term Development and Current Situation / Mass Housing Inherited from State Socialism in Tartu, Estonia / Ursynów: Emergence and Evolution of Warsaw's Largest Dormitory Suburb) -- Northern Europe (Equity or Net Gains? Tenure Structure, Perceived Social Disorder andPolicy Challenges in the Post-WWII Housing Estates of Helsinki region / Large Housing Estates in Stockholm: Do Initial Conditions Matter?) …”
Link to Metadata
Electronic eBook -
4272
Principles of Economics
Published 2016Table of Contents: “…Chapter 1: Economics: The Study of Choice -- Chapter 2: Confronting Scarcity: Choices in Production -- Chapter 3: Demand and Supply -- Chapter 4: Applications of Demand and Supply -- Chapter 5: Elasticity: A Measure of Response -- Chapter 6: Markets, Maximizers, and Efficiency -- Chapter 7: The Analysis of Consumer Choice -- Chapter 8: Production and Cost -- Chapter 9: Competitive Markets for Goods and Services -- Chapter 10: Monopoly -- Chapter 11: The World of Imperfect Competition -- Chapter 12: Wages and Employment in Perfect Competition -- Chapter 13: Interest Rates and the Markets for Capital and Natural Resources -- Chapter 14: Imperfectly Competitive Markets for Factors of Production -- Chapter 15: Public Finance and Public Choice -- Chapter 16: Antitrust Policy and Business Regulation -- Chapter 17: International Trade -- Chapter 18: The Economics of the Environment -- Chapter 19: Inequality, Poverty, and Discrimination -- Chapter 20: Macroeconomics: The Big Picture -- Chapter 21: Measuring Total Output and Income -- Chapter 22: Aggregate Demand and Aggregate Supply -- Chapter 23: Economic Growth -- Chapter 24: The Nature and Creation of Money -- Chapter 25: Financial Markets and the Economy -- Chapter 26: Monetary Policy and the Fed -- Chapter 27: Government and Fiscal Policy -- Chapter 28: Consumption and the Aggregate Expenditures Model -- Chapter 29: Investment and Economic Activity -- Chapter 30: Net Exports and International Finance -- Chapter 31: Inflation and Unemployment -- Chapter 32: A Brief History of Macroeconomic Thought and Policy -- Chapter 33: Economic Development -- Chapter 34: Socialist Economies in Transition…”
Access online version
Electronic eBook -
4273
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /
Published 2020Table 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
Electronic eBook -
4274
-
4275
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
Electronic eBook -
4276
Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /
Published 2020Table of Contents: “…Parental Divorce and Father-Child Relationships: A Closer Look at Broken Ties -- Chapter 16. Knotting the Safety net. A Theoretical Framework in Studying Interdependencies in Post-divorce Family Networks -- Chapter 17. …”
Link to Metadata
Electronic eBook -
4277
-
4278
-
4279
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...
Published 2022Table 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
Electronic eBook -
4280
International Perspectives in Values-Based Mental Health Practice Case Studies and Commentaries /
Published 2021Table of Contents: “…Suzuki -- 27 Non-Traditional Religion, Hyper-religiosity and Psychopathology: the Story of Ivan from Bulgaria -- 28 Journey into Genes: cultural values and the (near) future of genetic counselling in mental health -- 29 Policy-making indabas to prevent "not listening": An added recommendation from the Life Esidimeni tragedy -- 30 Covert Treatment in a cross-cultural setting -- 31 Discouragement towards Seeking Health Care of Older People in Rural China: The influence of culture and structural constraints -- 32 Discovering myself, a journey of rediscovery -- Part V - TRAINING 33 Training for Task: an introduction to Part V, Training -- 34 Values-based Practice when engaging with voice-hearers -- 35 Dharma Therapy: a Buddhist counselling approach to acknowledging and enhancing perspectives, attitudes and values -- 36 Dangerous Liaisons: Science, Tradition, and Qur'anic Healing in the Dakhla Oasis of Egypt -- 37 Know thyself: Jane discovers the value of her depression -- 38 Case studies in the culture of Professional Football Players and Mental Welfare and Wellbeing -- 39 Sexual Orientation Change Efforts and VBP -- 40 Values, Meanings, Hermeneutics and Mental Health -- 41 Disha: Building Bridges-Removing Barriers: Where Excluded and Privileged Young Adults Meet -- 42 Online Counselling: the world without a label -- Part VI - REFLECTIONS 43 The Realpolitik of Values-based Practice: an introduction to Part VI, Reflections -- 44 Reflections on the impact of mental health ward staff training in race equality and values-based practice -- 45 Connecting patients, practitioners and regulators in supporting positive experiences and processes of shared decision-making in osteopathy: a case study in co-production -- 46 Beyond the Color Bar: sharing narratives in order to promote a clearer understanding of mental health issues across cultural and racial boundaries -- BM 47 Co-writing values: what we did and why we did it -- After word: where next with the book -- Index.…”
Link to Metadata
Electronic eBook