Falcon: A Graph Manipulation Language for Heterogeneous Systems

Graph algorithms have been shown to possess enough parallelism to keep several computing resources busy-even hundreds of cores on a GPU. Unfortunately, tuning their implementation for efficient execution on a particular hardware configuration of heterogeneous systems consisting of multicore CPUs and GPUs is challenging, time consuming, and error prone. To address these issues, we propose a domain-specific language (DSL), Falcon, for implementing graph algorithms that (i) abstracts the hardware, (ii) provides constructs to write explicitly parallel programs at a higher level, and (iii) can work with general algorithms that may change the graph structure (morph algorithms). We illustrate the usage of our DSL to implement local computation algorithms (that do not change the graph structure) and morph algorithms such as Delaunay mesh refinement, survey propagation, and dynamic SSSP on GPU and multicore CPUs. Using a set of benchmark graphs, we illustrate that the generated code performs close to the state-of-the-art hand-tuned implementations.

Optical-Phonon-Limited High-Field Transport in Layered Materials

An optical-phonon-limited velocity model has been employed to investigate high-field transport in a selection of layered 2-D materials for both, low-power logic switches with scaled supply voltages, and high-power, high-frequency transistors. Drain currents, effective electron velocities, and intrinsic cutoff frequencies as a function of carrier density have been predicted, thus providing a benchmark for the optical-phonon-limited high-field performance limits of these materials. The optical-phonon-limited carrier velocities for a selection of multi-layers of transition metal dichalcogenides and black phosphorus are found to be modest compared to their n-channel silicon counterparts, questioning the utility of biasing these devices in the source-injection dominated regime. h-BN, at the other end of the spectrum, is shown to be a very promising material for high-frequency, high-power devices, subject to the experimental realization of high carrier densities, primarily due to its large optical-phonon energy. Experimentally extracted saturation velocities from few-layer MoS2 devices show reasonable qualitative and quantitative agreement with the predicted values. The temperature dependence of the measured v(sat) is discussed and compared with the theoretically predicted dependence over a range of temperatures.

Electrical and Plasmonic Properties of Ligand-Free Sn4+-Doped In2O3 (ITO) Nanocrystals

Sn4+-doped In2O3 (ITO) is a benchmark transparent conducting oxide material. We prepared ligand-free but colloidal ITO (8nm, 10% Sn4+) nanocrystals (NCs) by using a post-synthesis surface-modification reaction. (CH3)(3)OBF4 removes the native oleylamine ligand from NC surfaces to give ligand-free, positively charged NCs that form a colloidal dispersion in polar solvents. Both oleylamine-capped and ligand-free ITO NCs exhibit intense absorption peaks, due to localized surface plasmon resonance (LSPR) at around =1950nm. Compared with oleylamine-capped NCs, the electrical resistivity of ligand-free ITO NCs is lower by an order of magnitude (approximate to 35mcm(-1)). Resistivity over a wide range of temperatures can be consistently described as a composite of metallic ITO grains embedded in an insulating matrix by using a simple equivalent circuit, which provides an insight into the conduction mechanism in these systems.

A Novel Approach for Multispectral Satellite Image Classification Based on the Bat Algorithm

Among the multiple advantages and applications of remote sensing, one of the most important uses is to solve the problem of crop classification, i.e., differentiating between various crop types. Satellite images are a reliable source for investigating the temporal changes in crop cultivated areas. In this letter, we propose a novel bat algorithm (BA)-based clustering approach for solving crop type classification problems using a multispectral satellite image. The proposed partitional clustering algorithm is used to extract information in the form of optimal cluster centers from training samples. The extracted cluster centers are then validated on test samples. A real-time multispectral satellite image and one benchmark data set from the University of California, Irvine (UCI) repository are used to demonstrate the robustness of the proposed algorithm. The performance of the BA is compared with two other nature-inspired metaheuristic techniques, namely, genetic algorithm and particle swarm optimization. The performance is also compared with the existing hybrid approach such as the BA with K-means. From the results obtained, it can be concluded that the BA can be successfully applied to solve crop type classification problems.

