Search Results - "cooperative"

The Sharing Economy in Europe Developments, Practices, and Contradictions /

Table of Contents: “…The Sharing Economy in France: From Cooperative Business to Platform Cooperatives; Myriam Lewkowicz, & Jean-Pierre Cahier -- 15. …”
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

Avion by Heberlandová, Katarína

DOAB: download the publication
DOAB: description of the publication

ANÁLISE DE AÇÕES EXTENSIONISTAS NA IMPLANTAÇÃO DE HORTAS ESCOLARES DE BASE ECOLÓGICA, SEUS EFEITOS E DESAFIOS NO CONTEXTO EDUCACIONAL by José Tobias Marks Machado, Jeferson Tonin, Evandro Pedro Schneider

Connect to this object online.

Intratumoral chemotherapy for lung cancer: re-challenge current targeted therapies by Hohenforst-Schmidt W, Zarogoulidis P, Darwiche K, Vogl T, Goldberg EP, Huang H, Simoff M, Li Q, Browning R, Turner FJ, Le Pivert P, Spyratos D, Zarogoulidis K, Celikoglu SI, Celikoglu F, Brachmann J

Connect to this object online.

Trends of syphilis in Posadas city (Misiones State, Argentina), 1997-2000 Incidência de sífilis na cidade de Posadas (estado de Misiones, Argentina), 1997-2000 by Ramón Alberto de Torres, Nora Jacquier, Luisa dos Santos, Marcelo Rodriguez Fermepin, Jorge Daniel Deschutter, Celsa Gonzalez de Duarte

Connect to this object online.

Title not available by José Tobias Marks Machado, Jeferson Tonin, Evandro Pedro Schneider

Connect to this object online.

Mitchell (Mitch) Mirkin (1962?2022) Acting Director, VA Research Communications

Connect to this object online.

Wikis y el Nuevo estudiante de lenguas extranjeras by Ana Gimeno Sanz, Jesús García Laborda

Connect to this object online.

<p>Penatalaksanaan kasus kegawatdaruratan fraktur dentoalveolar pada pasien usia lanjut dengan penyakit sistemik</p><p>Management of emergency case of dentoalveolar fractures in el... by Ariyanto Suryo Karyono, Winarno Priyanto, Abel Tasman Yuza, Fathurachman Fathurachman

Connect to this object online.

The impact of different benefit packages of Medical Financial Assistance Scheme on health service utilization of poor population in Rural China by Jiao Mingli, Ning Ning, Gao Lijun, Zhang Zhenzhong, Wu Qunhong, Hao Yanhua, Zakus David

Connect to this object online.

Social participation in inclusive physical education: On the importance of class, teaching methods and teacher characteristics by Vitus Furrer

Connect to this object online.

PENINGKATAN KUALITAS PEMBELAJARAN MATAKULIAH DASAR-DASAR KIMIA ANALISIS MELALUI STRATEGI THINK PAIR SHARE (TPS) DENGAN PENGORGANISASIAN PEMBELAJARAN MENURUT TEORI ELABORASI by Endang Budiasih, Dedek Sukarianingsih

Connect to this object online.

Good learning practices in the field of science and technology by Beatriz Amante García, María Martínez Martínez

Connect to this object online.

PENERAPAN MODEL PEMBELAJARAN SAVI (Somatic, Auditory, Visualization, Intellectual) MELALUI TARI SAMAN GAYO LUES UNTUK MENIGKATKAN SIKAP BUDI PEKERTI by Muhamad Ogi Ariyansah, -

Link Metadata

PENGARUH GENDER TERHADAP KEMAMPUAN LITERASI ANAK USIA DINI MELALUI METODE BERMAIN PERAN : Penelitian Eksperimen Literasi Anak Usia 5-6 Tahun Kelompok B by Evi Fauziyah Mitagani, -

Link Metadata

EFEKTIVITAS PENGGUNAAN METODE INQUIRY DALAM MENUMBUHKAN MOTIVASI BELAJAR PKN : Penelitian Tindakan Kelas pada Pembelajaran partisipasi dalam usaha Pembelaan negara di kelas IX SMPN... by Rika Mardaniati, -

Link Metadata

PEMBELAJARAN FISIOLOGI TUMBUHAN TERINTEGRASI STRUKTUR TUMBUHAN BERBASIS KERANGKA INSTRUKSIONAL MARZANO UNTUK MENURUNKAN BEBAN KOGNITIF MAHASISWA by Hindriana, Anna Fitri

Link Metadata

PENERAPAN MODEL PEMBELAJARAN KOOPERATIF TIPE NUMBERED HEADS TOGETHER (NHT) TERHADAP KEMAMPUAN BERPIKIR KRITIS PESERTA DIDIK PADA MATA PELAJARAN KEARSIPAN: Studi Eksperimen Kuasi pa... by Setia, Restu Arti

Link Metadata

PENERAPAN NILAI-NILAI PERMAINAN TRADISIONAL DALAM PEMBELAJARAN IPS: studi desriptif analitik terhadap siswa SMP negeri 44 bandung by Mulyana, Wendy Wahyu

Link Metadata