Miracle-dz/UniFAR-FTUs huggingface dataset:
Development and application of proteomics as aid for unraveling smoke-induced COPD

De doelstelling van dit proefschrift was om potentiele biomarkers voor Chronic Obstructive Pulmonary Disease (COPD) te identificeren met behulp van een proteomics benadering. Om de allereerste processen bij het ontstaan van COPD te identificeren, hebben we niet alleen oudere personen met een aangetoond COPD vergeleken met gezonde leeftijdsgenoten, maar ook jongere personen die nog geen COPD hebben, maar het mogelijk wel kunnen ontwikkelen op latere leeftijd. Voordat wij onze proefpersonen blootstelden aan het roken van 3 sigaretten hebben wij voorbereidend onderzoek gedaan naar de haalbaarheid van proteomics analyse in de vloeistoffilm die de luchtwegen bedekt (de zogenaamde Epithelial Lining Fluid of ELF). Daarbij hebben we aandacht geschonken aan zowel de bemonstering als proteomics analyse. Met behulp van chemische stable isotope labeling (iTRAQ®-8Plex) werden significante verschillen in de aanwezigheid van vier eiwitten aangetoond tussen ELF van COPD-patienten en gezonde controles. Al deze eiwitten spelen een rol bij twee belangrijke processen die bijdragen aan het ontstaan van COPD, namelijk ontsteking en oxidatieve stress. Zoals eerder aangegeven vormt roken (in de westerse wereld) de belangrijkste risicofactor voor COPD, terwijl slechts een gedeelte van de rokers COPD ontwikkelt. De genetische predispositie was voor ons de directe aanleiding van het onderzoek, en mede de reden om de gevoeligheid voor COPD op jonge leeftijd in te schatten op basis van de familieanamnese. Samenvattend toont onze studie aan dat personen met een positieve familiegeschiedenis voor COPD op jonge leeftijd anders reageren op sigarettenrook dan jonge personen met een negatieve familiegeschiedenis. Vooral Serpine B3 en Uteroglobine bleken eiwitten die een cruciale rol zouden kunnen spelen in de ontwikkeling van COPD.
Variable Speed Wind Energy System Based on a Synchronous Generator with a Three Level Inverter

The aim of this paper is to show the application of a three level inverter as a grid interface for a variable speed wind energy conversion system. New megawatt wind turbines demand for the connection at higher voltage levels. Multilevel level inverters provide the solution for connecting these wind turbines at voltages over 1 kV. A variable speed wind energy conversion system based on a synchronous generator with a three level inverter has been completely modelled. Then, the dynamic performance of this wind energy conversion system has been studied by simulation. The simulation results show the appropriate behaviour of this system.
Food texture and the satiety cascade

Using the satiety cascade model as a framework, this paper describes how food texture can influence the strength and duration of sensory, cognitive and post-ingestive signals that determine when a meal ends (satiation) and the inhibition of appetite between meals (satiety). The influence of food texture on oro-sensory exposure time, expectations about the satiating effect of a food and processing of food in the gastrointestinal system is considered, as well how the interaction of these processes may impact on the overall experience of satiety. This body of work suggests that texture is one element of a food's flavour profile which could be a candidate for manipulation in the development of ‘high-satiety’ foods.
The Data Compression Book

uncover a message concealed from his audience a single character at a time. The audience guessed what the next character would be, one guess at a time, until they got it right. Shannon could then determine the entropy of the message as a whole by taking the logarithm of the guess count. Other researchers have done more experiments using similar techniques.
Two ADPCM Algorithms with Widely Separated Error Recovery Times

Two adaptive differential pulse code modulation (ADPCM) algorithms are discussed that provide for transmitter-receiver resynchronization when used in a non-zero error rate digital transmission medium. Novel techniques are used in the algorithms (e.g., step-size bias) and in their extensive characterization (e.g., intermodulation distortion measurements).
Decision-Theoretic Approach to Plan Recognition

