The integration of CSCL tools inside larger platforms like Virtual Campuses is often impossible. To overcome this problem, our general assumption is that they need a common theoretical framework for their design. In this context and turning our interest into the Activity Theory, we aim at providing new systems foundations supporting large varieties of learning modes, trying to capture the contr...

Algebraic Riccati equations (discrete-time or continuous-time) play a fundamental role in many problems in control theory. They arise in linear-quadratic regulator problems, H ∞ or H 2-control, model reduction problems and many others. In this talk we propose numerical methods for large discrete-time algebraic Riccati equations (DARE). We present block projection methods that allow us to comput...

Modern optimal control techniques such as H2 and H1 control rely on the solution of algebraic Riccati equations for controller synthesis. Reliable numerical techniques for numerical computation of the solution of these equations have been proposed using eigenvector or Schur decompositions of Hamiltonian matrices for continuous-time algebraic Riccati equations (CARE), or symplectic matrices for ...

As digital data is growing uncontrollably, the need for data reduction has become an important task in storage systems. For large scale data reduction, it is important to maximally detect and eliminate redundancy at low overheads. Data deduplication is a data reduction technique that reduces storage space by eliminating redundant data and only one instance of the data is retained on storage med...

Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that the program satisfies its specification. The amount of guidance required is often called the annotation overhead. This can be high and is often seen as a hindrance for wider use of program verifiers, as development time...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...