Results 11 to 20 of about 12,983,542 (274)
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]
, 2009 Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core +13 more sources
Computer-Aided Conceptual Design Through TRIZ-based Manipulation of Topological Optimizations [PDF]
, 2009 Organised by: Cranfield UniversityIn a recent project the authors proposed the adoption of Optimization Systems [1] as a bridging element between Computer-Aided Innovation (CAI) and PLM to identify geometrical contradictions [2], a particular case of ...
Cascini, G. +3 more
core +7 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023 [PDF]
, 2023 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 in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core +2 more sources
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 +6 more sources
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
Computer-Aided Drug Design [PDF]
Computer-Aided Drug Design (CADD) has emerged as a transformative approach in pharmaceutical research, integrating computational tools and molecular modeling techniques to accelerate and optimize the drug discovery process. This review provides a comprehensive overview of the fundamental principles, methodologies, and applications of CADD, including ...
L. Surendra Babu, K. Aparna Surya Mani
+5 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
Molecules, 2016 Ampakine compounds have been shown to reverse opiate-induced respiratory depression by activation of amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) glutamate receptors.
Dian Xiao +6 more
doaj +1 more source
Computer-Aided Drug Design Methods [PDF]
, 2016 Computational approaches are useful tools to interpret and guide experiments to expedite the antibiotic drug design process. Structure-based drug design (SBDD) and ligand-based drug design (LBDD) are the two general types of computer-aided drug design (CADD) approaches in existence.
Wenbo, Yu, Alexander D, MacKerell
openaire +2 more sources