We present spectroscopic follow-up observations of galaxies from the Munich Near-Infrared Cluster Survey (MUNICS). MUNICS is a wide-field medium-deep K 0-band-selected survey covering 1 deg2 in the near-infrared K 0 and J passbands, and 0.35 deg2 in I , R, V , and, recently completed, B. The spectroscopic sample comprises observations of objects down to a limit of K 0 17:5 in five survey fields...

The year 2000 problem posed a difficult problem for many IT shops world wide. The most difficult part of the problem was not the actual changes to ensure compliance, but finding and classifying the data fields that represent dates. This is a problem well suited to design recovery. This paper presents an overview of LS/2000, a system that used design recovery to analyze source code for year 2000...

c 0000 American Mathematical Society 1052-1798/00 $1.00 + $.25 per page . We present a method for visualising and quantifying the relationship between a pair of gene and species trees that constructs a third tree termed the reconciled tree. Given a gene tree and a species tree the reconciled tree represents the history of the gene tree embedded within the species tree. The reconciled tree is co...

It is proved that all groups of finite U -rank that have the descending chain condition on definable subgroups are totally transcendental. A corollary is that any stable group that is definable in an o-minimal structure is totally transcendental of finite Morley rank. Motivation for this paper is a problem concerning stable groups definable in ominimal structures. One theorem is that any defina...

More than 70 international conference participants attended the workshop on Monday 12th Sept 2005. During that afternoon session, the short lectures of several research groups were presented as listed below. As there was no time left for the discussion on Monday, this was postponed to Tuesday afternoon, 13th Sept 2005. During 70 minutes the points listed below were discussed by more than 30 con...

There is a wide consensus by the research community and the industry that it will not be possible to satisfy future mobile traffic demand and applications’ requirements by simply evolving the current 4G architecture. Instead, there is the need for a considerable revision of the mobile network system: such an effort is commonly referred to as the future “5G architecture”, and large-scale initiat...

This paper shows that income shocks to rural households have permanent effects on the educational attainment of 7-15 year old children within the household. Using a 13 year panel survey of households in rural Tanzania, I find that idiosyncratic crop shocks such as pests, theft and fire cause changes in the distribution of schooling among children within the household that persist 10-13 years af...

Resat Yilmazer 1, Mustafa Inc 1,*, Fairouz Tchier 2 and Dumitru Baleanu 3,4 1 Department of Mathematics, Science Faculty, Fırat University, Elazığ 23119, Turkey; rstyilmazer@gmail.com 2 Department of Mathematics, King Saud University, P.O. Box 22452, Riyadh 11495, Saudi Arabia; ftchier@ksu.edu.sa 3 Department of Mathematics and Computer Science, Çankaya University, Ankara 06530, Turkey; dumitru...

Proving the equivalence of successive, closely related versions of a program has the potential of being easier in practice than functional verification, although both problems are undecidable. There are three main reasons for this claim: 1) it circumvents the problem of specifying what the program should do, 2) the problem can be naturally decomposed and hence is computationally easier, and 3) ...

Anewmethod that combines radar reflectivities from individualNextGenerationWeatherRadars (NEXRAD) into a three-dimensional composite with high horizontal and vertical resolution is used to estimate storm-top altitudes for the continental United States east of the RockyMountains. Echo-top altitudes are compared with the altitude of the lapse-rate tropopause calculated from the ERA-Interim reanal...