Search Results - BAFTA~

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

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

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Researching Values Methodological Approaches for Understanding Values Work in Organisations and Leadership /

Table of Contents: “…Searching for Mysteries in Research Projects about Values in Organisational and Leadership Studies -- 4 Intentionality and agency in values work research -- 5 Extending knowledge, improving practice, and refining values - research informed by the concept of phronesis -- 6 Dilemmas and Craftsmanship Practices: Strategies for Empirically Uncovering Values and Value Conflicts -- Part II: Methods for collecting and analysing data -- 7 Research interview to investigate and co-create values -- 8 Observation and Shadowing: Two Methods to Research Values and Values Work in Organisations and Leadership -- 9 Thematic analysis: Making values emerge from texts -- 10 Identifying values through discourse analysis -- 11 A narrative approach to exploring values in organisations -- 12 Researchers' role reflexivity when studying values work -- 13 Participant validation-A strategy to strengthen the trustworthiness of your study and address ethical concerns -- Part III: Researching values through practical cases -- 14 The 'telos' as a lens that illuminates values in practice -- 15 Applying a qualitative case study approach to study values in public-private partnerships -- 16 Values-Based Participatory Action Research in Development Ethics.…”
Link to Metadata

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

Table of Contents: “…The Mysterious User of Research Data: Knitting Together Science and Technology Studies with Information and Computer Science -- 12. …”
Link to Metadata

Ethics, Integrity and Policymaking The Value of the Case Study /

Table of Contents: “…Automated Justice, Automated Policing: Issues, Benefits and Risks in the Use of Artificial Intelligence and its Algorithms in Access to Justice and Law Enforcement (Caroline Gans Combe) -- Chapter 6. Data Protection in Croatia: An Indicator of Ethics Processes in Research Institutions (Zvonimir Koporc) -- Chapter 7. …”
Link to Metadata

Biodiversity Conservation and Phylogenetic Systematics Preserving our evolutionary heritage in an extinction crisis /

Table of Contents: “…The case of phylogenetic relict species -- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation -- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers -- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks -- The rarefaction of phylogenetic diversity: formulation, extension and application -- Support in area prioritization using phylogenetic information -- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia -- Representing hotspots of evolutionary history in systematic conservation planning for European mammals -- Priorities for conservation of the evolutionary history of amphibians in the cerrado -- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals -- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics -- Conservation of phylogenetic diversity in Madagascar's largest endemic plant family, Sarcolaenaceae -- The future of phylogenetic systematics in conservation biology: linking biodiversity and society.…”
Link to Metadata

Loss and Damage from Climate Change Concepts, Methods and Policy Options /

Table of Contents: “…Perspectives & Concepts -- Chapter 4.Weather related losses and damages: what can we learn from disaster data? -- Chapter 5. Frontiers in science for supporting L&D decision making -- Chapter 6. …”
Link to Metadata

AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility

Table of Contents: “…-- Lessons from local transport transition projects for connected and automated transport -- Connected and automated transport in the socio-technical transition -- Data-driven urbanism, digital platforms and the planning of MaaS in times of deep uncertainty: What does it mean for CAVs?.…”
Link to Metadata

Aplikasi Transformasi Laplace Pada Rangkaian Listrik by Arifin Arifin, Muhammad Wakhid Musthofa, Sugiyanto Sugiyanto

Connect to this object online.

ROBUSTNESS MODEL-MODEL RESPONS BUTIR TERHADAP PELANGGARAN ASUMSI INDEPENDENSI LOKAL BUTIR by Ali Hasmy, Suryanto Suryanto, Kumaidi Kumaidi

Connect to this object online.

PERANCANGAN MEJA PRAKTIKUM PENGUKURAN WAKTU KERJA PADA STASIUN PENGAMATAN KERJA LABORATORIUM PTI (Studi Kasus di Laboratorium PTI Fakultas Teknik UMS) by PRASETYO, SIGIDAJI

Connect to this object online

Analisis Konjungsi Subordinatif Waktu Dan Konsesif Pada Novel Edensor Karya Andrea Hirata by KRISTIANA , KRISTIANA

Connect to this object online

PENGARUH PENEMPATAN KARYAWAN TERHADAP KEPUASAN KERJA KARYAWAN DI PT PEMBANGUNAN PERUMAHAN (PP) PERSERO CABANG IV JAWA BARAT by Devi Asrianti, -

Link Metadata

PENGARUH ROTASI JABATAN TERHADAPKEPUASAN KERJAPADA PT.GEOSKY INDONESIA by Dani Frima, -

Link Metadata

STUDI KINERJA STRUKTUR GEDUNG RUMAH SAKIT MAYAPADA BUAH BATU BANDUNG AKIBAT BEBAN DINAMIS by Faizal Akbar Maulana, -

Link Metadata

Proses Penyelesaian Sengketa Data Fisik Sertifikat Hak Atas Tanah di Kantor Pertanahan Kota Surakarta by Astuti, Sri Dewi, , Darsono, SH., MH, , Nuswardhani, SH.,MS

Connect to this object online

Influences of the IEA Civic and Citizenship Education Studies Practice, Policy, and Research Across Countries and Regions /

