A Mathematical Basis for the Chaining of Lossy Interface Adapters

Despite providing similar functionality, multiple network services may require the use of different interfaces to access the functionality, and this problem will only get worse with the widespread deployment of ubiquitous computing environments. One way around this problem is to use interface adapters that adapt one interface into another. Chaining these adapters allows flexible interface adaptation with fewer adapters, but the loss incurred due to imperfect interface adaptation must be considered. This paper outlines a mathematical basis for analyzing the chaining of lossy interface adapters. We also show that the problem of finding an optimal interface adapter chain is NP-complete.Comment: 22 pages, 6 figure

Precisely Analyzing Loss in Interface Adapter Chains

Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain adaptations possible, we need a way to analyze how well the adaptation is done in case there are more than one chains that can be used. We introduce an approach to precisely analyzing the loss in an interface adapter chain using a simple form of abstract interpretation.Comment: 12 pages, 1 figure. Submitted to IASTED SE 201

Approachable Error Bounded Lossy Compression

Compression is commonly used in HPC applications to move and store data. Traditional lossless compression, however, does not provide adequate compression of floating point data often found in scientific codes. Recently, researchers and scientists have turned to lossy compression techniques that approximate the original data rather than reproduce it in order to achieve desired levels of compression. Typical lossy compressors do not bound the errors introduced into the data, leading to the development of error bounded lossy compressors (EBLC). These tools provide the desired levels of compression as mathematical guarantees on the errors introduced. However, the current state of EBLC leaves much to be desired. The existing EBLC all have different interfaces requiring codes to be changed to adopt new techniques; EBLC have many more configuration options than their predecessors, making them more difficult to use; and EBLC typically bound quantities like point wise errors rather than higher level metrics such as spectra, p-values, or test statistics that scientists typically use. My dissertation aims to provide a uniform interface to compression and to develop tools to allow application scientists to understand and apply EBLC. This dissertation proposal presents three groups of work: LibPressio, a standard interface for compression and analysis; FRaZ/LibPressio-Opt frameworks for the automated configuration of compressors using LibPressio; and work on tools for analyzing errors in particular domains

Development of Advanced Closed-Loop Brain Electrophysiology Systems for Freely Behaving Rodents

