Cryptographic Boolean Functions with R von Lafitte, Frédéric, Heule, Dirk,Van, hamme, Julien,Van

Volltext

THE QUASI-NEWTON LEAST SQUARES METHOD: A NEW AND FAST SECANT METHOD ANALYZED FOR LINEAR SYSTEMS von HAELTERMAN, ROB, DEGROOTE, JORIS, VAN HEULE, DIRK, VIERENDEELS, JAN

Volltext

ON THE SIMILARITIES BETWEEN THE QUASI-NEWTON INVERSE LEAST SQUARES METHOD AND GMRES von HAELTERMAN, ROB, DEGROOTE, JORIS, VAN HEULE, DIRK, VIERENDEELS, JAN

Volltext

SAT based analysis of LTE stream cipher ZUC von Lafitte, Frédéric, Markowitch, Olivier, Van Heule, Dirk

Volltext

Optimization of the Runge-Kutta iteration with residual smoothing von Haelterman, Robby, Vierendeels, Jan, Van Heule, Dirk

Volltext

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages von Lafitte, Frédéric, Nakahara, Jorge, Van Heule, Dirk

Volltext

THE QUASI-NEWTON LEAST SQUARES METHOD: A NEW AND FAST SECANT METHOD ANALYZED FOR LINEAR SYSTEMS von HAELTERMAN, Rob, DEGROOTE, Joris, VAN HEULE, Dirk, VIERENDEELS, Jan

Volltext

Multi-stage solvers optimized for damping and propagation von Haelterman, Rob, Vierendeels, Jan, Van Heule, Dirk, De Ridder, Steve, Bruyninckx, Helena

Volltext

Towards a 'European' scheme for temporary unemployment for the self-employed von Schoukens, Paul, De Becker, Eleni, Pieters, Danny

Volltext bestellen

The non-definedness notion in expert systems von Van Heule, Dirk, Hoogewijs, Albert, Slaats, Noemie

Volltext

Automated reasoning with ordinary assertions and default assumptions von Van Heule, D., Hoogewijs, A.

Volltext