„Programs“

Suchergebnisse

10.000+ Treffer

• Decomposition of generating sets and of integer programs
  Urbaniak, Regina
• Postoperative follow-up programs improve survival in curatively resected gastric and junctional cancer patients: a propensity score matched analysis
  Peters, Leila ; Strowitzki, Moritz ; Blank, Susanne ; Nienhüser, Henrik ; Dorr, Sara ; Haag, Georg Martin ; Jäger, Dirk ; Ott, Katja ; Büchler, Markus W. ; Ulrich, Alexis ; Schmidt, Thomas
• Parallel program testing based on critical communication and branch transformation
  Tian, Tian ; Wang, Anshi ; Yang, Xiuting ; Gong, Dunwei ; Hou, Tie ; Yao, Xiangjuan
• Mechanism-centric regulatory network identifies NME2 and MYC programs as markers of Enzalutamide resistance in CRPC
  Panja, Sukanya ; Truica, Mihai Ioan ; Yu, Christina Y. ; Saggurthi, Vamshi ; Craige, Michael W. ; Whitehead, Katie ; Tuiche, Mayra V. ; Al-Saadi, Aymen ; Vyas, Riddhi ; Ganesan, Shridar ; Gohel, Suril ; Coffman, Frederick ; Parrott, James S. ; Quan, Songhua ; Jha, Shantenu ; Kim, Isaac ; Schaeffer, Edward ; Kothari, Vishal ; Abdulkadir, Sarki A. ; Mitrofanova, Antonina
• Performance improvement of distributed cache using middleware session
  Jafari, Bita ; Bayat, Peyman
• IAFCO: an intelligent agent-based framework for combinatorial optimization
  Tajgardan, Mahjoubeh ; Izadkhah, Habib ; Lotfi, Shahriar
• Building Capacity for Mortality Statistics Programs: Perspectives from the Indonesian Experience
  Rao, Chalapati ; Usman, Yuslely ; Kelly, Matthew ; Angkasawati, Trijuni ; Kosen, Soewarta
• Evaluation of the certificate in emerging infectious disease research and the certificate in one health training programs, University of Florida
  Valentine, Marissa A. ; Perdue, Christopher L. ; Cummings, James F. ; Smith, Jacqueline C. ; Gray, Gregory C.
• Automatic termination analysis for functional and imperative programs
  Brauburger, Jürgen 1999 Infix
• Limited environmental information path planning based on 3D point cloud reconstruction
  Wang, Hanyu ; Li, Ying
• Diversity in issue assignment: humans vs bots
  Murali, Aniruddhan ; Sahu, Gaurav ; Thangarajah, Kishanthan ; Zimmerman, Brian ; Rodríguez-Pérez, Gema ; Nagappan, Meiyappan
• Assessment of Microsurgery Simulation Course Access in Plastic Surgery Training Programs
  Elver, Ashlie A. ; Egan, Katie G. ; Phillips, Brett T.
• Verifikation abstrakter Zustandsmaschinen
  Schellhorn, Gerhard
• Theories for mechanical proofs of imperative programs
  Hesselink, Wim H.
• Verifying programs in the calculus of inductive constructions
  Parent-Vigouroux, Catherine
• Processing directed recursive labelnode hypergraphs with FIT programs
  Boley, Harold 1980 Fachbereich Informatik, Univ.
• A set of high-performance Level 3 BLAS structured and tuned for the IBM 3090 VF and implemented in Fortran 77
  Ling, Per
• A parallel Navier-Stokes solver: The Meiko implementation
  Prestin, Michael ; Shtilman, Leonid
• The impact of train-the-trainer programs on the continued professional development of nurses: a systematic review
  Nexø, Mette Andersen ; Kingod, Natassia Rosewood ; Eshøj, Signe Hornsleth ; Kjærulff, Emilie Mølholm ; Nørgaard, Ole ; Andersen, Tue Helms
• Parallel design of SFO optimization algorithm based on FPGA
  Naji, Hamid Reza ; Shadravan, Soodeh ; Jafarabadi, Hossien Mousa ; Momeni, Hossien