B-Method

Results: 1203



#Item
341Radioactivity / Physics / Hazards / Nuclear safety / Radioactive contamination / Radioactive waste / Ionizing radiation / Operation Crossroads / Radiation effects from Fukushima Daiichi nuclear disaster / Nuclear physics / Radiobiology / Nuclear technology

Principal Research Results New Surface Contamination Measurement Method at Nuclear Power Plants −Demonstration of Applicability of Clearance Automatic Laser Inspection System for Surface Contamination Measurement− B

Add to Reading List

Source URL: criepi.denken.or.jp

Language: English - Date: 2010-02-04 23:04:30
342Crime prevention / National security / Data security / Scientific method / Computer security / Information security / Scientific theory / Statistical hypothesis testing / Hypothesis / Science / Security / Philosophy of science

The evolution of information security | Adam Shostack B

Add to Reading List

Source URL: www.homeport.org

Language: English - Date: 2014-06-11 12:01:54
343Computing / Formal verification / Isabelle / Formal specification / Microkernel / Haskell / B-Method / L4 microkernel family / Proof assistant / Formal methods / Theoretical computer science / Applied mathematics

Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2

Add to Reading List

Source URL: ssrg.nicta.com.au

Language: English - Date: 2013-10-20 22:09:38
344B-tree / Tree traversal / Binary trees / Tree / Search algorithms / Binary search tree / Decomposition method / Graph theory / Mathematics / Computing

Efficient Self-stabilizing Algorithms for Tree Networks Jean R. S. Blair∗ Fredrik Manne†

Add to Reading List

Source URL: www.nik.no

Language: English - Date: 2002-10-17 03:22:58
345Computational chemistry / Quantum chemistry / Theoretical chemistry / Matrix theory / Numerical linear algebra / Matrix / Time-dependent density functional theory / Eigenvalues and eigenvectors / Diagonalizable matrix / Algebra / Mathematics / Linear algebra

PHYSICAL REVIEW B 76, 045114 共2007兲 Linear scaling time-dependent density-functional tight-binding method for absorption spectra of large systems Fan Wang, Chi Yung Yam, and GuanHua Chen* Department of Chemistry, Th

Add to Reading List

Source URL: yangtze.hku.hk

Language: English - Date: 2010-12-19 08:35:07
346Electrodynamics / Electrical components / Wave mechanics / Eria / Photonics / Waveguide / Slot-waveguide / Surface plasmon / Finite-difference time-domain method / Physics / Electromagnetism / Optics

Zharov et al. Vol. 30, No. 6 / June[removed]J. Opt. Soc. Am. B 1601

Add to Reading List

Source URL: wwwrsphysse.anu.edu.au

Language: English - Date: 2013-09-13 04:28:50
347Environmental chemistry / Condensed matter physics / Materials science / Spectroscopy / XANES / Chemical engineering / Hydrodesulfurization / Catalysis / Nitrogen / Chemistry / Science / Scientific method

Microsoft Word - ACR2013_users_repor_iwanami-B_F-YM.docx

Add to Reading List

Source URL: pfwww.kek.jp

Language: English - Date: 2014-07-23 06:02:13
348Finite element method / Partial differential equations / Structural analysis / Fortran / Numerical analysis / Computing / Software engineering

FELIPE User Manual 1 M. B. Reed Department of Mathematical Sciences

Add to Reading List

Source URL: www.maths.bath.ac.uk

Language: English - Date: 2007-01-03 06:30:53
349Chromatography / Measurement / Analytical chemistry / Metrology / Pharmaceutical industry / Zearalenone / Quality assurance / Calibration / High-performance liquid chromatography / Science / Chemistry / Scientific method

NASA/TP–2011–[removed]An Investigation into HPLC Data Quality Problems Stanford B. Hooker and Laurie Van Heukelem

Add to Reading List

Source URL: oceancolor.gsfc.nasa.gov

Language: English - Date: 2013-04-29 07:35:06
350Molecular modelling / Austin Model 1 / Molecular dynamics / Force field / Fragment molecular orbital / QM/MM / Hartree–Fock method / Mulliken population analysis / NDDO / Chemistry / Computational chemistry / Quantum chemistry

ohio2/yjp-yjp/yjp-yjp/yjp99907/yjp5958d07z xppws 23:ver[removed]:10 Msc: jp-2008-04512f TEID: kbg00 BATID: jp10c111 J. Phys. Chem. B XXXX, xxx, [removed]

Add to Reading List

Source URL: www.dtc.umn.edu

Language: English - Date: 2012-08-16 12:29:06
UPDATE