Mejoras en el cliente WFS de gvSIG

Web Feature Service (WFS) es un estándar OGC que permite consultar y recuperar datos vectoriales y la información alfanumérica ligada a los mismos. Al contrario que el WMS que ha alcanzado una gran difusión, son pocos los ejemplos reales de uso de WFS para servir información geográfica. Esta situación es debida probablemente a una serie de problemas no resueltos a la hora de implementar en los diversos clientes SIG dicho estándar. La especificación de WFS necesitaría disponer de un mecanismo de paginación, consistente en poder pedirle al servidor un determinado número de fenómenos a partir de una posición dada. Esta funcionalidad, simplificaría considerablemente la creación de una “caché vectorial” de fenómenos. Actualmente la mayor parte de los clientes SIG hacen un uso muy simple del protocolo WFS, que se limita a realizar peticiones para un área determinada. Del mismo modo gvSIG no dispone de ninguna “caché de fenómenos”, que no es más que un servicio que sirve para almacenar temporalmente algunos fenómenos que ya han sido recuperados mediante una conexión WFS (o en general, mediante cualquier origen de datos vectorial). Frente a esto se planteó la mejora de el acceso a WFS para las próximas versiones de gvSIG, de modo que la aplicación fuera capaz de gestionar una caché de fenómenos de manera que se fuera completando con las diferentes peticiones hechas por las consultas WFS. Cuando un cliente hace una primera consulta WFS la cach se debería rellenar con la información devuelta por el servidor. Al cambiar el extent de gvSIG, lo primero que se tendría que hacer es consultar con la caché si ésta contiene la nueva área. Si la contiene, la caché devolvería los fenómenos y si no la contiene se encargaría de hacer la petición al servidor pero únicamente incluyendo la parte de área cuyos fenómenos no estén cacheados. Se presenta dicho desarrollo que permitirá optimizar el acceso al servicio WFS

gvSIG Mini y Phone Cache

gvSIG Mini es una aplicación open-source de usuario final cliente móvil de Infraestructura de Datos Espaciales IDEs con licencia GNU/ GPL, diseñada para teléfonos móviles Java y Android que permite la visualización y navegación sobre cartografía digital estructurada en tiles procedente de servicios web OGC como WMS(-C) y de servicios como OpenStreetMap (OSM), Yahoo Maps, Maps Bing, así como el almacenamiento en caché para reducir al mínimo el ancho de banda. gvSIG Mini puede acceder a servicios geoespaciales como NameFinder, para la búsqueda de puntos de interés y YOURS (Yet Another OpenStreetMap Routing Service) para el cálculo de rutas y la renderización de la información vectorial el lado del cliente. Por otra parte, gvSIG Mini también ofrece servicio de localización GPS. La versión de gvSIG Mini para Android, posee algunas características adicionales como son el soporte de localización Android o el uso del lacelerómetro para centrado. Esta versión también hace uso de servicios como son la predicción del tiempo o TweetMe que permite compartir una localización utilizando el popular servicio social Twitter. gvSIG Mini es una aplicación que puede ser descargada y usada libremente, convirtiéndose en una plataforma para el desarrollo de nuevas soluciones y aplicaciones en el campo de Location Based Services (LBS). gvSIG Mini ha sido desarrollado por Prodevelop, S.L. No es un proyecto oficial de gvSIG, pero se une a la familia a través del catálogo de extensiones no oficiales de gvSIG. Phone Cache es una extensión que funciona sobre gvSIG 1.1.2 que permite generar una caché, para poder utilizar gvSIG Mini para Java en modo desconectado

Solución de alto rendimiento para el Geoportal de Turismo de la Comunidad Valenciana

