The OAI Object Reuse and Exchange (OAI-ORE) framework recasts the repository-centric notion of digital object to a bounded aggregation of Web resources. In this manner, digital library content is more integrated with the Web architecture, and thereby more accessible to Web applications and clients. This generalized notion of an aggregation that is independent of repository containment conforms ...

The paper describes the applicability of different characteristics (signatures) in nuclear safeguards and forensics for assessment of uranium material provenance in terms of production process. The study follows a uranium ore concentrate production from an ore to a U3O8 product. It turned out that rare-earth elemental pattern, radiochronometry (age of ore body and material production date), sul...

We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package.

We investigate properties of the formula p → 2p in the basic modal logic K. We show that K satisfies an infinitary weak variant of the rule of margins, which leads to a description of a complete set of unifiers of p → 2p. Using this information, we establish that K has nullary unification type. Moreover, we show that the formula p → 2p is admissibly saturated, but not exact.

Designing realistic tridimensional facial models is a challenging task, not only due to the effort and artistic abilities required but also because human visual perception very tuned processing of features. For this reason, rather than creating face from scratch, artists usually start scanned model real person. In work, we present novel method for blending faces in order create new one. nutshel...

Solid models may be blended through filleting or rounding operations that typically replace the vicinity of concave or convex edges by blends that smoothly connect to the rest of the solid’s boundary. Circular blends, which are popular in manufacturing, are each the subset of a canal surface that bounds the region swept by a ball of constant or varying radius as it rolls on the solid while main...

We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm.

The drum agglomeration of nickel laterite and gold ores has been optimized through the design of experiments (DOE) using a Taguchi L16 (45) orthogonal array to determine the optimum conditions for maximizing average agglomerate size and minimizing the amount of fines. The effects of controllable operating factors including moisture content (nickel laterite ore: 34-37%; gold ore: 7-10%), retenti...