Search Results - pevka~

Migration and Social Protection in Europe and Beyond (Volume 3) A Focus on Non-EU Sending States /

Table of Contents: “…Diaspora Policies, Consular Services and Social Protection for Turkish Citizens Abroad: Seda Aydin, Eva Østergaard-Nielsen -- 26. Access to Social Protection by Immigrants, Emigrants and Resident Nationals in the UK: Alessio Bertolini, Daniel Clegg -- 27. …”
Link to Metadata

The Palgrave Handbook of Family Policy

Table of Contents: “…Parentalization of Same-Sex Couples: Family Formation and Leave Rights in Five Northern European Countries; Marie Evertsson, Eva Jaspers & Ylva Moberg -- Section 4. Sub-national -- 17. …”
Link to Metadata

Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

Table of Contents: “…'Living With' Interagency Collaboration - Three Sustaining Practices, Tine Murphy, Marie Kirstejn Aakjaer, Eva Pallesen, Charlotte Rosenberg -- 5. The Application Of Norwegian Humane Ideals By Front- Line Workers When Collaboratively Reintegrating Inmates Back Into Society, William Dugdale And Sarah Hean -- 6. …”
Link to Metadata

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

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Classification and Data Science in the Digital Age

Table of Contents: “…Giubilei: Clustering Brain Connectomes Through a Density-peak Approach -- T. Górecki, M. Šuczak, and P. Piasecki: Similarity Forest for Time Series Classification -- K. …”
Link to Metadata

MEKANISME PENGANGKATAN CALON PEGAWAI NEGERI SIPIL (CPNS) PADA ERA OTONOMI DAERAH(Studi Deskriptif Analitik di Badan Kepegawaian DaerahKabupaten Ciamis) by Ane Maryani, -

Link Metadata

IMPLEMENTASI ALGORITMA LOW BIT CODING (LBC) DAN BLOCK CIPHER DENGAN MODE ELECTRONIC CODE BOOK (ECB) UNTUK LEGALITAS DATA PADA STREAMING AUDIO STEGANOGRAFI by Faisal Sidik, -

Link Metadata

IMPLEMENTASI ALGORITMA LOW BIT CODING(LBC) DANBLOCK CIPHER DENGAN MODE ELECTRONIC CODE BOOK (ECB) UNTUK LEGALITAS DATA PADA STREAMING AUDIO STEGANOGRAFI by Faisal Sidik, -

Link Metadata

Migration and Social Protection in Europe and Beyond (Volume 2) Comparing Consular Services and Diaspora Policies /

Table of Contents: “…Diaspora Policies, Consular Services and Social Protection for Czech Citizens Abroad: Eva Janská, Kristýna Janurová -- 8. Diaspora Policies, Consular Services and Social Protection for Danish Citizens Abroad: Romana Careja -- 9. …”
Link to Metadata

Kajian perbandingan anatomi daun bagi beberapa spesies shorea roxb., hopea roxb., dan vatica linn. (dipterocarpaceae) / Nor Lailatul Wahidah Musa and Liliwirianis Nawi by Musa, Nor Lailatul Wahidah, Nawi, Liliwirianis

Link Metadata

Design and Development of a Behaviorally Active Recombinant Neurotrophic Factor by Pekas NJ, Petersen JL, Sathyanesan M, Newton SS

Connect to this object online.

Hubungan Kelengkapan Pengisian Resume Medis dengan Keakuratan Kode Diagnosis Kasus Obstetri Berdasarkan ICD-10 di RSUD DR Moewardi Surakarta by Dewi, Sri Chandra

Connect to this object online

Pengenalan Ilmu Rekam Medis Pada Masyarakat Serta Kewajiban Tenaga Kesehatan di Rumah Sakit by Ulil Kholili

Connect to this object online.

Tinjauan Yuridis Perbuatan Melawan Hukum Atas Suatu Perjanjian Kredit Dengan Jaminan Suatu Kepemilikan Tanah Yang Belum Terpisah Dari Sertifikat Induk Tanah (Studi Putusan Nomor 3... by Willy Tanjaya, O K Isnainul, Elvira Fitriyani Pakpahan, Maggie Maggie

Connect to this object online.

KEMAMPUAN GURU MEMANFAATKAN ASESMEN PORTOFOI10 DALAM MENINGKATKAN MUTU BELAJAR PENDIDIKAN IPS DI SEKOLAH DASAR :Suatu Penelitian Kelas tentang Pemanfaatan Asesmen Portofolio Se... by Acep Supriadi, -

Link Metadata

OPTIMIZATION AND CHARACTERIZATION OF ELECTRON BEAM RESIST USING ATOMIC FORCE MICROSCOPY by - Sutikno

Connect to this object online.

PENERAPAN KETEPATAN WAKTU PENGEMBALIAN REKAM MEDIS RAWAT INAP by Yulfa Yulia, Kalasta Ayunda Putri, Oktamianiza Oktamianiza, Deni Maisa Putra, Rahmadhani Rahmadhani, Nur Habibah Hakki

Connect to this object online.

Hubungan Kelengkapan Anamnesis dengan Keakuratan Kode Diagnosis Pasien Kasus Kecelakaan Berdasarkan ICD-10 di RS PKU Muhammadiyah Yogyakarta by SASMITA., BANI

Connect to this object online

ANALISA DAN PERANCANGAN SISTEM INFORMASI REKRUTMEN KARYAWAN BARU PADA PT. FORMWELL PRODUCTS by Erlan Yogaswara, -

Link Metadata