Results 11 to 20 of about 12,080,983 (297)
Computer-aided design and Computer-aided engineering [PDF]
MATEC Web of Conferences, 2018 In modern industrial production some of the major factors of successful development include: cost reduction of the production, im-provement of its quality, as well as help to minimise the time in market en-try.
Kolbasin Alexander, Husu Oksana
doaj +2 more sources
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
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 ferret design [PDF]
2003 International Conference on Geometric Modeling and Graphics, 2003. Proceedings, 2003 In this paper, we explore several extensions to surface pasting. In particular, using the task of modeling a ferret as a driving force, we improved the user interface for cylindrical pasting; we looked at methods for reducing the distortion of pasted features; and we created a method for pasting trimmed features to allow for features that do not have ...
Selina Siu, Stephen Mann
openaire +1 more source
Computer-Aided Design as Language
CoRR, 2021 Computer-Aided Design (CAD) applications are used in manufacturing to model everything from coffee mugs to sports cars. These programs are complex and require years of training and experience to master. A component of all CAD models particularly difficult to make are the highly structured 2D sketches that lie at the heart of every 3D construction.
Yaroslav Ganin +4 more
openaire +3 more sources
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
Proceedings of the 23rd Conference on 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,
core +1 more source
Computer-aided antibody design [PDF]
Protein Engineering Design and Selection, 2012 Recent clinical trials using antibodies with low toxicity and high efficiency have raised expectations for the development of next-generation protein therapeutics. However, the process of obtaining therapeutic antibodies remains time consuming and empirical.
Kuroda, Daisuke +3 more
openaire +2 more sources
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [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 +3 more sources