#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1997

2015

- This year (0)
- Last 5 years (2)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Martin Berz, Jens Hoefkens
- Reliable Computing
- 2001

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)

- Dawei Yang, Donghui Song, +4 authors Stephan Neil Witt
- PloS one
- 2015

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)

- Jens Hoefkens, Martin Berz, Kyoko Makino
- Adv. Comput. Math.
- 2003

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)

- Jens Hoefkens, Martin Berz, Kyoko Makino
- Reliable Computing
- 2003

- Axel Schumacher, Tamas Rujan, Jens Hoefkens
- Applied & translational genomics
- 2014

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)

- Jens Hoefkens, Martin Berz
- Reliable Computing
- 2002

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)

- Martin Berz, Béla Erdélyi, Jens Hoefkens
- WebNet
- 1997

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
- ›