Search Results - software/program verification—statistics methods general terms algorithms*

Impact of Mode-S Enhanced Surveillance Weather Observations on Weather Forecasts over the MetCoOp Northern European Model Domain.

Authors: LINDSKOG, MAGNUS AZAD, ROOHOLLAH DE HAAN, SIEBREN et al.

Source: Journal of Applied Meteorology & Climatology; Aug2023, Vol. 62 Issue 8, p985-1003, 19p

Subject Terms: GLOBAL Positioning System, WEATHER forecasting, NUMERICAL weather forecasting, AIR traffic control, RADAR meteorology, MODEL airplanes

EGU General Assembly 2016.

Source: Geophysical Research Abstracts; 2016, Vol. 18, p1-16028, 16028p

Geophysical Research Abstracts.

Source: Geophysical Research Abstracts; 2010, Vol. 12, p1-14649, 14649p

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Authors: Cyrille Artho Peter Csaba Ölveczky

Resource Type: eBook.

Subjects: Computer science, Software engineering, Compilers (Computer programs), Computer simulation, Machine theory, Algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Artificial Intelligence of Things (AIoT) : New Standards, Technologies and Communication Systems

Authors: Kashif Naseer Qureshi Thomas Newe

Resource Type: eBook.

Subjects: Artificial intelligence, Internet of things

Categories: COMPUTERS / Data Science / Neural Networks, COMPUTERS / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / User Interfaces, TECHNOLOGY & ENGINEERING / Robotics, COMPUTERS / Internet of Things (IoT)

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Authors: Nikolaj Bjørner Frank de Boer

Resource Type: eBook.

Subjects: Software engineering, Machine theory, Computer science, Electronic data processing—Management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems

Enabling Technologies for Effective Planning and Management in Sustainable Smart Cities

Authors: Mohd Abdul Ahad Gabriella Casalino Bharat Bhushan

Resource Type: eBook.

Subjects: Smart cities, City planning--Data processing

Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Mobile Devices, COMPUTERS / Blockchain

Modeling and Simulation of Computer Networks and Systems : Methodologies and Applications

Authors: Faouzi Zarai Petros Nicopolitidis

Resource Type: eBook.

Subjects: Simulation methods, Computer networks

Categories: COMPUTERS / Networking / General, TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications

Forecast Verification : A Practitioner's Guide in Atmospheric Science

Authors: Ian T. Jolliffe David B. Stephenson

Resource Type: eBook.

Subjects: Weather forecasting--Statistical methods

Categories: SCIENCE / Earth Sciences / General

Principles of Business: Economics

Authors: The Editors of Salem Press

Resource Type: eBook.

Subjects: Economics

Categories: BUSINESS & ECONOMICS / Economics / General, BUSINESS & ECONOMICS / Reference

Weather Matters for Energy

Authors: Alberto Troccoli Laurent Dubus Sue Ellen Haupt

Resource Type: eBook.

Subjects: Environmental management, Climatic changes--Environmental aspects, Energy industries--Environmental aspects

Categories: SCIENCE / Environmental Science, BUSINESS & ECONOMICS / Industries / Energy, SCIENCE / Earth Sciences / Meteorology & Climatology, TECHNOLOGY & ENGINEERING / Environmental / General, TECHNOLOGY & ENGINEERING / Power Resources / General, TECHNOLOGY & ENGINEERING / Power Resources / Electrical

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Authors: Laurence Pierre Thomas Kropf

Resource Type: eBook.

Subjects: Computer systems, Computer engineering, Computer networks, Computers, Computer science, Software engineering, Dynamics, Nonlinear theories

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, SCIENCE / System Theory, TECHNOLOGY & ENGINEERING / Engineering (General)

Climate Information for Public Health Action

Authors: Madeleine C. Thomson Simon J. Mason

Resource Type: eBook.

Subjects: Public health, Climatic changes, Climatic changes--Health aspects, Environmental health, Public health--Environmental aspects

Categories: POLITICAL SCIENCE / Public Policy / Environmental Policy, BUSINESS & ECONOMICS / Development / Sustainable Development, MEDICAL / Health Policy, NATURE / Ecology

Green Transformation in the Context of Global Change : Proceedings of the International Conference on Green Transformation in the Context of Global Change (GREEN 2024), Hanoi, Vietnam, October 24th–25th, 2024

Authors: Sadhan Kumar Ghosh Mai Trong Nhuan Nguyen Ngoc Truc et al.

Resource Type: eBook.

Subjects: Environmentalism--Congresses, Climatic changes--Congresses, Global environmental change--Congresses, Sustainable development--Congresses

Categories: ARCHITECTURE / Sustainability & Green Design, SCIENCE / Environmental Science, TECHNOLOGY & ENGINEERING / Environmental / General, SCIENCE / Global Warming & Climate Change

Innovative Computing Vol 1 - Emerging Topics in Artificial Intelligence

Authors: Jason C. Hung Jia-Wei Chang Yan Pei

Resource Type: eBook.

Subjects: Computer networks, Cooperating objects (Computer systems), Computational intelligence

Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Sustainable Business : Concepts, Methodologies, Tools, and Applications

Authors: Information Resources Management Association

Resource Type: eBook.

Subjects: Sustainable development, Business ethics, Social responsibility of business, Industrial management--Environmental aspects, Corporations--Environmental aspects

Categories: BUSINESS & ECONOMICS / Development / Sustainable Development, BUSINESS & ECONOMICS / Economics / General, BUSINESS & ECONOMICS / Finance / Financial Risk Management

Intelligent Communication, Control and Devices

Authors: Rajesh Singh Sushabhan Choudhury Anita Gehlot

Resource Type: eBook.

Subjects: Telecommunication systems--Control--Congresses, Engineering, Artificial intelligence--Industrial applications--Congresses, Automatic control--Congresses, Telecommunication

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Telecommunications, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

The Analytics Lifecycle Toolkit : A Practical Guide for an Effective Analytics Capability

Authors: Gregory S. Nelson

Resource Type: eBook.

Subjects: Management--Statistical methods, Management--Data processing, Decision making--Data processing

Categories: BUSINESS & ECONOMICS / Management

Validation of Evolving Software

Authors: Hana Chockler Daniel Kroening Leonardo Mariani et al.

Resource Type: eBook.

Subjects: Computer programs--Validation, Computer software--Validation

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science

Exploring Geovisualization

Authors: J. Dykes A.M. MacEachren M.-J. Kraak

Resource Type: eBook.

Subjects: Cartography--Automation, Geographic information systems, Digital mapping, Visualization

Categories: SCIENCE / Earth Sciences / General, TECHNOLOGY & ENGINEERING / Cartography