T. Feder, R. Motwani, C. Olston, R. Panigrahy
We consider the problem of estimating the length of a shortest path in a DAG whose edge lengths are known only approximately but can be determined exactly at a cost. We obtain both positive and...
Dichotomies for classes of homomorphism problems involving unary functions. (2004)
Feder, T., Madelaine, F. R., Stewart, I. A.
We study non-uniform constraint satisfaction problems where the underlying signature contains constant and function symbols as well as relation symbols. Amongst our results are the following. We...
Computing shortest paths with uncertainty (2003)
T. Feder, R. Motwani, C. Olston, R. Panigrahy
Abstract. We consider the problem of estimating the length of a shortest path in a DAG whose edge lengths are known only approximately but can be determined exactly at a cost. Initially, each edge e...
Computing shortest paths with uncertainty (2003)
T. Feder, R. Motwani, C. Olston Y, R. Panigrahy
Abstract. We consider the problem of estimating the length of a shortest path in a DAG whose edge lengths are known only approximately but can be determined exactly at a cost. Initially, each edge e...
Adamczyk, E., Gladkowski, J., Machnikowski, I., Mierzwinska, E., Spiechowicz, E., Feder, T., ...
Guided bone regeneration is developing very dynamically in dental surgery and in implantology. It relies on building up bone in places where it is lacking, utilizing a variety of grafting materials....
Comparison Between the Sonic- Sys System and Inlay in II Class (2002)
Feder, T., Mierzwinska-Nastalska, E., Adamczyk-Sosinska, E., Gladkowski, J., Siedlecki, M.
In everyday dental practice we often face the problem of class II restorations. Large caries create serious problems with regard to obtaining correct contact points, marginal fit (expecially in the...
Benefits of Relaxing Punctuality, (1997)
Alur, R., Feder, T., Henzinger, T. A.
The most natural, compositional way of modeling real time systems uses a dense domain for time. The satisfiability of real time constraints that are capable of expressing punctual it in this model...
Essential Reading: Theory of Timed and Hybrid Systems (1997)
R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, P. W. Kopke, ...
37, 1994. [HS91] J. Halpern and Y. Shoham. A propositional modal logic of time intervals. JACM, 1991. [LW93] K.G. Larsen and Ji Wang. Time abstracted bisimulation: implicit specification and...
Albersdörfer, A, Feder, T, Sackmann, E
We study the role of the interplay of specific and universal forces for the adhesion of giant vesicles on solid supported membranes. To model the situation of cell adhesion, we incorporated...
Albersdörfer, A, Feder, T, Sackmann, E
We study the role of the interplay of specific and universal forces for the adhesion of giant vesicles on solid supported membranes. To model the situation of cell adhesion, we incorporated...