Search Results - "neural networks"

Refine Results
  1. 1521
  2. 1522
  3. 1523

    Artificial Intelligence Oceanography

    Published 2023
    Table 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
  4. 1524
  5. 1525
  6. 1526
  7. 1527
  8. 1528
  9. 1529
  10. 1530
  11. 1531
  12. 1532
  13. 1533
  14. 1534
  15. 1535
  16. 1536
  17. 1537
  18. 1538
  19. 1539

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

    Published 2021
    Table 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
  20. 1540