[ES] La electrofisiología extracelular es una técnica ampliamente usada en investigación neurocientífica, la cual estudia el funcionamiento del cerebro mediante la medición de campos eléctricos generados por la actividad neuronal. Esto se realiza a través de electrodos implantados en el cerebro y conectados a dispositivos electrónicos para amplificación y digitalización de las señales. De los muchos modelos animales usados en experimentación, las ratas y los ratones se encuentran entre las especies más comúnmente utilizadas. Actualmente, la experimentación electrofisiológica busca condiciones cada vez más complejas, limitadas por la tecnología de los dispositivos de adquisición. Dos aspectos son de particular interés: Realimentación de lazo cerrado y comportamiento en condiciones naturales. En esta tesis se presentan desarrollos con el objetivo de mejorar diferentes facetas de estos dos problemas. La realimentación en lazo cerrado se refiere a todas las técnicas en las que los estímulos son producidos en respuesta a un evento generado por el animal. La latencia debe ajustarse a las escalas temporales bajo estudio. Los sistemas modernos de adquisición presentan latencias en el orden de los 10ms. Sin embargo, para responder a eventos rápidos, como pueden ser los potenciales de acción, se requieren latencias por debajo de 1ms. Además, los algoritmos para detectar los eventos o generar los estímulos pueden ser complejos, integrando varias entradas de datos en tiempo real. Integrar el desarrollo de dichos algoritmos en las herramientas de adquisición forma parte del diseño experimental. Para estudiar comportamientos naturales, los animales deben ser capaces de moverse libremente en entornos emulando condiciones naturales. Experimentos de este tipo se ven dificultados por la naturaleza cableada de los sistemas de adquisición. Otras restricciones físicas, como el peso de los implantes o limitaciones en el consumo de energía, pueden también afectar a la duración de los experimentos, limitándola. La experimentación puede verse enriquecida cuando los datos electrofisiológicos se ven complementados con múltiples fuentes distintas. Por ejemplo, seguimiento de los animales o miscroscopía. Herramientas capaces de integrar datos independientemente de su origen abren la puerta a nuevas posibilidades. Los avances tecnológicos presentados abordan estas limitaciones. Se han diseñado dispositivos con latencias de lazo cerrado inferiores a 200us que permiten combinar cientos de canales electrofisiológicos con otras fuentes de datos, como vídeo o seguimiento. El software de control para estos dispositivos se ha diseñado manteniendo la flexibilidad como objetivo. Se han desarrollado interfaces y estándares de naturaleza abierta para incentivar el desarrollo de herramientas compatibles entre ellas. Para resolver los problemas de cableado se siguieron dos métodos distintos. Uno fue el desarrollo de headstages ligeros combinados con cables coaxiales ultra finos y conmutadores activos, gracias al seguimiento de animales. Este desarrollo permite reducir el esfuerzo impuesto a los animales, permitiendo espacios amplios y experimentos de larga duración, al tiempo que permite el uso de headstages con características avanzadas. Paralelamente se desarrolló un tipo diferente de headstage, con tecnología inalámbrica. Se creó un algoritmo de compresión digital especializado capaz de reducir el ancho de banda a menos del 65% de su tamaño original, ahorrando energía. Esta reducción permite baterías más ligeras y mayores tiempos de operación. El algoritmo fue diseñado para ser capaz de ser implementado en una gran variedad de dispositivos. Los desarrollos presentados abren la puerta a nuevas posibilidades experimentales para la neurociencia, combinando adquisición elextrofisiológica con estudios conductuales en condiciones naturales y estímulos complejos en tiempo real.[CA] L'electrofisiologia extracel·lular és una tècnica àmpliament utilitzada en la investigació neurocientífica, la qual permet estudiar el funcionament del cervell mitjançant el mesurament de camps elèctrics generats per l'activitat neuronal. Això es realitza a través d'elèctrodes implantats al cervell, connectats a dispositius electrònics per a l'amplificació i digitalització dels senyals. Dels molts models animals utilitzats en experimentació electrofisiològica, les rates i els ratolins es troben entre les espècies més utilitzades. Actualment, l'experimentació electrofisiològica busca condicions cada vegada més complexes, limitades per la tecnologia dels dispositius d'adquisició. Dos aspectes són d'especial interès: La realimentació de sistemes de llaç tancat i el comportament en condicions naturals. En aquesta tesi es presenten desenvolupaments amb l'objectiu de millorar diferents aspectes d'aquestos dos problemes. La realimentació de sistemes de llaç tancat es refereix a totes aquestes tècniques on els estímuls es produeixen en resposta a un esdeveniment generat per l'animal. La latència ha d'ajustar-se a les escales temporals sota estudi. Els sistemes moderns d'adquisició presenten latències en l'ordre dels 10ms. No obstant això, per a respondre a esdeveniments ràpids, com poden ser els potencials d'acció, es requereixen latències per davall de 1ms. A més a més, els algoritmes per a detectar els esdeveniments o generar els estímuls poden ser complexos, integrant varies entrades de dades a temps real. Integrar el desenvolupament d'aquests algoritmes en les eines d'adquisició forma part del disseny dels experiments. Per a estudiar comportaments naturals, els animals han de ser capaços de moure's lliurement en ambients emulant condicions naturals. Aquestos experiments es veuen limitats per la natura cablejada dels sistemes d'adquisició. Altres restriccions físiques, com el pes dels implants o el consum d'energia, poden també limitar la duració dels experiments. L'experimentació es pot enriquir quan les dades electrofisiològiques es complementen amb dades de múltiples fonts. Per exemple, el seguiment d'animals o microscòpia. Eines capaces d'integrar dades independentment del seu origen obrin la porta a noves possibilitats. Els avanços tecnològics presentats tracten aquestes limitacions. S'han dissenyat dispositius amb latències de llaç tancat inferiors a 200us que permeten combinar centenars de canals electrofisiològics amb altres fonts de dades, com vídeo o seguiment. El software de control per a aquests dispositius s'ha dissenyat mantenint la flexibilitat com a objectiu. S'han desenvolupat interfícies i estàndards de naturalesa oberta per a incentivar el desenvolupament d'eines compatibles entre elles. Per a resoldre els problemes de cablejat es van seguir dos mètodes diferents. Un va ser el desenvolupament de headstages lleugers combinats amb cables coaxials ultra fins i commutadors actius, gràcies al seguiment d'animals. Aquest desenvolupament permet reduir al mínim l'esforç imposat als animals, permetent espais amplis i experiments de llarga durada, al mateix temps que permet l'ús de headstages amb característiques avançades. Paral·lelament es va desenvolupar un tipus diferent de headstage, amb tecnologia sense fil. Es va crear un algorisme de compressió digital especialitzat capaç de reduir l'amplada de banda a menys del 65% de la seua grandària original, estalviant energia. Aquesta reducció permet bateries més lleugeres i majors temps d'operació. L'algorisme va ser dissenyat per a ser capaç de ser implementat a una gran varietat de dispositius. Els desenvolupaments presentats obrin la porta a noves possibilitats experimentals per a la neurociència, combinant l'adquisició electrofisiològica amb estudis conductuals en condicions naturals i estímuls complexos en temps real.[EN] Extracellular electrophysiology is a technique widely used in neuroscience research. It can offer insights on how the brain works by measuring the electrical fields generated by neural activity. This is done through electrodes implanted in the brain and connected to amplification and digitization electronic circuitry. Of the many animal models used in electrophysiology experimentation, rodents such as rats and mice are among the most popular species. Modern electrophysiology experiments seek increasingly complex conditions that are limited by acquisition hardware technology. Two particular aspects are of special interest: Closed-loop feedback and naturalistic behavior. In this thesis, we present developments aiming to improve on different facets of these two problems. Closed-loop feedback encompasses all techniques in which stimuli is produced in response of an event generated by the animal. Latency, the time between trigger event and stimuli generation, must adjust to the biological timescale being studied. While modern acquisition systems feature latencies in the order of 10ms, response to fast events such as high-frequency electrical transients created by neuronal activity require latencies under $1ms$. In addition, algorithms for triggering or generating closed-loop stimuli can be complex, integrating multiple inputs in real-time. Integration of algorithm development into acquisition tools becomes an important part of experiment design. For electrophysiology experiments featuring naturalistic behavior, animals must be able to move freely in ecologically meaningful environments, mimicking natural conditions. Experiments featuring elements such as large arenaa, environmental objects or the presence of another animals are, however, hindered by the wired nature of acquisition systems. Other physical constraints, such as implant weight or power restrictions can also affect experiment time, limiting their duration. Beyond the technical limits, complex experiments are enriched when electrophysiology data is integrated with multiple sources, for example animal tracking or brain microscopy. Tools allowing mixing data independently of the source open new experimental possibilities. The technological advances presented on this thesis addresses these topics. We have designed devices with closed-loop latencies under 200us while featuring high-bandwidth interfaces. These allow the simultaneous acquisition of hundreds of electrophysiological channels combined with other heterogeneous data sources, such as video or tracking. The control software for these devices was designed with flexibility in mind, allowing easy implementation of closed-loop algorithms. Open interface standards were created to encourage the development of interoperable tools for experimental data integration. To solve wiring issues in behavioral experiments, we followed two different approaches. One was the design of light headstages, coupled with ultra-thin coaxial cables and active commutator technology, making use of animal tracking. This allowed to reduce animal strain to a minimum allowing large arenas and prolonged experiments with advanced headstages. A different, wireless headstage was also developed. We created a digital compression algorithm specialized for neural electrophysiological signals able to reduce data bandwidth to less than 65.5% its original size without introducing distortions. Bandwidth has a large effect on power requirements. Thus, this reduction allows for lighter batteries and extended operational time. The algorithm is designed to be able to be implemented in a wide variety of devices, requiring low hardware resources and adding negligible power requirements to a system. Combined, the developments we present open new possibilities for neuroscience experiments combining electrophysiology acquisition with natural behaviors and complex, real-time, stimuli.The research described in this thesis was carried out at the Polytechnic University of Valencia (Universitat Politècnica de València), Valencia, Spain in an extremely close collaboration with the Neuroscience Institute - Spanish National Research Council - Miguel Hernández University (Instituto de Neurociencias - Consejo Superior de Investigaciones Cientí cas - Universidad Miguel Hernández), San Juan de Alicante, Spain. The projects described in chapters 3 and 4 were developed in collabo- ration with, and funded by, Open Ephys, Cambridge, MA, USA and OEPS - Eléctronica e produção, unipessoal lda, Algés, Portugal.Cuevas López, A. (2021). Development of Advanced Closed-Loop Brain Electrophysiology Systems for Freely Behaving Rodents [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/179718TESI

