Search Results - "neural networks"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 332
- Technology: general issues 266
- Research & information: general 164
- Artificial intelligence 77
- Computer science 74
- Information technology industries 65
- Neurosciences 41
- Biology, life sciences 40
- Medicine 38
- Mathematics & science 36
- Machine learning 30
- Computer networking & communications 26
- Neural networks & fuzzy systems 23
- Software Engineering 22
- Environmental science, engineering & technology 19
- Algorithms & data structures 16
- Physics 16
- Artificial Intelligence 15
- Energy industries & utilities 14
- Chemistry 13
- Data mining 13
- Electrical engineering 13
- Geography 13
- Mechanical engineering & materials 13
- Robotics 13
- Information technology: general issues 12
- Computer networks 11
- Technology, engineering, agriculture 11
- Computer Engineering and Networks 10
- Computer engineering 10
-
1521
-
1522
-
1523
Artificial Intelligence Oceanography
Published 2023Table of Contents: “…Theory and technology of artificial intelligence for oceanography -- Satellite data-driven internal wave forecast model based on machine learning techniques -- Detection and analysis of marine macroalgae based on artificial intelligence -- Tropical cyclone intensity estimation from geostationary satellite imagery -- Reconstructing marine environmental data based on deep learning -- Detecting oceanic processes from space-borne sar imagery using machine learning -- Deep convolutional neural networks-based coastal inundation mapping for un-defined least developed countries: taking madagascar and mozambique as examples -- Ai- based mesoscale eddy study -- Classifying sea ice types from sar images based on deep fully convolutional networks -- Detecting ships and extracting ship's size from SAR images based on deep learning -- Quality control of ocean temperature and salinity data based on machine learning technology -- automatic extraction of internal wave signature from multiple satellite sensors based on deep convolutional neural networks -- Automatic extraction of waterlines from large-scale tidal flats on SAR images and applications based on deep convolutional neural networks -- Forecast of tropical instability waves using deep learning -- Sea surface height prediction based on artificial intelligence.…”
Link to Metadata
Electronic eBook -
1524
Medical image analysis using deep learning algorithms
Published 2023Connect to this object online.
Book -
1525
-
1526
-
1527
-
1528
-
1529
-
1530
-
1531
-
1532
-
1533
Abstract Mathematical Cognition
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1534
-
1535
-
1536
-
1537
-
1538
-
1539
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…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
Electronic eBook -
1540