February 2013 arXiv papers — page 7

Bernhard Hollunder

Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree or a necessity degree that expresses to what extent the formula is possibly or necessarily true. Possibilistic resolutio

Max Henrion, Gregory M. Provan, Brendan del Favero, Gillian Sanders

Qualitative and infinitesimal probability schemes are consistent with the axioms of probability theory, but avoid the need for precise numerical probabilities. Using qualitative probabilities could substantially reduce the effort for knowledge engineering and improve the robustness of results. We examine experimentally how well infinitesimal probabilities (t

Jochen Heinsohn

On the one hand, classical terminological knowledge representation excludes the possibility of handling uncertain concept descriptions involving, e.g., "usually true" concept properties, generalized quantifiers, or exceptions. On the other hand, purely numerical approaches for handling uncertainty in general are unable to consider terminological know

Petr Hajek, Dagmar Harmancová, Francesc Esteva, Pere Garcia

Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative modal logic to the many--valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and belief S5 and K

Peter Haddawy, AnHai Doan

This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstraction. We define what it means for the abstraction of an action to be correct and then derive two methods of intra-action abstraction and two methods of inter-action abstraction whic

Peter Haddawy

We present a method for dynamically generating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of probability logic sufficient for representing the class of Bayesian networks with discrete-valued nodes. We impose constraints on the form of the sentences that guarantee that the knowledge base c

Robert P. Goldman, Mark S. Boddy

We introduce an approach to high-level conditional planning we call epsilon-safe planning. This probabilistic approach commits us to planning to meet some specified goal with a probability of success of at least 1-epsilon for some user-supplied epsilon. We describe several algorithms for epsilon-safe planning based on conditional planners. The two conditiona

Dan Geiger, Azaria Paz, Judea Pearl

Testing the validity of probabilistic models containing unmeasured (hidden) variables is shown to be a hard task. We show that the task of testing whether models are structurally incompatible with the data at hand, requires an exponential number of independence evaluations, each of the form: "X is conditionally independent of Y, given Z." In contrast

Robert Fung, Brendan del Favero

Backward simulation is an approximate inference technique for Bayesian belief networks. It differs from existing simulation methods in that it starts simulation from the known evidence and works backward (i.e., contrary to the direction of the arcs). The technique's focus on the evidence leads to improved convergence in situations where the posterior bel

Pascale Fonck

Possibilistic conditional independence is investigated: we propose a definition of this notion similar to the one used in probability theory. The links between independence and non-interactivity are investigated, and properties of these relations are given. The influence of the conjunction used to define a conditional measure of possibility is also highlight

Kazuo J. Ezawa

In this paper, we introduce evidence propagation operations on influence diagrams and a concept of value of evidence, which measures the value of experimentation. Evidence propagation operations are critical for the computation of the value of evidence, general update and inference operations in normative expert systems which are based on the influence diagr

Florence Dupin de Saint-Cyr, Jerome Lang, Thomas Schiex

Penalty logic, introduced by Pinkas, associates to each formula of a knowledge base the price to pay if this formula is violated. Penalties may be used as a criterion for selecting preferred consistent subsets in an inconsistent knowledge base, thus inducing a non-monotonic inference relation. A precise formalization and the main properties of penalty logic

Didier Dubois, Luis Farinas del Cerro, Andreas Herzig, Henri Prade

An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is the counterpart to the multiplication law in probability theory, and the two others are based on the notion of conditional possibility. These two have enough expressive power to sup

Marek J. Druzdzel

Several Artificial Intelligence schemes for reasoning under uncertainty explore either explicitly or implicitly asymmetries among probabilities of various states of their uncertain domain models. Even though the correct working of these schemes is practically contingent upon the existence of a small number of probable states, no formal justification has been

Denise L. Draper, Steve Hanks, Daniel Weld

AI planning algorithms have addressed the problem of generating sequences of operators that achieve some input goal, usually assuming that the planning agent has perfect control over and information about the world. Relaxing these assumptions requires an extension to the action representation that allows reasoning both about the changes an action makes and t

Denise L. Draper, Steve Hanks

Most algorithms for propagating evidence through belief networks have been exact and exhaustive: they produce an exact (point-valued) marginal probability for every node in the network. Often, however, an application will not need information about every n ode in the network nor will it need exact probabilities. We present the localized partial evaluation (L

Richard Dearden, Craig Boutilier

We investigate planning in time-critical domains represented as Markov Decision Processes, showing that search based techniques can be a very powerful method for finding close to optimal plans. To reduce the computational cost of planning in these domains, we execute actions as we construct the plan, and sacrifice optimality by searching to a fixed depth and

Ron Davidson, Michael R. Fehling

When agents devise plans for execution in the real world, they face two important forms of uncertainty: they can never have complete knowledge about the state of the world, and they do not have complete control, as the effects of their actions are uncertain. While most classical planning methods avoid explicit uncertainty reasoning, we believe that uncertain

Adnan Darwiche, Moises Goldszmidt

We study the connection between kappa calculus and probabilistic reasoning in diagnosis applications. Specifically, we abstract a probabilistic belief network for diagnosing faults into a kappa network and compare the ordering of faults computed using both methods. We show that, at least for the example examined, the ordering of faults coincide as long as al

Adnan Darwiche, Moises Goldszmidt

This work proposes action networks as a semantically well-founded framework for reasoning about actions and change under uncertainty. Action networks add two primitives to probabilistic causal networks: controllable variables and persistent variables. Controllable variables allow the representation of actions as directly setting the value of specific events

Bruce D'Ambrosio

A BN2O network is a two level belief net in which the parent interactions are modeled using the noisy-or interaction model. In this paper we discuss application of the SPI local expression language to efficient inference in large BN2O networks. In particular, we show that there is significant structure, which can be exploited to improve over the Quickscore r

Tom Chavez, Max Henrion

The expected value of information (EVI) is the most powerful measure of sensitivity to uncertainty in a decision model: it measures the potential of information to improve the decision, and hence measures the expected value of outcome. Standard methods for computing EVI use discrete variables and are computationally intractable for models that contain more t

Remco R. Bouckaert

Simulation schemes for probabilistic inference in Bayesian belief networks offer many advantages over exact algorithms; for example, these schemes have a linear and thus predictable runtime while exact algorithms have exponential runtime. Experiments have shown that likelihood weighting is one of the most promising simulation schemes. In this paper, we prese

Remco R. Bouckaert

Bayesian belief network learning algorithms have three basic components: a measure of a network structure and a database, a search heuristic that chooses network structures to be considered, and a method of estimating the probability tables from the database. This paper contributes to all these three topics. The behavior of the Bayesian measure of Cooper and

Jim S. Blythe

I describe a planning methodology for domains with uncertainty in the form of external events that are not completely predictable. The events are represented by enabling conditions and probabilities of occurrence. The planner is goal-directed and backward chaining, but the subgoals are suggested by analyzing the probability of success of the partial plan rat

Edward A. Billard

Distributed decision-makers are modeled as players in a game with two levels. High level decisions concern the game environment and determine the willingness of the players to form a coalition (or group). Low level decisions involve the actions to be implemented within the chosen environment. Coalition and action strategies are determined by probability dist

Raj Bhatnagar

Some instances of creative thinking require an agent to build and test hypothetical theories. Such a reasoner needs to explore the space of not only those situations that have occurred in the past, but also those that are rationally conceivable. In this paper we present a formalism for exploring the space of conceivable situation-models for those domains in

Philippe Besnard, Jerome Lang

We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are based on classical logic. We show how useful such an approach is by applying it to reasoning under uncertain and inconsistent information.

Ann Becker, Dan Geiger

We show how to find a small loop curser in a Bayesian network. Finding such a loop cutset is the first step in the method of conditioning for inference. Our algorithm for finding a loop cutset, called MGA, finds a loop cutset which is guaranteed in the worst case to contain less than twice the number of variables contained in a minimum loop cutset. We test M

Ildar Z. Batyrshin

We discuss the problem of construction of inference procedures which can manipulate with uncertainties measured in ordinal scales and fulfill to the property of strict monotonicity of conclusion. The class of A-valuations of plausibility is considered where operations based only on information about linear ordering of plausibility values are used. In this cl

Alexander Balke, Judea Pearl

Evaluation of counterfactual queries (e.g., "If A were true, would C have been true?") is important to fault diagnosis, planning, and determination of liability. In this paper we present methods for computing the probabilities of such queries using the formulation proposed in [Balke and Pearl, 1994], where the antecedent of the query is interpreted a

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller

In previous work [BGHK92, BGHK93], we have studied the random-worlds approach -- a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabilities) from a knowledge base consisting of objective (first-order, statistical, and default) information. But allowing a knowledge base to contain only objective information is so

Adriano Azevedo-Filho, Ross D. Shachter

Laplace's method, a family of asymptotic methods used to approximate integrals, is presented as a potential candidate for the tool box of techniques used for knowledge acquisition and probabilistic inference in belief networks with continuous variables. This technique approximates posterior moments and marginal posterior distributions with reasonable acc

Derek D. Ayers

This paper examines the "K2" network scoring metric of Cooper and Herskovits. It shows counterintuitive results from applying this metric to simple networks. One family of noninformative priors is suggested for assigning equal scores to equivalent networks.

Russ B. Altman, Cheng C. Chen, William B. Poland, Jaswinder Pal Singh

We have previously reported a Bayesian algorithm for determining the coordinates of points in three-dimensional space from uncertain constraints. This method is useful in the determination of biological molecular structure. It is limited, however, by the requirement that the uncertainty in the constraints be normally distributed. In this paper, we present an

Constantin F. Aliferis, Gregory F. Cooper

Bayesian learning of belief networks (BLN) is a method for automatically constructing belief networks (BNs) from data using search and Bayesian scoring techniques. K2 is a particular instantiation of the method that implements a greedy search strategy. To evaluate the accuracy of K2, we randomly generated a number of BNs and for each of those we simulated da

Deborah A. Konkowski, Thomas M. Helliwell

Recently Böhmer and Lobo have shown that a metric due to Florides can be extended to reveal a classical singularity that has the form of a two-sphere. Here we discuss and expand on the classical singularity properties and then show the classical singularity is not healed by a quantum analysis.

Greg Adams, Beth Millar, Eric Neufeld, Tim Philip

Probabilistic approaches to part-of-speech tagging rely primarily on whole-word statistics about word/tag combinations as well as contextual information. But experience shows about 4 per cent of tokens encountered in test sets are unknown even when the training set is as large as a million words. Unseen words are tagged using secondary strategies that exploi

Deborah A. Konkowski, Thomas M. Helliwell

This is a summary of how the definition of quantum singularity is extended from static space-times to conformally static space-times. Examples are given.

F. Giazotto, F. S. Bergeret

We propose a quantum interference spin-injector nanodevice consisting of a superconductor-normal metal hybrid loop connected to a superconductor-ferromagnet bilayer via a tunneling junction. We show that for certain values of the applied voltage bias across the tunnel barrier and the magnetic flux through the loop the spin-current can be fully polarized. Mor

R. -A. Chira, H. Beuther, H. Linz, F. Schuller

Despite increasing research in massive star formation, little is known about its earliest stages. Infrared Dark Clouds (IRDCs) are cold, dense and massive enough to harbour the sites of future high-mass star formation. But up to now, mainly small samples have been observed and analysed. To understand the physical conditions during the early stages of high-ma

Shlomi Matityahu, Amnon Aharony, Ora Entin-Wohlman, Shingo Katsumoto

In an earlier paper [Phys. Rev. B 84, 035323 (2011)], we proposed a spin filter which was based on a diamond-like interferometer, subject to both an Aharonov-Bohm flux and (Rashba and Dresselhaus) spin-orbit interactions. Here we show that the full polarization of the outgoing electron spins remains the same even when one allows leakage of electrons from the

Mehmet Ertas, Mustafa Keskin

We calculate the dynamic phase transition (DPT) temperatures and present the dynamic phase diagrams in the Blume-Capel model under the presence of a time-dependent oscillating external magnetic field by using the path probability method. We study the time variation of the average order parameters to obtain the phases in the system and the paramagnetic (P), f

A. Cavalli, P. Bøggild, F. Okkels

In this paper we apply topology optimization to micro-structured superhydrophobic surfaces for the first time. It has been experimentally observed that a droplet suspended on a brush of micrometric posts shows a high static contact angle and low roll-off angle. To keep the fluid from penetrating the space between the posts, we search for an optimal post cros

Frederik F. Van der Veken

We discuss the possible relation between the singular structure of TMDs on the light-cone and the geometrical behaviour of rectangular Wilson loops.

J. Ginibre, G. Velo

We continue the study of the theory of scattering for some long range Hartree equations with potential |x|^-gamma, performed in a previous paper, denoted as I, in the range 1/2 < gamma < 1. Here we extend the results to the range 1/3 < gamma < 1/2. More precisely, we study the local Cauchy problem with infinite initial time, which is the main step in the con

Anthony J. Bennett, Matthew A. Pooley, Yameng Cao, Niklas Sköld

Single spins in the solid-state offer a unique opportunity to store and manipulate quantum information, and to perform quantum-enhanced sensing of local fields and charges. Optical control of these systems using techniques developed in atomic physics has yet to exploit all the advantages of the solid-state. We demonstrate voltage tunability of the spin energ

Chuancun Yin, Yuzhen Wen

We consider in this paper a general two-sided jump-diffusion risk model that allows for risky investments as well as for correlation between the two Brownian motions driving insurance risk and investment return. We first introduce the model and then find the integro-differential equations satisfied by the Gerber-Shiu functions as well as the expected discoun

David Waroquiers, Aurélien Lherbier, Anna Miglio, Martin Stankovski

For a set of ten crystalline materials (oxides and semiconductors), we compute the electronic band structures using the Tran-Blaha [Phys. Rev. Lett. 102, 226401 (2009)] (TB09) functional. The band widths and gaps are compared with those from the local-density approximation (LDA) functional, many-body perturbation theory (MBPT), and experiments. At the densit

G. M. Gusev, E. B Olshanetsky, Z. D. Kvon, N. N. Mikhailov

We report magnetotransport measurements in a HgTe quantum well with an inverted band structure, which is expected to be a two-dimensional (2D) topological insulator. A small magnetic field perpendicular the 2D layer breaks the time reversal symmetry and thereby, suppresses the edge state transport. A linear magnetoresistance is observed in low magnetic field

David Kyed, Henrik Densing Petersen, Stefaan Vaes

We prove that the L^2-Betti numbers of a unimodular locally compact group G coincide, up to a natural scaling constant, with the L^2-Betti numbers of the countable equivalence relation induced on a cross section of any essentially free ergodic probability measure preserving action of G. As a consequence, we obtain that the reduced and un-reduced L^2-Betti nu

Chun-Yueh Chiang, Matthew M. Lin

We propose a new way for speeding up the search of the maximal solution $X_+$ of $X + A^\top X^{-1} A = Q$. It is known that the speed of convergence of traditional approaches for solving this problem depends highly on the spectral radius $ρ(X_+^{-1}A)$. If $ρ(X_+^{-1}A)$ is close to one or equal to one, the iterations of traditional approaches converges ver

Gopal Dixit, Jan Malte Slowik, Robin Santra

Tracing the motion of electrons has enormous relevance to understanding ubiquitous phenomena in ultrafast science, such as the dynamical evolution of the electron density during complex chemical and biological processes. Scattering of ultrashort x-ray pulses from an electronic wavepacket would appear to be the most obvious approach to image the electronic mo

S. Adrián-Martínez, I. Al Samarai, A. Albert, M. André

A search for neutrino-induced muons in correlation with a selection of 40 gamma-ray bursts that occurred in 2007 has been performed with the ANTARES neutrino telescope. During that period, the detector consisted of 5 detection lines. The ANTARES neutrino telescope is sensitive to TeV--PeV neutrinos that are predicted from gamma-ray bursts. No events were fou

R. Garcia Lopez, A. Caratti o Garatti, G. Weigelt, B. Nisini

Molecular outflows from very low-mass stars (VLMSs) and brown dwarfs have been studied very little. So far, only a few CO outflows have been observed, allowing us to map the immediate circumstellar environment. We present the first spatially resolved H2 emission around IRS54 (YLW52), a ~0.1-0.2 Msun Class I source. By means of VLT SINFONI K-band observations

Frederick K. H. Phoa

The study of good nonregular fractional factorial designs has received significant attention over the last two decades. Recent research indicates that designs constructed from quaternary codes (QC) are very promising in this regard. The present paper aims at exploring the fundamental structure and developing a theory to characterize the wordlengths and alias

J. G. Escudero

We study a class of algebraic surfaces of degree 3n in the complex projective space with only ordinary double points. They are obtained by using bivariate polynomials with complex coefficients related to the generalized cosine associated to the affine Weyl group of the root system A2.

Didier Chételat, Martin T. Wells

We consider the problem of estimating the mean vector of a p-variate normal $(θ,Σ)$ distribution under invariant quadratic loss, $(δ-θ)&#39;Σ^{-1}(δ-θ)$, when the covariance is unknown. We propose a new class of estimators that dominate the usual estimator $δ^0(X)=X$. The proposed estimators of $θ$ depend upon X and an independent Wishart matrix S with n deg

F. P da Costa, J. T. Pinto, R. Sasportes

We consider a coagulation model first introduced by Redner, Ben-Avraham and Krapivsky in [Redner, Ben-Avraham, Kahng: Kinetics of &#39;cluster eating&#39;, J. Phys. A: Math. Gen., 20 (1987), 1231-1238], the main feature of which is that the reaction between a j-cluster and a k-cluster results in the creation of a |j-k|-cluster, and not, as in Smoluchowski&#3

Mario Carpentieri, Takahiro Moriyama, Bruno Azzerboni, Giovanni Finocchio

This paper predicts the possibility to achieve synchronization (via injection locking to a microwave current) of spin-transfer torque oscillators based on hybrid spin-valves composed by two free layers and two perpendicular polarizers at zero bias field. The locking regions are attained for microwave frequency near 0.5f0, f0, and 2f0 where f0 is the input os

Pritam Kumar Jana, Andreas Heuer

Model chains are studied via Monte Carlo simulations which are deposited with a fixed flux on a substrate. They may represent, e.g., stiff lipophilic chains with an head group and tail groups mimicking the alkyl chain. After some subsequent fixed simulation time we determine the final energy as a function of flux and temperature. Surprisingly, in some range

Tatsuya Sasaki

Rewards and penalties are common practical tools that can be used to promote cooperation in social institutions. The evolution of cooperation under reward and punishment incentives in joint enterprises has been formalized and investigated, mostly by using compulsory public good games. Recently, Sasaki et al. (2012, Proc Natl Acad Sci USA 109:1165-1169) consi

B. Y. Pan, T. Y. Guan, X. C. Hong, S. Y. Zhou

The specific heat and thermal conductivity of the insulating ferrimagnet Y$_3$Fe$_5$O$_{12}$ (Yttrium Iron Garnet, YIG) single crystal were measured down to 50 mK. The ferromagnetic magnon specific heat $C$$_m$ shows a characteristic $T^{1.5}$ dependence down to 0.77 K. Below 0.77 K, a downward deviation is observed, which is attributed to the magnetic dipol

Zhan Weihua, Chen Huahui, Guan Jihong, Jin Guang

Community structure is a typical property of many real-world networks, and has become a key to understand the dynamics of the networked systems. In these networks most nodes apparently lie in a community while there often exists a few nodes straddling several communities. An ideal algorithm for community detection is preferable which can identify the overlap

Syed Touseef Hussain Shah, Faiz Ahmad, Aqeel A. Syed, Qaisar Abbas Naqvi

Focusing of electromagnetic plane wave from a large size paraboloidal reflector, composed of layers of chiral and/or chiral nihility metamaterials, has been studied us- ing Maslov&#39;s method. First, the transmission and reflection of electromagnetic plane wave from two parallel layers of chiral and/or chiral nihility metamaterials are cal- culated using tr

J. Marzo, B. Pridhnani

We obtain sufficient conditions for arrays of points, $\mathcal{Z}=\{\mathcal{Z}(L) \}_{L\ge 1},$ on the unit sphere $\mathcal{Z}(L)\subset \mathbb{S}^d,$ to be Marcinkiewicz-Zygmund and interpolating arrays for spaces of spherical harmonics. The conditions are in terms of the mesh norm and the separation radius of $\mathcal{Z}(L)$.

Sh. Dehdashti, R. Roknizadeh, A. Mahdifar

In this paper, to obtain an analogy between the curved spaces and the linear optics, we expand the idea of Ref.[1, 2] to the multilayer films. We investigate efects of thickness and index of refraction of the films on the Lorentzian transformations. In addition, by using the multilayer films, we suggest very simple experimental set-up which can serve as an a

A. P. Martynenko, A. M. Trunin

On the basis of perturbative QCD and the relativistic quark model we calculate relativistic corrections to the double $η_c$ meson production in proton-proton interactions at LHC energies. Relativistic terms in the production amplitude connected with the relative motion of heavy quarks and the transformation law of the bound state wave functions to the refere

Andrea Negri, Silvia Pellegrini, Luca Ciotti

With 2D hydrodynamical simulations, we study the evolution of the hot gas flows in early-type galaxies, focussing on the effects of galaxy rotation on the thermal and dynamical status of the ISM. The galaxy is modelled as a two-component axisymmetric system (stars and dark matter), with a variable amount of azimuthal velocity dispersion and rotational suppor

Silvia Posacki, Silvia Pellegrini, Luca Ciotti

Elliptical galaxies have hot coronae with X-ray luminosities and mean gas temperatures that span over wide ranges. This variation can be partially due to the energy budget of the hot gas, that depends on the host galaxy structure and internal kinematics. With the aid of realistic axisymmetric galaxy models, we performed a diagnostic study focussed on the eff

M. Pović, A. M. Pérez García, M. Sánchez-Portal, A. Bongiovanni

Luminosity functions are one of the most important observational clues when studying galaxy evolution over cosmic time. In this paper we present the X-ray luminosity functions of X-ray detected AGN in the SXDS and GWS fields. The limiting fluxes of our samples are 9.0x10^(-15) and 4.8x10^(-16) erg/cm^2/sec^(-1) in the 0.5 - 7.0 keV band in the two fields, re

V. Zamudio-Bayer, L. Leppert, K. Hirsch, A. Langenberg

The interaction of a single manganese impurity with silicon is analyzed in a combined experimental and theoretical study of the electronic, magnetic, and structural properties of manganese-doped silicon clusters. The structural transition from exohedral to endohedral doping coincides with a quenching of high-spin states. For all geometric structures investig

Timothy Clifton

We introduce the concept of back-reaction in relativistic cosmological modeling. Roughly speaking, this can be thought of as the difference between the large-scale behaviour of an inhomogeneous cosmological solution of Einstein&#39;s equations, and a homogeneous and isotropic solution that is a best-fit to either the average of observables or dynamics in the

I. P. Waldmann

Independent Component Analysis (ICA) has recently been shown to be a promising new path in data analysis and de-trending of exoplanetary time series signals. Such approaches do not require or assume any prior or auxiliary knowledge on the data or instrument in order to de-convolve the astrophysical light curve signal from instrument or stellar systematic noi

Kazuyasu Shigemoto

Two dimensional statistical integrable models, such as the Ising model, the chiral Potts model and the Belavin model, becomes integrable. Because of the SU(2) symmetry of these models, these models become integrable. The integral models are often parameterized by the elliptic function or the elliptic theta function. In this paper, we study the Ising model, a

Khadga J. Karki, Fei Ma, Kaibo Zheng, Karel Zidek

Multiple exciton generation (MEG) is a process in which more than one exciton is generated upon the absorption of a high energy photon, typically higher than two times the band gap, in semiconductor nanocrystals. It can be observed experimentally using time resolved spectroscopy such as the transient absorption measurements. Quantification of the MEG yield i

Marko Thiel

In a recent paper, Baxter and Zeilberger show that the two most important Mahonian statistics, the inversion number and the major index, are asymptotically independently normally distributed on permutations. In another recent paper, Canfield, Janson and Zeilberger prove the result, already known to statisticians, that the Mahonian distribution is asymptotica

Iryna Zahladko, Askold Duviryak

We consider a scalar Yukawa-like model in the framework of partially reduced quantum field theory. The reduced Lagrangian of the model consists of free scalar field terms and nonlocal current interaction term. Hamiltonian expressions for conserved quantities arose from a Lorentz-invariance of the model in the momentum representation have been found in the fi

Naim Bajcinca

A symbolic approach to decentralized set-valued state estimation and prediction for systems that admit a hybrid state machine representations is proposed. The decentralized computational scheme represents a conj unction of a finite number of distributed state machines, which are specified by an appropriate decomposition of the external signal space. It aims

Karsten Fyhn, Tobias Lindstrøm Jensen, Torben Larsen, Søren Holdt Jensen

With the advent of ubiquitous computing there are two design parameters of wireless communication devices that become very important power: efficiency and production cost. Compressive sensing enables the receiver in such devices to sample below the Shannon-Nyquist sampling rate, which may lead to a decrease in the two design parameters. This paper investigat

Kağan Kurşungöz

We propose a method to construct a variety of partition identities at once. The main application is an all-moduli generalization of some of Andrews&#39; results in [5]. The novelty is that the method constructs solutions to functional equations which are satisfied by the generating functions. In contrast, the conventional approach is to show that a variant o

A. A. Kyasov, G. V. Dedkov

Based on the fluctuation-electromagnetic theory, we have calculated tangential (frictional) and normal forces, radiation heat flux and frictional torque on a small rotating particle moving at a nonrelativistic velocity close to a smooth featureless surface. The particle and surface are characterized by different temperatures corresponding to the local thermo

Mukund Sundararajan, Inbal Talgam-Cohen

We study how standard auction objectives in sponsored search markets change with refinements in the prediction of the relevance (click-through rates) of ads. We study mechanisms that optimize for a convex combination of efficiency and revenue. We show that the objective function of such a mechanism can only improve with refined (improved) relevance predictio

I. Ya. Aref&#39;eva, I. V. Volovich

It was suggested by Unruh that a uniformly accelerated detector in vacuum would perceive a noise with a thermal distribution. We obtain a representation of solutions of the wave equation in two dimensions suitable for the Rindler regions. The representation includes the dependence on a parameter. The Unruh field corresponds to a singular limit of the represe

M. B. Jungfleisch, V. Lauer, R. Neb, A. V. Chumak

The dependence of the spin pumping efficiency and the spin mixing conductance on the surface processing of yttrium iron garnet (YIG) before the platinum (Pt) deposition has been investigated quantitatively. The ferromagnetic resonance driven spin pumping injects a spin polarized current into the Pt layer, which is transformed into an electromotive force by t

Nicolas Iro, Pierre Maxted

The energy deposition and redistribution in hot Jupiter atmospheres is not well understood currently, but is a major factor for their evolution and survival. We present a time dependent radiative transfer model for the atmosphere of WASP-18b which is a massive (10 MJup) hot Jupiter (Teq ~ 2400 K) exoplanet orbiting an F6V star with an orbital period of only

Yuri I. Manin

This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in which mathematics related to (un)computability is inspired by and to a degree reproduces formalisms of sta

Xiu Chen, Shuyi Liu, Lacheng Liu, Xiaoqing Liu

Hydrogen bond is often assumed to be a purely electrostatic interaction between a electron-deficient hydrogen atom and a region of high electron density. Here, for the first time, we directly image hydrogen bond in real space by room-temperature scanning tunneling microscopy (STM) with the assistance of resonant tunneling effect in double barrier mode. STM o

Habibulla Akhadkulov, Akhtam Dzhalilov, Mohd Salmi Md. Noorani

Let $f_{i},$ $i=1,2$ be piecewise-smooth $C^{1}$ circle homeomorphisms with two break points, $\log Df_{i},$ $i=1,2$ are absolutely continuous on each continuity intervals of $Df_{i}$ and $D\log Df_{i}\in L^{p}$ for some $p>1.$ Suppose, the jump ratios of $f_{1} $ and $f_{2} $ at their break points do not coincide but have the same total jumps (i.e. the prod

Ravit Helled, Tristan Guillot

The accurate determination of Saturn&#39;s gravitational coefficients by Cassini could provide tighter constrains on Saturn&#39;s internal structure. Also, occultation measurements provide important information on the planetary shape which is often not considered in structure models. In this paper we explore how wind velocities and internal rotation affect t

Uwe Scheithauer

Cross contaminations are observed on sample surfaces by AES and XPS, if multiple samples are mounted on one sample holder and a neighbouring sample was sputter depth profiled. During sputter depth profiling sputtered material is deposited on inner surfaces of the instrument. In a secondary sputter process, which is due to species leaving the primary sputter

Tuğçe İçli, Dolunay Koçak, G. Çisem Boz, Kadri Yakut

In this study we present photometric and spectroscopic variation analysis and orbital period study of a low-mass interacting system OO Aql. Simultaneous solution of the light and radial velocity curves provide us a determination of new set of stellar physical parameters for the primary and the secondary companion as M$_{1}$ = 1.05(2) M$_{\odot}$, M$_{2}$ = 0

Yuan-Hua Ni, Xun Li

In this paper, the consensus problems of the continuous-time integrator systems under noisy measurements are considered. The measurement noises, which appear when agents measure their neighbors&#39; states, are modeled to be multiplicative. By multiplication of the noises, here, the noise intensities are proportional to the absolute value of the relative sta

Naim Bajcinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch

A general decentralized computational framework for set-valued state estimation and prediction for the class of systems that accept a hybrid state machine representation is considered in this article. The decentralized scheme consists of a conjunction of distributed state machines that are specified by a decomposition of the external signal space. While this

Benjamin Pope, Frantz Martinache, Peter Tuthill

This paper revisits a sample of ultracool dwarfs in the Solar neighborhood previously observed with the Hubble Space Telescope&#39;s NICMOS NIC1 instrument. We have applied a novel high angular resolution data analysis technique based on the extraction and fitting of kernel phases to archival data. This was found to deliver a dramatic improvement over earlie

M. Athanasiou, G. Machairidis, C. David, G. Anagnostopoulos

In this paper we present results of a comparison between ultra low frequency (ULF) electromagnetic (EM) radiation, recorded by an electric field instrument (ICE) onboard the satellite DEMETER in the topside ionosphere, and the seismicity of regions with high and lower seiismic activity. In particular we evaluated the energy variations of the ULF Ez-electric

Subrat Kumar Das, Ayan Khan, Saurabh Basu

We have demonstrated that it is possible to access a crossover scenario starting with a weak coupling (BCS) d-wave superconductor to a strongly coupled Bose-Einstein condensate (BEC) phase as the exchange interaction is tuned in a two dimensional system described by a t-J-U model via numerically solving the Bogoliubov-de Gennes (BdG) equations. While in the

Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman

Integration is affected by the curse of dimensionality and quickly becomes intractable as the dimensionality of the problem grows. We propose a randomized algorithm that, with high probability, gives a constant-factor approximation of a general discrete integral defined over an exponentially large set. This algorithm relies on solving only a small number of

Spiros Cotsakis, Dimitrios Trachilis, Antonios Tsokaros

We review recent results on the Cauchy-Kowalevsky structure of theories with higher derivatives in vacuum. We prove genericity of regularity of solutions under the assumption of analyticity. Our approach is framed in the general context of formal series expansions of the metric around a regular point.

S. Lorenzo, F. Plastina, M. Paternostro

We introduce a new tool for the quantitative characterisation of the departure form Markovianity of a given dynamical process. Our tool can be applied to a generic $N$-level system and extended straightforwardly to Gaussian continuous-variable systems. It is linked to the change of the volume of physical states that are dynamically accessible to a system and