We describe two improvements to Gentry's fully homomorphic scheme based on ideal lattices and its analysis: we provide a more aggressive analysis of one of the hardness assumptions (the one related to the Sparse Subset Sum Problem) and we introduce a probabilistic decryption algorithm that can be implemented with an algebraic circuit of low multiplicative degree. Combined together, these improv...

We study the pe r fo rmance of a mult ichannel modulation method f o r two contempla ted subsc r ibe r line d a t a services known a s asymmetr ic digital subsc r ibe r lines (ADSL) a n d very high-speed digital subsc r ibe r lines (VHDSL). I n the ADSL case, we find t h a t over all un loaded Nor th Amer ican subscr iber lines in o u r test se t , a n unidirect ional 1.536 M b / s d a t a r a ...

In developing and using many large mult~-hngual multt-purpose lexicons at CRL, we ~denttfied three dlstmct problem areas (1) an appropriate meta-language (formahsm) tot representing and processing lex~cal knowledge (2) a standard generic lex~cal framework defimng a common lex~cal entry structure (names ot features and types ot content), and (3) shared umversal hngu~st~c types In th~s paper, we ...

CA D/CA M OF SCULPTURED SURFA CES ON A MULTI-A XIS NC MA CHINE: THE DG/K-BA SED A PPROA CH To get CA D/CA M of Sculptured Surfaces on a Mult i-A x is NC Machine: The DG/KBased A pproach eBook, you should click the web link beneath and save the document or gain access to additional information that are highly relevant to CAD/CAM of Sculptured Surfaces on a Multi-Axis NC Machine: The DG/K-Based A...

-1 Abstract: An algorithm called XOF.GA is presented which minimises Boolean mult i-output logic functions as multilevel ANDEXOR networks of two-input logic gates. It carries out symbolic simplification, and works from tlhe bottom of a binary variable decision tree to tlhe top, with variable choice determined using a genetic algorithm. Since the algorithm is multilevel in nature, it delivers mo...

Colour is a key element in the discrimination and matching of textile fibres for forensic purposes. Two aspects of research aimed at developing an autcmated forensic textile fibre matching system by colour computer vision are outlined. The segnentation procedure is described. It is based on a mult{resolution image format and incorporates progressive plan refinement. Filters for building the mil...

There is a tremendous amount of effort involved in the definition of Clinical Practice Guidelines (CPG) by physicians. Because the quality of medical assistance is highly impacted by the use of CPG, and establishing their use is difficult, we consider necessary to develop an effective solution that implements CPG through Decision Support Systems (DSS). Among the many existing representation mod...

Conform [1], [2] numim multi-processors sistemele cu mai mult de un processor, în timp ce termenul de many-processors este folosit pentru sistemele cu un număr foarte mare de procesoare. Fundamentarea teoretică pentru cele două tipuri de maşini este diferită şi semnificativă pentru înţelegerea evoluţiei ştiinţei calculului în era paralelismului emergent. În timp ce multi-processor-ul este o con...

This paper shows how the semantics of frames with exceptions can be described logically. We define a simple (purely declarative) frame language allowing for mult iple inheritance and meta classes (i.e. the instances of a class may be classes themselves). Expressions of this language are translated into first order formulas. Circumscript ion of a certain predicate in the result ing theory yields...