La Agència Valenciana de Turisme ha emprendido el proyecto de actualización de la web de promoción de la Comunidad Valenciana, el portal http://www.comunitatvalenciana.com. Este portal es una referencia internacional para todos los visitantes de la Comunidad Valenciana y por tanto un proyecto clave en su promoción turística. En esta ponencia se presentará la elaboración de un geoportal turístico atractivo y preparado para soportar un número elevado de visitas. En el contexto del proyecto se han abordado problemas como la visualización de información vectorial (puntos de interés) en un elevado número mediante la técnica de agregación o clustering. Por otro lado dicha información vectorial se procesa de tal forma que el visitante de la web obtiene un rendimiento en los tiempos de respuesta bastante elevado gracias al uso de técnicas de multirresolución en el visor web. La información de partida se migra a una base de datos espacial libre y se procesa para generar archivos en formato JSON. Por otro lado, el geoportal ofrece un flexible motor de búsquedas, preparado igualmente para soportar una carga elevada de peticiones mediante el uso de la indexación con el soporte para consultas espaciales. Este motor de búsquedas igualmente se ha preparado para utilizarse como servidor para ofrecer toda la información del portal a través de Layar, un servicio de realidad aumentada para móviles. Este servicio está completamente basado en componentes libres como el framework Spring o el soporte de búsquedas Lucene. Se presentará por tanto cómo se ha abordado la realización de una solución completa de presentación de información de un portal turístico de exigencias de rendimiento elevadas, centrando la atención en los componentes del servidor, todos ellos basados en software libre

Novedades de gvSIG Mini: acceso a datos vectoriales y servicios de POIs

gvSIG Mini es un visor de mapas teselados con soporte a capas de OSM, WMS, WMS-C, TMS, otros servidores de mapas, rutas, localización, etc. Las nuevas funcionalidades de gvSIG Mini incluyen la creación de un API vectorial que permita acceder a datos vectoriales de ficheros locales y de servicios públicos que ofrecen información de puntos de interés. Se ha desarrollado un API vectorial para Android que permite cargar y visualizar capas de puntos, líneas y polígonos sobre gvSIG Mini, soporte para selección de geometrías y visualización de información alfanúmerica. Este API permite cargar en gvSIG Mini archivos GPX, KML y GML almacenados en el propio dispositivo móvil. Por otra parte, debido al carácter casual de los usuarios de gvSIG Mini y gracias al nuevo API vectorial se ha conseguido soportar la información que ofrecen algunos servidores públicos de puntos de interés, como: Nominatim, Cloudmade, MapQuest, Geonames... e información proveniente de servicios de redes sociales como: Flickr, Twitter, Buzz, Foursquare, etc. Para ello se ha desarrollado un servicio que sirve de intermediario entre gvSIG Mini y esos servicios de puntos de interés, que homogeniza las peticiones y el tipo de respuesta de cada uno de ellos. Las nuevas funcionalidades de gvSIG Mini permiten cargar, visualizar y consultar gran cantidad de información vectorial de utilidad para usuarios profesionales, ya que pueden acceder a información almacenada en archivos vectoriales estándar (GPX, KML, GML) e información de redes sociales y puntos de interés más adecuada para uso casual o turismo

Visualitzation and processing of diffusion tensor MRI

Diffusion Tensor Imaging (DTI) is a new magnetic resonance imaging modality capable of producing quantitative maps of microscopic natural displacements of water molecules that occur in brain tissues as part of the physical diffusion process. This technique has become a powerful tool in the investigation of brain structure and function because it allows for in vivo measurements of white matter fiber orientation. The application of DTI in clinical practice requires specialized processing and visualization techniques to extract and represent acquired information in a comprehensible manner. Tracking techniques are used to infer patterns of continuity in the brain by following in a step-wise mode the path of a set of particles dropped into a vector field. In this way, white matter fiber maps can be obtained.

Proteomic analysis of plasma membrane vesicles isolated from the rat renal cortex

Polarized epithelial cells are responsible for the vectorial transport of solutes and have a key role in maintaining body fluid and electrolyte homeostasis. Such cells contain structurally and functionally distinct plasma membrane domains. Brush border and basolateral membranes of renal and intestinal epithelial cells can be separated using a number of different separation techniques, which allow their different transport functions and receptor expressions to be studied. In this communication, we report a proteomic analysis of these two membrane segments, apical and basolateral, obtained from the rat renal cortex isolated by two different methods: differential centrifugation and free-flow electrophoresis. The study was aimed at assessing the nature of the major proteins isolated by these two separation techniques. Two analytical strategies were used: separation by sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE) at the protein level or by cation-exchange high-performance liquid chromatography (HPLC) after proteolysis (i.e., at the peptide level). Proteolytic peptides derived from the proteins present in gel pieces or from HPLC fractions after proteolysis were sequenced by on-line liquid chromatography-tandem mass spectrometry (LC-MS/MS). Several hundred proteins were identified in each membrane section. In addition to proteins known to be located at the apical and basolateral membranes, several novel proteins were also identified. In particular, a number of proteins with putative roles in signal transduction were identified in both membranes. To our knowledge, this is the first reported study to try and characterize the membrane proteome of polarized epithelial cells and to provide a data set of the most abundant proteins present in renal proximal tubule cell membranes.