In this report, first we give a survey of the work in plan recognition field, including the evolution of different approaches, their strength and weaknesses. Then we propose two decision-theoretic approaches to plan recognition problem, which explicitly take outcome utilities into consideration. One is an extension within the probabilistic rea- soning framework, by adding utility nodes to belief nets. The other is based on maximiz- ing the estimated expected utility of possible plan. Illustrative examples are given to ex- plain the approaches. Finally, we compare the two approaches presented in the report and summarize the work.
An evaluation of flexible macroblock ordering in error-prone environments

With all the hype created around multimedia in the last few years, consumers expect to be able to access multimedia content in a real-time manner, anywhere and anytime. One of the problems with the real-time requirement is that transportation networks, such as the Internet, are still prone to errors. Due to real-time constraints, retransmission of lost data is, more often than not, not an option. Therefore, the study of error resilience and error concealment techniques is of the utmost importance since it can seriously limit the impact of a transmission error. In this paper an evaluation of a part of flexible macroblock ordering, one of the new error resilience techniques in H.264/AVC, is made by analyzing its costs and gains in an error-prone environment. This paper concentrates on the study of flexible macroblock ordering (FMO). More specifically a study of scattered slices, FMO type 1, is made. Our analysis shows that FMO type 1 is a good tool to introduce error robustness into an H.264/AVC bitstream as long as the QP is higher than 30. When the QP of the bitstream is below 30, the cost of FMO type 1 becomes a serious burden.
L'influence de la sélection fréquence-dépendante sur le choix de partenaire chez le diamant mandarin (Taeniopygia guttata)

Frequency-dependant selection is an evolution mechanism in which the fitness of a type depend of its frequency in the population. This mechanism play an important role in several interspecific (parasitism, predation, competition) and intraspecific interactions within different phenotypes of a same species. Frequency-dependant selection can be positive or negative and favor, respectively, either common or rare phenotype. This selection has been found in context of mated choice of several species, especially in insects (damselfly, drosophila, soldier beetle) and fishes (guppy, swordtail) and it has even been recently discover in humans. The significance of frequency-dependent selection in mated choice of monogamous species is still less explored and this study used the zebra finches (a monogamous passerine) in order to explored this field. We studied the significance of this mechanism when a character is neutral and when it is rather a quality cue. Also, we attempt to establish if rivals' presence affect or modify the initial preference of females for common or rare phenotypes.
Observed Brain Dynamics

Thank you very much for reading observed brain dynamics. Maybe you have knowledge that, people have look hundreds times for their favorite books like this observed brain dynamics, but end up in malicious downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they juggled with some harmful bugs inside their desktop computer. observed brain dynamics is available in our book collection an online access to it is set as public so you can get it instantly. Our book servers saves in multiple locations, allowing you to get the most less latency time to download any of our books like this one. Merely said, the observed brain dynamics is universally compatible with any devices to read.
Quadriceps-to-Hamstrings Imbalances in Female Collegiate Soccer Athletes: Implication forInjury

Quadriceps-to-Hamstrings Imbalances in Female Collegiate Soccer Athletes: Implication for Injury Sports involving rapid jumping, repetitive stop and go movements, and sudden changes of direction place the anterior cruciate ligament (ACL) at an increased risk for injury. Female athletes tend to be quadriceps dominant suggesting a muscular imbalance between the strength of the quadriceps and hamstring thigh muscles. Ideal quadriceps-to-hamstring ratios should be as close to 1 as possible to prevent injuries in athletes; however, ratios of 1.5-1.8 are still considered normal. These Biomechanical imbalances are believed to decrease shock absorption and knee stabilization during landing. The purpose of this study was to examine the strength of the quadriceps-to-hamstrings ratios in female collegiate soccer athletes.
Adaptive multi-sensor collaborative strategy for target tracking in WSNs

