Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 7.538.177

1

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Irfan, Ahmed ; Kaufmann, Daniela

formal methods computer-aided system de... hardware and system veri... formal verification specification synthesis and testing
E-Book
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Digital-Computer Methods in Criminalistics
Dzindzibadze, Giorgi
2024 Legal Methods 100 (2024) / Legal Methods, Vol. 2024, pp. 100-124

Fachzeitschrift
4

Enhancing mammography: a comprehensive review of computer methods for improving image quality.
Santos JC ; Santos MS ; Abreu PH
Publisher: IOP Publishing Country of Publication: England NLM ID: 101771567 Publication Model: Electronic Cited Medium: Internet ISSN: 2516-1091 (Electronic) Linking ISSN: 25161091 NLM ISO Abbreviation: Prog Biomed Eng (Bristol) Subsets: MEDLINE

Female Humans Breast Neoplasms diagnos... Machine Learning Image Processing, Comput... Mammography methods
Fachzeitschrift
5

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Narodytska, Nina ; Rümmer, Philipp

Formal Methods Computer-Aided System De... Hardware and System Veri... Formal Verification, Spe... Automated and Formal Rea... Systems analysis and des...
E-Book
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Dual-Domain Self-Consistency-Enhanced Deep Unfolding Network for accelerated MRI reconstruction.
Wang Z ; Wei J ; Yang G ; et al.
Publisher: Elsevier Scientific Publishers Country of Publication: Ireland NLM ID: 8506513 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1872-7565 (Electronic) Linking ISSN: 01692607 NLM ISO Abbreviation: Comput Methods Programs Biomed Subsets: MEDLINE

Algorithms Humans Brain diagnostic imaging Magnetic Resonance Imagi... Image Processing, Comput... Neural Networks, Compute...
Fachzeitschrift
8

The Use of Interactive Methods and Computer Technologies for Increasing the Motivation for In-Depth Study and Obtaining Long-Term Knowledge in the Course Theoretical Foundations of Electrical Engineering
Irina, Kozmina ; Roman, Maksimov ; Olga, Musorina
2018 IV International Conference on Information Technologies in Engineering Education (Inforino) Information Technologies in Engineering Education (Inforino), 2018 IV International Conference on. :1-5 Oct, 2018

Konferenz
9

Dieses Ergebnis kann Gästen nicht angezeigt werden.

10

A review of computer-based methods for classification and reconstruction of 3D high-density scanned archaeological pottery
Di Angelo, Luca ; Di Stefano, Paolo ; Guardiani, Emanuele
In Journal of Cultural Heritage July-August 2022 56:10-24

Fachzeitschrift
11

Computer Methods of Fault Study in Power Systems Consider the Effect of Load
Tien, Dung Vo ; Gono, Radomir
2022 22nd International Scientific Conference on Electric Power Engineering (EPE) Electric Power Engineering (EPE), 2022 22nd International Scientific Conference on. :1-4 Jun, 2022

Konferenz
12

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

Fachzeitschrift
13

Use of Computer Methods for Analyzing Brain Signals to Assess the Success of Adaptation of Labor Migrants to Extreme Climate Conditions
Milakhina, Nataliya ; Karpova, Alexandra ; Astakhova, Tatiana ; et al.
2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) Young Professionals in Electron Devices and Materials (EDM), 2021 IEEE 22nd International Conference of. :577-581 Jun, 2021

Konferenz
14

Advanced Numerical and Computer Methods in Civil Engineering
Li, Dongming ; Yu, Zechuan

differential quadrature... virtual boundary spring composite laminates arbitrary elastic bounda... flexural vibration transmission tower
E-Book
15

Advanced Learning Analytics Methods
Saqr, Mohammed ; López-Pernas, Sonsoles

Open Access learning analytics learning analytics metho... educational data mining data mining with R predictive learning anal...
E-Book
16

Numerical Methods and Computer Simulations in Energy Analysis
Kamiński, Marcin ; Juan, Angel A.

computer simulations statistical methods environmental impacts renewable energy energy harvesters Information technology i...
E-Book
17

Computer methods for visualization chromosome-specific DNA sequences in FISH images
Bogomolov, Anton ; Karamysheva, Tatyana ; Rubtsov, Nikolay
2020 Cognitive Sciences, Genomics and Bioinformatics (CSGB) Cognitive Sciences, Genomics and Bioinformatics (CSGB), 2020. :76-79 Jul, 2020

Konferenz
18

Dieses Ergebnis kann Gästen nicht angezeigt werden.

19

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
20

Language, Power, and Multilingualism in Migration Research: Reflections From the Documentary Method
Tries, Tamara ; Mehringer, Victoria
Social Inclusion, 14, Multilingual Challenges: Empirical Social Research in Migration Societies, Transnational Spaces, and International Contexts

Sozialwissenschaften, So... Social sciences, sociolo... documentary method forced migration migration societies power dynamics
Zeitschrift

Filter