Contribution to the study of the vulnerability of critical systems to Intentional Electromagnetic Interference (IEMI)

The progress of high power electromagnetic (HPEM) sources during the late 1990s raised the concern in the electromagnetic compatibility (EMC) community that they could be deployed for criminal purposes to interfere with the operation of modern electronic systems. It is well established that sufficiently intense electromagnetic fields can cause upset or damage in electronic systems and therefore, can affect almost every critical infrastructure (CI) that is based on information and communication technologies (ICT). This field of study was initially known as electromagnetic terrorism, but was changed to the more encompassing term of intentional electromagnetic interference (IEMI). This thesis is a contribution to the assessment techniques of the vulnerability of CIs against IEMI. In order to quantify their impact, the electromagnetic environment created by IEMI sources needs to be characterized, the susceptible components and subsystems of the CIs should be identified, and the expected disturbances have to be evaluated. We present a qualitative methodology to carry out the so-called IEMI audit of a facility. Given the complexity of the problem, it was decided that the vulnerability of an infrastructure should be evaluated in a qualitative manner by regarding the consequences of interrupting the normal provision of a service, the probability of occurrence of an IEMI attack, and the preparedness of the infrastructure to withstand an attack. An updated survey and classification of potential IEMI sources that were collected from a large number of scientific publications is presented. The sources have been classified according to their electromagnetic environment, their transportability, technological development, and cost level. The expected disturbances due to a high frequency illumination of representative cabling systems inside an office were studied through measurements performed using a plastic raceway containing several types of cables found in commercial buildings. The tests revealed that at low and intermediate frequencies, low voltage power cables are more susceptible compared to telephone or network cables. At high frequencies, the coupling is dominated by connector apertures and discontinuities and load unbalance. The applicability of the TL theory in evaluating differential mode signals in two-wire lines floating above a ground plane was studied through comparisons with full-wave simulations. The results showed that the validity of the TL theory is conditioned upon an electrically short distance between the differential wires, regardless of the distances above the ground plane. TL theory is also used to assess the effect of conductive and dielectric losses in the dispersion of injected IEMI signals along power and communication cables as a function of the propagation length. A TL model of the low voltage power cabling of the plastic raceway was developed and in order to validate the models, the numerical results were compared against measurements obtained using frequency and time domain techniques. General considerations and guidelines for the application of the TL theory for evaluating the overall transfer impedance of complex cable assemblies are given. The obtained simulation results were found to be in good agreement with the experimental data up to frequencies of about 500 MHz. Finally, an improved model for estimating the transfer impedance of a two-layer braided shield is also proposed and validated using experimental data

