Search Results - "optimization"

Forming in Students Psychological Readiness for Enterprise Activity in the Process of Higher School Training by Z G Khanova, A I Matakayev

Connect to this object online.

Conservation Management Plan as a cultural heritage protection methodology by Rafał Trzaska

Connect to this object online.

Atención farmacéutica en la bibliografía nacional e internacional by María Victoria Rojo Manteca

Connect to this object online.

DIET AT EARLY STAGES OF CHILD'S DEVELOPMENT AND OPPORTUNITIES OF ITS PRACTICAL REALIZATION by O.A. Matalygina

Connect to this object online.

Analysis of the application of additional correction methods of insufficient adherence to treatment in patients with resistant and pseudo-resistant arterial hypertension by V. Zbitnieva

Connect to this object online.

A step-length formula for conjugate gradient methods / Adam Ajimoti Ishaq, Tolulope Latunde and Kazeem Babatunde Akande by Ishaq, Adam Ajimoti, Latunde, Tolulope, Akande, Kazeem Babatunde

Link 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

Деструкція гірничопромислових ландшафтів = The destruction of mining landscapes by Ievhen Ivanov, Ivan Kovalchuk

Connect to this object online.

PENGEMBANGAN LEMBAR KERJA SISWA (LKS) PRAKTIKUM BERBASIS INKUIRI TERBIMBING PADA TOPIK SIFAT KIMIA ALKOHOL DALAM TAPAI KETAN by Rosanty, Nurshifa

Link Metadata

PENGEMBANGAN PENUNTUN PRAKTIKUM KIMIA SKALA KECIL PADA SUBPOKOK BAHASAN SIFAT KOLOID UNTUK SISWA SMA by Ningsih, Maria Fitria

Link Metadata

ANALISIS RISIKO INVESTASI DENGAN SIMULASI MONTE CARLO DALAM RANGKA EFISIENSI ENERGI SISTEM PENERANGAN JALAN DI INDONESIA : Studi pada Jalan Arteri di Enam Wilayah Kota Bandung by Lindawati, -

Link Metadata

PENGEMBANGAN LEMBAR KERJA SISWA PRAKTIKUM BERBASIS INKUIRI TERBIMBING PADA MATERI KOLOID PEMBUATAN BUTTERCREAM by Gita Muzayyanah, -

Link Metadata

PENGARUH PENGGUNAAN EDIBLE COATING PATI KULIT SINGKONG DENGAN PENAMBAHAN MINYAK ESENSIAL KULIT JERUK MANIS TERHADAP KUALITAS BUAH ANGGUR (Vitis vinifera) by Putri Sayyida Ashfiya, -

Link Metadata

Secure and Efficient IP Mobility Support for Aeronautical Communications by Bauer, Christian

DOAB: download the publication
DOAB: description of the publication

Thin film MOFs (SURMOFs) for application in gas separation by Valadez Sánchez, Elvia Patricia

DOAB: download the publication
DOAB: description of the publication

Web Intelligence and Intelligent Agents

DOAB: download the publication
DOAB: description of the publication

Fuel Injection

DOAB: download the publication
DOAB: description of the publication

Prozesssicherheit von Laserschneidmaschinen Auflagemessung und Schachtelung by Struckmeier, Frederick

DOAB: download the publication
DOAB: description of the publication

ANALYSIS OF DRUG PRODUCTS ASSORTMENT ACQUIRABLE BY HEALTHCARE ORGANIZATIONS FOR MEDICAL TREATMENT IN HOSPITAL SETTINGS WAS CONDUCTED by M. G. Malaev

Connect to this object online.

Scientific degree in Russia: reality and prospects by Vladimir V. Laptev, Svetlana A. Pisareva, Alla P. Tryapitsyna

Connect to this object online.