„FORMAL“

Suchergebnisse

1.000+ Treffer

• Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
  Gabbay, Dov M. ; Giacomin, Massimiliano ; Liao, Beishui ; Torre, Leendert ˜van derœ
• Dynamic modeling and optimization of methanol partial oxidation to formaldehyde over Mo–Fe catalyst in an industrial isothermal reactor
  Zakeri Gheshmi, Hossein ; Farsi, Mohammad ; Rahimpour, Mohammad Reza
• Geometric post-Newtonian description of massive spin-half particles in curved spacetime
  Alibabaei, Ashkan ; Schwartz, Philip K. ; Giulini, Domenico 2023 Gottfried Wilhelm Leibniz Universität Hannover
• Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
  Foster, Simon ; Nemouchi, Yakoub ; Gleirscher, Mario ; Wei, Ran ; Kelly, Timothy
• Ein Wörterbuch der DDR-Neologismen. Prinzipien seiner inhaltlichen und formalen Gestaltung
  Herberg, Dieter ; Hyldgaard-Jensen, Karl ; Zettersten, Arne 2017 Institut für Deutsche Sprache, Bibliothek
• Towards an Isabelle theory for distributed, interactive systems
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker Verlag
• Learning in non-formal education: Is it “youthful” for youth in action?
  Norqvist, Lars ; Leffler, Eva
• Comparison of triple-negative breast cancer molecular subtyping using RNA from matched fresh-frozen versus formalin-fixed paraffin-embedded tissue
  Jovanović, Bojana ; Sheng, Quanhu ; Seitz, Robert S. ; Lawrence, Kasey D. ; Morris, Stephan W. ; Thomas, Lance R. ; Hout, David R. ; Schweitzer, Brock L. ; Guo, Yan ; Pietenpol, Jennifer A. ; Lehmann, Brian D.
• Simultaneous determination of trimethylamine, formaldehyde and benzene via the cataluminescence of In3LaTi2O10 nanoparticles
  Zhou, Kaowen ; Xu, Jichao ; Gu, Chunxiu ; Hou, Chunjuan ; Ren, Huirong
• Resource-availability scenario analysis for formal and informal recycling of end-of-life electrical and electronic equipment in China
  Habuer ; Nakatani, Jun ; Moriguchi, Yuichi
• A CPN/B method transformation framework for railway safety rules formal validation
  Boudi, Zakaryae ; Ben-Ayed, Rahma ; El Koursi, El Miloudi ; Collart-Dutilleul, Simon ; Nolasco, Thomas ; Haloua, Mohamed
• Modeling of adsorption of CO2 in the deformed pores of MIL-53(Al)
  Dundar, Ege ; Chanut, Nicolas ; Formalik, Filip ; Boulet, Pascal ; Llewellyn, Philip L. ; Kuchta, Bogdan
• General framework for testing using formal languages
  Lobato, S. ; Poncela, J. ; Aamir, M.
• An application of artificial neural networks for modeling formaldehyde emission based on process parameters in particleboard manufacturing process
  Akyüz, İlker ; Özşahin, Şükrü ; Tiryaki, Sebahattin ; Aydın, Aytaç
• Clinical performance evaluation of a sensitive, rapid low-throughput test for KRAS mutation analysis using formalin-fixed, paraffin-embedded tissue samples
  Weyn, Christine ; Van Raemdonck, Sofie ; Dendooven, Robina ; Maes, Vincent ; Zwaenepoel, Karen ; Lambin, Suzan ; Pauwels, Patrick
• Formal mentorship in a surgical residency training program: a prospective interventional study
  Zhang, Han ; Isaac, Andre ; Wright, Erin D. ; Alrajhi, Yaser ; Seikaly, Hadi
• Studies on the formation of formaldehyde during 2-ethylhexyl 4-(dimethylamino)benzoate demethylation in the presence of reactive oxygen and chlorine species
  Studziński, Waldemar ; Gackowska, Alicja ; Przybyłek, Maciej ; Gaca, Jerzy
• Comparison of Five Different Assays for the Detection of BRAF Mutations in Formalin-Fixed Paraffin Embedded Tissues of Patients with Metastatic Melanoma
  Franczak, Claire ; Salleron, Julia ; Dubois, Cindy ; Filhine-Tresarrieu, Pierre ; Leroux, Agnès ; Merlin, Jean-Louis ; Harlé, Alexandre
• Effect of charcoal on formaldehyde emission, mechanical, thermal and dynamic properties of resol resin
  Resmi, V. C. ; Narayanankutty, Sunil K.
• Identification and validation of differentially expressed transcripts by RNA-sequencing of formalin-fixed, paraffin-embedded (FFPE) lung tissue from patients with Idiopathic Pulmonary Fibrosis
  Vukmirovic, Milica ; Herazo-Maya, Jose D. ; Blackmon, John ; Skodric-Trifunovic, Vesna ; Jovanovic, Dragana ; Pavlovic, Sonja ; Stojsic, Jelena ; Zeljkovic, Vesna ; Yan, Xiting ; Homer, Robert ; Stefanovic, Branko ; Kaminski, Naftali