Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian, Dotlačil, Jakub

Table of Contents: “…Semantics as a cognitive process II: Active search for cataphora antecedents and the semantics of conditionals -- Chapter 10. …”
Link to Metadata

Paths Why is life filled with so many detours? / by Gulyás, András, Heszberger, Zalán, Biró, József

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

Publishing Sacrobosco's De sphaera in Early Modern Europe Modes of Material and Scientific Exchange /

Link to Metadata

Wicked Problems in Public Policy Understanding and Responding to Complex Challenges / by Head, Brian W.

Link to Metadata

Improving Oncology Worldwide Education, Clinical Research and Global Cancer Care /

Link to Metadata

Machine Learning and Its Application to Reacting Flows ML and Combustion /

Link to Metadata

Migration and Domestic Space Ethnographies of Home in the Making /

Table of Contents: “…Welcome upon Conditions: On Visiting a Multigenerational Immigrant House(hold) (Sara Bonfanti) -- 5. Shared Flats in Madrid: Accessing and Analysing Migrants' Sense of Home (Alejandro Miranda-Nieto) -- 6. …”
Link to Metadata

Averting Disaster Before It Strikes How to Make Sure Your Subordinates Warn You While There is Still Time to Act / by Chernov, Dmitry, Ayoub, Ali, Sansavini, Giovanni, Sornette, Didier

Link to Metadata

Companion to European Heritage Revivals

Table of Contents: “…PART I: THE CONTEXT: HERITAGE PRACTICES IN TODAY'S EUROPE -- Chapter 1: Experiencing the Past: Introduction to Experience, Strategies, Authenticity and Branding; Linde Egberts -- Chapter 2: Creating a Shared Past? Europe and the Frankish Heritage in One of its Heartlands: Alsace; Linde Egberts -- Chapter 3: Battlefield of Histories: Competition over Authenticity and Heritage in an Urban Region in Eastern Netherlands; Linde Egberts -- PART II: REVIVAL TOOLS -- Chapter 4: Strategies for a Heritage Revival in the Digital Age; Jasper Visser -- Chapter 5: Using Games to Mediate History; Connie Veugen -- Chapter 6: "This is Clearly Bullshit": Some Views about History on Television; Mijke Pol -- Chapter 7: Lost Cities, Exotic Travel and Digging up the World: Historical Feature Films as a Means of Enhancing Appreciation of our Archaeological Heritage; Nina Schucker and Jan van Helt -- Chapter 8: When the Past Comes to Life: Historical Reenactment; Peter van der Plaetsen -- Chapter 9: Visualisation of Place and Landscape; Joske Houtkamp, Arnoud de Boer and Henk Kramer -- Chapter 10: From Preservation to Managing Change: Using Spatial Development as a Heritage Revival Tool; Felix van Veldhoven -- Chapter 11: Europe is a Journey: The European Cultural Route as an Instrument for Heritage Revival; Minke Walda -- PART III: CONCEPTS -- Chapter 12: Conceptual Fuel for Reviving the Past: Creating a Heritage Revival in Today's Europe; Linde Egberts.…”
Link to Metadata

Mathematics Education and Language Diversity The 21st ICMI Study /

Table of Contents: “…Introduction -- Challenges and opportunities for second language learners in undergraduate mathematics -- Mathematics in the hands of deaf learners and blind learners: visual-gestural-somatic means of doing and expressing -- Challenging deficit perspectives: student agency in multilingual mathematics classrooms -- Language diversity in mathematics teacher education: challenges across three countries -- Impact of differing grammatical structures in mathematics teaching and learning -- Addressing multi-language diversity in mathematics teacher education programs -- Language diversity and new media: issues of multimodality and performance -- Making use of multiple (non-shared) first languages: state and need of research and development in the European language context -- Purposefully relating multilingual registers - building theory and teaching strategies for bilingual learners based on an integration of three traditions -- Trends in mathematics education in multilingual contexts for indigenous population: experiences from Latin America -- Tensions in teaching mathematics in contexts of language diversity -- Research rationalities and the construction of the deficient multilingual mathematics learner -- Language diversity in research and its consequences -- Using ICTs to facilitate multilingual mathematics teaching and learning -- Mathematics teaching, language policy and the political role of language: perspectives from around the world -- Reflections -- Index.…”
Link to Metadata

Secondary Analysis of Electronic Health Records by MIT Critical Data

Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

Safety Cultures, Safety Models Taking Stock and Moving Forward /

Link to Metadata

META-NET Strategic Research Agenda for Multilingual Europe 2020

Table of Contents: “…Key Messages -- Executive Summary -- 1.Introduction -- 2.Multilingual Europe: Facts, Challenges, Opportunities -- 3.Major Trends in Information and Communication Technologies -- 4.Language Technology 2012: Current State and Opportunities -- 5.Language Technology 2020: The META-NET Technology Vision -- 6.Language Technology 2020: Priority Research Themes -- 7.Towards a Shared European Programme for Multilingual Europe 2020: Next Steps -- A.References -- B.List of Key Contributors -- C.Milestones and History of the Strategic Research Agenda -- D.About META-NET -- E.Members of META-NET -- F.Abbreviations and Acroynms.…”
Link to Metadata

Friendship Across the Seas The US Navy and the Japan Maritime Self-Defense Force / by Agawa, Naoyuki

Link to Metadata

Small Business Management in the 21st Century by Cadden, David, Lueder, Sandra L.

Table of Contents: “…Chapter 1: Foundations for Small Business -- Chapter 2: Your Business Idea: The Quest for Value -- Chapter 3: Family Businesses -- Chapter 4: E-Business and E-Commerce -- Chapter 5: The Business Plan -- Chapter 6: Marketing Basics -- Chapter 7: Marketing Strategy -- Chapter 8: The Marketing Plan -- Chapter 9: Accounting and Cash Flow -- Chapter 10: Financial Management -- Chapter 11: Supply Chain Management: You Better Get It Right -- Chapter 12: People and Organization -- Chapter 13: The Search for Efficiency and Effectiveness -- Chapter 14: Icebergs and Escapes -- Chapter 15: Going Global: Yes or No? …”
Access online version

Public Health Ethics Global Cases, Practice, and Context

Access online version

Philosophical Ethics by Matthews, George W.

Access online version

Television with Stanley Cavell in Mind

DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication