Search Results - Ad Santel~

  1. 201
  2. 202
  3. 203
  4. 204
  5. 205
  6. 206

    Software for Exascale Computing - SPPEXA 2016-2019

    Published 2020
    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
    Electronic eBook
  7. 207
  8. 208
  9. 209
  10. 210
  11. 211

    Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2018
    Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
    Link to Metadata
    Electronic eBook
  12. 212
  13. 213
  14. 214

    Debating European Citizenship

    Published 2019
    Table of Contents: “…: Freedom of Movement Needs to Be Defended as the Core of EU Citizenship: Floris de Witte -- The Failure of Union Citizenship Beyond the Single Market: Daniel Thym -- State Citizenship, EU Citizenship and Freedom of Movement: Richard Bellamy -- Free Movement as a Means of Subject-Formation: Defending a More Relational Approach to EU Citizenship: Päivi Johanna Neuvonen -- Free Movement Emancipates, but What a Freedom This Is?…”
    Link to Metadata
    Electronic eBook
  15. 215

    Situating Children of Migrants across Borders and Origins A Methodological Overview /

    Published 2017
    Table of Contents: “…1: Introduction: Situating Children of Migrants across Borders and Origin: Claudio Bolzman, Laura Bernardi, Jean-Marie Le Goff -- Part I: Comparison as Key Methodological Tool ad Challenging Perspective in Study of the Children of Migrants: 2: Damned of you do, Damned if you don't: The Challenges of Including and Comparing the Children of Immigrants in European Survey Data: Laurence Lessard-Philips, Silvia Galandini, Helge de Valk, Rosita Fibbi -- 3: Risk Factors of Labor-Market Insertion for Children of Immigrants in Switzerland: Andrés Guarin and Emmanuel Rousseaux -- 4: The Presence of a Third Person in Face-to-Face Interviews with Immigrants Descendants: Patterns, Determinants and Effects: Nadja Milewski and Danny Otto -- Part II: Life Course Perspective and Mixed-Methods Approaches in the Study of Children of Migrants -- 5: Analyzing Second-Generation Trajectories from a Life Course Approach: What Mixed Methods can Offer: Ingrid Tucci -- 6: Intergenerational Relationships in Migrant Families. …”
    Link to Metadata
    Electronic eBook
  16. 216
  17. 217

    Maritime Spatial Planning past, present, future /

    Published 2019
    Table of Contents: “…Education and Training for Maritime Spatial Planners; Helena Calado, Catarina Fonseca, Joseph Onwona Ansong, Manuel Frias and Marta Vergílio. .…”
    Link to Metadata
    Electronic eBook
  18. 218
  19. 219
  20. 220