Jens Hoefkens

Learn More
A new method for computing verified enclosures of the inverses of given functions over large domains is presented. The approach is based on Taylor Model methods, and the sharpness of the enclosures scales with a high order of the domain. These methods have applications in the solution of implicit equations and the Taylor Model based integration of(More)
Chlamydomonas reinhardtii accumulates lipids under complete nutrient starvation conditions while overall growth in biomass stops. In order to better understand biochemical changes under nutrient deprivation that maintain production of algal biomass, we used a lipidomic assay for analyzing the temporal regulation of the composition of complex lipids in C.(More)
Ordinary differential equations (ODEs), including high-order implicit equations, describe important problems in mechanical and chemical engineering. However, the use of selfvalidated methods providing rigorous enclosures of the solution has mostly been limited to explicit and weakly nonlinear problems, and no general-purpose algorithm for the validated(More)
The integration and analysis of large datasets in translational research has become an increasingly challenging problem. We propose a collaborative approach to integrate established data management platforms with existing analytical systems to fill the hole in the value chain between data collection and data exploitation. Our proposal in particular ensures(More)
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algebraic equations (DAEs) related to the need to perform projections of certain constraint manifolds over large domains. The question of invertibility is reduced to a verified linear(More)
Within the framework of Taylor models, no fundamental difference exists between the antiderivation and the more standard elementary operations. Indeed, a Taylor model for the antiderivative of another Taylor model is straightforward to compute and trivially satisfies inclusion monotonicity. This observation leads to the possibility of treating implicit ODEs(More)
We summarize the main features of the Michigan State University M.Sc. and Ph.D. on-line degree programs in Beam Physics. We started offering Internet-based Beam Physics courses in the spring semester of 1997 [1]. Since then we extended our Web courses from the introductory graduate level Beam Physics to more advanced Beam Physics courses to a total of now(More)
The WebCOSY system is an interactive web-based homework and course management system that has been developed and used as part of VUBeam (Berz & Hoefkens, 2001), an Internet based remote Physics M.S. and Ph.D. program at Michigan State University. Besides supporting problems written within the system, it has the unique feature of also supporting processing(More)
  • 1