Contributions to multimedia adaptation within the MPEG-21 framework

Tesis doctoral inédita. Universidad Autónoma de Madrid, Escuela Politécnica Superior, octubre de 201

The VPS ReplaySuite: development and evaluation of a novel, Internet based telepathology tool

The ReplaySuite is a web-based telepathology tool that replicates the doubleheaded microscope environment online, enabling a reviewing pathologist to ‘replay’ an archived virtual slide examination. Examination-tracking data obtained by the Virtual Pathology Slide (VPS) virtual slide viewer is exploited, allowing a remote pathologist to review an examination conducted at a different time and location. This removes temporal and spatial issues associated with double-headed microscopy. In order to conduct a preliminary evaluation of the technology, 9 pathologists used the ReplaySuite to review examination replays and diagnostic data from archived examinations of 10 needlecore breast biopsies. Diagnostically difficult cases were most frequently evaluated, either via diagnostic concordance graphs or examination replays, and all 3 participants who replayed more than 10 examinations stated the ReplaySuite to be of some or great benefit in pathology training and quality assurance. Of those who replayed an examination by another pathologist, 83% (5/6) agreed that replays provided an insight into the examining pathologists diagnosis, and 33% (2/6) reconsidered their own diagnosis for at least one case. Of those who reconsidered their original diagnosis, all reclassified either concordant with group consensus or original glass slide diagnosis. This study demonstrated that the ReplaySuite was of potential benefit in pathology education, however the technology required evaluation in a setting that would facilitate its impact on diagnostic performance. Accordingly, a redeveloped VPS and ReplaySuite were incorporated into the EQUALIS External Quality Assurance (EQA) study in chronic hepatitis staging and grading. During the study, 9 Swedish pathology departments examined and scored digital representations of liver needlecore biopsies during two sessions, with 10 cases per session and two digital slides per case. Between scoring sessions, participants were provided with access to two supplementary electronic resources: the ReplaySuite, and a library of pre-selected reference images. Comparison of concordance with gold standard (KVAST group) scoring before and after electronic resource use facilitated the elucidation of impact on diagnostic performance. Between scoring sessions, participant concordance with KVAST staging increased by 18% (49%-67%), while concordance with KVAST grading increased by 20% (34%-54%). Mean staging un-weighted kappa improved from 0.347 to 0.554 (+0.207), or from ‘fair’ to ‘moderate’ exact agreement with KVAST staging. Linear weighted staging kappa improved from 0.603 to 0.688 (+0.085), indicating close agreement in both sessions. Mean grading unweighted kappa increased from 0.132 to 0.412 (+0.280), or from a ‘poor’ to ‘moderate’ level o f exact agreement with KVAST, while linear weighted kappa improved from 0.328 to 0.624 (+0.295), or from ‘fair’ to ‘good’ level of approximate agreement with KVAST. Subsequent to the EQA scheme, an expert liver pathologist used the ReplaySuite to evaluate study examinations, assessing examination technique and identifying sources of error. Examinations scoring concordant with KVAST were observed to exhibit acceptable examination technique more frequently than discordantly scoring examinations. When grading, 28% (46% - 18%) more concordant than discordant examinations were considered to have viewed sufficient tissue, and at the appropriate magnification. A similar disparity of 24% (59% - 35%) was observed in staging, suggesting that examination technique was important both when determining the degree of necroinflammation within a biopsy, and when ascertaining the extent of fibrosis. In assessing sources of error, the expert pathologist identified a potential source in 50% of grading examinations, with misinterpretation of observed pathology cited in 19%, and missed pathology (oversight) cited in 31% of grading examinations. Of the 41% of staging examinations in which a source was identified, misinterpretation of observed pathology was cited in 20% of examinations, and missed pathology (oversight) in 21% of examinations. This study demonstrated that the use of supplementary electronic resources could result in improvements in diagnostic performance. It also illustrated the significant ‘add on’ value that could be provided by the ReplaySuite in EQA, by providing means to assess not only diagnostic concordance, but also diagnostic technique and identify sources of error. In order to assess Irish trainee pathologist’s perceptions of computer-assisted learning (CAL), a number of commercial systems were utilised to incorporate digital slides into a postgraduate seminar series, and provide subsequent access to seminar digital slides, diagnoses and expert annotations online. All surveyed trainees considered the use of digital slides and expert annotations of benefit in pathology training, and considered the potential implementation of expert examination replays, online self-assessment and the capability to search online for material by organ, diagnosis or pathological feature of benefit. The work described herein illustrates that both expert and trainee pathologists alike consider the use of supplementary electronic resources of benefit in pathology education, and demonstrates that their use can improve diagnostic performance. The ability to evaluate participation in EQA studies via the ReplaySuite provides significant additional value to education schemes, providing a depth of assessment not possible with conventional microscopy