title: Single-site- and single-atom-resolved measurement of correlation functions

abstract: Correlation functions play an important role for the theoretical and experimental characterization of many-body systems. In solid-state systems, they are usually determined through scattering experiments whereas in cold-gases systems, time-of-flight and in-situ absorption imaging are the standard observation techniques. However, none of these methods allow the in-situ detection of spatially resolved correlation functions at the single-particle level. Here we give a more detailed account of recent advances in the detection of correlation functions using in-situ fluorescence imaging of ultracold bosonic atoms in an optical lattice. This method yields single-site and single-atom-resolved images of the lattice gas in a single experimental run, thus gaining direct access to fluctuations in the many-body system. As a consequence, the detection of correlation functions between an arbitrary set of lattice sites is possible. This enables not only the detection of two-site correlation functions but also the evaluation of non-local correlations, which originate from an extended region of the system and are used for the characterization of quantum phases that do not possess (quasi-)long-range order in the traditional sense.


title: Resolvents, Poisson operators and scattering matrices on asymptotically hyperbolic and de Sitter spaces

abstract: We describe how the global operator induced on the boundary of an asymptotically Minkowski space links two asymptotically hyperbolic spaces and an asymptotically de Sitter space, and compute the scattering operator of the linked problem in terms of the scattering operator of the constituent pieces.


title: High order symplectic partitioned Lie group methods

abstract: In this article, a unified approach to obtain symplectic integrators on T*G from Lie group integrators on a Lie group G is presented. The approach is worked out in detail for symplectic integrators based on Runge--Kutta--Munthe-Kaas methods and Crouch--Grossman methods. These methods can be interpreted as symplectic partitioned Runge--Kutta methods extended to the Lie group setting in two different ways. In both cases, we show that it is possible to obtain symplectic integrators of arbitrarily high order by this approach.


title: Can we allow linear dependencies in the dictionary in the sparse synthesis framework?

abstract: Signal recovery from a given set of linear measurements using a sparsity prior has been a major subject of research in recent years. In this model, the signal is assumed to have a sparse representation under a given dictionary. Most of the work dealing with this subject has focused on the reconstruction of the signal's representation as the means for recovering the signal itself. This approach forced the dictionary to be of low coherence and with no linear dependencies between its columns. Recently, a series of contributions that focus on signal recovery using the analysis model find that linear dependencies in the analysis dictionary are in fact permitted and beneficial. In this paper we show theoretically that the same holds also for signal recovery in the synthesis case for the l0- synthesis minimization problem. In addition, we demonstrate empirically the relevance of our conclusions for recovering the signal using an l1-relaxation.


title: Replicator dynamics with turnover of players

abstract: We study adaptive dynamics in games where players abandon the population at a given rate, and are replaced by naive players characterized by a prior distribution over the admitted strategies. We demonstrate how such process leads macroscopically to a variant of the replicator equation, with an additional term accounting for player turnover. We study how Nash equilibria and the dynamics of the system are modified by this additional term, for prototypical examples such as the rock-scissor-paper game and different classes of two-action games played between two distinct populations. We conclude by showing how player turnover can account for non-trivial departures from Nash equilibria observed in data from lowest unique bid auctions.


title: Electro/Magnetically Induced Controllable Rotation In Small-scale Liquid Flow

abstract: We study all the possibilities of producing rotating flow in an incompressible fluid by electric and magnetic fields. We start with a general theoretical basis and look for different configurations and set-ups which electric/magnetic field and an electric current affect the vorticity of fluid resulting in rotation on liquid flow. We assume steady-state conditions and time-independent electric and magnetic fields as the external body torque. Regarding the theoretical basis, we propose three experimental set-ups in which by applying fields on a fluid, rotational vortices are produced: (a) a uniform electric field and a uniform electric current, (b) a uniform electric current and a non-uniform magnetic field, and (c) a non-uniform electric current and a uniform magnetic field. The first case has been reported in detail named "Liquid Film Motor". The two other cases are experimentally investigated here for a cubic an cylindrical cells. The rotational velocity patterns are obtained by PIV technique, and the results are discussed and justified by a preliminary estimation based on the torque exerted by magnetic fields on electric currents. From the log-log plot of angular velocity versus current, the non-linearity factors of the rotational flow for cylindrical and rectangular geometries are obtained.


title: Intermediate-Generalized Chaplygin Gas inflationary universe model

abstract: An intermediate inflationary universe model in the context of a generalized Chaplygin gas is considered. For the matter we consider two different energy densities; a standard scalar field and a tachyon field, respectively. In general, we discuss the conditions of an inflationary epoch for these models. We also, use recent astronomical observations from Wilkinson Microwave Anisotropy Probe seven year data for constraining the parameters appearing in our models.


title: Viterbi training in PRISM

abstract: VT (Viterbi training), or hard EM, is an efficient way of parameter learning for probabilistic models with hidden variables. Given an observation $y$, it searches for a state of hidden variables $x$ that maximizes $p(x,y \mid \theta)$ by coordinate ascent on parameters $\theta$ and $x$. In this paper we introduce VT to PRISM, a logic-based probabilistic modeling system for generative models. VT improves PRISM in three ways. First VT in PRISM converges faster than EM in PRISM due to the VT's termination condition. Second, parameters learned by VT often show good prediction performance compared to those learned by EM. We conducted two parsing experiments with probabilistic grammars while learning parameters by a variety of inference methods, i.e.\ VT, EM, MAP and VB. The result is that VT achieved the best parsing accuracy among them in both experiments. Also we conducted a similar experiment for classification tasks where a hidden variable is not a prediction target unlike probabilistic grammars. We found that in such a case VT does not necessarily yield superior performance. Third since VT always deals with a single probability of a single explanation, Viterbi explanation, the exclusiveness condition that is imposed on PRISM programs is no more required if we learn parameters by VT. Last but not least we can say that as VT in PRISM is general and applicable to any PRISM program, it largely reduces the need for the user to develop a specific VT algorithm for a specific model. Furthermore since VT in PRISM can be used just by setting a PRISM flag appropriately, it makes VT easily accessible to (probabilistic) logic programmers. To appear in Theory and Practice of Logic Programming (TPLP).


title: Analysing surveys of our Galaxy -- II. Determining the potential

abstract: We consider the problem of determining the Galaxy's gravitational potential from a star catalogue. We show that orbit-based approaches to this problem suffer from unacceptable numerical noise deriving from the use of only a finite number of orbits. An alternative approach, which requires an ability to determine the model's phase-space density at predetermined positions and velocities, has a level of numerical noise that lies well below the intrinsic uncertainty associated with the finite size of the catalogue analysed. A catalogue of 10000 stars brighter than V=17 and distributed over the sky at b>30 degrees enables us to determine the scaleheight of the disc that contributes to the potential with an uncertainty below 20pc if the catalogue gives proper motions, line-of-sight velocities and parallaxes with errors typical of the Gaia Catalogue, rising to 36pc if only proper motions are available. The uncertainty in the disc's scalelength is significantly smaller than 0.25kpc.


title: Spectral interferometric polarised coherent anti-Stokes Raman spectroscopy

abstract: We have developed an interferometric implementation of coherent anti-Stokes Raman scattering (CARS) which enables broadband coherent Raman spectroscopy free from non-resonant background (NRB), with a signal strength proportional to concentration. Spectra encode mode symmetry information into the amplitude response which can be directly compared to polarised spontaneous Raman spectra. The method requires only passive polarisation optics and is suitable for a wide range of laser linewidths and pulse durations


title: Dirac-Born-Infeld-Volkov-Akulov and Deformation of Supersymmetry

