Treffer 181 - 200 von 7.613

181

Diversity-driven automated formal verification.
First, Emily ; Brun, Yuriy
ICSE: International Conference on Software Engineering; 2022, p749-761, 13p

COMPUTER software COMPUTER software develo... JAVASCRIPT programming l... MACHINE learning MATHEMATICS theorems
Konferenz
Zu den Favoriten
182

MLweb: A toolkit for machine learning on the web
Lauer, Fabien ; Machine Learning and Computational Biology (ABC) ; Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO) ; et al.
Neurocomputing. 282:74-77

software JavaScript web Machine learning classification regression
Zeitschrift
Zu den Favoriten
183

Cloud microphysics training and aerosol inference with the Fiats deep learning library
Rouson, Damian ; Bai, Zhe ; Bonachea, Dan ; et al.

aerosols cloud microphysics deep learning Fortran high-performance computi... neural network
Fachzeitschrift
Zu den Favoriten
184

ReactJS by Example - Building Modern Web Applications with React
Sonpatki, Prathamesh ; Sonpatki, Prathamesh ; M, Vipul A ; et al.

E-Ressource
Zu den Favoriten
185

Towards Live Programming Environments for Statically Verified JavaScript
Schuster, Christopher

Computer science JavaScript Live Programming Programming Environments Programming Languages Program Verification
Zu den Favoriten
186

Examples of Corpus Data Visualization: Collocations in Chinese.
GAJDOŠ, Ľuboš ; GAJDOŠOVÁ, Elena
Acta Linguistica Asiatica; 2022, Vol. 12 Issue 2, p9-26, 18p

CHINESE language COLLOCATION (Linguistics... DATA visualization CORPORA DATA editing CHINESE people
Fachzeitschrift
Zu den Favoriten
187

A Novel Procedure for Minimizing the Volume of Water Tanks in Water Supply Systems.
Nakic, Domagoj ; Djurin, Bojan ; Hunt, Julian ; et al.
Water (20734441); Jun2022, Vol. 14 Issue 11, p1731-1731, 16p

WATER supply WATER consumption WATER-supply engineering WATER supply management SPREADSHEET software WATER pumps
Fachzeitschrift
Zu den Favoriten
188

3D neural network visualization with TensorSpace
Packt Publishing, production company. ; Konczyk, Jakub, author, speaker.

Video
Zu den Favoriten
189

An efficient malicious webpage static detection framework based on optimized Bayesian and hybrid machine learning.
Yang, Fan ; Zhu, Chaoqun ; Xu, Heng ; et al.
Concurrency & Computation: Practice & Experience; May2022, Vol. 34 Issue 10, p1-15, 15p

MACHINE learning BLENDED learning JAVASCRIPT programming l... WEBSITES UNIFORM Resource Locator... FEATURE extraction
Fachzeitschrift
Zu den Favoriten
190

phylotree.js - a JavaScript library for application development and interactive data visualization in phylogenetics
Shank, Stephen D. ; Weaver, Steven ; Kosakovsky Pond, Sergei L.
BMC Bioinformatics. 19(1)

Fachzeitschrift
Zu den Favoriten
191

Django By Example
Mele, Antonio ; Mele, Antonio ; Mele, Antonio ; et al.

E-Ressource
Zu den Favoriten
192

Elliptic Curve Diffie-Hellman Cryptosystem for Public Exchange Process.
Saepulrohman, Asep ; Denih, Asep ; Sukono ; et al.
IEOM North American Conference Proceedings; Oct2020, Vol. 2, p2650-2655, 6p

ELLIPTIC curve cryptogra... DATA security JAVASCRIPT programming l... IMAGE encryption DATA encryption
Konferenz
Zu den Favoriten
193

ChEA2: Gene-Set Libraries from ChIP-X Experiments to Decode the Transcription Regulome
Kou, Yan ; Chen, Edward ; Clark, Neil ; et al.
1st Cross-Domain Conference and Workshop on Availability. :416-430

Regensburg, Germany ChIP-seq ChIP-chip Microarrays Systems Biology ENCODE
Konferenz
Zu den Favoriten
194

A computer-based educational tool for simulating multifactorial experiments of physical processes.
Concha, Antonio ; Delgado Chavez, Ana Cristina ; Balagurusamy, Nagamani ; et al.
Computer Applications in Engineering Education. May2018, Vol. 26 Issue 3, p559-565. 7p. 1 Diagram, 1 Chart, 8 Graphs.

Experimental design Mathematical optimizatio... JavaScript programming l... Gaussian function HTML (Document markup la...
Fachzeitschrift
Zu den Favoriten
195

Fast Access to Remote Objects 2.0 a renewed gateway to ENEAGRID distributed computing resources
Mariano, Angelo ; D’Amato, Giulio ; Ambrosino, Fiorenzo ; et al.
In Future Generation Computer Systems May 2019 94:920-928

Fachzeitschrift
Zu den Favoriten
196

Ext JS 6 By Example
Dayalan, Anand ; Dayalan, Anand ; Dayalan, Anand ; et al.

E-Ressource
Zu den Favoriten
197

Libra: An Interaction Model for Data Visualization
Zhao, Yue ; Wang, Yunhai ; Luo, Xu ; et al.
CHI 2025 - CHI Conference on Human Factors in Computing Systems. :1-17

Yokohama, Japan Information visualizatio... interaction software modularity direct manipulation undo
Konferenz
Zu den Favoriten
198

SpeckTackle: JavaScript charts for spectroscopy
Beisken, Stephan ; Conesa, Pablo ; Haug, Kenneth ; et al.
Journal of Cheminformatics. December 2015 7(1):1-6

Fachzeitschrift
Zu den Favoriten
199

Drupal 6 JavaScript and jQuery
Butcher, Matt ; Butcher, Matt ; Butcher, Matt ; et al.

E-Ressource
Zu den Favoriten
200

LFO – A Graph-based Modular Approach to the Processing of Data Streams
Matuszewski, Benjamin ; Schnell, Norbert ; Centre de recherche Informatique et Création Musicale (CICM) ; et al.
Web Audio Conference (WAC), Aug 2017, London, United Kingdom

London, United Kingdom Javascript library Digital Signal Processin... Web Audio API HTML5 [INFO.INFO-NI]Computer S...
Konferenz
Zu den Favoriten

Filter