Proposed an adaptive multi-sensor collaborative strategy for maneuvering target tracking in WSNs.According to the position of the maneuvering target,some sensor nodes in WSNs were awaken to activate a sensor cluster for target tracking dynamically.At the same time,selected the head sensor of the cluster and decided the sample interval.Improved the tracking accuracy by dynamic collaboration and measurement information fusion of the sensor nodes.Besides,saved the communication energy and computation resource by adaptive changing sample interval,and satisfied the real-time property.This paper presented the balanced distribution of energy in WSNs to improve the reliability of the network.Employed the IMM filter to estimate the target states due to nonlinear models and the maneuvering movement of the target.The simulation shows that the tracking accuracy of the proposed algorithm is improved compared with NSSS and DGSS,and it has a superior performance in saving energy over DCSS,with the tracking accuracy guaranteed.
ScalaMemAnalysis-MultiLevel: A Compositional Approach to Multi-level Cache Analysis of Compressed Memory Traces.

GUPTA, SARANSH. ScalaMemAnalysis-MultiLevel: A Compositional Approach to Multi-level Cache Analysis of Compressed Memory Traces. (Under the direction of Dr. Frank Mueller.) Traditional cache simulators use large trace files or statistical summaries that ignore valuable access pattern details. Analyzing these files is expensive since one needs to constantly update the complete cache state per trace under simulation. In previous work, ScalaMemTrace (SMT) and ScalaMemAnalysis (SMA) were developed. SMT is a tool that records memory traces (load and store instructions) using binary instrumentation and compresses them. SMA exploits these compressed traces to reduce the duration of cache analysis for uniprocessor systems. In this work, we present ScalaMemAnalysis-MultiLevel (SMA-ML), a redesign of SMA that enables multi-level cache analysis. SMA maintains context-based reuse distance information at each loop level and enhances it with context information during composition. It computes cache statistics but fails to maintain miss patterns for next-level caches. We utilize SMA’s context-based information along with a Local Cache Tree (LCT) to maintain the miss patterns in a compressed form, which is subsequently used as input for next-level cache analysis. Experimental results confirm significant speedups in execution time over and close accuracy compared to a trace-driven simulator. © Copyright 2015 by Saransh Gupta
CapaFS: A globally Accessible File System

Declaration I declare that the work described in this dissertation is, except where otherwise stated, entirely my own work and has not been submitted as an exercise for a degree at this or any other university. 1999 Acknowledgments I would like to thank Christian Jensen for all his help and support throughout the year, my Parents, TJ, Louise and The Butcher's Anvil for putting up with me. Summary We have designed and implemented a reference implementation of CapaFS, a global, decentralised file system that allows users to collaborate with other users anywhere in the world, with no prior arrangements or connections. The system uses filenames as sparse capabilities to name and grant access to files on remote servers. Users can share files by exchanging capability filenames with parties that they trust. Possession of a capability filename is the necessary and sufficient proof of authority to perform the operations, authorised by the capability on the file it names. CapaFS does not need to establish trust between client and server, it only needs to verify the validity of the CapaFS capability filename. By using CapaFS we can demonstrate a globally accessable file system with a uniform namespace, that does not need any central authority to manage the namespace. We show that the capability filenames used in CapaFS are a secure and practical solution to sharing resources. We also prove the reference implementation of CapaFS can offer reasonable performance when compared with systems like NFS. The results of CapaFS show that the cost of software encryption can be tolerated in large networks like the Internet, where the cost of encryption is a small percentage of the total delay. CapaFS offers new functionality to users which sucessfully promotes the sharing of files and collaboration on the Internet, without imposing significant costs in terms of overhead and performance.
signals acquired during functional MRI

CTRS-IDEE, University Hospital, Lyon, France * Corresponding author: Olivier David Grenoble Institut des Neurosciences (GIN) Centre de Recherche Inserm U 836-UJF-CEA-CHU Equipe Neuroimagerie Fonctionnelle et Metabolique (Ex Unite U 594 Inserm-UJF) Centre Hospitalier Universitaire  Pavillon B  BP 217 38043 Grenoble Cedex 9, France Email: odavid@ujf-grenoble.fr Tel: +33 4 76 76 59 78 Fax: +33 4 76 76 58 96 Revision Manuscript NIMG-07-262-2 July 2007 inserm-00381736, version 1 - 5 Jun 2009
Quantifier structure in search based procedures for QBFs