abstract: We deform the action and the supersymmetry transformations of the d=10 and d=4 Maxwell supermultiplets so that at each order of the deformation the theory has 16 Maxwell multiplet deformed supersymmetries as well as 16 Volkov-Akulov type non-linear supersymmetries. The result agrees with the expansion in the string tension of the explicit action of the Dirac-Born-Infeld model and its supersymmetries, extracted from D9 and D3 superbranes, respectively. The half-maximal Dirac-Born-Infeld models with 8 Maxwell supermultiplet deformed supersymmetries and 8 Volkov-Akulov type supersymmetries are described by a new class of d=6 vector branes related to chiral (2,0) supergravity, which we denote as `Vp-branes'. We use a space-filling V5 superbrane for the d=6 model and a V3 superbrane for the d=4 half-maximal Dirac-Born-Infeld (DBI) models. In this way we present a completion to all orders of the deformation of the Maxwell supermultiplets with maximal 16+16 supersymmetries in d=10 and 4, and half-maximal 8+8 supersymmetries in d=6 and 4.


title: Hidden Supersymmetry May Imply Duality Invariance

abstract: We provide evidence that a particular hidden supersymmetry, when combined with half-maximal deformed global supersymmetry, implies that the theory is invariant under duality rotations of the vector and spinor fields. Based on a complete 8+8 supersymmetric model constructed recently, we argue that this hidden supersymmetry happens if and only if there is a Born-Infeld dependence on the Maxwell field strength and a Volkov-Akulov dependence on the Goldstino, up to local non-linear field redefinitions. We have tested our proposal for the N=2 superfield action with manifest N=2 supersymmetry and hidden N=2 supersymmetry at the level W^{10}, the highest level of deformation known for this model. We have established that it is N=2 self-dual, although the self-duality was not required in the original construction of this model. Highlighting the utility of considering duality-conserving sources of deformation, we can verify this invariance directly in an alternate construction of this very same action.


title: Decomposition of acyclic normal currents in a metric space

abstract: We prove that every acyclic normal one-dimensional real Ambrosio-Kirchheim current in a Polish (i.e. complete separable metric) space can be decomposed in curves, thus generalizing the analogous classical result proven by S. Smirnov in Euclidean space setting. The same assertion is true for every complete metric space under a suitable set-theoretic assumption.


title: On the generalized dimensions of multifractal eigenstates

abstract: Recently, based on heuristic arguments, it was conjectured that an intimate relation exists between any multifractal dimensions, $D_q$ and $D_{q'}$, of the eigenstates of critical random matrix ensembles: $D_{q'} \approx qD_q[q'+(q-q')D_q]^{-1}$, $1\le q, q' \le 2$. Here, we verify this relation by extensive numerical calculations on critical random matrix ensembles and extend its applicability to $q<1/2$ but also to deterministic models producing multifractal eigenstates and to generic multifractal structures. We also demonstrate, for the scattering version of the power-law banded random matrix model at criticality, that the scaling exponents $\sigma_q$ of the inverse moments of Wigner delay times, $\bra \tau_{\tbox W}^{-q} \ket \propto N^{-\sigma_q}$ where $N$ is the linear size of the system, are related to the level compressibility $\chi$ as $\sigma_q\approx q(1-\chi)[1+q\chi]^{-1}$ for a limited range of $q$; thus providing a way to probe level correlations by means of scattering experiments.


title: Photonic Nonlinearities via Quantum Zeno Blockade

abstract: Realizing optical-nonlinear effects at a single-photon level is a highly desirable but also extremely challenging task, because of both fundamental and practical difficulties. We present an avenue to surmounting these difficulties by exploiting quantum Zeno blockade in nonlinear optical systems. Considering specifically a lithium-niobate microresonator, we find that a deterministic phase gate can be realized between single photons with near-unity fidelity. Supported by established techniques for fabricating and operating such devices, our approach can provide an enabling tool for all-optical applications in both classical and quantum domains.


title: Structure of metric cycles and normal one-dimensional currents

abstract: We prove that every one-dimensional real Ambrosio-Kirchheim normal current in a Polish (i.e. complete separable metric) space can be naturally represented as an integral of simpler currents associated to Lipschitz curves. As a consequence a representation of every such current with zero boundary (i.e. a cycle) as an integral of so-called elementary solenoids (which are, very roughly speaking, more or less the same as asymptotic cycles introduced by S. Schwartzman)is obtained. The latter result on cycles is in fact a generalization of the analogous result proven by S. Smirnov for classical Whitney currents in a Euclidean space. The same results are true for every complete metric space under suitable set-theoretic assumptions.


title: Common mode noise rejection properties of amplitude and phase noise in a heterodyne interferometer

abstract: High precision metrology systems based on heterodyne interferometry can measure position and attitude of objects to accuracies of picometer and nanorad, respectively. A frequently found feature of the general system design is the subtraction of a reference phase from the phase of the position interferometer, which suppresses low frequency common mode amplitude and phase fluctuations occurring in volatile optical path sections shared by both, the position and reference interferometer. Spectral components of the noise at frequencies around or higher than the heterodyne frequency, however, are generally transmitted into the measurement band and may limit the measurement accuracy. Detailed analytical calculations complemented with Monte Carlo simulations show that high frequency noise components may also be entirely suppressed, depending on the relative difference of measurement and reference phase, which may be exploited by corresponding design provisions. Whilst these results are applicable to any heterodyne interferometer with certain design characteristics, specific calculations and related discussions are given for the example of the optical metrology system of the LISA Pathfinder mission to space.


title: Quasi-Rip universe induced by the fluid with inhomogeneous equation of state

abstract: We investigate a specific model for dark energy, which lead to the Quasi-Rip cosmology. In the Quasi-Rip model, the equation of the state parameter $w$ is less than -1 in the first stage, but then in the second stage is larger than -1. The conditions for the appearance the Quasi-Rip in the terms of the parameters equation of state are received.


title: Which Nonnegative Matrices Are Slack Matrices?

abstract: In this paper we characterize the slack matrices of cones and polytopes among all nonnegative matrices. This leads to an algorithm for deciding whether a given matrix is a slack matrix. The underlying decision problem is equivalent to the polyhedral verification problem whose complexity is unknown.


title: Recent results from NA61/SHINE and NA49

abstract: Preliminary results on particle spectra and fluctuations in inelastic p+p interactions measured by NA61/SHINE at the CERN SPS are presented and its future ion program is discussed. We also show results on the excitation functions of event-by-event particle ratio fluctuations in central Pb+Pb collisions from NA49 using a novel approach. We found a dependence of the results on phase space coverage which appears to explain the reported difference between measurements of NA49 and those of STAR in central Au+Au collisions.


title: The spin evolution of neutron stars with the superfluid core

abstract: We investigate the neutron stars spin evolution (breaking, inclination angle evolution and radiative precession), taking into account the superfluidity of the neutrons in the star core. The neutron star is treated as a two-component system consisting of a "charged" component (including the crust and the core protons, electrons and normal neutrons) and a core superfluid neutron component. The components are supposed to interact through the mutual friction force. We assume that the "charged" component rotates rigidly. The neutron superfluid velocity field is calculated directly from linearized hydrodynamical equations. It is shown that the superfluid core accelerates the evolution of inclinaton angle and makes all pulsars evolve to either orthogonal or coaxial state. However, rapid evolution seems to contradict the observation data. Obtained results together with the observations may allow to examine the superfluid models.


title: Genetic Algorithm with Ensemble Learning for Detecting Community Structure in Complex Networks

abstract: Community detection in complex networks is a topic of considerable recent interest within the scientific community. For dealing with the problem that genetic algorithm are hardly applied to community detection, we propose a genetic algorithm with ensemble learning (GAEL) for detecting community structure in complex networks. GAEL replaces its traditional crossover operator with a multi-individual crossover operator based on ensemble learning. Therefore, GAEL can avoid the problems that are brought by traditional crossover operator which is only able to mix string blocks of different individuals, but not able to recombine clustering contexts of different individuals into new better ones. In addition, the local search strategy, which makes mutated node be placed into the community where most of its neighbors are, is used in mutation operator. At last, a Markov random walk based method is used to initialize population in this paper, and it can provide us a population of accurate and diverse clustering solutions. Those diverse and accurate individuals are suitable for ensemble learning based multi-individual crossover operator. The proposed GAEL is tested on both computer-generated and real-world networks, and compared with current representative algorithms for community detection in complex networks. Experimental results demonstrate that GAEL is highly effective at discovering community structure.


title: On the transition temperature(s) of magnetized two-flavour holographic QCD

abstract: During heavy ion collisions, high temperatures and strong magnetic fields are generated. We employ the gauge-gravity duality to study the N_f=2 QCD phase diagram under these extreme conditions in the quenched approximation, in particular we use the non-antipodal Sakai-Sugimoto model (SSM). We take the different coupling of up and down flavours to the magnetic field into account geometrically, resulting in a split of the chiral phase transition according to flavour. We discuss the influence of the magnetic field on the chiral temperatures -in physical GeV units- in terms of the choice of the confinement scale in the model, extending hereby our elsewhere presented discussion of fixing the non-antipodal SSM parameters to the deconfinement phase. The flavour-dependent (T,L,eB) phase diagram, with variable asymptotic brane-antibrane separation L, is also presented, as a direct generalization of the known (T,L) phase diagram of the non-antipodal SSM at zero magnetic field. In particular, for sufficiently small L we are probing a NJL-like boundary field theory in which case we do find results very reminiscent of the predictions in NJL models.


title: Markov random walk under constraint for discovering overlapping communities in complex networks

abstract: Detection of overlapping communities in complex networks has motivated recent research in the relevant fields. Aiming this problem, we propose a Markov dynamics based algorithm, called UEOC, which means, 'unfold and extract overlapping communities'. In UEOC, when identifying each natural community that overlaps, a Markov random walk method combined with a constraint strategy, which is based on the corresponding annealed network (degree conserving random network), is performed to unfold the community. Then, a cutoff criterion with the aid of a local community function, called conductance, which can be thought of as the ratio between the number of edges inside the community and those leaving it, is presented to extract this emerged community from the entire network. The UEOC algorithm depends on only one parameter whose value can be easily set, and it requires no prior knowledge on the hidden community structures. The proposed UEOC has been evaluated both on synthetic benchmarks and on some real-world networks, and was compared with a set of competing algorithms. Experimental result has shown that UEOC is highly effective and efficient for discovering overlapping communities.


title: Construction of the continuous hull for the combinatorics of a regular pentagonal tiling of the plane

abstract: In the article "Construction of the discrete hull for the combinatorics of a regular pentagonal tiling of the plane" we gave the construction of a discrete hull for a combinatorial pentagonal tiling of the plane. In this paper, we give the construction of a continuous hull for the same combinatorial tiling.


title: Mean Width of Random Perturbations of Random Polytopes

abstract: We prove some "high probability" results on the expected value of the mean width for random perturbations of random polytopes. The random perturbations are considered for Gaussian and $p$-stable random vectors, as well as uniform distributions on $\ell_p^N$-balls and the unit sphere.


title: Interference alignment for the MIMO interference channel

abstract: We study vector space interference alignment for the MIMO interference channel with no time or frequency diversity, and no symbol extensions. We prove both necessary and sufficient conditions for alignment. In particular, we characterize the feasibility of alignment for the symmetric three-user channel where all users transmit along d dimensions, all transmitters have M antennas and all receivers have N antennas, as well as feasibility of alignment for the fully symmetric (M=N) channel with an arbitrary number of users. An implication of our results is that the total degrees of freedom available in a K-user interference channel, using only spatial diversity from the multiple antennas, is at most 2. This is in sharp contrast to the K/2 degrees of freedom shown to be possible by Cadambe and Jafar with arbitrarily large time or frequency diversity. Moving beyond the question of feasibility, we additionally discuss computation of the number of solutions using Schubert calculus in cases where there are a finite number of solutions.


title: On the Action Formalism of Time-dependent Density-functional Theory

abstract: The Runge-Gross [E. Runge, and E. K. U. Gross, Phys. Rev. Lett., 52, 997 (1984)] action functional of time-dependent density-functional theory leads to a well-known causality paradox, i.e., a perturbation of the electronic density in the future affects the response of the system in the present. This paradox is known to be caused by an inconsistent application of the Dirac-Frenkel variational principle. In view of the recent solutions to this problem, the action functional employed by Runge and Gross in their formulation of time-dependent density functional theory is analyzed in the context of the Keldysh contour technique. The time-dependent electronic density, as well as the concept of causality, are extended to the contour. We derive a variational equation that obeys causality and relates the exchange-correlation potential with its kernel, and the functional derivative of the exchange-correlation action functional with respect to the density. It is shown that the adiabatic local-density approximation is a consistent solution of this equation and that the time-dependent optimized potential method can also be derived from it. The formalism presented here can be used to find new approximations methods to the exchange-correlation potential and avoid the causality dilemma.


title: Full-Wave Iterative Image Reconstruction in Photoacoustic Tomography with Acoustically Inhomogeneous Media

abstract: Existing approaches to image reconstruction in photoacoustic computed tomography (PACT) with acoustically heterogeneous media are limited to weakly varying media, are computationally burdensome, and/or cannot effectively mitigate the effects of measurement data incompleteness and noise. In this work, we develop and investigate a discrete imaging model for PACT that is based on the exact photoacoustic (PA) wave equation and facilitates the circumvention of these limitations. A key contribution of the work is the establishment of a procedure to implement a matched forward and backprojection operator pair associated with the discrete imaging model, which permits application of a wide-range of modern image reconstruction algorithms that can mitigate the effects of data incompleteness and noise. The forward and backprojection operators are based on the k-space pseudospectral method for computing numerical solutions to the PA wave equation in the time domain. The developed reconstruction methodology is investigated by use of both computer-simulated and experimental PACT measurement data.


title: A Sharp-Interface Active Penalty Method for the Incompressible Navier-Stokes Equations

abstract: The volume penalty method provides a simple, efficient approach for solving the incompressible Navier-Stokes equations in domains with boundaries or in the presence of moving objects. Despite the simplicity, the method is typically limited to first order spatial accuracy. We demonstrate that one may achieve high order accuracy by introducing an active penalty term. One key difference from other works is that we use a sharp, unregularized mask function. We discuss how to construct the active penalty term, and provide numerical examples, in dimensions one and two. We demonstrate second and third order convergence for the heat equation, and second order convergence for the Navier-Stokes equations. In addition, we show that modifying the penalty term does not significantly alter the time step restriction from that of the conventional penalty method.


title: Charge and spin correlations of a Peierls insulator after a quench

abstract: Electron-phonon coupling plays a central role for time-dependent phenomena in condensed matter, for example in photo-excitation experiments. We use the continuous-time quantum Monte Carlo method to study the real-time evolution of charge and spin correlation functions of a Peierls insulator after a quench to a noninteracting Hamiltonian. This approach gives exact results, and fully takes into account quantum phonon effects without relying on a Hilbert space truncation. It is also free from a dynamical sign problem. The observed time dependence is compared to free-fermion time evolution starting from a dimerized state. Our exact results provide a benchmark for more realistic calculations, and may be directly applicable to experiments with cold atoms or trapped ions.


title: Impulse Radio Ultra-Wideband Communication Over Free-Space Optical Links

abstract: A composite impulse radio ultra-wideband (IR-UWB) communication system is presented. The proposed system model aims to transmit UWB pulses over several kilometers through free-space optical (FSO) links and depending on the link design, the electrical estimates of the FSO system can be directly used or distributed to end-user through radio-frequency (RF) links over short ranges. However, inhomogeneities on the FSO transmission path cause random fluctuations in the received signal intensity and these effects induced by atmospheric turbulence closely effect the system performance. Several distinct probability distributions based on experimental measurements are used to characterize FSO channels and using these probabilistic models, detection error probability analysis of the proposed system for different link designs are carried out under weak, moderate and strong turbulence conditions. The results of the analysis show that depending on the atmospheric conditions, system performance of the composite link can have high error floors due to the false estimates of FSO link. The system performance can be improved by employing error control coding techniques. One simple solution employing a convolutional encoder and Viterbi decoder pair is also analyzed in this thesis. Another important system parameter that is the average channel capacity of the FSO system is analyzed under weak and moderate turbulence conditions. Theoretical derivations that are verified via simulation results indicate a reliable high data rate communication system that is effective in long distances.


title: Beyond Reductionism Twice: No Laws Entail Biosphere Evolution, Formal Cause Laws Beyond Efficient Cause Laws

abstract: Newton set the stage for our view of how science should be done. We remain in what I will call the `Newtonian Paradigm' in all of physics, including Newton, Einstein, and Schrodinger. As I will show shortly, Newton invented and bequeathed to us `efficient cause entailing laws' for the entire becoming of the universe. With Laplace this became the foundation of contemporary reductionism in which all that can happen in the world is due to efficient cause entailing laws. More this framework stands as our dominant way to do science. The Newtonian Paradigm has done enormous work in science, and helped lead to the Industrial Revolution, and even our entry into Modernity. In this paper I propose to challenge the adequacy of the Newtonian Paradigm on two ground: 1) For the evolution of the biosphere beyond the watershed of life, we can formulate no efficient cause entailing laws that allow us to deduce the evolution of the biosphere. A fortiori, the same holds for the evolution of the economy, legal systems, social systems, and culture. Because I have discussed this before with my colleagues Longo and Montevil (1,2) and elsewhere, (3,4), my discussion of this first point will be rather brief. 2) What I shall choose to call, after Aristotle's four causes, noted below, Formal Cause Laws derived from specific `ensemble theories' tell us about the world. But Formal Cause Laws are not reducible to efficient cause entailing laws of the Newtonian Paradigm and, critically, have already, unnoticed, crept into biology concerning the origin of life, and economics concerning economic growth. Formal cause laws appear to be a new way to do science, independent of efficient cause entailing laws. Thus Formal Cause laws can be independent of any specific material substrate. This may bear on the sufficiency of Materialism in our account of the world.


