Results 11 to 20 of about 145,245 (295)
Computer Aided Systems Theory — EUROCAST '91 [PDF]
Lecture Notes in Computer Science, 1992 The proceedings contain 56 papers. The special focus in this conference is on Computer Aided Systems Theory. The topics include: Linear and algorithmic formulation of co-operative computation in neural nets; algebraic system modelling and implementation;
Pichler, Franz, Moreno-Díaz, Roberto
exaly +4 more sources
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 +12 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
Computer Aided Verification [PDF]
, 2018 This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.
core +9 more sources
Logarithm of multivector in real 3D Clifford algebras
Nonlinear Analysis, 2023 Closed form expressions for a logarithm of general multivector (MV) in basis-free form in real geometric algebras (GAs) Clp,q are presented for all n = p + q = 3.
Artūras Acus, Adolfas Dargys
doaj +1 more source
Researches regarding scale reduced models for the optimisation of the aerodynamic coefficient [PDF]
MATEC Web of Conferences, 2019 Within the lifecycle of the product, the reduced models are very important for the experimental validation of the prototype. The modelling, simulation and optimization stage precedes the prototype realization, being part of the computer aided design (CAD)
Stanciu Alexandru Lucian +3 more
doaj +1 more source
Computer-Aided Instruction in Law: Theories, Techniques, and Trepidations
American Bar Foundation Research Journal, 1978 Legal education is only beginning to make use of the technological capabilities of computers as a medium for instructional design. In this article the authors show the applicability of computer-assisted instruction to law through programmed instructional techniques. They trace the two decades of development of computer-assisted instruction (CAI) in law,
Park, Roger C., Burris, Russell
openaire +3 more sources
Optimal Design of Vehicle Structure Based on Computer-Aided Technology
Journal of Electrical and Computer Engineering, 2022 In order to improve the optimization design effect of modern automobile vehicle structure, this paper combines computer-aided technology to carry out vehicle structure optimization design, introduces the material description of the collision process ...
Guang Bai
doaj +1 more source
Computer-aided study of a problem in hermitian matrix theory
Journal of Symbolic Computation, 1990 Let A be any n×n positive definite matrix and B any n×n non-negative definite matrix.
Man Kam Kwon, Mary Beth Dever
openaire +1 more source
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