The best currently available solvers for quantified Boolean formulas (QBFs) process their input in prenex form, i.e., all the quantifiers have to appear in the prefix of the formula separated from the purely proppositional part representing the matrix. However, in many QBFs deriving from applications, the propositional part is intertwined with the quantifier structure. To tackle this problem, the standard approach is to first convert them in prenex form, thereby loosing structural information about the prefix. In this paper we show that conversion to prenex form is not necessary, i.e., that it is relatively easy to extend current search based solvers in order to exploit the original quantifier structure, i.e., to handle non prenex QBFs. Further, we show that the conversion can lead to the exploration of search spaces bigger than the space explored by solvers handling non prenex QBFs. To validate our claims, we implemented our ideas in the state-of-the-art search based solver QuBE, and conducted an extensive experimental analysis. The results show that very substantial speedups can be obtained.
Nonlinear Biomedical Signal Processing Vol. II: Dynamic Analysis and Modeling

From the Publisher: Biomedical / Electrical Engineering Nonlinear Biomedical Signal Processing Volume II: Dynamic Analysis and Modeling A volume in the IEEE Press Series on Biomedical Engineering Metin Akay, Series Editor Featuring current contributions by experts in signal processing and biomedical engineering, this book introduces the concepts, recent advances, and implementations of nonlinear dynamic analysis methods. Together with Volume I in this series, this book provides comprehensive coverage of nonlinear signal and image processing techniques. Nonlinear Biomedical Signal Processing: Volume II combines analytical and biological expertise in the original mathematical simulation and modeling of physiological systems. Detailed discussions of the analysis of steady-state and dynamic systems, discrete-time system theory, and discrete modeling of continuous-time systems are provided. Biomedical examples include the analysis of the respiratory control system, the dynamics of cardiac muscle and the cardiorespiratory function, and neural firing patterns in auditory and vision systems. Examples include relevant MATLAB(r) and Pascal programs. Topics covered include: *Nonlinear dynamics *Behavior and estimation *Modeling of biomedical signals and systems *Heart rate variability measures, models, and signal assessments *Origin of chaos in cardiovascular and gastric myoelectrical activity *Measurement of spatio-temporal dynamics of human epileptic seizures.A valuable reference book for medical researchers, medical faculty, and advanced graduate students, it is also essential reading for practicing biomedical engineers. Nonlinear Biomedical Signal Processing, Volume II is anexcellent companion to Dr. Akay's Nonlinear Biomedical Signal Processing, Volume I: Fuzzy Logic, Neural Networks, and New Algorithms.
Accelerating the simulation of wireless cellular systems

The simulation of comprehensive models for cellular wireless systems poses a computational burden of great proportions. When a sub-model for transmitter power level control is included in the simulation, a continuous process in discrete-time is introduced, requiring traditional execution to advance in small, regular time-steps. To accelerate these simulations, we propose the use of interval jumping, a novel technique which allows time to progress in adaptive, irregularly-sized jumps in time. The foundations for this mechanism are laid out in the light of the simulation of a complex simulation model which includes teletraffic, radio propagation, channel allocation, transmitter power control, and user mobility. We demonstrate the performance of this method through the use of sequential and parallel simulation. Approaching the problem of accelerating the simulation of wireless systems from a different angle, we also identify a second important performance bottleneck. Calculations for interference computation, which may be carried out hundreds of times for each second of simulated time, require the evaluation of O(N2) interactions, for a system with N transmitter/receiver pairs. In order to provide a computationally cheaper and more scalable alternative to these operations, we study the applicability of an N-body algorithm, which brings time complexity down to O(N log N).
The Morpheme: A Theoretical Introduction

This book develops a theory of the morpheme in the framework of Distributed Morphology. Particular emphasis is devoted to the way in which functional morphemes receive their phonological form post-syntactically, through the operation of Vocabulary Insertion. In addition to looking closely at syncretism, the primary motivation for Vocabulary Insertion, the book examines allomorphy, blocking, and other key topics in the theory of the morpheme.
Wideband indoor and outdoor multipath channel measurements at 17 GHz

