[PDF] Top 20 El Espiritu Misionero Vicenciano: Ayer y Hoy

... of abstract data types provide the basis for their ...of abstract data type was vali- dated using Z notation prover Z/EVES, which has possibilities to check the syntax and semantic of ... See full document

... of application transactions, but provides a secure and fully distributed timestamping ...a dynamic Byzantine tolerant consensus algorithm which tracks the committee members of the consensus al- gorithm ... See full document

... Abstract. Spatial vagueness has been increasingly required by geoscientists to handle vague spatial objects, that is, spatial objects found in real-world phenomena that do not have exact locations, strict ... See full document

... the type of fall a person is experiencing before suffering an ...fall type helps in optimizing the algorithm of the fall ...this application will be a good platform that can be used to test various ... See full document

... projection data a parallel computing algorithm is proposed which suits spiral cone beam CT access for improvement of speed with high end ...phantom data to achieve higher speed by accessing memory many ... See full document

... as data sources highly reliable Web sites that provide instances in a semi-structured format, unstructured data with structures easy to parse ...or dynamic sites with database back- ...each ... See full document

... Abstract - Query form is one of the most widely used user interfaces for querying databases. Traditional query forms are designed and pre-defined by developers or DBA in various information management systems. ... See full document

... with application to the republican vote ...biclustering approach on a gene expression data set, one of the most important literatures in the gene expression biclustering ... See full document

... economical approach for data sharing among group members in the cloud with the characters of low maintenance and little management ...sharing data files since they are ...sharing data while ... See full document

... Dynamic programming can design and implement an optimized- base scheduling algorithm for multiple assembly lines i (i = 1,2…m). It solves manufacturing problems to find the fastest way through a factory using ... See full document

... scientific data which are stored in large data warehouses in digital form ...of data either from existing data resources or collected from physical ... See full document

... suitable application of an alternative energy source in the ROP of the lactide process may result in the replacement of the metal catalysts completely, thus achieving non-toxic PLA production at ... See full document

... CUDA code requires separate memory spaces allocated on the host CPU and on the graphics device, with explicit transfers between the two. It replaces entire loop with a call to a kernel function (line 20). Kernel function ... See full document

... This paper is intended to provide civil engineers with a simple modeling tool to be run on current spreadsheet code. Such a tool allows performing the resolution of the dynamic motion of an elasto- plastic simply ... See full document

... Let us consider the task of scheduling for six parallel unrelated machines and products of six various types. Assume that manufacturing of any product on every machine is only possible in a volume larger than a so called ... See full document

... nonlinear dynamic models expressed as recur- sive systems with an endogenous state ...model dynamic systems in spatial price equilibrium problems and traffic ...further application of parallel ... See full document

... The aim of this research was to contribute to the development of structural design procedures of complex - cluster type organizational systems. Industrial clusters can help companies to improve their own market ... See full document

... Tuple variables bound in dierent patterns may be instantiated to tuples with dierent numbers of variables. Because of such size considerations, it is not always possible to use a tuple variable as argument to an ... See full document

... In our existing system has some limitation of ACO and ABC optimization. It work for not dynamically and one remaining one drawback is not updated the globally updating the pheromone value. so now we will improve them ... See full document

... computing refers to a system that uses information technology resources as needed, and provides services by using information convergence technology. Cloud systems can be classified into groups based on the methods ... See full document