SCD's future events
Lokaal 01.02, Aula van de Tweede Hoofdwet, Kasteelpark Arenberg 41, 3001 Heverlee, Belgium
Development of computational methods to detect copy number alterations in human genomes
- Prof. dr. ir. A. Bultheel, chairman
- Prof. dr. ir. Y. Moreau, promotor
- Prof. dr. ir. J. Vermeesch, co-promotor
- Prof. dr. ir. N. Buys
- Prof. dr. ir. B. De Moor
- Dr. ir. P. Van Loo
- Prof. dr. ir. O. C. Lingjaerde (Oslo university)
Aula van de Tweede Hoofdwet, 01.02, Kasteelpark Arenberg 41, 3001 Heverlee
14:30 - 15:15
room ESAT 00.62
The primal-dual augmented Lagrangian merit function provides a link between augmented Lagrangian and stabilized SQP methods. In this talk I discuss an algorithm that incorporates this merit function in a procedure that includes a direction of descent and a direction of negative curvature. The use of the direction of negative curvature allows global convergence to points satisfying the second-order necessary optimality conditions to be shown. Furthermore, it can be proven that asymptotically, the algorithm becomes equivalent to stabilized SQP and is, therefore, superlinearly convergent to a primal-dual solution under weak regularity assumptions.
15:30 - 16:15
room ESAT 00.62
Pranay Sinha, Transition Robotics Inc, California
This presentation summarizes the design and development process for the Quadshot, a novel aerial robotic platform with Vertical Take-Off and Landing (VTOL) capability. Highly dynamic maneuverability is achieved via a combination of differential thrust and aerodynamic surfaces (elevons). The relaxed stability, flying wing, tail-sitter configuration, Radio Controlled (RC) airframe is actively stabilized by onboard controllers in three complementary modes of operation, i.e. hover, horizontal flight and aerobatic flight. In hover mode the vehicle flies laterally, similar to a quadrotor helicopter, can maintain accurate position for aiming payload and land with pinpoint accuracy when equipped with a GPS unit. In horizontal and aerobatic modes it flies like an airplane to cover larger distances more rapidly and efficiently. The major optimization criterion for this vehicle was cost; the objective being to make it highly affordable for both researchers and hobbyists. In the absence of numerical optimization tools, expertise in their use and time constraints, design decisions were based primarily on qualitative and partially quantitative trade analyses. The resulting software, mechanical and electronic hardware design, control algorithms and aerodynamics associated with this airframe will be discussed. This presentation will also touch upon the feasibility of recreating such a design process assuming the availability of optimization tools such as SNOPT.
14:00 - 15:00
Aud. A - ESAT
We propose a new Authenticated Lightweight Encryption algorithm
coined ALE. The basic operation of ALE is the AES round
transformation and the AES-128 key schedule. ALE is an online
single-pass authenticated encryption algorithm that supports
optional associated data. Its security relies on using nonces. We
provide an optimized low-area implementation of ALE in ASIC hardware
and demonstrate that its area is about 2.5 kGE which is almost two
times smaller than that of the lightweight implementations for
AES-OCB and ASC-1 using the same lightweight AES engine. At the same
time, it is at least 2.5 times more performant than the alternatives
in their smallest implementations by requiring only about 4 AES
rounds to both encrypt and authenticate a 128-bit data block for
longer messages. When using the AES-NI instructions, ALE outperforms
AES-GCM, AES-CCM and ASC-1 by a considerable margin, providing a
throughput of 1.19 cpb close that of AES-OCB, which is a patented
scheme. Its area- and time-efficiency in hardware as well as high
performance in high-speed parallel software make ALE a promising
all-around AEAD primitive.
9:00 - 12:30
ESAT 00.24 - Mechanical Dept. 04.43
Course Summary: This course concentrates on recognizing and solving convex optimization problems
that arise in engineering, and covers the following topics:
- Convex sets, functions, and optimization problems.
- Optimality conditions, duality theory, theorems of alternative, and applications.
- Interior-point methods.
- Applications in engineering.
Course Schedule: 03/06/2013 - 07/06/2013, 9:00-12:30,
ESAT 00.24 (Aud.B) on Monday till Thursday
Mechanical Department 04.43 (Sem C) on Friday
Registration: For organizational reasons, please register on this doodle
For more detailed info you can look the course summary
14:00 - 18:00
10:30 - 18:00
Jozef Heutz Auditorium, Landbouwinstituut Hoofdgebouw, Kasteelpark Arenberg 20, 3001, Leuven
Signal Processing for Monitoring Cerebral Hemodynamics in Neonates
10:30 - 10:40: Registration and Welcome
10:40 - 11:00: Prof. Sabine Van Huffel and Prof. Gunnar Naulaers
Introduction to Neonatal Brain Monitoring: Why? How?
11:00 - 11:30: Ir. Hans De Clercq
Wearable Electronics for Signal Acquisition at the Neonatal Intensive Care Unit
11:30 - 12:00: Prof. Martin Wolf
How to Measure Oxygenation by Near Infrared Spectroscopy (NIRS)?
12:00 - 12:30: Dr. Ilias Tachtsidis
Non-Invasive In-Vivo Brain Biomarkers in Perinatal Hypoxia-Ischaemia
12:30 - 13:00: Prof. Frank van Bel
NIRS-monitored Cerebral Oxygenation: Clinical Application in the Neonate
13:00 - 14:00: Lunch Break
14:00 - 16:30: Alexander Caicedo
Signal Processing for Monitoring Cerebral Hemodynamics in Neonates -PhD Defense-
16:30 - 18:00: Reception
PhD was lead by:
- Prof. Dr. Sabine van Huffel
- Prof. Dr. Gunnar Naulaers
15:00 - 16:30
Thermotechnical Institute, Auditorium van de 2de hoofdwet
26th Simon Stevin Lecture on
Optimization in Engineering
"Algorithmic Optimization: new challenges in the old field"
Department of Mathematical Engineering, Université catholique de Louvain (UCL)
Center for Operations Research and Econometrics (CORE)
During the last decades, Optimization Theory was one of the most developing fields of Computational Mathematics. Now it consists of several powerful approaches, which can treat problems of very big size up to a high accuracy. In many cases, an intelligent use of problem structure allows to overcome the efficiency bounds of the standard optimization theory. At the same time, new randomized algorithms open a possibility of solving problems of practically unlimited dimension. Theoretical complexity analysis of optimization methods became a powerful tool for designing the new schemes, which are able to prove their superiority both in theory and in practical computations. Awareness of all these developments is important for people interested in different applications of optimization technique.
In this lecture, we describe the state of art in Convex Optimization. We start from discussion of general principles of complexity analysis and explain the key elements of classification of optimization problems and efficiency of optimization schemes.
Yurii Nesterov is professor at the Department of Mathematical Engineering at the Catholic University of Louvain (UCL).
He studied at the Moscow State
University where he obtained his master degree in 1977. He obtained
his PhD degree in Applied Mathematics at the Institute of Control
Sciences, Moscow, in 1984. Until 1992 he was researcher at the
Central Economical and Mathematical Institute of USSR Academy of
Sciences. In 1993 he became a professor at the Center for Operations
Research and Econometrics (CORE) at INMA, Université Catholique de
Louvain, where he is until today. Yurii Nesterov made important
contributions to many areas of optimization, in particular Black-Box
Convex Optimization, the theory of self-concordant functions and
Interior-Point Methods, General Nonlinear Optimization, Positive
polynomials and sums of squares, and approximate solutions of
combinatorial problems. Among his many honors, he received the "George
B. Dantzig prize" in 2000, which is awarded triennially by SIAM and
the Mathematical Optimization Society for research which by its
originality, breadth and scope has a major impact on the field of
mathematical optimization and he also got the "John von Neumann Theory Price" from INFORMS in 2009.
About the Lecture Series:
The "Simon Stevin Lecture Series on Optimization in Engineering" is set up in order to promote optimization in engineering. For this aim, every quarter of the year an outstanding international scholar is invited to report on latest progress in the development of optimization algorithms and their applications in engineering.
Simon Stevin (1548-1620) was a Flemish mathematician and engineer. Among other, he helped to advance the use of decimal fractions, was the first to explain the tides by the attraction of the moon, and discovered the hydrostatic paradox. He made numerous inventions, among them a wind propelled carriage with sails, the "land yacht", which once impressed Prince Maurice of Orange as it moved faster than horses, in around 1600 on the beach between Scheveningen and Petten. Simon Stevin was fond of promoting the use of science in daily life and in craftmanship, and translated various mathematical terms into dutch. Among other, he introduced the dutch word for mathematics, "wiskunde".
Third International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers (CrossFyre)
ESAT, Kasteelpark Arenberg 10, 3001 Leuven, Belgium
CrossFyre 2013 is a 1 ˝ day event that will take place from June 20th to June 21th, 2013 in Leuven, Belgium. The program will be announced shortly. You are kindly invited to attend and give a short presentation of your research topic to your fellow participants.The main purpose of this workshop is to bring female researchers in the field of Cryptography and Information Security together to promote their research topics and their careers as women in engineering. We hope to encourage a tighter cooperation between women in Cryptography and Information Security, and to motivate joint papers.
Though the workshop is primarily aimed at female researchers, male researchers are also invited to take part. We also welcome undergraduate students to this workshop and strongly encourage supervisors to support participation, be it passive (mainly listening) or active (all students are encouraged to submit abstracts and give talks during the workshop).
Download the PDF to see the Call for Papers.
The summer school on Design and Security of Cryptographic Functions, Algorithms and Devices will take place in Albena (Bulgaria) from 30 June - 5 July 2013
The summer school is jointly organized by COSIC, KU Leuven; Incidence Geometry Group, UGent; ETRO, VUB and the Institute of Mathematics and Informatics, Bulgarian Academy of Sciences.
The school aims at bringing together PhD students, postdoc researchers and security experts from industry interested in the following topics:
- Boolean functions
- Block ciphers
- Hash functions
- Differential and linear cryptanalysis
- Implementation attacks
- Fault injection attacks
- Leakage-resilient cryptography
- White-box cryptography
- Security of embedded systems
The school will be organized as follows:
- 3 days of introductory lectures, including a half day with presentations by the participants in the school.
- 2 days parallel sessions with more advanced lectures on (1) Design and Cryptanalysis of SK algorithms and (2) HW/SW Security
Auditorium of the Arenberg castle
International workshop on advances in Regularization, Optimization, Kernel methods and Support vector machines: theory and applications
July 8-10, 2013, Leuven, Belgium
One area of high impact both in theory and applications is kernel methods and support vector machines. Optimization problems, learning and representations of models are key ingredients in these methods. On the other hand considerable progress has also been made on regularization of parametric models, including methods for compressed sensing and sparsity, where convex optimization plays a prominent role. The aim of ROKS-2013 is to provide a multi-disciplinary forum where researchers of different communities can meet, to find new synergies along these areas, both at the level of theory and applications.
The scope includes but is not limited to:
- Regularization: L2, L1, Lp, lasso, group lasso, elastic net, spectral regularization, nuclear norm, others
- Support vector machines, least squares support vector machines, kernel methods, gaussian processes and graphical models
- Lagrange duality, Fenchel duality, estimation in Hilbert spaces, reproducing kernel Hilbert spaces, Banach spaces, operator splitting
- Optimization formulations, optimization algorithms
- Supervised, unsupervised, semi-supervised learning, inductive and transductive learning
- Multi-task learning, multiple kernel learning, choice of kernel functions, manifold learning
- Prior knowledge incorporation
- Approximation theory, learning theory, statistics
- Matrix and tensor completion, learning with tensors
- Feature selection, structure detection, regularization paths, model selection
- Sparsity and interpretability
- On-line learning and optimization
- Applications in machine learning, computational intelligence, pattern analysis, system identification, signal processing, networks, datamining, others
Francis Bach, INRIA
Stephen Boyd, Stanford University
Martin Jaggi, Ecole Polytechnique Paris
James Kwok, Hong Kong University of Science and Technology
Yurii Nesterov, Catholic University of Louvain UCL
Massimiliano Pontil, University College London
Justin Romberg, Georgia Tech
Bernhard Schoelkopf, Max Planck Institute Tuebingen
John Shawe-Taylor, University College London
Joel Tropp, California Institute of Technology
Ding-Xuan Zhou, City University of Hong Kong
CALL FOR ABSTRACTS
The ROKS-2013 program will feature invited plenary talks, oral sessions and poster sessions. Interested participants are cordially invited to submit an extended abstract (max. 2 pages) for their contribution. After the workshop a number of selected contributions will be invited for an edited book.
For further information see http://www.esat.kuleuven.be/sista/ROKS2013 .
- Deadline extended abstract submission: March 4, 2013
- Notification of acceptance: April 8, 2013
- Deadline for registration: June 3, 2013
- International Workshop ROKS-2013: July 8-10, 2013
Chair: Johan Suykens (KU Leuven)
Andreas Argyriou (Ecole Centrale Paris), Kris De Brabanter (KU Leuven), Moritz Diehl (KU Leuven), Kristiaan Pelckmans (Uppsala University), Marco Signoretto (KU Leuven), Vanya Van Belle (KU Leuven), Joos Vandewalle (KU Leuven)
Co-sponsored by ERC Advanced Grant
14:00 - 17:00
The next WG3 meeting will present results from:
- Edwin Reynders
Also WG3 will start the book reading of the book by Tarantola: Inverse Problem Theory and Model Parameter Estimation, which is freelyavailable from the website of the author:
Feel free to join and read the first chapter by September 9!
The final schedule will be given later.
Berlin, September 10-11, 2013