Results 11 to 20 of about 13,701,591 (243)
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 [PDF]
, 2022 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +4 more sources
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 [PDF]
, 2021 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +3 more sources
Informatics in Medicine Unlocked, 2021 Tuberculosis (TB) is one of the leading causes of death worldwide. The development of new anti-tubercular drugs is required as resistant strains of M. tuberculosis to various first-line drugs are currently available.
Jakaria Shawon +3 more
doaj +1 more source
A pentagonal surface patch for computer-aided geometric design [PDF]
, 1981 A vector valued interpolation scheme for a pentagon is described which is compatible with surface patches which have a rectangular domain of definition. Such a scheme could be useful in computer- aided geometric design problems, where a pentagonal patch ...
Gregory, JA, Charrot, P
core +4 more sources
Computer-Aided Drug Design and Drug Discovery. [PDF]
Pharmaceuticals (Basel)In the rapidly evolving landscape of pharmaceutical research, the integration of computational methods has become a cornerstone in drug discovery and development efforts [...]
Mihai DP, Nitulescu GM.
europepmc +2 more sources
Cell Death and Disease, 2022 Triple-negative breast cancer (TNBC) is a heterogeneous subtype of breast cancer that displays highly aggressive with poor prognosis. Owing to the limited targets and drugs for TNBC clinical therapy, it is necessary to investigate the factors regulating ...
Pengyun Li +12 more
doaj +1 more source
Chemistry, 2022 The human ether-a-go-go-related gene (hERG) potassium channel is a well-known contributor to drug-induced cardiotoxicity and therefore is an extremely important target when performing safety assessments of drug candidates.
Himanshu Goel +2 more
doaj +1 more source
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 [PDF]
, 2020 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +2 more sources
Cell Death Discovery, 2021 Increasing evidence suggests the pivotal role of hematopoietic pre-B-cell leukemia transcription factor (PBX)-interacting protein (HPIP/PBXIP1) in cancer development and progression, indicating that HPIP inhibition may be a promising target for cancer ...
Pengyun Li +12 more
doaj +1 more source
Scientific Reports, 2022 Molecular level understanding on the role of viral infections causing cervical cancer is highly essential for therapeutic development. In these instances, systems pharmacology along with multi omics approach helps in unraveling the multi-targeted ...
Murali Aarthy +3 more
doaj +1 more source