B-Method - PDFSEARCH.IO - Document Search Engine

B-Method
Results: 1203

#	Item
331	Nearest Keyword Search in XML Documents Yufei Tao Stavros Papadopoulos Cheng Sheng Kostas Stefanidis Department of Computer Science and Engineering Chinese University of Hong Kong New Territories, Hong Kong {taoyf, stavr Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-08 19:35:47 Binary trees Distributed data storage Search algorithms Rope Tree Lowest common ancestor B-tree Decomposition method Hilbert R-tree Graph theory Computing Mathematics
332	Model of Community Emergence in Weighted Social Networks J. M. Kumpulaa , J.-P. Onnelaa,b , J. Saram¨akia , J. Kert´esza,c , K. Kaskia a Department of Biomedical Engineering and Computational Science, Helsinki Univers Add to Reading List Source URL: www.hks.harvard.edu Language: English - Date: 2008-11-07 12:48:08 Degree distribution Clique percolation method Network topology Topology Community structure Social network Copying mechanism Network science Networks Graph theory Mathematics
333	BREEAM (Building Research Establishment – Environmental Assessment Method) A voluntary design and assessment method for sustainable buildings Goals and Plans From the tendering phase onwards, a sustainable design has b Add to Reading List Source URL: www.fluor.com Language: English - Date: 2013-07-22 23:19:07 Sustainable building Sustainable architecture Building energy rating Building engineering BREEAM Green building Sustainable design Building Research Establishment Estidama Architecture Sustainability Environment
334	Panel Data estimation using DPD for Ox B Y J URGEN A. D OORNIK1 , M ANUEL A RELLANO2 , AND S TEPHEN B OND3 1 Nuffield College, Oxford, http://www.nuff.ox.ac.uk/users/doornik/ 2 CEMFI, Madrid, http://www.cemfi.es/∼arell Add to Reading List Source URL: www.doornik.com Language: English - Date: 2013-08-12 13:06:04 Regression analysis Statistical inference M-estimators Instrumental variable Estimator Sargan test Least squares Generalized method of moments Variance Statistics Estimation theory Econometrics
335	Mirzaei et al. Vol. 31, No. 7 / July[removed]J. Opt. Soc. Am. B 1595 Add to Reading List Source URL: wwwrsphysse.anu.edu.au Language: English - Date: 2014-08-11 01:53:14 Colloidal chemistry Electricity Computational science Electrodynamics Permittivity Finite-difference time-domain method Relative permittivity Mie scattering Nonlinear optics Physics Electromagnetism Physical quantities
336	An outline of a proposed system that learns from experts how to discharge proof obligations automatically (extended abstract) Alan Bundy1 , Gudmund Grov1,2 , and Cliff B. Jones2 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Mathematical logic Constructive proof Theorem Rippling Reification Vienna Development Method Logic Mathematics Mathematical proofs
337	Essays of an Information Scientist, Vol:1, p.xi, [removed]FOREWORD b’ Joshua Lederberg Add to Reading List Source URL: www.garfield.library.upenn.edu Language: English - Date: 1999-10-04 15:16:47 Academic publishing Bibliometrics Library science Joshua Lederberg Citation Nature Scientific method Replica plating Case citation Science Academia Knowledge
338	University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Science Theoretical computer science Systems engineering Software development methodology Scientific modelling Software development process B-Method Software testing Formal proof Software development Software Formal methods
339	Photon Factory Activity Report 2013 #[removed]B BL-9A/2012G560 Determination of Active Cu Species of Cu/BaO/La2O3 Catalyst for the Simultaneous Removal of Carbon Soot and Nitrogen Oxides Add to Reading List Source URL: pfwww.kek.jp Language: English - Date: 2014-07-30 05:20:57 Condensed matter physics Environmental chemistry Materials science Spectroscopy Oxides Extended X-ray absorption fine structure XANES X-ray absorption fine structure Copper(II) oxide Chemistry Scientific method Science
340	Photon Factory Activity Report 2013 #[removed]B BL-12C/2013G596 Redox Property of the Supported Ni Catalyst Prepared by Sol-Gel Method Yusaku Yamamoto, Shohei Yamashita, Misaki Katayama, and Yasuhiro Inada Add to Reading List Source URL: pfwww.kek.jp Language: English - Date: 2014-07-25 02:52:46 Oxides Catalysis Nanoparticle XANES Nickel Sol-gel Chemistry Environmental chemistry Nickel(II) oxide

UPDATE