„program analysis“

Suchergebnisse

7.892 Treffer

• CRISPR/ddCas12a-based programmable and accurate gene regulation
  Wang, Jingman ; Lu, Anrui ; Bei, Jinxin ; Zhao, Guoping ; Wang, Jin
• Efficient Methods for Trace Analysis Parallelization
  Reumont-Locke, Fabien ; Ezzati-Jivan, Naser ; Dagenais, Michel R.
• Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B
  Fu, Chunyan ; Zheng, Kougen
• A comparative study of computer programs used for analyzing gamma-ray spectra in activation analysis
  Petri, H.
• Optimal SIR algorithm vs. fully adapted auxiliary particle filter: a non asymptotic analysis
  Petetin, Yohan ; Desbouvries, François
• A trust region method based on interior point techniques for nonlinear programming
  Byrd, Richard H. ; Gilbert, Jean Charles ; Nocedal, Jorge
• Chordal decomposition in operator-splitting methods for sparse semidefinite programs
  Zheng, Yang ; Fantuzzi, Giovanni ; Papachristodoulou, Antonis ; Goulart, Paul ; Wynn, Andrew
• Construction and analysis of a model of a discrete oscillatory system
  Zayats’, V. M.
• Cost analysis of erasure coding for exa-scale storage
  Kim, Dong-Oh ; Kim, Hong-Yeon ; Kim, Young-Kyun ; Kim, Jeong-Joon
• Algorithm of Sequential Analysis of Variants for Minimization of the Number of Devices in Scheduling Problem with Due Date
  Kuzka, A. I. ; Shpenik, T. B.
• Blocking for external graph searching
  Nodine, M. H. ; Goodrich, M. T. ; Vitter, J. S.
• Driving behaviors analysis based on feature selection and statistical approach: a preliminary study
  Chen, Mu-Song ; Hwang, Chi-Pan ; Ho, Tze-Yee ; Wang, Hsuan-Fu ; Shih, Chih-Min ; Chen, Hsing-Yu ; Liu, Wen Kai
• Real-time 3D reconstruction method using massive multi-sensor data analysis and fusion
  Cho, Seoungjae ; Cho, Kyungeun
• On the Expected Condition Number of Linear Programming Problems
  Cucker, Felipe ; Wschebor, Mario
• Effects of a multicomponent exercise program combined with calcium–vitamin D3-enriched milk on health-related quality of life and depressive symptoms in older men: secondary analysis of a randomized controlled trial
  Matthews, Joshua ; Torres, Susan J. ; Milte, Catherine M. ; Hopkins, Indee ; Kukuljan, Sonja ; Nowson, Caryl A. ; Daly, Robin M.
• A segregational approach for determining aspect sentiments in social media analysis
  Nawaz, Asif ; Asghar, Sohail ; Naqvi, Syed Husnain Abbas
• A logic-based approach to program flow analysis
  Sagiv, Mooly ; Francez, Nissim ; Rodeh, Michael ; Wilhelm, Reinhard
• Berechnung des Endpunktes potentiometrischer Titrationen mit programmierbaren Tischrechnern
  Ebel, Siegfried ; Kalb, Sebastian
• Polynomiality of an inexact infeasible interior point algorithm for semidefinite programming
  Zhou, Guanglu ; Toh, Kim-Chuan
• Advantages of the iridium permanent modifier in fast programs applied to trace-element analysis of plant samples by electrothermal atomic absorption spectrometry
  Vassileva, Emilia ; Baeten, Hervé ; Hoenig, Michel