title: Sparse Factor Analysis for Learning and Content Analytics

abstract: We develop a new model and algorithms for machine learning-based learning analytics, which estimate a learner's knowledge of the concepts underlying a domain, and content analytics, which estimate the relationships among a collection of questions and those concepts. Our model represents the probability that a learner provides the correct response to a question in terms of three factors: their understanding of a set of underlying concepts, the concepts involved in each question, and each question's intrinsic difficulty. We estimate these factors given the graded responses to a collection of questions. The underlying estimation problem is ill-posed in general, especially when only a subset of the questions are answered. The key observation that enables a well-posed solution is the fact that typical educational domains of interest involve only a small number of key concepts. Leveraging this observation, we develop both a bi-convex maximum-likelihood and a Bayesian solution to the resulting SPARse Factor Analysis (SPARFA) problem. We also incorporate user-defined tags on questions to facilitate the interpretability of the estimated factors. Experiments with synthetic and real-world data demonstrate the efficacy of our approach. Finally, we make a connection between SPARFA and noisy, binary-valued (1-bit) dictionary learning that is of independent interest.


title: Detecting the Harmonic Vibrations of Micro Amplitudes and Low Frequencies with Atomic Mach-Zehnder Interferometer

abstract: We study the effects of atomic beams harmonic vibrations of micro amplitudes and low frequencies on the mean atomic numbers of the detectors in atomic Mach-Zehnder interferometer, where the two atomic beams are in the same wave surface and have the same phases. We propose a vibrant factor F to quantitatively describe the effects of atomic beams vibrations. It shows that: (i)the vibrant factor F depends on the relative vibrant displacements and the initial phases rather than the absolute amplitudes, (ii)the factor F increases with the increase of the initial phases, and (iii)the frequencies can be derived from equal time interval measurement of the mean atomic numbers. These results imply that it is possible to detect the vibrations of micro amplitudes and low frequencies by measuring the variations of mean atomic numbers.


title: The Group of Units on an Affine Variety

abstract: The object of study is the group of units O^\ast(X) in the coordinate ring of a normal affine variety X over an algebraically closed field k. Methods of Galois cohomology are applied to those varieties that can be presented as a finite cyclic cover of a rational variety. On a cyclic cover X \rightarrow A^m of affine m-space over k such that the ramification divisor is irreducible and the degree is prime, it is shown that O^\ast(X) is equal to k^\ast, the nonzero scalars. The same conclusion holds, if X is a sufficiently general affine hyperelliptic curve. If X has a projective completion such that the divisor at infinity has r components, then sufficient conditions are given for O^\ast(X)/k^\ast to be isomorphic to Z^(r-1).


title: Density Functionals that Recognize Covalent, Metallic, and Weak Bonds

