Formal Verification of AADL Models by Event-B
Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb Abdulwakeel Obadi Ahmed · IEEE Access · 2020
Abstract onlyNot checked
Computational Theory and Mathematics
Filters1 filter applied
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
Readable here
Study type
Licence
1,760 papers52 with full textQuestions on this topic
Simulation and multi-objective optimization to improve the final shape and process efficiency of a laser-based material accumulation process
Eberhard Bänsch, Andreas Luttmann, Jonathan Montalvo-Urquizo et al. · Journal of Mathematics in Industry · 2020
Abstract onlyNot checked
Chloroquine and hydroxychloroquine for combating COVID-19: Investigating efficacy and hypothesizing new formulations using Bio/chemoinformatics tools
Rania M. Hathout, Sherihan G. Abdelhamid, Abdelkader A. Metwally · Informatics in Medicine Unlocked · 2020
Abstract onlyNot checked
Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings
Ya Wang, Guanghui Zhu, Naiqi Wu · IEEE Access · 2020
Abstract onlyNot checked
On the total and AVD-total coloring of graphs
B. S. Panda, Shaily Verma, Yash Keerti · AKCE International Journal of Graphs and Combinatorics · 2020
Abstract onlyNot checked
Discovery of sulfone-resistant dihydropteroate synthase (DHPS) as a target enzyme for kaempferol, a natural flavanoid
Angamba Meetei Potshangbam, Ravindranath Singh Rathore, Potshangbam Nongdam · Heliyon · 2020
Abstract onlyNot checked
An inertial extrapolation method for multiple-set split feasibility problem
Guash Haile Taddele, Poom Kumam, Anteneh Getachew Gebrie · Journal of Inequalities and Applications · 2020
Abstract onlyNot checked
Chemical space exploration: how genetic algorithms find the needle in the haystack
Emilie S. Henault, Maria H. Rasmussen, Jan H. Jensen · PeerJ Physical Chemistry · 2020
Abstract onlyNot checked
Classification and biological identity of complex nano shapes
Luca Boselli, Hender Lopez, Wei Zhang et al. · Communications Materials · 2020
Abstract onlyNot checked
GANsDTA: Predicting Drug-Target Binding Affinity Using GANs
Lingling Zhao, Junjie Wang, Long Pang et al. · Frontiers in Genetics · 2020
Abstract onlyNot checked
Identification of Potential Inhibitors of 3CL Protease of SARS-CoV-2 From ZINC Database by Molecular Docking-Based Virtual Screening
Ashraf Ahmed Ali Abdusalam, Vikneswaran Murugaiyah · Frontiers in Molecular Biosciences · 2020
Abstract onlyNot checked
Interval Analysis and Calculus for Interval-Valued Functions of a Single Variable. Part I: Partial Orders, gH-Derivative, Monotonicity
Luciano Stefanini, Maria Letizia Guerra, Benedetta Amicizia · Axioms · 2019
Abstract onlyNot checked
Social Structure Decomposition With Security Issue
Wenshun Teng, Huijuan Wang, Hongling Chen et al. · IEEE Access · 2019
Abstract onlyNot checked
Forcibly-biconnected Graphical Degree Sequences: Decision Algorithms and Enumerative Results
Kai Wang · Theory and Applications of Graphs · 2019
Abstract onlyNot checked
Determinants and inverses of perturbed periodic tridiagonal Toeplitz matrices
Yunlan Wei, Xiaoyu Jiang, Zhaolin Jiang et al. · Advances in Difference Equations · 2019
Abstract onlyNot checked
Metodología de programación de autómatas programables a partir de Redes de Petri
Johny Antonio Alvarez Salazar, Juan Guillermo Mejia Arango · Ingeniería · 2019
Abstract onlyNot checked
Algorithms and Data Structures for Sparse Polynomial Arithmetic
Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir et al. · Mathematics · 2019
Abstract onlyNot checked
On a Method for Finding Extremal Controls in Systems with Constraints
A.S. Buldaev, I. D. Burlakov · Известия Иркутского государственного университета: Серия "Математика" · 2019
Abstract onlyNot checked
Sensitivity analysis for a new class of generalized parametric nonlinear ordered variational inequality problems in ordered Banach spaces
Kottakkaran Sooppy Nisar, Mohd. Sarfaraz, Ahmed Morsy et al. · Journal of Inequalities and Applications · 2019
Abstract onlyNot checked
Improved Prediction of Periodicity Using Quartet Approximation in a Lattice Model of Intracellular Calcium Release
Robert J. Rovetti · Frontiers in Applied Mathematics and Statistics · 2019
Abstract onlyNot checked