Table of Contents: “…Foreword -- Introduction from Editors -- Part 1: National Perspectives on Participation in IEA Civic and Citizenship Education Studies -- 1 Flemish Belgian Students' and Teachers' Results in the IEA ICCS Studies: Implication for Cross-Curricular Approaches to Civic Education; Ellen Claes and Linde Stals -- 2 Bulgarian Civic Education in Transition; Svetla Petrova -- 3 Civic and Citizenship Education in Chile and the Influence of International Civic and Citizenship Education Studies; Gabriela Cares and Elisa Salinas Valdivieso -- 4 Civic and Citizenship Education in Colombia: Challenges for Both Students and Teachers; Luis Felipe Dussán Zuluaga and Juan Camilo Ramírez Chaguendo -- 5 Civic and Citizenship Education in Denmark 1999-2019: Discourses of Progressive and Productive Education; Jens Bruun -- 6 Building Civic and Citizenship Education in the Dominican Republic; Ancell Scheker and Michelle Guzmán -- 7 Estonian Civic and Citizenship Education in Turbulent Times; Anu Toots and Mare Oja -- 8 IEA's International Civic and Citizenship Education Study and the Teaching of Civic Education in Italy; Laura Palmerio, Valeria Damiani and Elisa Caponera -- 9 Improving Civic and Citizenship Education in Latvia; Ireta Čekse -- 10 How IEA's Civic and Citizenship Education Studies Have Contributed to Educational Discourse in Lithuania; Rita Dukynaitė, Ginta Orintienė, and Šarūnas Gerulaitis -- 11 The Role of IEA's Civic and Citizenship Education Studies in Mexico; María Eugenia Luna-Elizarrarás, María Teresa Meléndez-Irigoyen and Citlalli Sánchez-Alvarez -- 12 Inequality in Citizenship Competences: Citizenship Education and Policy in The Netherlands; Anne Bert Dijkstra, Geert ten Dam and Anke Munniksma -- 13 Strengthening Connections Between Research, Policy and Practice in Norwegian Civic and Citizenship Education; Heidi Biseth, Idunn Seland and Lihong Huang -- 14 The Role of IEA's Studies in the Development of Civic and Citizenship Education in Slovenia; Eva Klemenčič Mirazchiyski -- Part 2: Regional and Interdisciplinary Perspectives on Findings From the IEA Civic and Citizenship Education Studies -- 15 The Personal, the Professional, and the Political: An Intertwined Perspective on the IEA Civic Education Studies; Erik Amnå -- 16 Joining an International Community of Practice: Reflections on the IEA Civic Education Studies as an Early Career Scholar; Carolyn Barber -- 17 IEA Civic Education Studies in Latin America: Paths of Influence and Critique in Policy and Research; Cristian Cox -- 18 Reflecting on IEA's CIVED in the United States: Policies, People, and Research; Carole Hahn -- 19 The Contribution of the IEA Civic and Citizenship Education Studies to Educational Research and Policy in Europe; Maria Magdalena Isac -- 20 Asian Students' Citizenship Values: Exploring Theory by Reviewing Secondary Data Analysis; Kerry Kennedy -- 21 Understanding School and Classroom Contexts for Civic and Citizenship Education: The Importance of Teacher Data in the IEA Studies; Bruno Losito, Gabriella Agrusti, and Valeria Damiani -- 22 The Landscape and Recent Developments of Civic and Citizenship Education Across the Latin American Region; Andrés Sandoval-Hernández and Daniel Miranda -- 23 Reflections on the Development of the IEA Civic and Citizenship Education Studies; Wolfram Schulz -- 24 A Moral Perspective on Citizenship Education and on IEA's International Civic and Citizenship Studies; Wiel Veugelers.…”
Link to Metadata

Education, Competence Development and Career Trajectories Analysing Data of the National Educational Panel Study (NEPS) /

Table of Contents: “…Dropping Out of Higher Education in Germany: Using Retrospective Life Course Data to DetermineDropout Rates and Destinations of Non-Completers (Nicole Tieben) -- 11. …”
Link to Metadata

Computation and the Humanities Towards an Oral History of Digital Humanities / by Nyhan, Julianne, Flinn, Andrew

Table of Contents: “…--  'Individuation is There in all the Different Strata:' an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty -- 'It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum': an Oral History Conversation between Wilhelm Ott and Julianne Nyhan -- 'hic Rhodus, hic salta': An Oral History Interview Between Tito Orlandi and Julianne Nyhan -- 'They Took a Chance': An Oral History Conversation between Susan Hockey and Julianne Nyhan --  'And Here We go Back Again to the Influence of Algorithmic Thinking': An Oral History conversation between Judy Malloy and Julianne Nyhan -- 'I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming': An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan -- 'I Was Absolutely Convinced That There Had to be a Better Way': An Oral History Conversation Between John Nitti and Julianne Nyhan -- 'It's a Little Mind-Boggling Actually': An Oral History Conversation between Helen Agüera and Julianne Nyhan --  'I Heard About the Arrival of the Computer': An Oral History Conversation Between Hans Rutimann and Julianne Nyhan --  'Langezeit habe ich der Universitaet nachgetrauert': An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.…”
Link to Metadata

TINJAUAN KUAT DUKUNG, POTENSI KEMBANG SUSUT, DAN PENURUNAN KONSOLIDASI TANAH LEMPUNG KALIOSO KARANGANYAR by Rifai, Untung Achmad

Connect to this object online