Search Results - Ad Santel~
Suggested Topics within your search.
Suggested Topics within your search.
- History 9
- History of engineering & technology 6
- Technology: general issues 6
- Sociology 5
- Politics & government 4
- Archaeology 3
- Literature & literary studies 3
- Mathematics 3
- Research & information: general 3
- Society & culture: general 3
- Alternative & renewable energy sources & technology 2
- Computer security 2
- Computers 2
- Cultural studies 2
- Food & society 2
- Gender studies, gender groups 2
- Globalization 2
- History of education 2
- History of the Americas 2
- Human Geography 2
- Human geography 2
- Literature: history & criticism 2
- Media studies 2
- Philosophy 2
- Religion: general 2
- Semiotics / semiology 2
- Sociology & anthropology 2
- Teaching of specific groups & persons with special educational needs 2
- The arts 2
- 20th century history: c 1900 to c 2000 1
-
201
-
202
-
203
-
204
-
205
-
206
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020Table 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 -
207
-
208
-
209
-
210
-
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 2018Table 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 -
212
Pannonische Glanztonware aus dem Auxiliarkastell von Carnuntum Ausgrabungen der Jahre 1977-1988
Published 2004DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
213
-
214
Debating European Citizenship
Published 2019Table 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 -
215
Situating Children of Migrants across Borders and Origins A Methodological Overview /
Published 2017Table 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 -
216
-
217
Maritime Spatial Planning past, present, future /
Published 2019Table 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 -
218
-
219
-
220