This paper presents the results of wideband channel measurements and characterization at 17 GHz. Important channel parameters, namely root-mean-square delay spread, Ricean K-factor, propagation loss factor and their statistics are investigated. The measurements were performed for different types of scenarios and for both indoor and outdoor environments. All channel parameters were derived from the power transfer function solely. The path loss factor is found to be lower than the free space attenuation for all LOS sites. The mean value of the Ricean K-factor is 1.5 dB and -1.1 dB for LOS and OBS indoor sites, respectively. For the outdoor environment 4.9 dB was found. The RMS delay spread was found to be about 20 ns for indoor sites, whereas for outdoor sites the average value was two times higher.
A COMPARISON OF UPPER EXTREMITY FUNCTION BETWEEN FEMALE BREAST CANCER SURVIVORS AND HEALTHY CONTROLS: TYPICAL SELF- REPORT OF FUNCTION, MOTION, STRENGTH AND MUSCULAR ENDURANCE

OF DISSERTATION A COMPARISON OF UPPER EXTREMITY FUNCTION BETWEEN FEMALE BREAST CANCER SURVIVORS AND HEALTHY CONTROLS: TYPICAL SELFREPORT OF FUNCTION, MOTION, STRENGTH AND MUSCULAR ENDURANCE Many women who have experienced breast cancer (BC) report continued impairments in upper extremity (UE) function beyond the time required for normal healing after surgical treatment. Most research supporting this has not made comparisons between survivors of breast cancer (BCS) to a sample of healthy women. This lack of comparison to a healthy cohort prevents an understanding of whether continued deficits in UE function are due to normal aging or the BC treatment. The purpose of this research was to compare quality of life (QOL) and UE function among long term breast cancer survivors and similar aged women without cancer. Both self-report and objective measurements of UE function were used to create an understanding of UE functional abilities in both populations. Data on self-reported QOL and UE function, ROM, strength, and muscular endurance were collected on 79 healthy women ages 30-69, stratified by decade. Comparisons between decades and between dominant and non-dominant limbs were made. Findings supported no effect of aging on measures, and that dominance does affect some objective measures of motion, strength, and muscular endurance. A group of 42 survivors of breast cancer (BCS) were compared to the data from healthy controls on the same measures. BCS reported lower levels of QOL and UE function, and demonstrated less motion and strength than the healthy cohort, particularly when cancer occurred on the non-dominant limb. The values of the measures, however, are not clinically relevant, and reveal that BCS 6 years after treatment recover UE function to levels similar to healthy controls. In view of a lack of clinically feasible measures of UE muscular endurance, a new test to assess this was designed and implemented: the modified Upper Body Strength and Endurance test (mUBSE). It was believed this new test would be less variable than the Functional Impairment Test – Hand and Neck, Shoulder, Arm – FIT-HaNSA. Seventeen BCS and 17 matched controls were compared on the mUBSE and FIT-HaNSA. Findings were similar for both tests. Furthermore, BCS who are 6 years post BC treatment appear to recover muscular endurance levels to normal ranges.
Nonlinear macromodels of large coupled interconnect networks

A macromodel of the crosstalk effects between adjacent interconnects that takes into account the driver nonlinear behavior is presented in this paper. The macromodel is obtained by combining a reduced order representation of the equivalent impedance with coupling seen at each driver output with a network order reduction based macromodel of the overall linear interconnect network. The effectiveness of the proposed methodology is demonstrated with the analysis of the crosstalk effects on a 0.25 /spl mu/m, high density, CMOS technology.
Grounding Symbolic Operations in Modality-Specific Processing

Abstract : The research performed under this contract assessed whether fundamental symbolic operations-predication, conceptual combination, and the representation of abstract concepts-arise from the simulation of modality-specific states in the brain. Traditionally, symbolic operations have been widely assumed to arise from the manipulation of amodal symbols. Indeed, researchers often assume that symbolic operations could only result in this latter way. Recent research on grounded cognition, however, has proposed that symbolic operations, in principle, could arise from modality-specific simulation. The experiments performed here offer preliminary evidence that they do.