Sciweavers

WCC
2005
Springer
197views Cryptology» more  WCC 2005»
13 years 10 months ago
Linear Filtering of Nonlinear Shift-Register Sequences
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
Berndt M. Gammel, Rainer Göttfert
APLAS
2005
ACM
13 years 10 months ago
An Abstract Interpretation Perspective on Linear vs. Branching Time
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
Francesco Ranzato, Francesco Tapparo
IPPS
2005
IEEE
13 years 10 months ago
Parallelization of Direct Algorithms using Multisplitting Methods in Grid Environments
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...
Jacques M. Bahi, Raphaël Couturier
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
13 years 10 months ago
Step Modelling of a High Precision 2DoF (Linear-Angular) Microsystem
Abstract— In this paper, a new type of microsystem is presented : a system able to perform linear and angular motion. First, the microactuator used is studied. An approximation o...
Micky Rakotondrabe, Yassine Haddab, Philippe Lutz
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
13 years 10 months ago
Orthogonal Neighborhood Preserving Projections
— Orthogonal Neighborhood Preserving Projections (ONPP) is a linear dimensionality reduction technique which attempts to preserve both the intrinsic neighborhood geometry of the ...
Effrosini Kokiopoulou, Yousef Saad
ACISP
2006
Springer
13 years 10 months ago
Distinguishing Attack on SOBER-128 with Linear Masking
Abstract. We present a distinguishing attack against SOBER-128 with linear masking. We found a linear approximation which has a bias of 2−8.8 for the non-linear filter. The atta...
Joo Yeon Cho, Josef Pieprzyk
IPSN
2007
Springer
13 years 10 months ago
Distributed consensus and linear functional calculation in networks: an observability perspective
We study the problem of performing sensor fusion and distributed consensus in networks, where the objective is to calculate some linear function of the initial sensor values at so...
Shreyas Sundaram, Christoforos N. Hadjicostis
IMA
2007
Springer
97views Cryptology» more  IMA 2007»
13 years 10 months ago
Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes
Non-linear cryptanalysis is a natural extension to Matsui’s linear cryptanalitic techniques in which linear approximations are replaced by nonlinear expressions. Non-linear appro...
Juan M. Estévez-Tapiador, John A. Clark, Ju...
FSTTCS
2009
Springer
13 years 11 months ago
Automata and temporal logic over arbitrary linear time
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
Julien Cristau