Výsledky vyhledávání - Hardware Hardware validation Functional verification Simulation and education

Simulator for Functional Verification and Validation of a Nanosatellite

Autoři: Kushagra Aggarwal Tushar Goyal

Zdroj: 2019 IEEE Aerospace Conference. :1-8

Témata: 0203 mechanical engineering, 4. Education, 0103 physical sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy

Přístupová URL adresa: https://ieeexplore.ieee.org/document/8741886/

Research hotspots and frontier trends in the field of 3D printing in medical education from 2010 to 2025: a bibliometric analysis.

Autoři: Jiang, Dingyuan Li, Nani Wang, Ke a další

Zdroj: 3D Printing in Medicine; 11/21/2025, Vol. 11 Issue 1, p1-17, 17p

Témata: THREE-dimensional printing, MEDICAL education, TECHNOLOGICAL innovations, BIBLIOMETRICS, SURGICAL education, HUMAN anatomical models, INTERDISCIPLINARY research

Research on the innovation framework of cultural tourism education integrating molecular biomechanics and digital technology--A two-way path based on immersive experience and talent training.

Autoři: Wu, Kankan Xu, Zhi Ye, Yangyang

Zdroj: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 5, p1-26, 26p

Témata: DIGITAL technology, BIOMECHANICS, IMMERSIVE design, LEARNING, PARTICIPATION, HERITAGE tourism, SHARED virtual environments, TALENT development

Advanced Computer Simulation Based on Cardiac Imaging in Planning of Structural Heart Disease Interventions.

Autoři: Agarwal, Alaukika Ranard, Lauren Vahl, Torsten a další

Zdroj: Journal of Clinical Medicine; Oct2025, Vol. 14 Issue 19, p6885, 21p

Témata: COMPUTER simulation, CARDIAC imaging, COMPUTATIONAL fluid dynamics, FINITE element method, CONGENITAL heart disease, HEART valve prosthesis implantation, MACHINE learning

Integrating Extensive Functional Verification Into Digital Design Education.

Autoři: Radu, Mihaela E. Sexton, Shannon M.

Zdroj: IEEE Transactions on Education; Aug2008, Vol. 51 Issue 3, p385-393, 9p, 3 Diagrams, 3 Charts

Témata: SYSTEMS design education, DIGITAL electronics, COMPUTER hardware description languages, HIGHER education research, EDUCATION

Geografický termín: TERRE Haute (Ind.), INDIANA

Research on biomechanics-based design of home-based intelligent elderly care robot.

Autoři: Gao, Yaqi Pei, Xiaopeng Cheng, Minghui

Zdroj: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 3, p1-21, 21p

Témata: BIOMECHANICS, ELDER care, ASSISTIVE technology, PHYSIOLOGICAL models, SCIENTIFIC observation, ROBOT design & construction, BIOMETRY, SIMULATION software

Wearables in ADHD: Monitoring and Intervention—Where Are We Now?

Autoři: Olinic, Mara-Simina Stretea, Roland Cherecheș, Cristian

Zdroj: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2359, 33p

Témata: WEARABLE technology, ATTENTION-deficit hyperactivity disorder, HARDWARE, ELECTROPHYSIOLOGY, OPERANT behavior, DATA privacy, MEDICAL needs assessment, SUPERVISION

Generative AI Assertions in UVM-Based System Verilog Functional Verification.

Autoři: Radu, Valentin Dranga, Diana Dumitrescu, Catalin a další

Zdroj: Systems; Oct2024, Vol. 12 Issue 10, p390, 15p

Témata: GENERATIVE artificial intelligence, LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PLAYGROUNDS

Compiler-assisted code generation for quantum computing: leveraging the unique properties of quantum architectures.

Autoři: James, G. G. Ekong, A. P. Unyime, A. U. a další

Zdroj: Journal of Nigerian Society of Physical Sciences; May2025, Vol. 7 Issue 2, p1-12, 12p

Témata: QUANTUM computing, QUBITS, COMPUTER software development, MATHEMATICAL optimization, COMPARATIVE studies

A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification.

Autoři: Zhimiao Chen Yifan Wang Lei Liao a další

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; 2014, p335-340, 6p

Témata: SYSTEMS on a chip, VIRTUAL prototypes, COMPLEMENTARY metal oxide semiconductors, ORDINARY differential equations, COMPUTER hardware description languages, BASEBAND, RADIO frequency integrated circuits

Mapping and Validating a Point Neuron Model on Intel's Neuromorphic Hardware Loihi.

Autoři: Dey, Srijanie Dimitrov, Alexander

Zdroj: Frontiers in Neuroinformatics; 5/30/2022, Vol. 16, p1-16, 16p

Témata: MORPHOLOGY, NEURONS, INTEGRATED circuits, ARTIFICIAL intelligence, BRAIN anatomy

Korporace: INTEL Corp.

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Design and effectiveness of a physical education teaching platform using virtual reality technology and insights from biomechanics.

Autoři: Cui, Yuhong Li, Yanfeng Zhang, Ming

Zdroj: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 3, p1-17, 17p

Témata: VIRTUAL reality, PHYSICAL education, PROJECT method in teaching, VIRTUAL classrooms, BIOMECHANICS, TENNIS techniques, STUDENT attitudes, STEAM education

Artificial Intelligence in Medicine and Sustainable Development.

Autoři: Alfouri, Areeg Alfouri, Shatha

Zdroj: Veterinary Medicine & Public Health Journal. Sep2025, Vol. 6 Issue 3, p105-118. 14p.

Digital System Verification : A Combined Formal Methods and Simulation Framework

Autoři: Lun Li Mitchel Thornton

Resource Type: eBook.

Témata: Electronic circuits, Control engineering, Robotics, Automation, Computers

Categories: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, TECHNOLOGY & ENGINEERING / Robotics

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

In Silico ADME Methods Used in the Evaluation of Natural Products.

Autoři: Ancuceanu, Robert Lascu, Beatrice Elena Drăgănescu, Doina a další

Zdroj: Pharmaceutics; Aug2025, Vol. 17 Issue 8, p1002, 58p

Témata: NATURAL products, PHARMACOKINETICS, COMPUTER simulation, MOLECULAR models, PHARMACEUTICAL industry, ALGORITHMS, DRUG discovery

Knowledge‐Based Expert System for Orthopedic Injury Management With Integrated Transcutaneous Electrical Nerve Simulation Therapy.

Autoři: Banjar, Haneen Almalki, Shahad Almehmadi, Lama a další

Zdroj: International Journal of Telemedicine & Applications; 6/23/2025, Vol. 2025, p1-21, 21p

Témata: TRANSCUTANEOUS electrical nerve stimulation, ARTIFICIAL intelligence, LEG injuries, ANKLE injuries, AVULSION fractures, ANKLE, FOOT

Expert consensus on best content of a robotic surgical curriculum: a systematic review.

Autoři: Kieslich, Anna K. Jardine, Ruari Ibrahim, Hussain a další

Zdroj: Journal of Robotic Surgery; 10/28/2025, Vol. 19 Issue 1, p1-26, 26p