„Programs“

Suchergebnisse

10.000+ Treffer

• Inductive Predicate Synthesis Modulo Programs
  Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators
  Mazak-Huemer, Alexandra ; Vierhauser, Michael ; Groher, Iris
• Structured programs to train the next generation of clinician scientists
  Melk, Anette ; Grabitz, Carl ; Ernst, Johanna ; Saenger, Thorsten ; Degraeuwe, Eva ; Beck Schimmer, Beatrice ; Vande Walle, Johan ; Ažukaitis, Karolis ; Prakken, Berent ; Campo, Elías ; Bertero, Michela Giulia
• Formal Techniques for Development and Auto-tuning of Parallel Programs
  Doroshenko, Anatoliy ; Ivanenko, Pavlo ; Yatsenko, Olena A.
• Identifying Major Factors for Success and Failure of Conservation Programs in Europe
  Farwig, Nina ; Sprenger, Philipp Peter ; Baur, Bruno ; Böhning-Gaese, Katrin ; Brandt, Angelika ; Eisenhauer, Nico ; Ellwanger, Götz ; Hochkirch, Axel ; Karamanlidis, Alexandros A. ; Mehring, Marion ; Pusch, Martin ; Rehling, Finn ; Sommerwerk, Nike ; Spatz, Theresa ; Svenning, Jens-Christian ; Tischew, Sabine ; Tockner, Klement ; Tscharntke, Teja ; Vadrot, Alice ; Taffner, Julian ; Fürst, Christine ; Jähnig, Sonja Charlotte ; Mosbrugger, Volker
• Teaching the polycrisis: Assessing the effect of pluralist education in Italian economics programs
  Ciccotosto, Michela ; Sokolenko, Oleksandra ; Proctor, J. Christopher
• Adoption of automated software engineering tools and techniques in Thailand
  Ragkhitwetsagul, Chaiyong ; Krinke, Jens ; Choetkiertikul, Morakot ; Sunetnanta, Thanwadee ; Sarro, Federica
• Evaluation of “Cognitive Behavioral Intervention for Trauma in Schools” (CBITS) in child welfare programs in Germany: study protocol of a randomized controlled trial
  Pfeiffer, Elisa ; Dörrie, Loni ; Köksal, Jessica ; Krech, Fabienne ; Muche, Rainer ; Segler, Jacob ; Sachser, Cedric
• Global optimization of mixed-integer nonlinear programs with SCIP 8
  Bestuzheva, Ksenia ; Chmiela, Antonia ; Müller, Benjamin ; Serrano Musalem, Felipe ; Vigerske, Stefan ; Wegscheider, Fabian
• Identifying Implementation Factors for the Development, Operation, and Sustainment of Ambulatory Care Pharmacy Programs: a Qualitative Study
  Qureshi, Nabeel ; Keller, Michelle S.
• Utilizing Social Media to Identify Potential Living Donors: Learning from US Living Donor Programs
  Nishio-Lucar, Angie G. ; Hunt, Heather F. ; Booker, Sarah E. ; Cartwright, Laura A. ; Larkin, Lindsay ; Gonzalez, Stevan A. ; Spiers, Jessica A. ; Srinivas, Titte ; Ahmad, Mahwish U. ; Levan, Macey L. ; Singh, Pooja ; Wertin, Heather ; McAdams, Cathy ; Lentine, Krista ; Schaffer, Randolph
• Patterns of Earnings and Employment by Worker Sex, Race, and Ethnicity Using State Administrative Data: Results from a Sample of Workers Connected to Public Assistance Programs
  Heflin, Colleen ; Morrissey, Taryn
• Intercultural citizenship development: a case of Thai study abroad students in EMI programs
  Ra, Jaewon Jane ; Boonsuk, Yusop ; Sangiamchit, Chittima
• The Effect of Mindfulness-based Programs on Cognitive Function in Adults: A Systematic Review and Meta-analysis
  Whitfield, Tim ; Barnhofer, Thorsten ; Acabchuk, Rebecca ; Cohen, Avi ; Lee, Michael ; Schlosser, Marco ; Arenaza-Urquijo, Eider M. ; Böttcher, Adriana ; Britton, Willoughby ; Coll-Padros, Nina ; Collette, Fabienne ; Chételat, Gaël ; Dautricourt, Sophie ; Demnitz-King, Harriet ; Dumais, Travis ; Klimecki, Olga ; Meiberth, Dix ; Moulinet, Inès ; Müller, Theresa ; Parsons, Elizabeth ; Sager, Lauren ; Sannemann, Lena ; Scharf, Jodi ; Schild, Ann-Katrin ; Touron, Edelweiss ; Wirth, Miranka ; Walker, Zuzana
• Preventing suicide in post-secondary students: a scoping review of suicide prevention programs
  Black, Melissa H. ; Scott, Melissa ; Baker-Young, Elliot ; Thompson, Craig ; McGarry, Sarah ; Hayden-Evans, Maya ; Snyman, Zelma ; Zimmermann, Frank ; Kacic, Viktor ; Falkmer, Torbjorn ; Romanos, Marcel ; Bölte, Sven ; Girdler, Sonya ; Milbourn, Benjamin
• Sampling of Bayesian posteriors with a non-Gaussian probabilistic learning on manifolds from a small dataset
  Soize, Christian ; Ghanem, Roger ; Desceliers, Christophe
• A constrained regression model for an ordinal response with ordinal predictors
  Espinosa, Javier ; Hennig, Christian
• On theory and management of dependencies between models
  Chechik, Marsha ; Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Guest editorial to the special section on PoEM’2022
  Barn, Balbir S. ; Sandkuhl, Kurt ; Barat, Souvik ; Clark, Tony
• 29th International Conference on Types for Proofs and Programs (TYPES 2023)
  Kesner, Delia ; Reyes, Eduardo Hermo ; Berg, Benno ˜van denœ 2024 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH