„Formal Methods“

Suchergebnisse

1.421 Treffer

• Synthesis and mechanical properties of cardanol-formaldehyde (CF) resins and CF-poly(methylmethacrylate) semi-interpenetrating polymer networks
  Manjula, S. ; Pavithran, C. ; Pillai, C. K. S. ; Kumar, V. G.
• Relationship between decay resistance and moisture properties in wood modified with phenol formaldehyde and sorbitol-citric acid
  Belt, Tiina ; Kyyrö, Suvi ; Kilpinen, A. Topias
• Conversion of phenol formaldehyde resin to glass-like carbon
  Bhatia, G. ; Aggarwal, R. K. ; Malik, M. ; Bahl, O. P.
• On the development of semiempirical methods in the MO formalism
  Jug, Karl
• New aspects on factors determining the sensitivity of the formaldehyde and glyoxylic acid fluorescence histochemical methods for monoamines
  Lindvall, O. ; Björklund, A. ; Falck, B. ; Lorén, I.
• Immunohistochemistry of epithelial cell markers in normal and pathological colon mucosa – Comparison of results based on routine formalin-and cold ethanol-fixation methods
  Rognum, T. O. ; Brandtzaeg, P. ; Ørjasaeter, H. ; Fausa, O.
• Formal methods group ETH Zürich
  Biere, Armin ; Artho, Cyrille ; Haroud, Malek ; Schuppan, Viktor 2023 Universität
• Corner Structure of Four-Dimensional General Relativity in the Coframe Formalism
  Canepa, Giovanni ; Cattaneo, Alberto S.
• Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods
  Srivas, Mandayam K. ; Miller, Steven P.
• A formal definition of the Hough transform: Properties and relationships
  Princen, J. ; Illingworth, J. ; Kittler, J.
• Cure characteristics of alkali catalysed cashew nut shell liquid-formaldehyde resin
  Mwaikambo, L. Y. ; Ansell, M. P.
• Formal Aza‐Diels−Alder Reactions of Spiroindolenines with Electronrich Dienes
  Brambilla, Elisa ; Leoni, Sara ; Abbiati, Giorgio ; Pirovano, Valentina ; Rossi, Elisabetta
• High-yield carbon derived from commercial phenol–formaldehyde resin for broadband microwave absorption by balancing conductivity and polarization loss
  Shi, Yuning ; Li, Xueai ; Liu, Qiuyun ; Zhang, Can ; Guo, Wanchun ; Tian, Kesong ; Elias, Robert ; Wang, Haiyan
• Formal Methods in Policy Formulation – The Application of Bayesian Decision Analysis to the Screening, Structuring, Optimisation and Implementation of Policies within Complex Organisations
  1978 Birkhäuser Basel
• Formal Methods in Developmental Psychology – Progress in Cognitive Development Research
  Bisanz, Jeffrey 1987 Springer New York
• A Formal Total Synthesis of Taxol Aided by an Automated Synthesizer
  Doi, Takayuki ; Fuse, Shinichiro ; Miyamoto, Shigeru ; Nakai, Kazuoki ; Sasuga, Daisuke ; Takahashi, Takashi
• Formal methods in developmental psychology – progress in cognitive development research
  Bisanz, Jeffrey 1987 Springer
• Formal methods and automated verification of critical systems
  ter Beek, Maurice H. ; Gnesi, Stefania ; Knapp, Alexander 2018 Universität Augsburg
• Uptake of formal childcare among second generation and native mothers in Belgium: can increasing local childcare availability narrow migrant-native gaps?
  Maes, Julie ; Neels, Karel ; Biegel, Naomi ; Wood, Jonas
• Methods of abating residual formaldehyde in industrial resins
  Deraedt, G. 1988 Pergamon Press