Search Results - (automation OR automatizace) programming— program synthesis general terms algorithms

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices by Yang, Zhaohui, Ding, Dawei, Zhu, Chenghong, Chen, Jianxin, Xie, Yuan

    Published: IEEE 22.06.2025
    “…Variational quantum algorithms (VQA) based on Hamiltonian simulation represent a specialized class of quantum programs well-suited for near-term quantum…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    The scenario approach to robust control design by Calafiore, G.C., Campi, M.C.

    ISSN: 0018-9286, 1558-2523
    Published: New York, NY IEEE 01.05.2006
    Published in IEEE transactions on automatic control (01.05.2006)
    “…This paper proposes a new probabilistic solution framework for robust control analysis and synthesis problems that can be expressed in the form of minimization of a linear objective subject to convex…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Complexity issues in automated synthesis of failsafe fault-tolerance by Kulkarni, S.S., Ebnenasir, A.

    ISSN: 1545-5971, 1941-0018
    Published: Washington IEEE 01.07.2005
    “… We present a somewhat unexpected result that, in general, the problem of synthesizing failsafe fault-tolerant distributed programs from their fault-intolerant version is NP-complete in the state space of the program…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    ShamrockStocks.com: Lucky Picks of The Day: (OTCBB:GLLA)- (OTCBB:DVLY)- (OTCBB:MITK)

    Published: Coventry Normans Media Ltd 07.07.2010
    Published in M2 Presswire (07.07.2010)
    “… A portion of the gain in the second quarter of 2010 undoubtedly reflected the effect of the temporary government sponsored tax credit program…”
    Get full text
    Newsletter
    Save to List
    Saved in:
  5. 5
    Cover Image

    OTC ADVISORS, LLC: Huge Alert On: (OTCBB:ASFG) - (OTCBB:CSGJ) - (OTCBB:DKAM)

    Published: Coventry Normans Media Ltd 02.06.2010
    Published in M2 Presswire (02.06.2010)
    “…The Company reported revenue of $5,550,000 for the three months ended March 31, 2010 as compared to $5,027,000 for the three months ended March 31, 2009 an…”
    Get full text
    Newsletter
    Save to List
    Saved in:
  6. 6
    Cover Image

    Minimization of the maximum peak-to-peak gain: the general multiblock problem by Diaz-Bobillo, I.J., Dahleh, M.A.

    ISSN: 0018-9286
    Published: New York, NY IEEE 01.10.1993
    Published in IEEE transactions on automatic control (01.10.1993)
    “…A comprehensive study of the general l/sub 1/-optimal multiblock problem and a new linear programming algorithm for computing suboptimal controllers are presented…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    Breakthroughstocks.net: EXPLOSIVE News On: (OTCBB:RIMS) - (PINKSHEETS:HHGI) - (OTCBB:HSBK)

    Published: Coventry Normans Media Ltd 11.08.2010
    Published in M2 Presswire (11.08.2010)
    “…"Robocom's R-Voice solution was implemented utilizing BRR's existing wireless network," said Robocom's Vice President Rich Adamo. Additional benefits that will…”
    Get full text
    Newsletter
    Save to List
    Saved in:

Search Tools: