„program generation“

Suchergebnisse

1.146 Treffer

• Automated assumption generation for compositional verification
  Gupta, Anubhav ; McMillan, K. L. ; Fu, Zhaohui
• Template-based model generation
  He, Xiao ; Zhang, Tian ; Pan, Minxue ; Ma, Zhiyi ; Hu, Chang-Jun
• Thyroid hormone influences brain gene expression programs and behaviors in later generations by altering germ line epigenetic information
  Martinez, M. Elena ; Duarte, Christine W. ; Stohn, J. Patrizia ; Karaczyn, Aldona ; Wu, Zhaofei ; DeMambro, Victoria E. ; Hernandez, Arturo
• Observational data-based quality assessment of scenario generation for stochastic programs
  Sarı Ay, Didem ; Ryan, Sarah M.
• Random variate generation from D-distributions
  Laud, Purushottam W. ; Ramgopal, Paul ; Smith, Adrian F. M.
• Problem-based optimal scenario generation and reduction in stochastic programming
  Henrion, R. ; Römisch, W.
• BEAMS (BEAds Modelling System): a set of computer programs for the generation, the visualization and the computation of the hydrodynamic and conformational properties of bead models of proteins
  Spotorno, Bruno ; Piccinini, Luca ; Tassara, Giovanni ; Ruggiero, Carmelina ; Nardini, Marco ; Molina, Francesco ; Rocco, M.
• From Fifth Generation Computing to Skill Science – A Biographical Essay of Koichi Furukawa
  Ozaki, Tomonobu ; Goebel, Randy ; Inoue, Katsumi
• Auf dem Weg zu 5G, der 5. Generation des Mobilfunks
  Malleck, Helmut ; Mecklenbräuker, Christoph
• Deep Learning Based Efficient Channel Allocation Algorithm for Next Generation Cellular Networks
  Sreenivasulu, D. ; Krishna, P. V.
• Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation
  Schordan, Markus ; Oppelstrup, Tomas ; Jefferson, David ; Barnes, Peter D.
• Process machine interactions – predicition and manipulation of interactions between manufacturing processes and machine tool structures
  Denkena, Berend ; Hollmann, Ferdinand 2013 Springer
• Flexibility of thermal power generation for RES supply in Germany until 2020
  Brauner, Günther ; Bofinger, Stefan ; Glaunsinger, Wolfgang ; Pyc, Ireneusz ; Steinke, Florian ; Schwing, Ulrich ; Magin, Wendelin
• The next generation
• An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases
  Salva, Sébastien ; Regainia, Loukmen
• Distributed graph cube generation using Spark framework
  Kang, Seok ; Lee, Suan ; Kim, Jinho
• Renewal of the Major Fields from New Generation Computing Vol. 37 (2019)
  Numao, Masayuki ; Matsuo, Yutaka ; Ohara, Kouzou ; Toriumi, Fujio
• The impact of the uncoordinated local control of decentralized generation on the reactive power margin
  Schirmer, Christian ; Ilo, Albana
• Automated model generation for performance engineering of building automation networks
  Ploennigs, Joern ; Neugebauer, Mario ; Kabitzsch, Klaus
• Formulation of Next‐Generation Multicompartment Microcapsules by Reversible Electrostatic Attraction
  Neumann, Christian ; Bacher, Lisa ; Musyanovych, Anna ; Tutus, Murat ; Latnikova, Alexandra