Search Results - "Syeds"

Advances in Quantitative Remote Sensing in China - In Memory of Prof. Xiaowen Li by Shi, Jiancheng

Subjects: “…MuSyQ-GPP algorithm…”
DOAB: download the publication
DOAB: description of the publication

10th Anniversary of Plants-Recent Advances and Perspectives Volume I

Subjects: “…SH-SY5Y cell line…”
DOAB: download the publication
DOAB: description of the publication

10th Anniversary of Plants-Recent Advances and Perspectives Volume II

Subjects: “…SH-SY5Y cell line…”
DOAB: download the publication
DOAB: description of the publication

10th Anniversary of Plants-Recent Advances and Perspectives Volume III

Subjects: “…SH-SY5Y cell line…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Migration in South Asia IMISCOE Regional Reader /

Table of Contents: “…Internal and Forced Migration and Economic Development in South Asia (Mehdi Chowdhury and Syed Naimul Wadood) -- 3. Non-traditional Migration in South Asia (AKM Ahsan Ullah, Mallik Akram Hossain and Ahmed Shafiqul Huque) -- 4. …”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

The prevalence of Y chromosome microdeletions in Pakistani infertile men by Rubina Tabassum Siddiqui, Nosheen Mujtaba, Mamoona Naz

Connect to this object online.

Safflower Yellow and Its Main Component HSYA Alleviate Diet-Induced Obesity in Mice: Possible Involvement of the Increased Antioxidant Enzymes in Liver and Adipose Tissue by Kemin Yan, Xin Wang, Hui Pan, Linjie Wang, Hongbo Yang, Meijuan Liu, Huijuan Zhu, Fengying Gong

Connect to this object online.

Thermosonication-Catalyzed Synthesis of New 3-Esterified Coumarins as Biocompatible Antitumor Candidates by Sawsan Hasan Hammodi

Connect to this object online.

Spontaneous conception outcome in infertile women after four-dimensional hysterosalpingo-contrast-sonography by Yu Liu, Ning Zhang, Yanni He, Jiayao Shi, Meijun Zhou, Jingjiao Xu, Hongmei Liu

Connect to this object online.

Diagnosis of Local Isolates of Yeast Saccharomyces cerevisiae by Biochemical Methods by Haitham Aljader, Zena Al_gader

Connect to this object online.

Hydroxy-Selenomethionine Improves the Selenium Status and Helps to Maintain Broiler Performances under a High Stocking Density and Heat Stress Conditions through a Better Redox and... by Hua Sun, Ling Zhao, Zi-Jian Xu, Michele De Marco, Mickael Briens, Xiang-Hua Yan, Lv-Hui Sun

Connect to this object online.

The Mechanism by Which Safflower Yellow Decreases Body Fat Mass and Improves Insulin Sensitivity in HFD-induced Obese Mice by Huijuan eZhu, Xiangqing eWang, Hui ePan, Yufei eDai, Naishi eLi, Linjie eWang, Hongbo eYang, Fengying eGong

Connect to this object online.

Microleakage of different provisionalization techniques for class I inlays by Selim Erkut, Alper Caglar, Burak Yilmaz, H. Cenker Küçükeşmen, Erdem Ozdemir

Connect to this object online.

Nuansa Islami Dalam Novel Surga Yang Tak Dirindukan dan Novel Kehormatan Dibalik Kerudung: Kajian Interteks dan Implementasinya Dalam Pembelajaran Sastra Indonesia di MA by Anam, Nova Khairul, , Prof. Dr. Ali Imron Al-Ma'ruf, M.Hum, , Prof. Dr. Abdul Ngalim, M.M, M.Hum

Connect to this object online

Effects of Dietary Selenium Yeast Supplementation on Lactation Performance, Antioxidant Status, and Immune Responses in Lactating Donkeys by Manman Tong, Shuyi Li, Fang Hui, Fanzhu Meng, Li Li, Binlin Shi, Yanli Zhao, Xiaoyu Guo, Yongmei Guo, Sumei Yan

Connect to this object online.

PERANAN ORANG TUA DALAM MENGARAHKAN BAKAT ANAK TUNARUNGU JENJANG SDLB DI SLB NEGERI CICENDO BANDUNG by Sharaswati, Mutiara

Link Metadata

Safflower Yellow Inhibits Angiotensin II-Induced Adventitial Fibroblast Proliferation and Migration by Yueqiang Liu, Xuefeng Tian, Mingzhu Cui, Suzhen Zhao

Connect to this object online.

The Effect of Different Sources of Selenium Supplementation on the Meat Quality Traits of Young Charolaise Bulls during the Finishing Phase by Silvia Grossi, Luciana Rossi, Michele De Marco, Carlo Angelo Sgoifo Rossi

Connect to this object online.