We consider the problem of collaborative filtering from a channel coding perspective. We model the underlying rating matrix as a finite alphabet matrix with block constant structure. The observations are obtained from this underlying matrix through a discrete memoryless channel with a noisy part rep
This paper presents the different processing steps of a new generic surface micromachining module for MEMS hermetic packaging at temperatures around 180 degrees C based on nickel plating and photoresist sacrificial layers. The advantages of thin film caps are the reduced thickness and area consumpti
We present two dimensional numerical simulations of a natural convection problem in an unbounded domain. A thermal stratification is applied in the vertical direction and the flow circulation is induced by a heat island located on the ground. For this problem, thermal perturbations are convected in
The problem of error control in random linear network coding is addressed from a matrix perspective that is closely related to the subspace perspective of K'otter and Kschischang. A large class of constant-dimension subspace codes is investigated. It is shown that codes in this class can be easily c
Background : The carnivorous plants of the genus Nepenthes, widely distributed in the Asian tropics, rely mostly on nutrients derived from arthropods trapped in their pitcher-shaped leaves and digested by their enzymatic fluid. The genus exhibits a great diversity of prey and pitcher forms and its m
We introduce a controlled form of recursion in XQuery, inflationary fixed points, familiar in the context of relational databases. This imposes restrictions on the expressible types of recursion, but we show that inflationary fixed points nevertheless are sufficiently versatile to capture a wide ran
In this paper we propose a systematic strategy for migrating crosscutting concerns in existing object-oriented systems to aspect-based solutions. The proposed strategy consists of four steps: mining, exploration, documentation and refactoring of crosscutting concerns. We discuss in detail a new appr
A family of 3R orthogonal manipulators without offset on the third body can be divided into exactly nine workspace topologies. The workspace is characterized in a half-cross section by the singular curves. The workspace topology is defined by the number of cusps and nodes that appear on these singul
This paper defines and implements a non-Bayesian fusion rule for combining densities of probabilities estimated by local (non-linear) filters for tracking a moving target by passive sensors. This rule is the restriction to a strict probabilistic paradigm of the recent and efficient Proportional Conf
We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $R^ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but polynomial in $ell$. More precisely, we prove the following. Let $R$
It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an equivalent proposition P' obtained from P thanks to possibly co
In many channel measurement applications, one needs to estimate some characteristics of the channels based on a limited set of measurements. This is mainly due to the highly time varying characteristics of the channel. In this contribution, it will be shown how free probability can be used for chann
In a technological landscape that is quickly moving toward dense multi-CPU and multi-core computer systems, where using multithreading is an increasingly popular application design decision, it is important to choose a proper model for distributing tasks across multiple threads that will result in t
We explore a computational approach to coarse graining the evolution of the large-scale features of a randomly forced Burgers equation in one spatial dimension. The long term evolution of the solution energy spectrum appears self-similar in time. We demonstrate coarse projective integration and coar
We show how to implement cryptographic primitives based on the realistic assumption that quantum storage of qubits is noisy. We thereby consider individual-storage attacks, i.e. the dishonest party attempts to store each incoming qubit separately. Our model is similar to the model of bounded-quantum
The problem of decentralized sequential detection with conditionally independent observations is studied. The sensors form a star topology with a central node called fusion center as the hub. The sensors make noisy observations of a parameter that changes from an initial state to a final state at a
We present a test for the problem of decentralized sequential hypothesis testing, which is asymptotically optimum. By selecting a suitable sampling mechanism at each sensor, communication between sensors and fusion center is asynchronous and limited to 1-bit data. The proposed SPRT-like test turns o
Various physical properties such as dipole moment, heat of formation and energy of the most stable formation of nucleotides and bases were calculated by PM3 (modified neglect of diatomic overlap, parametric method number 3) and AM1 (Austin model 1) methods. As distinct from previous calculations, fo
A method for the calculation of the damping rate due to electron-hole pair excitation for atomic and molecular motion at metal surfaces is presented. The theoretical basis is provided by Time Dependent Density Functional Theory (TDDFT) in the quasi-static limit and calculations are performed within
We examine the electronic ground state of acenes with different number of fused benzene rings (up to 40) by using first principles density functional theory. Their properties are compared with those of infinite polyacene. We find that the ground state of acenes that consist of more than seven fused
During recent years, microelectronics helped to develop complex and varied technologies. It appears that many of these technologies can be applied successfully to realize Seebeck micro generators: photolithography and deposition methods allow to elaborate thin thermoelectric structures at the micro-
The analysis of random coding error exponents pertaining to erasure/list decoding, due to Forney, is revisited. Instead of using Jensen's inequality as well as some other inequalities in the derivation, we demonstrate that an exponentially tight analysis can be carried out by assessing the relevant
The effects of the finite size of the network on the evolutionary dynamics of a Boolean network are analyzed. In the model considered, Boolean networks evolve via a competition between nodes that punishes those in the majority. It is found that finite size networks evolve in a fundamentally differen
We study a simplified stochastic model for the vascularization of a growing tumor, incorporating the formation of new blood vessels at the tumor periphery as well as their regression in the tumor center. The resulting morphology of the tumor vasculature differs drastically from the original one. We
Motivated by stochastic models of climate phenomena, the steady-state of a linear stochastic model with additive Gaussian white noise is studied. Fluctuation theorems for nonequilibrium steady-states provide a constraint on the character of these fluctuations. The properties of the fluctuations whic
Representation of intracellular signaling networks as directed graphs allows for the identification of regulatory motifs. Regulatory motifs are groups of nodes with the same connectivity structure, capable of processing information. The bifan motif, made of two source nodes directly cross-regulating
We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure
We propose an approximation of maximum-likelihood detection in ISI channels based on linear programming or message passing. We convert the detection problem into a binary decoding problem, which can be easily combined with LDPC decoding. We show that, for a certain class of channels and in the absen
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge base and a guarded logic program, similar to the D
We consider a gyroscopic system under the action of small dissipative and non-conservative positional forces, which has its origin in the models of rotating bodies of revolution being in frictional contact. The spectrum of the unperturbed gyroscopic system forms a 'spectral mesh' in the plane 'frequ
The evolution of languages closely resembles the evolution of haploid organisms. This similarity has been recently exploited cite{GA,GJ} to construct language trees. The key point is the definition of a distance among all pairs of languages which is the analogous of a genetic distance. Many methods
Measures of linear dependence (coherence) and nonlinear dependence (phase synchronization) between any number of multivariate time series are defined. The measures are expressed as the sum of lagged dependence and instantaneous dependence. The measures are non-negative, and take the value zero only
A recently introduced Importance Sampling strategy based on a least squares optimization is applied to the Monte Carlo simulation of Libor Market Models. Such Least Squares Importance Sampling (LSIS) allows the automatic optimization of the sampling distribution within a trial class by means of a qu
In an earlier paper of mine relating vector bundles and Gromov-Hausdorff distance for ordinary compact metric spaces, it was crucial that the Lipschitz seminorms from the metrics satisfy a strong Leibniz property. In the present paper, for the now non-commutative situation of matrix algebras converg
The masses distribution inside the Earth governs the behaviour of the rotation axis in the Earth (polar motion), as well as the Earth rotation rate (or equivalently, length of day). This masses distribution can be measured from space owing to artificial satellites, the orbitography of which provides
The Grid technology is evolving into a global, service-orientated architecture, a universal platform for delivering future high demand computational services. Strong adoption of the Grid and the utility computing concept is leading to an increasing number of Grid installations running a wide range o
This paper explores Bayesian inference for a biased sampling model in situations where the population of interest cannot be sampled directly, but rather through an indirect and inherently biased method. Observations are viewed as being the result of a multinomial sampling process from a tagged popul
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices in which electric as well as mechanical and fluid phenomena appear and interact. Because of their microscopic scale, stron
Robust and efficient optimization methods for variance component estimation using Restricted Maximum Likelihood (REML) models for genetic mapping of quantitative traits are considered. We show that the standard Newton-AI scheme may fail when the optimum is located at one of the constraint boundaries
We investigate the effects of a time-correlated noise on an extended chaotic system. The chosen model is the Lorenz'96, a kind of toy model used for climate studies. The system is subjected to both temporal and spatiotemporal perturbations. Through the analysis of the system's time evolution and its
Several models for the pricing of derivative securities in illiquid markets are discussed. A typical type of nonlinear partial differential equations arising from these investigation is studied. The scaling properties of these equations are discussed. Explicit solutions for one of the models are obt
ZF is a well investigated impredicative constructive version of Zermelo-Fraenkel set theory. Using set terms, we axiomatize IZF with Replacement, which we call izfr, along with its intensional counterpart iizfr. We define a typed lambda calculus $li$ corresponding to proofs in iizfr according to the
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of a particular Prolog implementation. Prolog traces are, in general, considered as rather obscure and difficult to use. T
Information-seeking is a core capability for AI agents, requiring them to gather and reason over tool-generated information across long trajectories. However, such multi-step information-seeking tasks remain challenging for agents backed by language models. While process reward models (PRMs) can gui
We extend classical basis constructions from Fourier analysis to attractors for affine iterated function systems (IFSs). This is of interest since these attractors have fractal features, e.g., measures with fractal scaling dimension. Moreover, the spectrum is then typically quasi-periodic, but non-p
When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often be the automorphism group of a finite abstract regular polyt
We consider data consisting of photon counts of diffracted x-ray radiation as a function of the angle of diffraction. The problem is to determine the positions, powers and shapes of the relevant peaks. An additional difficulty is that the power of the peaks is to be measured from a baseline which it
In this paper, we extend to generalized linear models (including logistic and other binary regression models, Poisson regression and gamma regression models) the robust model selection methodology developed by Mueller and Welsh (2005; JASA) for linear regression models. As in Mueller and Welsh (2005
This article demonstrates how to develop a Microchip PIC16F84 based device that supports RS-232 interface with PC. Circuit (LED Board) design and software development will be discussed. PicBasic Pro Compiler from microEngineering Labs, Inc. is used for PIC programming. Development of LED Board Contr
The spread of sexually transmitted diseases (e.g. Chlamydia, Syphilis, Gonorrhea, HIV) across populations is a major concern for scientists and health agencies. In this context, both data collection on sexual contact networks and the modeling of disease spreading, are intensively contributing to the
Enter keywords to search articles