Combined affinity labelling and mass spectrometry analysis of differential cell surface protein expression in normal and prostate cancer cells

Differences in the expression of cell surface proteins between a normal prostate epithelial (1542-NP2TX) and a prostate cancer cell line (1542-CP3TX) derived from the same patient were investigated. A combination of affinity chromatographic purification of biotin-tagged surface proteins with mass spectrometry analysis identified 26 integral membrane proteins and 14 peripheral surface proteins. The findings confirm earlier reports of altered expression in prostate cancer for several cell surface proteins, including ALCAM/CD166, the Ephrin type A receptor, EGFR and the prostaglandin F2 receptor regulatory protein. In addition, several novel findings of differential expression were made, including the voltage-dependent anion selective channel proteins Porin 1 and 2, ecto-5'-nucleotidase (CD73) and Scavenger receptor B1. Cell surface protein expression changed both qualitatively and quantitatively when the cells were grown in the presence of either or both interferon INFalpha and INFgamma. Costimulation with type I and II interferons had additive or synergistic effects on the membrane density of several, mainly peripherally attached surface proteins. Concerted upregulation of surface exposed antigens may be of benefit in immuno-adjuvant-based treatment of interferon-responsive prostate cancer. In conclusion, this study demonstrates that differences in the expression of membrane proteins between normal and prostate cancer cells are reproducibly detectable following vectorial labelling with biotin, and that detailed analysis of extracellular-induced surface changes can be achieved by combining surface-specific labelling with high-resolution two-dimensional gel electrophoresis and mass spectrometry.

Proteomic analysis of plasma membrane vesicles isolated from the rat renal cortex

Polarized epithelial cells are responsible for the vectorial transport of solutes and have a key role in maintaining body fluid and electrolyte homeostasis. Such cells contain structurally and functionally distinct plasma membrane domains. Brush border and basolateral membranes of renal and intestinal epithelial cells can be separated using a number of different separation techniques, which allow their different transport functions and receptor expressions to be studied. In this communication, we report a proteomic analysis of these two membrane segments, apical and basolateral, obtained from the rat renal cortex isolated by two different methods: differential centrifugation and free-flow electrophoresis. The study was aimed at assessing the nature of the major proteins isolated by these two separation techniques. Two analytical strategies were used: separation by sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE) at the protein level or by cation-exchange high-performance liquid chromatography (HPLC) after proteolysis (i.e., at the peptide level). Proteolytic peptides derived from the proteins present in gel pieces or from HPLC fractions after proteolysis were sequenced by on-line liquid chromatography-tandem mass spectrometry (LC-MS/MS). Several hundred proteins were identified in each membrane section. In addition to proteins known to be located at the apical and basolateral membranes, several novel proteins were also identified. In particular, a number of proteins with putative roles in signal transduction were identified in both membranes. To our knowledge, this is the first reported study to try and characterize the membrane proteome of polarized epithelial cells and to provide a data set of the most abundant proteins present in renal proximal tubule cell membranes.

Combined affinity labelling and mass spectrometry analysis of differential cell surface protein expression in normal and prostate cancer cells

Differences in the expression of cell surface proteins between a normal prostate epithelial (1542-NP2TX) and a prostate cancer cell line (1542-CP3TX) derived from the same patient were investigated. A combination of affinity chromatographic purification of biotin-tagged surface proteins with mass spectrometry analysis identified 26 integral membrane proteins and 14 peripheral surface proteins. The findings confirm earlier reports of altered expression in prostate cancer for several cell surface proteins, including ALCAM/CD166, the Ephrin type A receptor, EGFR and the prostaglandin F2 receptor regulatory protein. In addition, several novel findings of differential expression were made, including the voltage-dependent anion selective channel proteins Porin 1 and 2, ecto-5'-nucleotidase (CD73) and Scavenger receptor B1. Cell surface protein expression changed both qualitatively and quantitatively when the cells were grown in the presence of either or both interferon INF alpha and INF gamma. Costimulation with type I and II interferons had additive or synergistic effects on the membrane density of several, mainly peripherally attached surface proteins. Concerted upregulation of surface exposed antigens may be of benefit in immuno-adjuvant-based treatment of interferon-responsive prostate cancer. In conclusion, this study demonstrates that differences in the expression of membrane proteins between normal and prostate cancer cells are reproducibly detectable following vectorial labelling with biotin, and that detailed analysis of extracellular-induced surface changes can be achieved by combining surface-specific labelling with high-resolution two-dimensional gel electrophoresis and mass spectrometry.

