Risultati della ricerca - "deep neural network"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- History of engineering & technology 33
- Technology: general issues 31
- Artificial intelligence 18
- Computer science 17
- Information technology industries 15
- Research & information: general 12
- Machine learning 7
- Artificial Intelligence 6
- Software Engineering 6
- Software engineering 6
- Theory of Computation 5
- Data mining 4
- Mathematics & science 4
- Computer Engineering and Networks 3
- Computer Modelling 3
- Computer engineering 3
- Computer networks 3
- Computer simulation 3
- Environmental science, engineering & technology 3
- Algorithms & data structures 2
- Automotive technology & trades 2
- Biology, life sciences 2
- Communications engineering / telecommunications 2
- Compilers (Computer programs) 2
- Compilers and Interpreters 2
- Computer Science Logic and Foundations of Programming 2
- Computer Vision 2
- Computer vision 2
- Computers 2
- Computing & information technology 2
-
201
-
202
-
203
-
204
HArmonized single-cell RNA-seq Cell type Assisted Deconvolution (HASCAD)
Pubblicazione 2023Connect to this object online.
Libro -
205
-
206
-
207
-
208
-
209
-
210
-
211
-
212
-
213
-
214
-
215
-
216
-
217
-
218
-
219
-
220
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Pubblicazione 2021Sommario: “...Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! ...”
Link to Metadata
Elettronico eBook