Entrevista com Ismail Xavier

Estudio experimental de la efectividad de la entrevista abierta frente a la entrevista independiente de contexto

Resumen. OBJETIVO: Estudiar la efectividad relativa de las técnicas de entrevista abierta y entrevista independiente de contexto en la identificación de requisitos para sistemas software. MÉTODO: Experimento controlado ensayando dos factores: “tipo de entrevista” (abierta e independiente de contexto) y “tipo de problema” (identificación de requisitos para dos sistemas software distintos). Debid...

Femtocell Networks Ismail Guvenc

Femtocells are small cellular base stations that may be deployed in residential, enterprise, or outdoor areas. They utilize the available broadband connections of the users (e.g., cable or DSL) and typically have a coverage radius on the order of ten meters or more. Due to their various advantages, recently there has been a growing interest in femtocell networks both in academia and in industry...

Xavier Daura 2 , Alan

30epartment of Biophysical Chemistry, University of Groningen, Nijenborgh 4 9747 AG, Groningen, The Netherlands A principal component analysis has been applied on equilibrium simulations of a p-heptapeptide that shows reversibIe folding in a methanol solution. The analysis shows that the configurational space contains only three dense sub-states. These states of relatively low tree energy corre...

Lessons learned from Xavier

Mathematical Logic Xavier

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowsk...