„program analysis“

Suchergebnisse

7.892 Treffer

• A Modular and Expandable Ecosystem for Metabolomics Data Annotation in R
  Rainer, Johannes ; Vicini, Andrea ; Salzer, Liesa ; Stanstrup, Jan ; Badia, Josep M. ; Neumann, Steffen ; Stravs, Michael A. ; Verri Hernandes, Vinicius ; Gatto, Laurent ; Gibb, Sebastian ; Witting, Michael ; Montenegro-Burke, J. Rafael ; Domingo-Almenara, Xavier 2022 Universität Greifswald
• Privacy-enhanced BPMN: enabling data privacy analysis in business processes models
  Pullonen, Pille ; Tom, Jake ; Matulevičius, Raimundas ; Toots, Aivo
• Efficient reduction of finite state model checking to reachability analysis
  Schuppan, Viktor ; Biere, Armin
• A Meta-analysis of the Effectiveness of Interactive Middle School Cannabis Prevention Programs
  Lize, Steven E. ; Iachini, Aidyn L. ; Tang, Weizhou ; Tucker, Joshua ; Seay, Kristen D. ; Clone, Stephanie ; DeHart, Dana ; Browne, Teri
• Genetic diversity and population structure of Bambara groundnut (Vigna subterranea (L.) Verdc.): synopsis of the past two decades of analysis and implications for crop improvement programmes
  Aliyu, Siise ; Massawe, Festo ; Mayes, Sean
• Transcriptome analysis to identify genes related to programmed cell death resulted from manipulating of BnaFAH ortholog by CRISPR/Cas9 in Brassica napus
  Zhou, Zhou ; Zhi, Tiantian ; Zou, Jie ; Chen, Gang
• On the adequacy of static analysis warnings with respect to code smell prediction
  Pecorelli, Fabiano ; Lujan, Savanna ; Lenarduzzi, Valentina ; Palomba, Fabio ; De Lucia, Andrea
• A hierarchical model for quantifying software security based on static analysis alerts and software metrics
  Siavvas, Miltiadis ; Kehagias, Dionysios ; Tzovaras, Dimitrios ; Gelenbe, Erol
• Distributionally robust chance-constrained programs with right-hand side uncertainty under Wasserstein ambiguity
  Ho-Nguyen, Nam ; Kılınç-Karzan, Fatma ; Küçükyavuz, Simge ; Lee, Dabeen
• Ante-mortem analysis, electrical, thermal, and ageing testing of state-of-the-art cylindrical lithium-ion cells
  Popp, Hartmut ; Zhang, Ningxin ; Jahn, Marcus ; Arrinda, Mikel ; Ritz, Simon ; Faber, Matthias ; Sauer, Dirk Uwe ; Azais, Philippe ; Cendoya, Iosu
• Logical genetic programming (LGP) application to water resources management
  Ashofteh, Parisa-Sadat ; Bozorg-Haddad, Omid ; Loáiciga, Hugo A.
• Quantitative modelling and analysis of BDI agents
  Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele ; Xu, Mengwei
• Fast interior point solution of quadratic programming problems arising from PDE-constrained optimization
  Pearson, John W. ; Gondzio, Jacek
• Security analysis of a publicly verifiable data possession scheme for remote storage
  Xu, Zhiyan ; Wu, Libing ; He, Debiao ; Khan, Muhammad Khurram
• From Aristotle to Ringelmann: a large-scale analysis of team productivity and coordination in Open Source Software projects
  Scholtes, Ingo ; Mavrodiev, Pavlin ; Schweitzer, Frank
• Effect of a Supervised Exercise Program on Exercise Self-Efficacy in Aging Adults With and Without HIV: A Secondary Analysis of the Exercise for Healthy Aging Study
  Wilson, Melissa P. ; Jankowski, Catherine M. ; Cook, Paul F. ; Kulik, Grace L. ; Iriarte, Evelyn ; SantaBarbara, Nicholas J. ; Fourman, Lindsay T. ; Erlandson, Kristine M.
• Cost-effectiveness analysis of emergency department-based hepatitis C screening and linkage-to-care program
  Choi, Sun A. ; Umashankar, Kandavadivu ; Maheswaran, Anjana ; Martin, Michelle T. ; Lee, Jean ; Odishoo, Matt ; Lin, Janet Y. ; Touchette, Daniel R.
• Healthy Communities for Youth: A Cost Analysis of a Community-Level Program to Prevent Youth Violence
  Pan, Zhongzhe ; Chapman, Derek A. ; Sullivan, Terri N. ; Bishop, Diane L. ; Kimmel, April D.
• Fine‐Grained Memory Profiling of GPGPU Kernels
  Buelow, Max von ; Guthe, Stefan ; Fellner, Dieter W. 2023 Universitäts- und Landesbibliothek
• Analysis of recurrent neural networks via property-directed verification of surrogate models
  Khmelnitsky, Igor ; Neider, Daniel ; Roy, Rajarshi ; Xie, Xuan ; Barbot, Benoît ; Bollig, Benedikt ; Finkel, Alain ; Haddad, Serge ; Leucker, Martin ; Ye, Lina