„Proof Engineering“

Suchergebnisse

1.000+ Treffer

• Radiofrequency Ablation of the Atherosclerotic Plaque: a Proof of Concept Study in an Atherosclerotic Model
  Ellenbroek, Guilielmus H.J.M ; Hout, Gerardus P.J. van ; Jager, Saskia C.A. de ; Timmers, Leo ; Vink, Aryan ; Goldschmeding, Roel ; Kraak, Petra van der ; Pasterkamp, Gerard ; Hoefer, Imo E. ; Doevendans, Petrus A. ; Appelman, Yolande
• A Proof of Concept Study on Utilising a Non-invasive Microwave Analysis Technique to Characterise Silver Based Materials in Aqueous Solution
  Ateeq, Muhammad ; Shaw, Andy ; Garrett, Rob ; Dickson, Paul
• Maximized Utilization of Raw Rice Bran in Microbial Oils Production and Recovery of Active Compounds: A proof of concept
  Sutanto, Sylviana ; Go, Alchris Woo ; Chen, Kuan-Hung ; Ismadji, Suryadi ; Ju, Yi-Hsu
• Pan-European seismic risk assessment: a proof of concept using the Earthquake Loss Estimation Routine (ELER)
  Corbane, Christina ; Hancilar, Ufuk ; Ehrlich, Daniele ; Groeve, Tom De
• Statistical Characterization of the Mechanical Parameters of Intact Rock Under Triaxial Compression: An Experimental Proof of the Jinping Marble
  Jiang, Quan ; Zhong, Shan ; Cui, Jie ; Feng, Xia-Ting ; Song, Leibo
• A proof-of-concept study of vicarious extinction learning and autonomic synchrony in parent–child dyads and posttraumatic stress disorder
  Heyn, Sara A. ; George, Grace ; Hamm, Emily ; Olson, Christy ; Harari, Julia H. ; Marin, Marie-France ; Milad, Mohammed ; Herringa, Ryan J.
• A calculus for modular loop acceleration and non-termination proofs
  Frohn, Florian ; Fuhs, Carsten
• Compact Proofs of Retrievability
  Shacham, Hovav ; Waters, Brent
• Correction to: Using measures of wellbeing for impact evaluation: Proof of concept developed with an Indigenous community undertaking land management programs in northern Australia
  Larson, Silva ; Stöckl, Natalie ; Jarvis, Diane ; Addison, Jane ; Prior, Sharon ; Esparon, Michelle
• Prediction of anastomotic insufficiency based on the mucosal microbiome prior to colorectal surgery: a proof-of-principle study
  Lehr, Konrad ; Lange, Undine Gabriele ; Hipler, Noam Mathias ; Vílchez-Vargas, Ramiro ; Hoffmeister, Albrecht ; Feisthammel, Jürgen ; Buchloh, Dorina ; Schanze, Denny ; Zenker, Martin ; Gockel, Ines ; Link, Alexander ; Jansen-Winkeln, Boris
• A New Proof of the Erdős–Simonovits Conjecture on Walks
  Blekherman, Grigoriy ; Raymond, Annie
• Combining static worst-case timing analysis and program proof
  Chapman, Roderick ; Burns, Alan ; Wellings, Andy
• Comments on: “Preclinical Proof-of-Concept of a Minimally Invasive Direct Cardiac Compression Device for Pediatric Heart Support”
  Triwiyanto ; Pawana, I. Putu Alit ; Luthfiyah, Sari
• How to Write Technical Reports – Understandable Structure, Good Design, Convincing Presentation
  Hering, Heike 2019 Springer Berlin Heidelberg
• How to Write Technical Reports – Understandable Structure, Good Design, Convincing Presentation
  Hering, Lutz ; Hering, Heike 2010 Springer Berlin Heidelberg
• Proof of termination within a weak logic of programs
  Luckham, David C. ; Suzuki, Norihisa
• Proof of concept studies in mental health systems research: strategy and steps
  Salvador-Carulla, Luis ; Tabatabaei-Jafari, Hossein ; Woods, Cindy ; Lukersmith, Sue
• Blockchain-based traceability framework for agri-food supply chain: a proof-of-concept
  Vern, Priyanka ; Panghal, Anupama ; Mor, Rahul S. ; Kumar, Vikas ; Jagtap, Sandeep
• ‘Interpretability’ and ‘alignment’ are fool’s errands: a proof that controlling misaligned large language models is the best anyone can hope for
  Arvan, Marcus
• Manipulation-resistant false-name-proof facility location mechanisms for complex graphs
  Nehama, Ilan ; Todo, Taiki ; Yokoo, Makoto