Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this version of LLL has higher quality in...

We present a reconstruction of session types in a linear pi calculus where types are qualified as linear or unrestricted. Linearly qualified communication channels are guaranteed to occur in exactly one thread, possibly multiple times; unrestricted (or shared) channels may appear in an unbounded number of threads. In our language each channel is characterised by two distinct variables, one used...

this study investigated the effectiveness of individual and collaborative outputbasedfocus-on-form instructional tasks on the acquisition of english inversionstructures by efl learners. moreover, it explored the developmental trend oflearners’ inversion acquisition. to this end, 60 homogeneous efl learners wereassigned to individual and collaborative output groups. they were exposed to textsenc...

This study presents a sensor neural network inspired by mouse taste buds for input signal identification. The sensor neural network model consisted of two layers of spiking cells: 4 Type II and 2 Type III cells. The Type II cells were receptive cells, and the Type III cells were output cells. The sensor network model converted differences in the sensory input into the degree of synchronization ...

In this paper, subtractive clustering method is combined with least squares estimation algorithms to pre-identify a type-1 Takagi-Sugeno-Kang (TSK) fuzzy model from input/output data. Then the type-2 fuzzy theory is used to expand the type-1 model to a type-2 model. A sensitivity analysis is used to ascertain how a type-1 TSK model output depends upon the pre-initialized parameters and determin...

A novel layout design to effectively reduce the layout area of the thin-oxide NMOS and PMOS devices in CMOS output buffers with ESD consideration is proposed. With respect to the traditional finger-type layout, the large-dimension output NMOS and PMOS devices are realized by multiple octagonal cells. Without using extra ESD-optimization process, the output NMOS and PMOS devices in this octagon-...

We apply techniques drawn from interactive media art in fieldwork for social inclusion. Advanced mobile media and grassroots DIY techniques are used to bring creative practice with digital media into community based outreach work. We use these techniques in a participatory context that encourages the co-production of cultural output. We triangulate across artistic practice, technology engineeri...