Výsledky vyhledávání - software/program verification—statistics methods general terms algorithms

Tree Rings and Aerial Imagery Illustrate a Multi-Century Trend from Open Lands to Closed Forest at Eagle Valley, Southwest Wisconsin, USA.

Autoři: Larson, Evan R. Dornak, L. Lynnette Underwood, Chris A. a další

Zdroj: Natural Areas Journal; 2024, Vol. 44 Issue 4, p223-239, 17p

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

Autoři: LINDSKOG, MAGNUS AZAD, ROOHOLLAH DE HAAN, SIEBREN a další

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

Témata: GLOBAL Positioning System, WEATHER forecasting, NUMERICAL weather forecasting, AIR traffic control, RADAR meteorology, MODEL airplanes

EGU General Assembly 2016.

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

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.

Autoři: Ball, Thomas Jones, Robert B. Kahlon, Vineet a další

Zdroj: Computer Aided Verification (9783540374060); 2006, p286-299, 14p

Geophysical Research Abstracts.

Zdroj: 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

Autoři: Cyrille Artho Peter Csaba Ölveczky

Resource Type: eBook.

Témata: 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

Autoři: Kashif Naseer Qureshi Thomas Newe

Resource Type: eBook.

Témata: 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

Autoři: Nikolaj Bjørner Frank de Boer

Resource Type: eBook.

Témata: 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

Autoři: Mohd Abdul Ahad Gabriella Casalino Bharat Bhushan

Resource Type: eBook.

Témata: 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

Autoři: Faouzi Zarai Petros Nicopolitidis

Resource Type: eBook.

Témata: Simulation methods, Computer networks

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

Forecast Verification : A Practitioner's Guide in Atmospheric Science

Autoři: Ian T. Jolliffe David B. Stephenson

Resource Type: eBook.

Témata: Weather forecasting--Statistical methods

Categories: SCIENCE / Earth Sciences / General

Principles of Business: Economics

Autoři: The Editors of Salem Press

Resource Type: eBook.

Témata: Economics

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

Weather Matters for Energy

Autoři: Alberto Troccoli Laurent Dubus Sue Ellen Haupt

Resource Type: eBook.

Témata: 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

Autoři: Laurence Pierre Thomas Kropf

Resource Type: eBook.

Témata: 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

Autoři: Madeleine C. Thomson Simon J. Mason

Resource Type: eBook.

Témata: 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

Autoři: Sadhan Kumar Ghosh Mai Trong Nhuan Nguyen Ngoc Truc a další

Resource Type: eBook.

Témata: 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

Autoři: Jason C. Hung Jia-Wei Chang Yan Pei

Resource Type: eBook.

Témata: 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

Autoři: Information Resources Management Association

Resource Type: eBook.

Témata: 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

Autoři: Rajesh Singh Sushabhan Choudhury Anita Gehlot

Resource Type: eBook.

Témata: 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

Autoři: Gregory S. Nelson

Resource Type: eBook.

Témata: Management--Statistical methods, Management--Data processing, Decision making--Data processing

Categories: BUSINESS & ECONOMICS / Management