„Formal Methods“

Suchergebnisse

1.421 Treffer

• Opening Advanced Laboratories to School Students: Our Model for Structuring Round‐Trip Activities from School to University and Back
  Goldstein, Keith L. ; Seri, Noa ; Viale, Giovanna ; Grazioli, Cinzia ; Pirovano, Livia ; Ofrath, Noa
• Formal methods and tools for industrial critical systems
  Beek, Maurice H. ter ; Larsen, Kim G. ; Ničković, Dejan ; Willemse, Tim A. C.
• The updating methods of object-induced three-way concept in dynamic formal contexts
  Hu, Qian ; Qin, Keyun ; Yang, Lei
• Conversion of 2,3‐Dihydrobenzo (b)(1,4) dioxine‐2‐carboxamides to 3‐Oxoquinolin‐2 (1 H)‐ones via Ring‐Opening and Formal 6‐ endo ‐trig Cyclization‐Involved Heck Reactions
  Bhattacharya, Debabrata ; Tomar, Radha ; Babu, Srinivasarao Arulananda
• 1,3,5‐Triazinanes as Formaldimine Surrogates in the Ugi Reaction
  Golubev, Pavel ; Guranova, Natalia ; Krasavin, Mikhail
• Simulating the complete pyrolysis and charring process of phenol–formaldehyde resins using reactive molecular dynamics
  Purse, Marcus ; Holmes, Ben ; Sacchi, Marco ; Howlin, Brendan
• Formalizing Geometric Algebra in Lean
  Wieser, Eric ; Song, Utensil
• Formal (5+2) Cycloaddition of Vinyloxiranes with Oxazol‐5‐(4 H)‐ones: A Facile Approach for Construction of Seven‐Membered Lactones
  Zhao, Hong‐Wu ; Ding, Wan‐Qiu ; Wang, Li‐Ru ; Guo, Jia‐Ming ; Song, Xiu‐Qing ; Wu, Hui‐Hui ; Tang, Zhe ; Fan, Xiao‐Zu ; Bi, Xiao‐Fan
• Formal Methods for Software Engineering – Languages, Methods, Application Domains
  2022 Springer International Publishing
• Removing Formaldehyde‐Induced Peptidyl Crosslinks Enables Mass Spectrometry Imaging of Peptide Hormone Distributions from Formalin‐Fixed Paraffin‐Embedded Tissues
  Lee, Dong‐Kyu ; Rubakhin, Stanislav S. ; Kusmartseva, Irina ; Wasserfall, Clive ; Atkinson, Mark A. ; Sweedler, Jonathan V.
• Removing Formaldehyde‐Induced Peptidyl Crosslinks Enables Mass Spectrometry Imaging of Peptide Hormone Distributions from Formalin‐Fixed Paraffin‐Embedded Tissues
  Lee, Dong‐Kyu ; Rubakhin, Stanislav S. ; Kusmartseva, Irina ; Wasserfall, Clive ; Atkinson, Mark A. ; Sweedler, Jonathan V.
• Automatic PI-RADS assignment by means of formal methods
  Brunese, Luca ; Brunese, Maria Chiara ; Carbone, Mattia ; Ciccone, Vincenzo ; Mercaldo, Francesco ; Santone, Antonella
• Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
  Huster, Stefan 2020 Tübingen Library Publishing
• Changing use of formal methods in philosophy: late 2000s vs. late 2010s
  Fletcher, Samuel C. ; Knobe, Joshua ; Wheeler, Gregory ; Woodcock, Brian Allan
• Language skills differences between adults without formal education and low formal education
  Pereira, Ariane ; Ortiz, Karin Zazo
• Formal Methods in Architecture – Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020
  2021 Springer International Publishing
• Aaron V. Cicourel: I Am NOT Opposed to Quantification or Formalization or Modeling, but I Do Not Want to Pursue Quantitative Methods That Are Not Commensurate With the Research Phenomena Addressed
  Witzel, Andreas ; Mey, Günter
• Two-Component Spinorial Formalism Using Quaternions for Six-Dimensional Spacetimes
  Venâncio, Joás ; Batista, Carlos
• Preface of the special issue on the conference on formal methods in computer aided design 2018
  Bjørner, Nikolaj ; Gurfinkel, Arie
• Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis – A Dissertation Summary
  Kriegel, Francesco