Treffer 21 - 40 von 8.402.186

21

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Nadel, Alexander ; Rozier, Kristin Yvonne

Formal Methods Computer-Aided System De... Hardware and System Veri... Formal Verification, Spe... Automated and Formal Rea...
E-Book
Zu den Favoriten
23

A computer-based method for the automatic identification of the dimensional features of human cervical vertebrae
Nicola Cappetti ; Luca Di Angelo ; Carlotta Fontana ; et al.
Computer Methods and Programs in Biomedicine Update, Vol 7, Iss , Pp 100175- (2025)

Biomedical engineering Cervical vertebrae CT measures standardizat... Computer applications to... R858-859.7
Fachzeitschrift
Zu den Favoriten
28

Computer-Aided Diagnosis Methods for High-Frequency Ultrasound Data Analysis: A Review.
Czajkowska J ; Borak M
Publisher: MDPI Country of Publication: Switzerland NLM ID: 101204366 Publication Model: Electronic Cited Medium: Internet ISSN: 1424-8220 (Electronic) Linking ISSN: 14248220 NLM ISO Abbreviation: Sensors (Basel) Subsets: MEDLINE

Ultrasonography Algorithms Diagnosis, Computer-Assi... Image Processing, Comput...
Fachzeitschrift
Zu den Favoriten
29

Computer Methods for the Antimicrobial Efficacy of Metal Nanoparticles Against MDR Microbes
Shanza Anzar ; Ayesha Sohail ; Lubna Sherin ; et al.
Journal of Nanotechnology, Vol 2025 (2025)

T1-995 Technology (General)
Fachzeitschrift
Zu den Favoriten
30

Computer Methods in Applied Mechanics and Engineering / A software benchmark for cardiac elastodynamics
Aróstica, Reidmen ; Nolte, David ; Brown, Aaron ; et al.

Cardiac mechanics Finite elements Hyperelasticity Benchmark Software
Fachzeitschrift
Zu den Favoriten
31

Retraction notice to ``Can digital vaccine passports potentially bring life back to 'true-normal'?' [Computer Methods and Programs in Biomedicine Update, Volume 1, (2021) 100011]
Fauzi Budi Satria ; Mohamed Khalifa ; Mihajlo Rabrenovic ; et al.
Computer Methods and Programs in Biomedicine Update, Vol 8, Iss , Pp 100203- (2025)

Computer applications to... R858-859.7
Fachzeitschrift
Zu den Favoriten
32

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
Schmitt, Jonas

formal grammar Künstliche Intelligenz artificial intelligence Computersimulation computer simulation automated algorithm desi...
E-Book
Zu den Favoriten
34

Image information optimization processing based on fractional order differentiation and WT algorithm.
Long Q
Publisher: Public Library of Science Country of Publication: United States NLM ID: 101285081 Publication Model: eCollection Cited Medium: Internet ISSN: 1932-6203 (Electronic) Linking ISSN: 19326203 NLM ISO Abbreviation: PLoS One Subsets: MEDLINE

Humans Wavelet Analysis Entropy Algorithms Image Processing, Comput...
Fachzeitschrift
Zu den Favoriten
35

Computational Methods for Gait Analysis in Rodents
Timotius, Ivanna Kristianti

gait analysis Maschinelles Lernen CatWalk system Digitale Signalverarbeit... Animal behavior data visualization
E-Book
Zu den Favoriten
36

Corrigendum to 'A computational workflow for modeling complex patient-specific coronary stenting cases' [Computer Methods and Programs in Biomedicine Volume 259, February 2025, 108527]
Luca Antonini ; Gianluca Poletti ; Georgia S. Karanasiou ; et al.
Computer Methods and Programs in Biomedicine. 265:108741

Fachzeitschrift
Zu den Favoriten
37

Dieses Ergebnis kann Gästen nicht angezeigt werden.

38

COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING II
INTERNATIONAL SYMPOSIUM CMBBE (18TH: 2023: PARIS, FRANCE) ; WAFA SKALLI, Editor

E-Book
Zu den Favoriten
39

Application of contemporary computer methods in laryngeal cancer diagnosis and treatment
Svetlana Valjarević ; Milan Jovanović ; Igor Pantić
Medicinski Podmladak, Vol 74, Iss 5, Pp 14-20 (2023)

machine learning laryngeal cancer Medicine artificial intelligence 3. Good health
Fachzeitschrift
Zu den Favoriten

Filter