abstract: Computationally-efficient semilocal approximations of density functional theory at the level of the local spin density approximation (LSDA) or generalized gradient approximation (GGA) poorly describe weak interactions. We show improved descriptions for weak bonds (without loss of accuracy for strong ones) from a newly-developed semilocal meta-GGA (MGGA), by applying it to molecules, surfaces, and solids. We argue that this improvement comes from using the right MGGA dimensionless ingredient to recognize all types of orbital overlap.


title: Ferroelectricity in Single Crystal InMnO3

abstract: Single crystal synthesis, structure, electric polarization and heat capacity measurements on hexagonal InMnO3 show that this small R ion in the RMnO3 series is ferroelectric (space group P63cm). Structural analysis of this system reveals a high degree of order within the MnO5 polyhedra but significant distortions in the R-O bond distributions compared to the previously studied materials. Point-charge estimates of the electric polarization yield an electrical polarization of approximately 7.8 micro C/cm^2, 26% larger than the well-studied YMnO3 system. This system with enhanced room temperature polarization values may serve as a possible replacement for YMnO3 in device application.


title: The Brauer Group of an Affine Double Plane Associated to a Hyperelliptic Curve

abstract: For an affine double plane defined by an equation of the form z^2 = f, we study the divisor class group and the Brauer group. Two cases are considered. In the first case, f is a product of n linear forms in k[x,y] and X is birational to a ruled surface P^1 x C, where C is rational if n is odd and hyperelliptic if n is even. In the second case, f is the equation of an affine hyperelliptic curve. On the open set where the cover is unramified, we compute the groups of divisor classes, the Brauer groups, the relative Brauer group, as well as all of the terms in he exact sequence of Chase, Harrison and Rosenberg.


title: Cortical Surface Co-Registration based on MRI Images and Photos

abstract: Brain shift, i.e. the change in configuration of the brain after opening the dura mater, is a key problem in neuronavigation. We present an approach to co-register intra-operative microscope images with pre-operative MRI to adapt and optimize intra-operative neuronavigation. The tools are a robust classification of sulci on MRI extracted cortical surfaces, guided user marking of most prominent sulci on a microscope image, and the actual variational registration method with a fidelity energy for 3D deformations of the cortical surface combined with a higher order, linear elastica type prior energy. Furthermore, the actual registration is validated on an artificial testbed with known ground truth deformation and on real data of a neuro clinical patient.


title: Deflation and augmentation techniques in Krylov subspace methods for the solution of linear systems

abstract: In this paper we present deflation and augmentation techniques that have been designed to accelerate the convergence of Krylov subspace methods for the solution of linear systems of equations. We review numerical approaches both for linear systems with a non-Hermitian coefficient matrix, mainly within the Arnoldi framework, and for Hermitian positive definite problems with the conjugate gradient method.


title: Rational cohomology of the moduli spaces of pointed genus 1 curves

abstract: We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral sequence of the forgetful mapping $\EuScript{M}_{1,n}(N)\to\EuScript{M}_{1,1}(N)$ and show that the result is isomorphic to the rational cohomology of $\EuScript{M}_{1,n}(N)$ as a rational mixed Hodge structure equipped with an action of the symmetric group $\mathfrak{S}_n$. The classical moduli space $\EuScript{M}_{1,n}$ is the particular case N=1.


title: Singular value correlation functions for products of Wishart random matrices

abstract: Consider the product of $M$ quadratic random matrices with complex elements and no further symmetry, where all matrix elements of each factor have a Gaussian distribution. This generalises the classical Wishart-Laguerre Gaussian Unitary Ensemble with M=1. In this paper we first compute the joint probability distribution for the singular values of the product matrix when the matrix size $N$ and the number $M$ are fixed but arbitrary. This leads to a determinantal point process which can be realised in two different ways. First, it can be written as a one-matrix singular value model with a non-standard Jacobian, or second, for $M\geq2$, as a two-matrix singular value model with a set of auxiliary singular values and a weight proportional to the Meijer $G$-function. For both formulations we determine all singular value correlation functions in terms of the kernels of biorthogonal polynomials which we explicitly construct. They are given in terms of hypergeometric and Meijer $G$-functions, generalising the Laguerre polynomials. Our investigation was motivated from applications in telecommunication of multi-layered scattering MIMO channels. We present the ergodic mutual information for finite-$N$ for such a channel model with $M-1$ layers of scatterers as an example.

categories: math-ph cond-mat.stat-mech cs.IT math.IT math.MP


title: Gravitational vacuum polarization phenomena due to the Higgs field

abstract: In the standard model the mass of elementary particles is considered as a dynamical property emerging from their interaction with the Higgs field. We show that this assumption implies peculiar deviations from the law of universal gravitation in its distance and mass dependence, as well as from the superposition principle. The experimental observation of the predicted deviations from the law of universal gravitation seems out of reach. However, we argue that a new class of experiments aimed at studying the influence of surrounding masses on the gravitational force - similar to the ones performed by Quirino Majorana almost a century ago - could be performed to test the superposition principle and to give direct limits on the presence of non-minimal couplings between the Higgs field and the spacetime curvature. From the conceptual viewpoint, the violation of the superposition principle for gravitational forces due to the Higgs field creates a conflict with the notion that gravitational potentials, as assumed in Newtonian gravitation or in post-Newtonian parameterizations of metric theories, are well-defined concepts to describe gravity in their non-relativistic limit.


title: Light stops emerging in WW cross section measurements?

abstract: Recent ATLAS and CMS measurements show a slight excess in the WW cross section measurement. While still consistent with the Standard Model within 1-2 sigma, the excess could be also a first hint of physics beyond the Standard Model. We argue that this effect could be attributed to the production of scalar top quarks within supersymmetric models. The stops of mstop_1 ~ 200 GeV has the right pair-production cross section and under some assumptions can significantly contribute to the final state of two leptons and missing energy. We scan this region of parameter space to identify stop mass range preferred by the WW cross section measurements. Taking one sample benchmark point we show that it can be consistent with low energy observables and Higgs sector measurements and propose a method to distinguish supersymmetric signal from the Standard Model contribution.


title: A survey on subideals of operators and an introduction to subideal-traces

abstract: Operator ideals in B(H) are well understood and exploited but ideals inside them have only recently been studied starting with the 1983 seminal work of Fong and Radjavi and continuing with two recent articles by the authors of this survey. This article surveys this study embodied in these three articles. A subideal is a two-sided ideal of J (for specificity also called a J-ideal) for J an arbitrary ideal of B(H). In this terminology we alternatively call J a B(H)-ideal. This surveys these three articles in which we developed a complete characterization of all J-ideals generated by sets of cardinality strictly less than the cardinality of the continuum. So a central theme is the impact of generating sets for subideals on their algebraic structure. This characterization includes in particular finitely and countably generated J-ideals. It was obtained by first generalizing to arbitrary principal J-ideals the 1983 work of Fong-Radjavi who determined which principal K(H)-ideals are also B(H)-ideals. A key property in our investigation turned out to be J-softness of a B(H)-ideal I inside J, that is, IJ = I, a generalization of a recent notion of K(H)-softness of B(H)-ideals introduced by Kaftal-Weiss and earlier exploited for Banach spaces by Mityagin and Pietsch. This study of subideals and the study of elementary operators with coefficient constraints are closely related. Here we also introduce and study a notion of subideal-traces where classical traces (unitarily invariant linear functionals) need not make sense for subideals that are not B(H)-ideals.


title: When Cellular Meets WiFi in Wireless Small Cell Networks

abstract: The deployment of small cell base stations(SCBSs) overlaid on existing macro-cellular systems is seen as a key solution for offloading traffic, optimizing coverage, and boosting the capacity of future cellular wireless systems. The next-generation of SCBSs is envisioned to be multi-mode, i.e., capable of transmitting simultaneously on both licensed and unlicensed bands. This constitutes a cost-effective integration of both WiFi and cellular radio access technologies (RATs) that can efficiently cope with peak wireless data traffic and heterogeneous quality-of-service requirements. To leverage the advantage of such multi-mode SCBSs, we discuss the novel proposed paradigm of cross-system learning by means of which SCBSs self-organize and autonomously steer their traffic flows across different RATs. Cross-system learning allows the SCBSs to leverage the advantage of both the WiFi and cellular worlds. For example, the SCBSs can offload delay-tolerant data traffic to WiFi, while simultaneously learning the probability distribution function of their transmission strategy over the licensed cellular band. This article will first introduce the basic building blocks of cross-system learning and then provide preliminary performance evaluation in a Long-Term Evolution (LTE) simulator overlaid with WiFi hotspots. Remarkably, it is shown that the proposed cross-system learning approach significantly outperforms a number of benchmark traffic steering policies.


title: The minimal adjoint-SU(5)xZ_4 GUT model

abstract: An extension of the adjoint SU(5) model with a flavour symmetry based on the Z_4 group is investigated. The Z_4 symmetry is introduced with the aim of leading the up- and down-quark mass matrices to the Nearest-Neighbour-Interaction form. As a consequence of the discrete symmetry embedded in the SU(5) gauge group, the charged lepton mass matrix also gets the same form. Within this model, light neutrinos get their masses through type-I, type-III and one-loop radiative seesaw mechanisms, implemented, respectively, via a singlet, a triplet and an octet from the adjoint fermionic 24 fields. It is demonstrated that the neutrino phenomenology forces the introduction of at least three 24 fermionic multiplets. The symmetry SU(5)xZ_4 allows only two viable zero textures for the effective neutrino mass matrix. It is showed that one texture is only compatible with normal hierarchy and the other with inverted hierarchy in the light neutrino mass spectrum. Finally, it is also demonstrated that Z_4 freezes out the possibility of proton decay through exchange of colour Higgs triplets at tree-level.


