„Refinement“

Suchergebnisse

4.628 Treffer

• Refinement of Classical Proofs for Program Extraction
  Ratiu, Diana ; Schwichtenberg, Helmut 2011 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Refinement and implementation techniques for Abstract State Machines
  Schmid, Joachim 2002 Universität Ulm. Fakultät für Informatik
• Abstraction refinement techniques for software model checking
  Seghir, Mohamed Nassim
• AQuaRef: machine learning accelerated quantum refinement of protein structures
  Zubatyuk, Roman ; Biczysko, Malgorzata ; Ranasinghe, Kavindri ; Moriarty, Nigel W. ; Gokcan, Hatice ; Kruse, Holger ; Poon, Billy K. ; Adams, Paul D. ; Waller, Mark P. ; Roitberg, Adrian E. ; Isayev, Olexandr ; Afonine, Pavel V.
• Product Backlog Excellence – Effektives Backlog Management im Scrum Framework
  Jensen, Hendrik 2024 tredition
• AI-gestütztes Requirements Engineering – Ein Paradigmenwechsel in der Softwareentwicklung
  Bach, Gordon B. 2024 tredition
• Behaviour and refinement of port-based components with synchronous and asynchronous communication
  Janisch, Stephan
• Development and implementation of adaptive mesh refinement methods for numerical simulations of metal forming and machining
  Gu, Xin
• Material forces in finite inelasticity and structural dynamics – topology optimization, mesh refinement and fracture
  Zimmermann, Dominik 2008 Inst. für Mechanik (Bauwesen)
• Analysis of dynamic evolution systems by spotlight abstraction refinement
  Toben, Tobe
• An Integrated Method for Segmentation and Relief Refinement of Atomic Images Based on Probe Shape Convolution and U-Net Architecture Neural Network
  Zyryanov, K. S. ; Oreshkin, A. I. ; Chulichkov, A. I.
• Dynamic Refinement of Pressure Decomposition in Navier-Stokes Equations
  Fernández-Dalgo, Pedro Gabriel
• Wavelet-guided spatial-frequency transformer with physics-based refinement for remote sensing image dehazing
  Miao, Mengjun ; Huang, Heming ; Da, Feipeng
• Shadow feature refinement network: progressive feature refinement based on knowledge distillation for effective shadow removal
  Han, Donghyun ; Lee, Byoung-Dai
• Invited Response to: Comment on “Sub-nipple Incision for Gland Resection in Gynecomastia, Combined with High-Definition Liposculpture Principles: Technical Refinements and a Step-by-Step Video Guide”
  Colpaert, Steven D. M. ; Garsten, Tamara A. ; Sels, Toon ; Cleemput, Marc van
• Boosting energy storage performance in Ba0.8Sr0.2Zr0.1Ti0.9O3–Na0.5Bi0.5TiO3 lead-free nanoceramics through polar nanoregions and grain refinement engineering
  Zhang, Run ; Zhao, Lili ; Zhang, Zhi’ang ; Zhang, Xiaoting ; Jin, Quan ; Cui, Bin
• Refinement of the fish embryo toxicity test (FET) with zebrafish (Danio rerio) – is it a real replacement of the acute fish toxicity test? [[Elektronische Ressource]]
  Lammer, Eva
• An automated policy refinement process supported by expert knowledge
  Rochaeli, Taufiq
• Application of novel constrained friction processing method to produce fine grained biomedical Mg-Zn-Ca alloy
  Chen, Ting ; Fu, Banglong ; Shen, Junjun ; Suhuddin, Uceu F.H.R. ; Wiese, Björn ; Huang, Yuanding ; Wang, Min ; Santos, Jorge F. ˜dosœ ; Bergmann, Jean Pierre ; Klusemann, Benjamin 2024 TU Ilmenau
• Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
  Grandy, Holger 2008 Universität Augsburg