Results 11 to 20 of about 11,465,696 (296)
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
BMC Chemistry, 2023 AbstractComputer-Aided Drug Design tools are now an indispensable part of drug discovery that have made key contributions to the development of drugs. In this editorial, I briefly provide an overview of CADD emphasizing its potential and invite authors from academia and the pharmaceutical and biotechnology sector to present their research in this ...
openaire +4 more sources
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024 [PDF]
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.
Formal Methods in Computer Aided Design
core +2 more sources
Reducing the Concepts of Data Science and Machine Learning to Tools for the Bench Chemist
CHIMIA, 2019 Machine Learning and Data Science have enjoyed a renaissance due to the availability of increased computational power and larger data sets. Many questions can be now asked and answered, that previously were beyond our scope.
Richard A. Lewis +3 more
doaj +1 more source
Computer-Aided Vaccine Design [PDF]
Human Vaccines & Immunotherapeutics, 2013 Vaccines, and their discovery, are topics of singular importance in present-day biomedical science. The discovery of vaccines has hitherto been primarily empirical in nature, and it is only now that this is giving way, albeit very slowly, to a more rational approach, supported and enhanced by computer-based methods.
openaire +2 more sources
Calculation of fatigue fracture in structural elements using a multimode damage model [PDF]
MATEC Web of Conferences, 2022 The problem of nucleation and development for the fatigue fracture process in element of aircraft structure is solved using previously developed cyclic damage model.
Nikitin Ilia +2 more
doaj +1 more source
Visual Computing for Industry, Biomedicine, and Art, 2022 In recent years, human motion prediction has become an active research topic in computer vision. However, owing to the complexity and stochastic nature of human motion, it remains a challenging problem.
Lujing Chen +5 more
doaj +1 more source