Future collider signatures of the possible 750 GeV state

If the recent indications of a possible state I broken vertical bar with mass similar to 750 GeV decaying into two photons reported by ATLAS and CMS in LHC collisions at 13 TeV were to become confirmed, the prospects for future collider physics at the LHC and beyond would be affected radically, as we explore in this paper. Even minimal scenarios for the I broken vertical bar resonance and its gamma gamma decays require additional particles with masses . We consider here two benchmark scenarios that exemplify the range of possibilities: one in which I broken vertical bar is a singlet scalar or pseudoscalar boson whose production and gamma gamma decays are due to loops of coloured and charged fermions, and another benchmark scenario in which I broken vertical bar is a superposition of (nearly) degenerate CP-even and CP-odd Higgs bosons in a (possibly supersymmetric) two-Higgs doublet model also with additional fermions to account for the gamma gamma decay rate. We explore the implications of these benchmark scenarios for the production of I broken vertical bar and its new partners at colliders in future runs of the LHC and beyond, at higher-energy pp colliders and at e (+) e (-) and gamma gamma colliders, with emphasis on the bosonic partners expected in the doublet scenario and the fermionic partners expected in both scenarios.

SALIENT OBJECT DETECTION VIA OBJECTNESS MEASURE

Salient object detection has become an important task in many image processing applications. The existing approaches exploit background prior and contrast prior to attain state of the art results. In this paper, instead of using background cues, we estimate the foreground regions in an image using objectness proposals and utilize it to obtain smooth and accurate saliency maps. We propose a novel saliency measure called `foreground connectivity' which determines how tightly a pixel or a region is connected to the estimated foreground. We use the values assigned by this measure as foreground weights and integrate these in an optimization framework to obtain the final saliency maps. We extensively evaluate the proposed approach on two benchmark databases and demonstrate that the results obtained are better than the existing state of the art approaches.

同位网格摄动有限体积格式求解浮力驱动方腔流

利用对流扩散方程的摄动有限体积格式,在Rayleigh数从10~3到10~8的范围内对浮力驱动方腔流动问题作了数值模拟.对流扩散方程的摄动有限体积格式具有一阶迎风格式的简洁形式,使用相同的基点,重构近似精度高,特别是两相邻控制体中心到公共界面的距离相等或不相等,PFV格式公式相同等优点.在数值模拟中,无论均匀网格还是非均匀网格均获得与DSC方法、自适应有限元法、多重网格法等Benchmark解相符较好的数值结果,证明UPFV格式对高Rayleigh数对流传热问题的适用性和有效性.

Investigation of biotin-streptavidin binding interactions using microcantilever sensors

We report the investigation of biotin-streptavidin binding interactions using microcantilever sensors. A symmetric cantilever construction is employed to minimize the effects of thermal drift and the control of surface chemistry on the backside of the cantilever is demonstrated to reduce the effects of non-specific binding interactions on the cantilever. Three structurally different biotin modified cantilever surfaces are used as a model system to study the binding interaction with streptavidin. The cantilever response to the binding of streptavidin on these biotin sensing monolayers is compared. The lowest detection limit of streptavidin using biotin-HPDP is found to be between 1 and 10 nM limited by the optical measurement setup. Surface characterization using quartz crystal microbalance (QCM) and high-resolution atomic force microscope (AFM) is used to benchmark the cantilever sensor response. In addition, the QCM and AFM studies reveal that the surface density of bound streptavidin on biotin modified surfaces was low, thereby implying that effects other than steric hindrance are responsible for defining cantilever response. (c) 2006 Elsevier B.V. All rights reserved.

Adaptive Mesh Refinement FEM for Damage Evolution of Heterogeneous Brittle Media

Damage evolution of heterogeneous brittle media involves a wide range of length scales. The coupling between these length scales underlies the mechanism of damage evolution and rupture. However, few of previous numerical algorithms consider the effects of the trans-scale coupling effectively. In this paper, an adaptive mesh refinement FEM algorithm is developed to simulate this trans-scale coupling. The adaptive serendipity element is implemented in this algorithm, and several special discontinuous base functions are created to avoid the incompatible displacement between the elements. Both the benchmark and a typical numerical example under quasi-static loading are given to justify the effectiveness of this model. The numerical results reproduce a series of characteristics of damage and rupture in heterogeneous brittle media.

Thermocapillary Migration Of Nondeformable Drops

In this paper, we present a numerical study on the thermocapillary migration of drops. The Navier-Stokes equations coupled with the energy conservation equation are solved by the finite-difference front-tracking scheme. The axisymmetric model is adopted in Our simulations, and the drops are assumed to be perfectly spherical and nondeformable. The benchmark simulation starts from the classical initial condition with a uniform temperature gradient. The detailed discussions and physical explanations of migration phenomena are presented for the different values of (1) the Marangoni numbers and Reynolds numbers of continuous phases and drops and (2) the ratios of drop densities and specific heats to those of continuous phases. It is found that fairly large Marangoni numbers may lead to fluctuations in drop velocities at the beginning part of simulations. Finally, we also discuss the influence of initial conditions on the thermocapillary migrations. (C) 2008 American Institute of Physics.

A rigorous analytical method for doubly periodic cylindrical inclusions under longitudinal shear and its application

An infinite elastic solid containing a doubly periodic parallelogrammic array of cylindrical inclusions under longitudinal shear is studied. A rigorous and effective analytical method for exact solution is developed by using Eshelby's equivalent inclusion concept integrated with the new results from the doubly quasi-periodic Riemann boundary value problems. Numerical results show the dependence of the stress concentrations in such heterogeneous materials on the periodic microstructure parameters. The overall longitudinal shear modulus of composites with periodic distributed fibers is also studied. Several problems of practical importance, such as those of doubly periodic holes or rigid inclusions, singly periodic inclusions and single inclusion, are solved or resolved as special cases. The present method can provide benchmark results for other numerical and approximate methods. (C) 2003 Elsevier Ltd. All rights reserved.

Life Expectancy, Human Capital, Social Security and Growth

Revised: 2006-11.-- Published as an article in: Journal of Public Economics 90(12), December, 2006, pp. 2323-2349.

Market Power in the Spanish Electricity Auction

Published as an article in: Journal of Regulatory Economics, 2010, vol. 37, issue 1, pages 42-69.

Asymmetric flow networks

This paper provides a new model of network formation that bridges the gap between the two benchmark models by Bala and Goyal, the one-way flow model, and the two-way flow model, and includes both as particular extreme cases. As in both benchmark models, in what we call an "asymmetric flow" network a link can be initiated unilaterally by any player with any other, and the flow through a link towards the player who supports it is perfect. Unlike those models, in the opposite direction there is friction or decay. When this decay is complete there is no flow and this corresponds to the one-way flow model. The limit case when the decay in the opposite direction (and asymmetry) disappears, corresponds to the two-way flow model. We characterize stable and strictly stable architectures for the whole range of parameters of this "intermediate" and more general model. We also prove the convergence of Bala and Goyal's dynamic model in this context.

Monte Carlo Modeling of Micro Scale Gas Flows

An information preservation (IP) method has been used to simulate many micro scale gas flows. It may efficiently reduce the statistical scatter inherent in conventional particle approaches such as the direct simulation Monte Carlo (DSMC) method. This paper reviews applications of IP to some benchmark problems. Comparison of the IP results with those given by experiment, DSMC, and the linearized Boltzmann equation, as well as the Navier-Stokes equations with a slip boundary condition, and the lattice Boltzmann equation, shows that the IP method is applicable to micro scale gas flows over the entire flow regime from continuum to free molecular.