title: Probing Scotogenic Effects in Higgs Boson Decays

abstract: The recent observation of a Higgs boson at the LHC and experimental confirmation of nonvanishing neutrino-mixing parameter sin(theta_13) offer important means to test physics beyond the standard model. We explore this within the context of the scotogenic model, in which neutrinos acquire mass radiatively via one-loop interactions with dark matter. Starting with a two-parameter neutrino-mixing matrix which is consistent with the latest neutrino-oscillation data at the one-sigma level, we derive different sets of solutions for the Yukawa couplings of the nonstandard particles in the model and use the results to consider the Higgs decays into final states involving the new particles. Assuming that the lightest one of them serves as fermionic cold dark matter, we show that such decays are allowed by various experimental and theoretical constraints to have substantial rates that are already restricted by the current LHC data. We also look at their correlations with the Higgs decays into gamma gamma and gamma Z. Upcoming LHC measurements of the Higgs boson can therefore either detect scotogenic signals or place further constraints on the model.


title: Modified Higgs Physics from Composite Light Flavors

abstract: We point out that Higgs rates into gauge bosons can be significantly modified in composite pseudo Nambu--Goldstone boson (pNGB) Higgs models if quarks belonging to the first two generation are relatively composite objects as well. Although the lightness of the latter a priori screen them from the electroweak symmetry breaking sector, we show, in an effective two-site description, that their partners can lead to order one shifts in radiative Higgs couplings to gluons and photons. Moreover, due to the pseudo-Goldstone nature of the Higgs boson, the size of these corrections is completely controlled by the degree of compositeness of the individual light quarks. The current measurements of flavor-blind Higgs decay rates at the LHC thus provide an indirect probe of the flavor structure of the framework of pNGB Higgs compositeness.


title: 5D Perspective on Higgs Production at the Boundary of a Warped Extra Dimension

abstract: A comprehensive, five-dimensional calculation of Higgs-boson production in gluon fusion is performed for both the minimal and the custodially protected Randall-Sundrum (RS) model, with Standard Model fields propagating in the bulk and the scalar sector confined on or near the IR brane. For the first time, an exact expression for the gg->h amplitude in terms of the five-dimensional fermion propagator is derived, which includes the full dependence on the Higgs-boson mass. Various results in the literature are reconciled and shown to correspond to different incarnations of the RS model, in which the Higgs field is either localized on the IR brane or is described in terms of a narrow bulk state. The results in the two scenarios differ in a qualitative way: the gg->h amplitude is suppressed in models where the scalar sector is localized on the IR brane, while it tends to be enhanced in bulk Higgs models. In both cases, effects of higher-dimensional operators contributing to the gg->h amplitude at tree level are shown to be numerically suppressed under reasonable assumptions. There is no smooth cross-over between the two scenarios, since the effective field-theory description breaks down in the transition region. A detailed phenomenological analysis of Higgs production in various RS scenarios is presented, and for each scenario the regions of parameter space already excluded by LHC data are derived.


title: ARCO1: An Application of Belief Networks to the Oil Market

abstract: Belief networks are a new, potentially important, class of knowledge-based models. ARCO1, currently under development at the Atlantic Richfield Company (ARCO) and the University of Southern California (USC), is the most advanced reported implementation of these models in a financial forecasting setting. ARCO1's underlying belief network models the variables believed to have an impact on the crude oil market. A pictorial market model-developed on a MAC II- facilitates consensus among the members of the forecasting team. The system forecasts crude oil prices via Monte Carlo analyses of the network. Several different models of the oil market have been developed; the system's ability to be updated quickly highlights its flexibility.


title: "Conditional Inter-Causally Independent" Node Distributions, a Property of "Noisy-Or" Models

abstract: This paper examines the interdependence generated between two parent nodes with a common instantiated child node, such as two hypotheses sharing common evidence. The relation so generated has been termed "intercausal." It is shown by construction that inter-causal independence is possible for binary distributions at one state of evidence. For such "CICI" distributions, the two measures of inter-causal effect, "multiplicative synergy" and "additive synergy" are equal. The well known "noisy-or" model is an example of such a distribution. This introduces novel semantics for the noisy-or, as a model of the degree of conflict among competing hypotheses of a common observation.


title: Combining Multiple-Valued Logics in Modular Expert Systems

abstract: The way experts manage uncertainty usually changes depending on the task they are performing. This fact has lead us to consider the problem of communicating modules (task implementations) in a large and structured knowledge based system when modules have different uncertainty calculi. In this paper, the analysis of the communication problem is made assuming that (i) each uncertainty calculus is an inference mechanism defining an entailment relation, and therefore the communication is considered to be inference-preserving, and (ii) we restrict ourselves to the case which the different uncertainty calculi are given by a class of truth functional Multiple-valued Logics.


title: Constraint Propagation with Imprecise Conditional Probabilities

abstract: An approach to reasoning with default rules where the proportion of exceptions, or more generally the probability of encountering an exception, can be at least roughly assessed is presented. It is based on local uncertainty propagation rules which provide the best bracketing of a conditional probability of interest from the knowledge of the bracketing of some other conditional probabilities. A procedure that uses two such propagation rules repeatedly is proposed in order to estimate any simple conditional probability of interest from the available knowledge. The iterative procedure, that does not require independence assumptions, looks promising with respect to the linear programming method. Improved bounds for conditional probabilities are given when independence assumptions hold.


title: Bayesian Networks Aplied to Therapy Monitoring

abstract: We propose a general Bayesian network model for application in a wide class of problems of therapy monitoring. We discuss the use of stochastic simulation as a computational approach to inference on the proposed class of models. As an illustration we present an application to the monitoring of cytotoxic chemotherapy in breast cancer.


title: Some Properties of Plausible Reasoning

abstract: This paper presents a plausible reasoning system to illustrate some broad issues in knowledge representation: dualities between different reasoning forms, the difficulty of unifying complementary reasoning styles, and the approximate nature of plausible reasoning. These issues have a common underlying theme: there should be an underlying belief calculus of which the many different reasoning forms are special cases, sometimes approximate. The system presented allows reasoning about defaults, likelihood, necessity and possibility in a manner similar to the earlier work of Adams. The system is based on the belief calculus of subjective Bayesian probability which itself is based on a few simple assumptions about how belief should be manipulated. Approximations, semantics, consistency and consequence results are presented for the system. While this puts these often discussed plausible reasoning forms on a probabilistic footing, useful application to practical problems remains an issue.


title: Theory Refinement on Bayesian Networks

abstract: Theory refinement is the task of updating a domain theory in the light of new cases, to be done automatically or with some expert assistance. The problem of theory refinement under uncertainty is reviewed here in the context of Bayesian statistics, a theory of belief revision. The problem is reduced to an incremental learning task as follows: the learning system is initially primed with a partial theory supplied by a domain expert, and thereafter maintains its own internal representation of alternative theories which is able to be interrogated by the domain expert and able to be incrementally refined from data. Algorithms for refinement of Bayesian networks are presented to illustrate what is meant by "partial theory", "alternative theory representation", etc. The algorithms are an incremental variant of batch learning algorithms from the literature so can work well in batch and incremental mode.


title: Combination of Upper and Lower Probabilities

abstract: In this paper, we consider several types of information and methods of combination associated with incomplete probabilistic systems. We discriminate between 'a priori' and evidential information. The former one is a description of the whole population, the latest is a restriction based on observations for a particular case. Then, we propose different combination methods for each one of them. We also consider conditioning as the heterogeneous combination of 'a priori' and evidential information. The evidential information is represented as a convex set of likelihood functions. These will have an associated possibility distribution with behavior according to classical Possibility Theory.


title: A Probabilistic Analysis of Marker-Passing Techniques for Plan-Recognition

abstract: Useless paths are a chronic problem for marker-passing techniques. We use a probabilistic analysis to justify a method for quickly identifying and rejecting useless paths. Using the same analysis, we identify key conditions and assumptions necessary for marker-passing to perform well.


title: Symbolic Probabilistic Inference with Continuous Variables

abstract: Research on Symbolic Probabilistic Inference (SPI) [2, 3] has provided an algorithm for resolving general queries in Bayesian networks. SPI applies the concept of dependency directed backward search to probabilistic inference, and is incremental with respect to both queries and observations. Unlike traditional Bayesian network inferencing algorithms, SPI algorithm is goal directed, performing only those calculations that are required to respond to queries. Research to date on SPI applies to Bayesian networks with discrete-valued variables and does not address variables with continuous values. In this papers, we extend the SPI algorithm to handle Bayesian networks made up of continuous variables where the relationships between the variables are restricted to be ?linear gaussian?. We call this variation of the SPI algorithm, SPI Continuous (SPIC). SPIC modifies the three basic SPI operations: multiplication, summation, and substitution. However, SPIC retains the framework of the SPI algorithm, namely building the search tree and recursive query mechanism and therefore retains the goal-directed and incrementality features of SPI.


title: Symbolic Probabilistic Inference with Evidence Potential

