Arama Sonuçları - "deep neural networks"
Önerilen Konular
Önerilen Konular
- 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
-
161
-
162
-
163
-
164
Individual Factors Associated With COVID-19 Infection: A Machine Learning Study
Baskı/Yayın Bilgisi 2022Connect to this object online.
Kitap -
165
-
166
Inference of Brain States Under Anesthesia With Meta Learning Based Deep Learning Models
Baskı/Yayın Bilgisi 2022Connect to this object online.
Kitap -
167
Extracting Phonetic Posterior-Based Features for Detecting Multiple Sclerosis From Speech
Baskı/Yayın Bilgisi 2023Connect to this object online.
Kitap -
168
Toward Interpretable Sleep Stage Classification Using Cross-Modal Transformers
Baskı/Yayın Bilgisi 2024Connect to this object online.
Kitap -
169
The application of convolutional neural network to stem cell biology
Baskı/Yayın Bilgisi 2019Connect to this object online.
Kitap -
170
-
171
-
172
Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers /
Baskı/Yayın Bilgisi 2015Link to Metadata
Elektronik Ekitap -
173
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Baskı/Yayın Bilgisi 2018İçindekiler: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata
Elektronik Ekitap -
174
Efficient Learning Machines: Theories, Concepts, and Applications for Engineers and System Designers
Baskı/Yayın Bilgisi 2015DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
175
Innovative Topologies and Algorithms for Neural Networks
Baskı/Yayın Bilgisi 2021DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
176
-
177
Recent Advances in Embedded Computing, Intelligence and Applications
Baskı/Yayın Bilgisi 2022DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
178
-
179
-
180