Synonyms were used for: theory
Search without synonyms: keywords:(Program theory)

1–20 of 180 hits
|

    Social marketing and the built environment: What matters for travel behaviour change?

    Ma, Liang / Mulley, Corinne / Liu, Wen | Online Contents | 2016
    Keywords: program , Theorie

    Social marketing and the built environment: What matters for travel behaviour change?

    Ma, Liang / Mulley, Corinne / Liu, Wen | Online Contents | 2016
    Keywords: program , Theorie

    Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

    M. M. Moscato / N. B. F. Ferreira / L. Titolo et al. | NTIS | 2023
    Keywords: Computers, Control & Information Theory , Program analysis

    Speed cameras in Sweden and Victoria, Australia—A case study

    Belin, Matts-Åke / Tillgren, Per / Vedung, Evert et al. | Elsevier | 2010
    Keywords: Policy theory , Program theory

    Cтатистичний аналіз вихідного коду змодельований для java-програм, які містять додатки з безпекою Android

    Free access
    Vasyl Melnyk / Katerina Melnyk / Oksana Zhyharevych | DOAJ | 2015
    Keywords: java-program , static model theory , program code

    Short-term shift setting and manpower supplying under stochastic demands for air cargo terminals

    Yan, Shangyao / Chen, Chia-Hung / Chen, Chung-Kai | Online Contents | 2008
    Keywords: Integer program , Theorie

    Approximate Dynamic Programming Applied to UAV Perimeter Patrol

    Krishnamoorthy, K. / Park, M. / Darbha, S. et al. | Springer Verlag | 2013
    Keywords: Stochastic Dynamic Program , Approximate Dynamic Program , Control and Systems Theory , Systems Theory, Control

    Short-term shift setting and manpower supplying under stochastic demands for air cargo terminals

    Yan, Shangyao / Chen, Chia-Hung / Chen, Chung-Kai | Online Contents | 2008
    Keywords: Integer program , Theorie

    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    S. Bhattacharyya / T. Eskridge / N. Neogi et al. | NTIS | 2017
    Keywords: Program verification (computers) , Automata theory

    Orienteering Planner with Turning Constraints for High Altitude UAVs to Improve Greenhouse Gas Monitoring using Mixed Integer Programming

    R. J. Levinson / V. Ravindra / K. E. Bartlett et al. | NTIS | 2023
    Keywords: Computers, Control & Information Theory , Mixed integer program

    Study of Gas Giant Satellites System

    Chernenkii, A. | Springer Verlag | 2022
    Keywords: Kerbal space program , Control and Systems Theory

    NASA and Army Collaboration on Unmanned Systems Presentation to (SE)3

    K. Fernandez | NTIS | 2008
    Keywords: Computers, Control & Information Theory , Defense program

    Information Gap Decision Theory-Based Risk-Constrained Bidding Strategy of Price-Taker GenCo in Joint Energy and Reserve Markets

    Nojavan, Sayyad | Online Contents | 2017
    Keywords: Decision theory , information gap decision theory (IGDT) , Mixed-Integer Quadratic Constrained Program (MIQCP)

    Some insights into a sequential resource allocation mechanism for en route air traffic management

    Kim, Amy / Hansen, Mark | Elsevier | 2015
    Keywords: Collaborative Trajectory Options Program (CTOP) , Applied game theory

    Development of multimodal performance measures for transit systems in New York State

    Keck, Carol A. / Zerrillo, Robert J. / Schneider, Norman R. | Online Contents | 1980
    Keywords: Assistance Program , Theorie

    Understanding Systems Engineering

    M. D. Watson | NTIS | 2018
    Keywords: Computers, Control & Information Theory , Program verification (computers)

    John C. Stennis Space Center: Partnerships for ISHM Technology Development and Applications

    J. F. Figueroa / J. Schmalzel / M. Turowski et al. | NTIS | 2008
    Keywords: Computers, Control & Information Theory , Research Program Administration & Technology Transfer , University program

    NASA Space Robotics Challenge Overview

    Ambrose R. O. | NTIS | 2015
    Keywords: Computers, Control & Information Theory , University program