abstract: Recent research on the Symbolic Probabilistic Inference (SPI) algorithm[2] has focused attention on the importance of resolving general queries in Bayesian networks. SPI applies the concept of dependency-directed backward search to probabilistic inference, and is incremental with respect to both queries and observations. In response to this research we have extended the evidence potential algorithm [3] with the same features. We call the extension symbolic evidence potential inference (SEPI). SEPI like SPI can handle generic queries and is incremental with respect to queries and observations. While in SPI, operations are done on a search tree constructed from the nodes of the original network, in SEPI, a clique-tree structure obtained from the evidence potential algorithm [3] is the basic framework for recursive query processing. In this paper, we describe the systematic query and caching procedure of SEPI. SEPI begins with finding a clique tree from a Bayesian network-the standard procedure of the evidence potential algorithm. With the clique tree, various probability distributions are computed and stored in each clique. This is the ?pre-processing? step of SEPI. Once this step is done, the query can then be computed. To process a query, a recursive process similar to the SPI algorithm is used. The queries are directed to the root clique and decomposed into queries for the clique's subtrees until a particular query can be answered at the clique at which it is directed. The algorithm and the computation are simple. The SEPI algorithm will be presented in this paper along with several examples.


title: A Bayesian Method for Constructing Bayesian Belief Networks from Databases

abstract: This paper presents a Bayesian method for constructing Bayesian belief networks from a database of cases. Potential applications include computer-assisted hypothesis testing, automated scientific discovery, and automated construction of probabilistic expert systems. Results are presented of a preliminary evaluation of an algorithm for constructing a belief network from a database of cases. We relate the methods in this paper to previous work, and we discuss open problems.


title: Local Expression Languages for Probabilistic Dependence: a Preliminary Report

