खोज परिणाम - "Engineering"

PENERAPAN COMPUTER SCIENCE UNPLUGGED (CS UNPLUGGED) PADA MATA PELAJARAN KOMPUTER DAN JARINGAN DASAR GUNA MENINGKATKAN KEMAMPUAN BERPIKIR LOGIS SISWA द्वारा Muhamad Aris Wage Mustofa, -

Link Metadata

第二專長教師投入生活科技教育之動機、課程意識建構與教學實踐初探 A Preliminary Exploration of Second Specialty Teachers' Motivation, Curricular Consciousness Construction and Teaching Practices in Living Technolog... द्वारा 范斯淳 Szu-Chun Fan, 陳君瑜 Chun-Yu Chen

Connect to this object online.

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...

विषय - सूची: “…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 Interconnected Arctic - UArctic Congress 2016

विषय - सूची: “…The Possible Applications of these Indices in Long-term Weather Forecasts -- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas -- Part II Vulnerability of the Arctic societies. …”
Link to Metadata

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Link to Metadata

Sago Palm Multiple Contributions to Food Security and Sustainable Livelihoods /

Link to Metadata

How to Think Like a Computer Scientist C Version द्वारा Downey, Allen B.

Access online version

Efficacy of a Novel Pleiotropic MMP-Inhibitor, CMC2.24, in a Long-Term Diabetes Rat Model with Severe Hyperglycemia-Induced Oral Bone Loss द्वारा Bhatt HD, Golub LM, Lee HM, Kim J, Zimmerman T, Deng J, Hong H, Johnson F, Gu Y

Connect to this object online.

POPULARIZAÇÃO DE CONCEITOS E TECNOLOGIAS DE GERAÇÃO DE ENERGIA COM FONTES RENOVÁVEIS EM ESCOLAS DE ENSINO MÉDIO DE ITABIRA - MG द्वारा Amanda Costa de Oliveira, Gabriel Henrique Soares Almeida, Josiane Nunes Mendes, Marcela Roberta Almeida Ferreira, Nayara Almeida Bastos, Rafael Balbino Cardoso, Tamires Santos Nepomuceno

Connect to this object online.

Validação do reprocessamento de cateteres cardíacos angiográficos: uma avaliação da funcionalidade e da integridade Validación del reprocesamiento de catéteres cardíacos a... द्वारा Thabata Coaglio Lucas, Marcos Pinotti Barbosa, Adriana Cristina de Oliveira

Connect to this object online.

Evaluation of a Covalent Library of Diverse Warheads (CovLib) Binding to JNK3, USP7, or p53 द्वारा Klett T, Schwer M, Ernst LN, Engelhardt MU, Jaag SJ, Masberg B, Knappe C, Lämmerhofer M, Gehringer M, Boeckler FM

Connect to this object online.

Danusertib, a potent pan-Aurora kinase and ABL kinase inhibitor, induces cell cycle arrest and programmed cell death and inhibits epithelial to mesenchymal transition involving the... द्वारा Yuan CX, Zhou ZW, Yang YX, He ZX, Zhang X, Wang D, Yang T, Pan SY, Chen XW, Zhou SF

Connect to this object online.

Análisis de los mecanismos de producción de las lesiones leves por accidentes de trabajo en la construcción en España Analysis of the mechanisms of minor occupational injuries... द्वारा F.G. Benavides, M.T. Giráldez, E. Castejón, N. Catot, M. Zaplana, J. Delclós, J. Benach, D. Gimeno

Connect to this object online.

高中科學班畢業生之追蹤研究：大學學習表現與生涯發展之探討 Follow-Up Study on College Learning Performance and Career Development of Science Class Graduates... द्वारा 張靖卿 Ching-Ching Chang, 于曉平 Hsiao-Ping Yu

Connect to this object online.

Analysis of 7th-grade Students' Misconceptions of Acid-Base द्वारा Freddy Tua Musa Panggabean, Lia Angraini Simanjuntak, Rizky Agassy Sihombing, Sherly Christina Octavia, Jenita Br. Tambunan

Connect to this object online.

Association Between Systemic Immune Inflammation Level and Poor Prognosis Across Different Glucose Metabolism Status in Coronary Artery Disease Patients द्वारा Xu X, Xie Y, Gu X, Zhou Y, Kang Y, Liu J, Lai W, Lu H, Chen S, Xu J, Lin F, Liu Y

Connect to this object online.

Spirometry Data Analysis and Monitoring in Medical and Physiological Tests द्वारा Oleksandr Sokolov, Krzysztof Dobosz, Joanna Dreszer, Włodzisław Duch, Sławomir Grzelak, Tomasz Komendziński, Dariusz Mikołajewski, Tomasz Piotrowski, Małgorzata Świerkocka, Piotr Weber

Connect to this object online.

Establishment and Evaluation of a Novel Method Based on Loop-Mediated Isothermal Amplification for the Rapid Diagnosis of Thalassemia Genes द्वारा Wang W, Lin M, Li H, Huang J, Chen J, Fang X, Huang D, Xi X, Zhao Q, Song F, Huang S, Zhong T

Connect to this object online.

Patient characteristics associated with false arrhythmia alarms in intensive care द्वारा Harris PR, Zègre-Hemsey JK, Schindler D, Bai Y, Pelter MM, Hu X

Connect to this object online.

Identification of oral therapeutics using an AI platform against the virus responsible for COVID-19, SARS-CoV-2 द्वारा Adam Bess, Frej Berglind, Supratik Mukhopadhyay, Michal Brylinski, Chris Alvin, Fanan Fattah, Kishor M. Wasan

Connect to this object online.