Quantification of boundary definition using pulsed terahertz radiation for wedged geometries

The interaction of a terahertz beam with a sample containing a material boundary across the profile of the terahertz beam produces characteristic spectroscopic detail. A full vectorial model is presented to quantify boundary definition for a series of wedged geometries. As a result of this work, using simple geometric forms, we wish to be able to extend these ideas to characterize boundaries in more irregular samples, impacting most application areas of pulsed terahertz radiation.

On the structure of infinity-harmonic maps

Let H ∈ C 2(ℝ N×n ), H ≥ 0. The PDE system arises as the Euler-Lagrange PDE of vectorial variational problems for the functional E ∞(u, Ω) = ‖H(Du)‖ L ∞(Ω) defined on maps u: Ω ⊆ ℝ n → ℝ N . (1) first appeared in the author's recent work. The scalar case though has a long history initiated by Aronsson. Herein we study the solutions of (1) with emphasis on the case of n = 2 ≤ N with H the Euclidean norm on ℝ N×n , which we call the “∞-Laplacian”. By establishing a rigidity theorem for rank-one maps of independent interest, we analyse a phenomenon of separation of the solutions to phases with qualitatively different behaviour. As a corollary, we extend to N ≥ 2 the Aronsson-Evans-Yu theorem regarding non existence of zeros of |Du| and prove a maximum principle. We further characterise all H for which (1) is elliptic and also study the initial value problem for the ODE system arising for n = 1 but with H(·, u, u′) depending on all the arguments.

Density and survival rate of Culex quinquefasciatus at Parque Ecologico do Tiete, Sao Paulo, Brazil

Parity rate, gonotrophic cycle length, and density of a Culex quinquefasciatus female population was estimated at the Parque Ecologico do Tiete (PET), Sao Paulo, Brazil. Adult Cx. quinquefasciatus females were collected from vegetation along the edges of a polluted drainage canal with the use of a battery-powered backpack aspirator from September to November 2005 and from February to April 2006. We examined 255 Cx. quinquefasciatus ovaries to establish the parity rate of 0.22 and determined the gonotrophic cycle length under laboratory conditions to be 3 and 4 days. From these data, we calculated the Cx. quinquefasciatus survival rate to be 0.60 and 0.68 per day. Density of the Cx. quinquefasciatus female (5.71 females per m(2)) was estimated based on a population size of 28,810 individuals divided by the sampled area of 5,040 m(2). Results of all experiments indicate medium survivorship and high density of the Cx. quinquefasciatus female population. This species is epidemiologically relevant in the PET area and should be a target of the vector control program of Sao Paulo municipality.

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ""radio-hybrid"" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request. (C) 2011 Elsevier B.V. All rights reserved.

Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída

O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.

Ultradistribuições exponenciais

O propósito principal desta tese é a extensão do espaço S′ (IR) das distribuições temperadas de Schwartz, usando o mesmo método de dualidade utilizado por Laurent Schwartz na sua Teoria das Distribuições (ver [Sch66]). Neste sentido, construímos um espaço de ultradistribuições exponenciais, X′, que é fechado para os operadores de derivação, translação complexa e transformação de Fourier. Para além destes operadores serem lineares e contínuos de X′ em X′, a translação complexa e a transformação de Fourier definem um isomorfismo vectorial e topológico neste espaço de ultradistribuições o que, como sabemos, generaliza o belo resultado de Schwartz para as distribuições temperadas. Estudamos as propriedades topológicas de X′ e demonstramos que o espaço S′ (IR) está contido com injecção canónica contínua e densa no nosso espaço de ultradistribuições exponenciais. A construção do espaço X′ baseia-se na estruturação de um espaço de funções teste X, que se injecta canónica, contínua e densamente em S (IR) . Este espaço X é um limite projectivo maximal de um espectro projectivo, constituído por espaços localmente convexos; definimos X′ como sendo o dual forte de X. Por fim, identificamos algumas ultradistribuições de X′, obtemos algumas séries de multipolos convergentes neste espaço e vemos que estas séries têm grande aplicabilidade na resolução de equações diferenciais ordinárias.