„program analysis“

Suchergebnisse

7.892 Treffer

• On a computer program determining types of functional equations
  Gilányi, Attila ; To, Lan Nhi
• Weak sharp minima at infinity and solution stability in mathematical programming via asymptotic analysis
  Lara, Felipe ; Nguyen Van Tuyen ; Van Nghi, Tran
• A cost benefit analysis of early childhood intervention – evidence from a randomised evaluation of a parenting programme
  O'Neill, Donal 2009 Forschungsinst. zur Zukunft der Arbeit
• Integrative machine learning approaches for enhanced cardiovascular disease prediction: a comparative analysis of XGBoost and ANFIS algorithms
  Muhyi, Diyar Fadhil ; Ata, Oğuz
• An outer space approximation approach for generalized affine multiplicative programming problems
  Hou, Zhisong ; Zhao, Zhenwei ; Bai, Yupeng ; Guo, Deke
• On Wolfe duality for mathematical programs with equilibrium constraints using directional convexificators
  Sachan, Prachi ; Laha, Vivek ; Samei, Mohammad Esmael
• The Minha Casa Minha Vida social housing programme and leprosy in Brazil: an analysis of the 100 Million Brazilian Cohort (2010–2015)
  Teixeira, Camila S. S. ; Pescarini, Júlia M. ; Sanchez, Mauro N. ; Ferreira, Andrêa Jacqueline F. ; Fiaccone, Rosemeire L. ; Ichihara, Maria Yury ; Flores-Ortiz, Renzo ; Brickley, Elizabeth B. ; Craig, Peter ; Leyland, Alastair H. ; Katikireddi, Srinivasa Vittal ; Penna, Maria Lucia F. ; Penna, Gerson O. ; Cássia Ribeiro-Silva, Rita de ; Barreto, Maurício L.
• Text mining methodologies with R – An application to central bank texts
  Benchimol, Jonathan ; Kazinnik, Sophia ; Saadon, Yossi 2022 Elsevier
• Static Analysis – 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
  2003 Springer International Publishing
• Compiler Construction – 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Do highly exclusive social welfare programs increase political inequality? A comparative analysis of the 50 US states
  Plutzer, Eric 2010 Wissenschaftszentrum Berlin für Sozialforschung (WZB)
• Impact of Unmet Social Needs on Access to Breast Cancer Screening and Treatment: An Analysis of Barriers Faced by Patients in a Breast Cancer Navigation Program
  Keegan, Grace ; Ravenell, Joseph ; Crown, Angelena ; DiMaggio, Charles ; Joseph, Kathie-Ann
• ASO Visual Abstract: Impact of Unmet Social Needs on Access to Breast Cancer Screening and Treatment: An Analysis of Barriers Faced by Patients in a Breast Cancer Navigation Program
  Keegan, Grace ; Ravenell, Joseph ; Crown, Angelena ; DiMaggio, Charles ; Joseph, Kathie-Ann
• Proteomic analysis of tumor cell nuclear expulsion reveals significant cell adhesion and RNA binding programs in extracellular chromatin
  Gray, Justin M. ; Park, Woo Yong ; Holewinski, Ronald J. ; Andresson, Thorkell ; Carmona-Rivera, Carmelo ; Kaplan, Mariana J. ; Yang, Li
• FDIPA-SOC: A MATLAB Package for Nonlinear Second-Order Cone Programs
  Canelas, Alfredo ; Carrasco, Miguel ; López, Julio ; Paduro, Esteban
• Delivering a national de-adoption programme: a documentary analysis of local commissioning policy compliance with England's Evidence-based Interventions programme (EBI)
  Conefrey, Carmel ; Farrar, Nicola ; Coyle, Maeve ; Bell, Mike ; Blazeby, Jane ; Burton, Christopher ; Donovan, Jenny ; Gibson, Andy ; Glynn, Joel ; Jones, Tim ; McNair, Angus ; Morley, Josie ; Owen-Smith, Amanda ; Rule, Ellen ; Thornton, Gail ; Tucker, Victoria ; Williams, Iestyn ; Hollingworth, William ; Rooshenas, Leila
• A systematic review and meta-analysis testing the effect of lifestyle modification and medication optimization programs on cholesterol and blood pressure in patients with cardiovascular disease
  Abate, Semagn Mekonnen ; Thanigaimani, Shivshankar ; Sinha, Mallika ; Sun, David ; Golledge, Jonathan
• Fetal programming of early-onset type 2 diabetes: a Swedish nationwide cohort and sibling analysis
  Amadou, Coralie ; Wei, Yuxia ; Tuomi, Tiinamaija ; Feychting, Maria ; Carlsson, Sofia
• Transactions on Petri Nets and Other Models of Concurrency XIII
  2018 Springer International Publishing
• Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
  Lahiri, Shuvendu K. 2018 Springer International Publishing