‎in this paper‎, ‎an approach based on statistical spline model (ssm) and collocation method is proposed to solve volterra-fredholm integral equations‎. ‎the set of collocation nodes is chosen so that the points yield minimal error in the nodal polynomials‎. ‎under some standard assumptions‎, ‎we establish the convergence property of this approach‎. ‎numerical results on some problems are given...

pore network modeling uses a network of pores connected by throats to model the void space of a porous medium and tries to predict its various characteristics during multiphase flow of various fluids. in most cases, a non-realistic regular lattice of pores is used to model the characteristics of a porous medium. although some methodologies for extracting geologically realistic irregular network...

In real world problems, time for deliberation is often limited. Anytime algorithms are beneficial in these conditions as they usually find a first, possibly highly suboptimal, solution very fast and then continually work on improving the solution until allocated time expires. While anytime algorithms are popular, existing anytime search methods are unable to provide a measure of goodness of the...

The subject of this internship was to add a static-analysis module to the score-following system Antescofo. The aim of this static-analysis module is to forecast the temporal behavior of the system during live performances, providing a substantial help to both composers and interprets. We follow an approach similar to the Inverse Method implemented by Etienne André in the tool IMITATOR. This me...

Expert search, in which given a query a ranked list of experts instead of documents is returned, has been intensively studied recently due to its importance in facilitating the needs of both information access and knowledge discovery. Many approaches have been proposed, including metadata extraction, expert profile building, and formal model generation. However, all of them conduct expert searc...

Not all of the protocol security flaws described at the SSR2014 conference were discovered using these new automated techniques. Several significant findings were the result of more traditional methods. These findings included flaws in standardized and deployed protocols, as well as important innovations to improve and extend the capabilities of long-used cryptographic techniques. Based on thes...

A pair of sentences in different newspaper articles on an event can have one of several relations. Of these, we have focused on two, i.e., equivalence and transition. Equivalence is the relation between two sentences that have the same information on an event. Transition is the relation between two sentences that have the same information except for values of numeric attributes. We propose meth...

This paper develops a general framework to support the combination of information from independent but related experiments, by introducing a formal way of combining statistical models represented by families of distributions. A typical example is the combination of multivariate Gaussian families respecting conditional independence constraints, i.e. Gaussian graphical models. Combining informati...

82