abstract: We present a generalization of the local expression language used in the Symbolic Probabilistic Inference (SPI) approach to inference in belief nets [1l, [8]. The local expression language in SPI is the language in which the dependence of a node on its antecedents is described. The original language represented the dependence as a single monolithic conditional probability distribution. The extended language provides a set of operators (*, +, and -) which can be used to specify methods for combining partial conditional distributions. As one instance of the utility of this extension, we show how this extended language can be used to capture the semantics, representational advantages, and inferential complexity advantages of the "noisy or" relationship.


title: Symbolic Decision Theory and Autonomous Systems

abstract: The ability to reason under uncertainty and with incomplete information is a fundamental requirement of decision support technology. In this paper we argue that the concentration on theoretical techniques for the evaluation and selection of decision options has distracted attention from many of the wider issues in decision making. Although numerical methods of reasoning under uncertainty have strong theoretical foundations, they are representationally weak and only deal with a small part of the decision process. Knowledge based systems, on the other hand, offer greater flexibility but have not been accompanied by a clear decision theory. We describe here work which is under way towards providing a theoretical framework for symbolic decision procedures. A central proposal is an extended form of inference which we call argumentation; reasoning for and against decision options from generalised domain theories. The approach has been successfully used in several decision support applications, but it is argued that a comprehensive decision theory must cover autonomous decision making, where the agent can formulate questions as well as take decisions. A major theoretical challenge for this theory is to capture the idea of reflection to permit decision agents to reason about their goals, what they believe and why, and what they need to know or do in order to achieve their goals.


title: A Reason Maintenace System Dealing with Vague Data

abstract: A reason maintenance system which extends an ATMS through Mukaidono's fuzzy logic is described. It supports a problem solver in situations affected by incomplete information and vague data, by allowing nonmonotonic inferences and the revision of previous conclusions when contradictions are detected.


title: Advances in Probabilistic Reasoning

abstract: This paper discuses multiple Bayesian networks representation paradigms for encoding asymmetric independence assertions. We offer three contributions: (1) an inference mechanism that makes explicit use of asymmetric independence to speed up computations, (2) a simplified definition of similarity networks and extensions of their theory, and (3) a generalized representation scheme that encodes more types of asymmetric independence assertions than do similarity networks.


title: Probability Estimation in Face of Irrelevant Information

abstract: In this paper, we consider one aspect of the problem of applying decision theory to the design of agents that learn how to make decisions under uncertainty. This aspect concerns how an agent can estimate probabilities for the possible states of the world, given that it only makes limited observations before committing to a decision. We show that the naive application of statistical tools can be improved upon if the agent can determine which of his observations are truly relevant to the estimation problem at hand. We give a framework in which such determinations can be made, and define an estimation procedure to use them. Our framework also suggests several extensions, which show how additional knowledge can be used to improve tile estimation procedure still further.


title: An Approximate Nonmyopic Computation for Value of Information

abstract: Value-of-information analyses provide a straightforward means for selecting the best next observation to make, and for determining whether it is better to gather additional information or to act immediately. Determining the next best test to perform, given a state of uncertainty about the world, requires a consideration of the value of making all possible sequences of observations. In practice, decision analysts and expert-system designers have avoided the intractability of exact computation of the value of information by relying on a myopic approximation. Myopic analyses are based on the assumption that only one additional test will be performed, even when there is an opportunity to make a large number of observations. We present a nonmyopic approximation for value of information that bypasses the traditional myopic analyses by exploiting the statistical properties of large samples.


title: Search-based Methods to Bound Diagnostic Probabilities in Very Large Belief Nets

abstract: Since exact probabilistic inference is intractable in general for large multiply connected belief nets, approximate methods are required. A promising approach is to use heuristic search among hypotheses (instantiations of the network) to find the most probable ones, as in the TopN algorithm. Search is based on the relative probabilities of hypotheses which are efficient to compute. Given upper and lower bounds on the relative probability of partial hypotheses, it is possible to obtain bounds on the absolute probabilities of hypotheses. Best-first search aimed at reducing the maximum error progressively narrows the bounds as more hypotheses are examined. Here, qualitative probabilistic analysis is employed to obtain bounds on the relative probability of partial hypotheses for the BN20 class of networks networks and a generalization replacing the noisy OR assumption by negative synergy. The approach is illustrated by application to a very large belief network, QMR-BN, which is a reformulation of the Internist-1 system for diagnosis in internal medicine.


title: Time-Dependent Utility and Action Under Uncertainty

abstract: We discuss representing and reasoning with knowledge about the time-dependent utility of an agent's actions. Time-dependent utility plays a crucial role in the interaction between computation and action under bounded resources. We present a semantics for time-dependent utility and describe the use of time-dependent information in decision contexts. We illustrate our discussion with examples of time-pressured reasoning in Protos, a system constructed to explore the ideal control of inference by reasoners with limit abilities.


title: Non-monotonic Reasoning and the Reversibility of Belief Change

abstract: Traditional approaches to non-monotonic reasoning fail to satisfy a number of plausible axioms for belief revision and suffer from conceptual difficulties as well. Recent work on ranked preferential models (RPMs) promises to overcome some of these difficulties. Here we show that RPMs are not adequate to handle iterated belief change. Specifically, we show that RPMs do not always allow for the reversibility of belief change. This result indicates the need for numerical strengths of belief.


title: Belief and Surprise - A Belief-Function Formulation

abstract: We motivate and describe a theory of belief in this paper. This theory is developed with the following view of human belief in mind. Consider the belief that an event E will occur (or has occurred or is occurring). An agent either entertains this belief or does not entertain this belief (i.e., there is no "grade" in entertaining the belief). If the agent chooses to exercise "the will to believe" and entertain this belief, he/she/it is entitled to a degree of confidence c (1 > c > 0) in doing so. Adopting this view of human belief, we conjecture that whenever an agent entertains the belief that E will occur with c degree of confidence, the agent will be surprised (to the extent c) upon realizing that E did not occur.


title: Evidential Reasoning in a Categorial Perspective: Conjunction and Disjunction of Belief Functions

abstract: The categorial approach to evidential reasoning can be seen as a combination of the probability kinematics approach of Richard Jeffrey (1965) and the maximum (cross-) entropy inference approach of E. T. Jaynes (1957). As a consequence of that viewpoint, it is well known that category theory provides natural definitions for logical connectives. In particular, disjunction and conjunction are modelled by general categorial constructions known as products and coproducts. In this paper, I focus mainly on Dempster-Shafer theory of belief functions for which I introduce a category I call Dempster?s category. I prove the existence of and give explicit formulas for conjunction and disjunction in the subcategory of separable belief functions. In Dempster?s category, the new defined conjunction can be seen as the most cautious conjunction of beliefs, and thus no assumption about distinctness (of the sources) of beliefs is needed as opposed to Dempster?s rule of combination, which calls for distinctness (of the sources) of beliefs.


title: Reasoning with Mass Distributions

abstract: The concept of movable evidence masses that flow from supersets to subsets as specified by experts represents a suitable framework for reasoning under uncertainty. The mass flow is controlled by specialization matrices. New evidence is integrated into the frame of discernment by conditioning or revision (Dempster's rule of conditioning), for which special specialization matrices exist. Even some aspects of non-monotonic reasoning can be represented by certain specialization matrices.


title: A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency

abstract: A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The proposed semantics is based on fuzzy sets of interpretations. It is tolerant to partial inconsistency. Satisfiability is extended from interpretations to fuzzy sets of interpretations, each fuzzy set representing a possibility distribution describing what is known about the state of the world. A possibilistic knowledge base is then viewed as a set of possibility distributions that satisfy it. The refutation method of automated deduction in possibilistic logic, based on previously introduced generalized resolution principle is proved to be sound and complete with respect to the proposed semantics, including the case of partial inconsistency.


title: Conflict and Surprise: Heuristics for Model Revision

abstract: Any probabilistic model of a problem is based on assumptions which, if violated, invalidate the model. Users of probability based decision aids need to be alerted when cases arise that are not covered by the aid's model. Diagnosis of model failure is also necessary to control dynamic model construction and revision. This paper presents a set of decision theoretically motivated heuristics for diagnosing situations in which a model is likely to provide an inadequate representation of the process being modeled.


title: Reasoning under Uncertainty: Some Monte Carlo Results

abstract: A series of monte carlo studies were performed to compare the behavior of some alternative procedures for reasoning under uncertainty. The behavior of several Bayesian, linear model and default reasoning procedures were examined in the context of increasing levels of calibration error. The most interesting result is that Bayesian procedures tended to output more extreme posterior belief values (posterior beliefs near 0.0 or 1.0) than other techniques, but the linear models were relatively less likely to output strong support for an erroneous conclusion. Also, accounting for the probabilistic dependencies between evidence items was important for both Bayesian and linear updating procedures.


title: Representation Requirements for Supporting Decision Model Formulation

abstract: This paper outlines a methodology for analyzing the representational support for knowledge-based decision-modeling in a broad domain. A relevant set of inference patterns and knowledge types are identified. By comparing the analysis results to existing representations, some insights are gained into a design approach for integrating categorical and uncertain knowledge in a context sensitive manner.


title: A Language for Planning with Statistics

abstract: When a planner must decide whether it has enough evidence to make a decision based on probability, it faces the sample size problem. Current planners using probabilities need not deal with this problem because they do not generate their probabilities from observations. This paper presents an event based language in which the planner's probabilities are calculated from the binomial random variable generated by the observed ratio of one type of event to another. Such probabilities are subject to error, so the planner must introspect about their validity. Inferences about the probability of these events can be made using statistics. Inferences about the validity of the approximations can be made using interval estimation. Interval estimation allows the planner to avoid making choices that are only weakly supported by the planner's evidence.


title: A Modification to Evidential Probability

abstract: Selecting the right reference class and the right interval when faced with conflicting candidates and no possibility of establishing subset style dominance has been a problem for Kyburg's Evidential Probability system. Various methods have been proposed by Loui and Kyburg to solve this problem in a way that is both intuitively appealing and justifiable within Kyburg's framework. The scheme proposed in this paper leads to stronger statistical assertions without sacrificing too much of the intuitive appeal of Kyburg's latest proposal.


title: Investigation of Variances in Belief Networks

abstract: The belief network is a well-known graphical structure for representing independences in a joint probability distribution. The methods, which perform probabilistic inference in belief networks, often treat the conditional probabilities which are stored in the network as certain values. However, if one takes either a subjectivistic or a limiting frequency approach to probability, one can never be certain of probability values. An algorithm should not only be capable of reporting the probabilities of the alternatives of remaining nodes when other nodes are instantiated; it should also be capable of reporting the uncertainty in these probabilities relative to the uncertainty in the probabilities which are stored in the network. In this paper a method for determining the variances in inferred probabilities is obtained under the assumption that a posterior distribution on the uncertainty variables can be approximated by the prior distribution. It is shown that this assumption is plausible if their is a reasonable amount of confidence in the probabilities which are stored in the network. Furthermore in this paper, a surprising upper bound for the prior variances in the probabilities of the alternatives of all nodes is obtained in the case where the probability distributions of the probabilities of the alternatives are beta distributions. It is shown that the prior variance in the probability at an alternative of a node is bounded above by the largest variance in an element of the conditional probability distribution for that node.


title: A Sensitivity Analysis of Pathfinder: A Follow-up Study

abstract: At last year?s Uncertainty in AI Conference, we reported the results of a sensitivity analysis study of Pathfinder. Our findings were quite unexpected-slight variations to Pathfinder?s parameters appeared to lead to substantial degradations in system performance. A careful look at our first analysis, together with the valuable feedback provided by the participants of last year?s conference, led us to conduct a follow-up study. Our follow-up differs from our initial study in two ways: (i) the probabilities 0.0 and 1.0 remained unchanged, and (ii) the variations to the probabilities that are close to both ends (0.0 or 1.0) were less than the ones close to the middle (0.5). The results of the follow-up study look more reasonable-slight variations to Pathfinder?s parameters now have little effect on its performance. Taken together, these two sets of results suggest a viable extension of a common decision analytic sensitivity analysis to the larger, more complex settings generally encountered in artificial intelligence.


title: Non-monotonic Negation in Probabilistic Deductive Databases

abstract: In this paper we study the uses and the semantics of non-monotonic negation in probabilistic deductive data bases. Based on the stable semantics for classical logic programming, we introduce the notion of stable formula, functions. We show that stable formula, functions are minimal fixpoints of operators associated with probabilistic deductive databases with negation. Furthermore, since a. probabilistic deductive database may not necessarily have a stable formula function, we provide a stable class semantics for such databases. Finally, we demonstrate that the proposed semantics can handle default reasoning naturally in the context of probabilistic deduction.


title: Management of Uncertainty in the Multi-Level Monitoring and Diagnosis of the Time of Flight Scintillation Array

abstract: We present a general architecture for the monitoring and diagnosis of large scale sensor-based systems with real time diagnostic constraints. This architecture is multileveled, combining a single monitoring level based on statistical methods with two model based diagnostic levels. At each level, sources of uncertainty are identified, and integrated methodologies for uncertainty management are developed. The general architecture was applied to the monitoring and diagnosis of a specific nuclear physics detector at Lawrence Berkeley National Laboratory that contained approximately 5000 components and produced over 500 channels of output data. The general architecture is scalable, and work is ongoing to apply it to detector systems one and two orders of magnitude more complex.


title: Integrating Probabilistic Rules into Neural Networks: A Stochastic EM Learning Algorithm

abstract: The EM-algorithm is a general procedure to get maximum likelihood estimates if part of the observations on the variables of a network are missing. In this paper a stochastic version of the algorithm is adapted to probabilistic neural networks describing the associative dependency of variables. These networks have a probability distribution, which is a special case of the distribution generated by probabilistic inference networks. Hence both types of networks can be combined allowing to integrate probabilistic rules as well as unspecified associations in a sound way. The resulting network may have a number of interesting features including cycles of probabilistic rules, hidden 'unobservable' variables, and uncertain and contradictory evidence.


title: Representing Bayesian Networks within Probabilistic Horn Abduction

abstract: This paper presents a simple framework for Horn clause abduction, with probabilities associated with hypotheses. It is shown how this representation can represent any probabilistic knowledge representable in a Bayesian belief network. The main contributions are in finding a relationship between logical and probabilistic notions of evidential reasoning. This can be used as a basis for a new way to implement Bayesian Networks that allows for approximations to the value of the posterior probabilities, and also points to a way that Bayesian networks can be extended beyond a propositional language.


title: Dynamic Network Updating Techniques For Diagnostic Reasoning

abstract: A new probabilistic network construction system, DYNASTY, is proposed for diagnostic reasoning given variables whose probabilities change over time. Diagnostic reasoning is formulated as a sequential stochastic process, and is modeled using influence diagrams. Given a set O of observations, DYNASTY creates an influence diagram in order to devise the best action given O. Sensitivity analyses are conducted to determine if the best network has been created, given the uncertainty in network parameters and topology. DYNASTY uses an equivalence class approach to provide decision thresholds for the sensitivity analysis. This equivalence-class approach to diagnostic reasoning differentiates diagnoses only if the required actions are different. A set of network-topology updating algorithms are proposed for dynamically updating the network when necessary.


title: High Level Path Planning with Uncertainty

abstract: For high level path planning, environments are usually modeled as distance graphs, and path planning problems are reduced to computing the shortest path in distance graphs. One major drawback of this modeling is the inability to model uncertainties, which are often encountered in practice. In this paper, a new tool, called U-yraph, is proposed for environment modeling. A U-graph is an extension of distance graphs with the ability to handle a kind of uncertainty. By modeling an uncertain environment as a U-graph, and a navigation problem as a Markovian decision process, we can precisely define a new optimality criterion for navigation plans, and more importantly, we can come up with a general algorithm for computing optimal plans for navigation tasks.


title: Formal Model of Uncertainty for Possibilistic Rules

abstract: Given a universe of discourse X-a domain of possible outcomes-an experiment may consist of selecting one of its elements, subject to the operation of chance, or of observing the elements, subject to imprecision. A priori uncertainty about the actual result of the experiment may be quantified, representing either the likelihood of the choice of :r_X or the degree to which any such X would be suitable as a description of the outcome. The former case corresponds to a probability distribution, while the latter gives a possibility assignment on X. The study of such assignments and their properties falls within the purview of possibility theory [DP88, Y80, Z783. It, like probability theory, assigns values between 0 and 1 to express likelihoods of outcomes. Here, however, the similarity ends. Possibility theory uses the maximum and minimum functions to combine uncertainties, whereas probability theory uses the plus and times operations. This leads to very dissimilar theories in terms of analytical framework, even though they share several semantic concepts. One of the shared concepts consists of expressing quantitatively the uncertainty associated with a given distribution. In probability theory its value corresponds to the gain of information that would result from conducting an experiment and ascertaining an actual result. This gain of information can equally well be viewed as a decrease in uncertainty about the outcome of an experiment. In this case the standard measure of information, and thus uncertainty, is Shannon entropy [AD75, G77]. It enjoys several advantages-it is characterized uniquely by a few, very natural properties, and it can be conveniently used in decision processes. This application is based on the principle of maximum entropy; it has become a popular method of relating decisions to uncertainty. This paper demonstrates that an equally integrated theory can be built on the foundation of possibility theory. We first show how to define measures of in formation and uncertainty for possibility assignments. Next we construct an information-based metric on the space of all possibility distributions defined on a given domain. It allows us to capture the notion of proximity in information content among the distributions. Lastly, we show that all the above constructions can be carried out for continuous distributions-possibility assignments on arbitrary measurable domains. We consider this step very significant-finite domains of discourse are but approximations of the real-life infinite domains. If possibility theory is to represent real world situations, it must handle continuous distributions both directly and through finite approximations. In the last section we discuss a principle of maximum uncertainty for possibility distributions. We show how such a principle could be formalized as an inference rule. We also suggest it could be derived as a consequence of simple assumptions about combining information. We would like to mention that possibility assignments can be viewed as fuzzy sets and that every fuzzy set gives rise to an assignment of possibilities. This correspondence has far reaching consequences in logic and in control theory. Our treatment here is independent of any special interpretation; in particular we speak of possibility distributions and possibility measures, defining them as measurable mappings into the interval [0, 1]. Our presentation is intended as a self-contained, albeit terse summary. Topics discussed were selected with care, to demonstrate both the completeness and a certain elegance of the theory. Proofs are not included; we only offer illustrative examples.


title: Deliberation and its Role in the Formation of Intentions

abstract: Deliberation plays an important role in the design of rational agents embedded in the real-world. In particular, deliberation leads to the formation of intentions, i.e., plans of action that the agent is committed to achieving. In this paper, we present a branching time possible-worlds model for representing and reasoning about, beliefs, goals, intentions, time, actions, probabilities, and payoffs. We compare this possible-worlds approach with the more traditional decision tree representation and provide a transformation from decision trees to possible worlds. Finally, we illustrate how an agent can perform deliberation using a decision-tree representation and then use a possible-worlds model to form and reason about his intentions.


title: Handling Uncertainty during Plan Recognition in Task-Oriented Consultation Systems

abstract: During interactions with human consultants, people are used to providing partial and/or inaccurate information, and still be understood and assisted. We attempt to emulate this capability of human consultants; in computer consultation systems. In this paper, we present a mechanism for handling uncertainty in plan recognition during task-oriented consultations. The uncertainty arises while choosing an appropriate interpretation of a user?s statements among many possible interpretations. Our mechanism handles this uncertainty by using probability theory to assess the probabilities of the interpretations, and complements this assessment by taking into account the information content of the interpretations. The information content of an interpretation is a measure of how well defined an interpretation is in terms of the actions to be performed on the basis of the interpretation. This measure is used to guide the inference process towards interpretations with a higher information content. The information content for an interpretation depends on the specificity and the strength of the inferences in it, where the strength of an inference depends on the reliability of the information on which the inference is based. Our mechanism has been developed for use in task-oriented consultation systems. The domain that we have chosen for exploration is that of a travel agency.


title: Truth as Utility: A Conceptual Synthesis

abstract: This paper introduces conceptual relations that synthesize utilitarian and logical concepts, extending the logics of preference of Rescher. We define first, in the context of a possible worlds model, constraint-dependent measures that quantify the relative quality of alternative solutions of reasoning problems or the relative desirability of various policies in control, decision, and planning problems. We show that these measures may be interpreted as truth values in a multi valued logic and propose mechanisms for the representation of complex constraints as combinations of simpler restrictions. These extended logical operations permit also the combination and aggregation of goal-specific quality measures into global measures of utility. We identify also relations that represent differential preferences between alternative solutions and relate them to the previously defined desirability measures. Extending conventional modal logic formulations, we introduce structures for the representation of ignorance about the utility of alternative solutions. Finally, we examine relations between these concepts and similarity based semantic models of fuzzy logic.


title: Pulcinella: A General Tool for Propagating Uncertainty in Valuation Networks

abstract: We present PULCinella and its use in comparing uncertainty theories. PULCinella is a general tool for Propagating Uncertainty based on the Local Computation technique of Shafer and Shenoy. It may be specialized to different uncertainty theories: at the moment, Pulcinella can propagate probabilities, belief functions, Boolean values, and possibilities. Moreover, Pulcinella allows the user to easily define his own specializations. To illustrate Pulcinella, we analyze two examples by using each of the four theories above. In the first one, we mainly focus on intrinsic differences between theories. In the second one, we take a knowledge engineer viewpoint, and check the adequacy of each theory to a given problem.


title: Structuring Bodies of Evidence

abstract: In this article we present two ways of structuring bodies of evidence, which allow us to reduce the complexity of the operations usually performed in the framework of evidence theory. The first structure just partitions the focal elements in a body of evidence by their cardinality. With this structure we are able to reduce the complexity on the calculation of the belief functions Bel, Pl, and Q. The other structure proposed here, the Hierarchical Trees, permits us to reduce the complexity of the calculation of Bel, Pl, and Q, as well as of the Dempster's rule of combination in relation to the brute-force algorithm. Both these structures do not require the generation of all the subsets of the reference domain.


title: On the Generation of Alternative Explanations with Implications for Belief Revision

abstract: In general, the best explanation for a given observation makes no promises on how good it is with respect to other alternative explanations. A major deficiency of message-passing schemes for belief revision in Bayesian networks is their inability to generate alternatives beyond the second best. In this paper, we present a general approach based on linear constraint systems that naturally generates alternative explanations in an orderly and highly efficient manner. This approach is then applied to cost-based abduction problems as well as belief revision in Bayesian net works.


title: Completing Knowledge by Competing Hierarchies

abstract: A control strategy for expert systems is presented which is based on Shafer's Belief theory and the combination rule of Dempster. In contrast to well known strategies it is not sequentially and hypotheses-driven, but parallel and self organizing, determined by the concept of information gain. The information gain, calculated as the maximal difference between the actual evidence distribution in the knowledge base and the potential evidence determines each consultation step. Hierarchically structured knowledge is an important representation form and experts even use several hierarchies in parallel for constituting their knowledge. Hence the control strategy is applied to a layered set of distinct hierarchies. Depending on the actual data one of these hierarchies is chosen by the control strategy for the next step in the reasoning process. Provided the actual data are well matched to the structure of one hierarchy, this hierarchy remains selected for a longer consultation time. If no good match can be achieved, a switch from the actual hierarchy to a competing one will result, very similar to the phenomenon of restructuring in problem solving tasks. Up to now the control strategy is restricted to multi hierarchical knowledge bases with disjunct hierarchies. It is implemented in the expert system IBIG (inference by information gain), being presently applied to acquired speech disorders (aphasia).


title: A Graph-Based Inference Method for Conditional Independence

abstract: The graphoid axioms for conditional independence, originally described by Dawid [1979], are fundamental to probabilistic reasoning [Pearl, 19881. Such axioms provide a mechanism for manipulating conditional independence assertions without resorting to their numerical definition. This paper explores a representation for independence statements using multiple undirected graphs and some simple graphical transformations. The independence statements derivable in this system are equivalent to those obtainable by the graphoid axioms. Therefore, this is a purely graphical proof technique for conditional independence.


title: A Fusion Algorithm for Solving Bayesian Decision Problems

abstract: This paper proposes a new method for solving Bayesian decision problems. The method consists of representing a Bayesian decision problem as a valuation-based system and applying a fusion algorithm for solving it. The fusion algorithm is a hybrid of local computational methods for computation of marginals of joint probability distributions and the local computational methods for discrete optimization problems.


title: Algorithms for Irrelevance-Based Partial MAPs

abstract: Irrelevance-based partial MAPs are useful constructs for domain-independent explanation using belief networks. We look at two definitions for such partial MAPs, and prove important properties that are useful in designing algorithms for computing them effectively. We make use of these properties in modifying our standard MAP best-first algorithm, so as to handle irrelevance-based partial MAPs.


title: About Updating

abstract: Survey of several forms of updating, with a practical illustrative example. We study several updating (conditioning) schemes that emerge naturally from a common scenarion to provide some insights into their meaning. Updating is a subtle operation and there is no single method, no single 'good' rule. The choice of the appropriate rule must always be given due consideration. Planchet (1989) presents a mathematical survey of many rules. We focus on the practical meaning of these rules. After summarizing the several rules for conditioning, we present an illustrative example in which the various forms of conditioning can be explained.


title: Compressed Constraints in Probabilistic Logic and Their Revision

abstract: In probabilistic logic entailments, even moderate size problems can yield linear constraint systems with so many variables that exact methods are impractical. This difficulty can be remedied in many cases of interest by introducing a three valued logic (true, false, and "don't care"). The three-valued approach allows the construction of "compressed" constraint systems which have the same solution sets as their two-valued counterparts, but which may involve dramatically fewer variables. Techniques to calculate point estimates for the posterior probabilities of entailed sentences are discussed.


title: Detecting Causal Relations in the Presence of Unmeasured Variables

abstract: The presence of latent variables can greatly complicate inferences about causal relations between measured variables from statistical data. In many cases, the presence of latent variables makes it impossible to determine for two measured variables A and B, whether A causes B, B causes A, or there is some common cause. In this paper I present several theorems that state conditions under which it is possible to reliably infer the causal relation between two measured variables, regardless of whether latent variables are acting or not.


title: A Method for Integrating Utility Analysis into an Expert System for Design Evaluation

abstract: In mechanical design, there is often unavoidable uncertainty in estimates of design performance. Evaluation of design alternatives requires consideration of the impact of this uncertainty. Expert heuristics embody assumptions regarding the designer's attitude towards risk and uncertainty that might be reasonable in most cases but inaccurate in others. We present a technique to allow designers to incorporate their own unique attitude towards uncertainty as opposed to those assumed by the domain expert's rules. The general approach is to eliminate aspects of heuristic rules which directly or indirectly include assumptions regarding the user's attitude towards risk, and replace them with explicit, user-specified probabilistic multi attribute utility and probability distribution functions. We illustrate the method in a system for material selection for automobile bumpers.