Indoor positioning system for mobile devices using radio frequency and perfect sequences

Recent advancements in the area of nanotechnology have brought us into a new age of pervasive computing devices. These computing devices grow ever smaller and are being used in ways which were unimaginable before. Recent interest in developing a precise indoor positioning system, as opposed to existing outdoor systems, has given way to much research heading into the area. The use of these small computing devices offers many conveniences for usage in indoor positioning systems. This thesis will deal with using small computing devices Raspberry Pi’s to enable and improve position estimation of mobile devices within closed spaces. The newly patented Orthogonal Perfect DFT Golay coding sequences will be used inside this scenario, and their positioning properties will be tested. After that, testing and comparisons with other coding sequences will be done.

Classifying And Predicting Software Security Vulnerabilities based on Reproducibility

Security defects are common in large software systems because of their size and complexity. Although efficient development processes, testing, and maintenance policies are applied to software systems, there are still a large number of vulnerabilities that can remain, despite these measures. Some vulnerabilities stay in a system from one release to the next one because they cannot be easily reproduced through testing. These vulnerabilities endanger the security of the systems. We propose vulnerability classification and prediction frameworks based on vulnerability reproducibility. The frameworks are effective to identify the types and locations of vulnerabilities in the earlier stage, and improve the security of software in the next versions (referred to as releases). We expand an existing concept of software bug classification to vulnerability classification (easily reproducible and hard to reproduce) to develop a classification framework for differentiating between these vulnerabilities based on code fixes and textual reports. We then investigate the potential correlations between the vulnerability categories and the classical software metrics and some other runtime environmental factors of reproducibility to develop a vulnerability prediction framework. The classification and prediction frameworks help developers adopt corresponding mitigation or elimination actions and develop appropriate test cases. Also, the vulnerability prediction framework is of great help for security experts focus their effort on the top-ranked vulnerability-prone files. As a result, the frameworks decrease the number of attacks that exploit security vulnerabilities in the next versions of the software. To build the classification and prediction frameworks, different machine learning techniques (C4.5 Decision Tree, Random Forest, Logistic Regression, and Naive Bayes) are employed. The effectiveness of the proposed frameworks is assessed based on collected software security defects of Mozilla Firefox.

Hilbert Space Valued Signal Plus Noise Models: Analysis of Structural Breaks under High Dimensionality and Temporal Dependence

This thesis is concerned with change point analysis for time series, i.e. with detection of structural breaks in time-ordered, random data. This long-standing research field regained popularity over the last few years and is still undergoing, as statistical analysis in general, a transformation to high-dimensional problems. We focus on the fundamental »change in the mean« problem and provide extensions of the classical non-parametric Darling-Erdős-type cumulative sum (CUSUM) testing and estimation theory within highdimensional Hilbert space settings. In the first part we contribute to (long run) principal component based testing methods for Hilbert space valued time series under a rather broad (abrupt, epidemic, gradual, multiple) change setting and under dependence. For the dependence structure we consider either traditional m-dependence assumptions or more recently developed m-approximability conditions which cover, e.g., MA, AR and ARCH models. We derive Gumbel and Brownian bridge type approximations of the distribution of the test statistic under the null hypothesis of no change and consistency conditions under the alternative. A new formulation of the test statistic using projections on subspaces allows us to simplify the standard proof techniques and to weaken common assumptions on the covariance structure. Furthermore, we propose to adjust the principal components by an implicit estimation of a (possible) change direction. This approach adds flexibility to projection based methods, weakens typical technical conditions and provides better consistency properties under the alternative. In the second part we contribute to estimation methods for common changes in the means of panels of Hilbert space valued time series. We analyze weighted CUSUM estimates within a recently proposed »high-dimensional low sample size (HDLSS)« framework, where the sample size is fixed but the number of panels increases. We derive sharp conditions on »pointwise asymptotic accuracy« or »uniform asymptotic accuracy« of those estimates in terms of the weighting function. Particularly, we prove that a covariance-based correction of Darling-Erdős-type CUSUM estimates is required to guarantee uniform asymptotic accuracy under moderate dependence conditions within panels and that these conditions are fulfilled, e.g., by any MA(1) time series. As a counterexample we show that for AR(1) time series, close to the non-stationary case, the dependence is too strong and uniform asymptotic accuracy cannot be ensured. Finally, we conduct simulations to demonstrate that our results are practically applicable and that our methodological suggestions are advantageous.

Hall Effect and transient surface photovoltage (SPV) study of Cu3BiS3 thin films

Se presentan las propiedades eléctricas del compuesto Cu3BiS3 depositado por co-evaporación. Este es un nuevo compuesto que puede tener propiedades adecuadas para ser utilizado como capa absorbente en celdas solares. Las muestras fueron caracterizadas a través de medidas de efecto Hall y fotovoltaje superficial transiente (SPV). A través de medidas de efecto Hall se encontró que la concentración de portadores de carga n es del orden de 1016 cm-3 independiente de la relación de masas de Cu/Bi. También se encontró que la movilidad de este compuesto (μ del orden de 4 cm2V -1s-1) varía de acuerdo con los mecanismos de transporte que la gobiernan en dependencia con la temperatura. A partir de las medidas de SPV se encontró alta densidad de defectos superficiales, defectos que son pasivados al superponer una capa buffer sobre el compuesto Cu3BiS3.

On making web accessibility more accessible: strategy and tools for social good

The world currently faces a paradox in terms of accessibility for people with disabilities. While digital technologies hold immense potential to improve their quality of life, the majority of web content still exhibits critical accessibility issues. This PhD thesis addresses this challenge by proposing two interconnected research branches. The first introduces a groundbreaking approach to improving web accessibility by rethinking how it is approached, making it more accessible itself. It involves the development of: 1. AX, a declarative framework of web components that enforces the generation of accessible markup by means of static analysis. 2. An innovative accessibility testing and evaluation methodology, which communicates test results by exploiting concepts that developers are already familiar with (visual rendering and mouse operability) to convey the accessibility of a page. This methodology is implemented through the SAHARIAN browser extension. 3. A11A, a categorized and structured collection of curated accessibility resources aimed at facilitating their intended audiences discover and use them. The second branch focuses on unleashing the full potential of digital technologies to improve accessibility in the physical world. The thesis proposes the SCAMP methodology to make scientific artifacts accessible to blind, visually impaired individuals, and the general public. It enhances the natural characteristics of objects, making them more accessible through interactive, multimodal, and multisensory experiences. Additionally, the prototype of \gls{a11yvt}, a system supporting accessible virtual tours, is presented. It provides blind and visually impaired individuals with features necessary to explore unfamiliar indoor environments, while maintaining universal design principles that makes it suitable for usage by the general public. The thesis extensively discusses the theoretical foundations, design, development, and unique characteristics of these innovative tools. Usability tests with the intended target audiences demonstrate the effectiveness of the proposed artifacts, suggesting their potential to significantly improve the current state of accessibility.

Fighting child marriage in developing countries: design and development of a mobile application

Child marriage is still a great issue in developing countries and even if the interventions to prevent it are having results, they are not enough to eliminate the problem. Among the strategies that seem to work most to fight child marriage, there is the empowerment of girls with information combined with education of parents and community. As smartphones are more accessible year after year in developing countries, this thesis wants to investigate if a mobile app could be effective in fighting child marriage and which characteristics such an app should have. The research was organized in four phases and used design and creation and case study methodologies. Firstly, the literature was analyzed and an initial design was proposed. Secondly, expert interviews were performed to gain feedback on the proposed design, and afterwards prototype was built. Thirdly, a case study in the Democratic Republic of Congo (DRC) was performed to test the prototype, gaining insights and improvements through group interviews with 26 girls aged 15-19. Finally, a first version of the app was developed and a second phase of the case study was run in the DRC to understand if the girls were able to use the app. This phase included 14 girls of which 6 had participated in the prototype testing and used questionnaires as a data generation method. The app was built following the Principles for Digital Development. Even if this app is built based on the case study in DRC is modular and easily adaptable to other contexts as it is not content-specific. It was shown that is worth continuing to study this topic and it was defined a conceptual framework for designing learning apps for developing countries, in particular, to fight child, early, and forced marriage.

Características físicas e mecânicas de misturas de solo, cimento e casca de arroz

The main objective of this work is the study of the effect of rice husk addition on the physical and mechanical properties of soil-cement, in order to obtain an alternative construction material. The rice husk preparation consisted of grinding, sieving, and the pre-treatment with lime solution. The physical characteristics of the soil and of the rice husk were determined. Different amounts of soil, cement and rice husk were tested by compaction and unconfined compression. The specimens molded according to the treatments applied to the mixtures were subsequently submitted to compression testing and to tensile splitting cylinder testing at 7 and 28 days of age and to water absorption testing. After determining its physical and mechanical characteristics, the best results were obtained for the soil + 12% (cement + rice husk) mixture. The results showed a promising use as an alternative construction material.

Evaluation of Primary Resistance to HIV Entry Inhibitors Among Brazilian Patients Failing Reverse Transcriptase/Protease Inhibitors Treatment Reveal High Prevalence of Maraviroc Resistance-Related Mutations

Entry inhibitor is a new class of drugs that target the viral envelope protein. This region is variable; hence resistance to these drugs may be present before treatment. The aim of this study was to analyze the frequency of patients failing treatment with transcriptase reverse and protease inhibitors that would respond to the entry inhibitors Enfuvirtide, Maraviroc, and BMS-806. The study included 100 HIV-1 positive patients from one outpatient clinic in the city of Sao Paulo, for whom a genotype test was requested due to treatment failure. Proviral DNA was amplified and sequenced for regions of gp120 and gp41. A total of 80 could be sequenced and from those, 73 (91.3%), 5 (6.3%) and 2 (2.5%) were classified as subtype B, F, and recombinants (B/F and B/C), respectively. CXCR4 co-receptor use was predicted in 30% of the strains. Primary resistance to Enfuvirtide was found in 1.3%, following the AIDS Society consensus list, and 10% would be considered resistant if a broader criterion was used. Resistance to BMS-806 was higher; 6 (7.5%), and was associated to non-B strains. Strikingly, 27.5% of samples harbored one or more mutation among A316T, I323V, and S405A, which have been related to decreased susceptibility of Maraviroc; 15% of them among viruses predictive to be R5. A more common mutation was A316T, which was associated to the Brazilian B strain harboring the GWGR motif at the tip of V3 loop and their derivative sequences. These results may be impact guidelines for genotype testing and treatment in Brazil.

Guidance for the implementation of best practice for the care of patients with tuberculosis

The first two chapters of Best practice for the care of patients with tuberculosis: a guide for low-income countries include an introduction and guidance regarding implementation of best practice. The background to how the guide was developed is significant, as it was developed in collaboration with nurses and other health workers working in the most challenging settings. It therefore provides realistic and practical guidance for best practice where patient loads are large and resources are stretched. Guidance regarding standard setting and clinical audit is an important part of enabling people to recognise the strengths that already exist in their practice and approach those areas that require change in a systematic and practical way. The guide itself consists of a series of standards covering different aspects of patient care, from the moment they seek health care with symptoms to their diagnosis to early stages of treatment, directly observed treatment, the continuation phase and transfer of treatment. There are also standards relating specifically to HIV testing and the care of patients co-infected with tuberculosis and HIV. The standards themselves will appear in full in the subsequent chapters of this series.

Evaluation of austenitic-ferritic stainless steel wires for orthodontic applications

Several studies have shown that austenitic stainless steels are suitable for use in the final phases of orthodontic treatments, such as finishing and retention. These steels demonstrate appropriate mechanical properties, such as high ultimate tensile strength and good corrosion resistance. A new class of materials, the austenic-ferritic stainless steels, is substituting for austenitic stainless steels in several industrial applications where these properties are necessary. This work supports the hypothesis that orthodontic wires of austenic-ferritic stainless steels can replace austenitic stainless steels. The advantages are cost reduction and decrease of the nickel hypersensitivity effect in patients undergoing orthodontic treatments. The object of this study was to evaluate wires of austenitic-ferritic stainless steel SEW 410 Nr. 14517 (Cr26Ni6Mo3Cu3) produced by cold working through rolling and drawing processes. Tests were performed to evaluate the ultimate tensile strength, hardness, ductility, and formability. In accordance with technical standards the wires exhibited ultimate tensile strength and ductility suitable for orthodontic clinical applications. These austenitie-ferritic wires can be an alternative to substitute the common commercial wires of austenic stainless steels with the advantage of decreasing the nickel content.

Avaliação do desempenho ambiental de obras de recuperação de rodovias

This paper features a tool to carry out environmental performance evaluation in highway rehabilitation works, as a component of environmental supervision activities. The procedure involves (i) evidence gathering by conducting technical inspections and reviewing environmental compliance reports, (ii) ranking nonconformities according to a proposed weighting framework, and (iii) calculation of an environmental conformity index. For the sake of testing and calibration, the procedure was applied to five road segments that were submitted to rehabilitation works in Sao Paulo State and the results were treated qualitatively.

A procedure to evaluate environmental rehabilitation in limestone quarries

A procedure to evaluate mine rehabilitation practices during the operational phase was developed and validated. It is based on a comparison of actually observed or documented practices with internationally recommended best practices (BP). A set of 150 BP statements was derived from international guides in order to establish the benchmark. The statements are arranged in six rehabilitation programs under three categories: (1) planning (2) operational and (3) management, corresponding to the adoption of the plan-do-check-act management systems model to mine rehabilitation. The procedure consists of (i) performing technical inspections guided by a series of field forms containing BP statements; (ii) classifying evidences in five categories; and (iii) calculating conformity indexes and levels. For testing and calibration purposes, the procedure was applied to nine limestone quarries and conformity indexes were calculated for the rehabilitation programs in each quarry. Most quarries featured poor planning practices, operational practices reached high conformity levels in 50% of the cases and management practices scored moderate conformity. Despite all quarries being ISO 14001 certified, their management systems pay low attention to issues pertaining to land rehabilitation and biodiversity. The best results were achieved by a quarry whose expansion was recently submitted to the environmental impact assessment process, suggesting that public scrutiny may play a positive role in enhancing rehabilitation practices. Conformity indexes and levels can be used to chart the evolution of rehabilitation practices at regular intervals, to establish corporate goals and for communication with stakeholders. (C) 2010 Elsevier Ltd. All rights reserved.

Detection of the TLR4 1196C > T Polymorphism by Mismatched-Polymerase Chain Reaction Using Plasmid DNA as Internal Control in Restriction Fragment Length Polymorphism Assays

Background: Restriction fragment length polymorphism (RFLP) is a common molecular assay used for genotyping, and it requires validated quality control procedures to prevent mistyping caused by impaired endonuclease activity. We have evaluated the usefulness of a plasmid-based internal control in RFLP assays. Results: Blood samples were collected from 102 individuals with acute myocardial infarction (AMI) and 108 non-AMI individuals (controls) for DNA extraction and laboratory analyses. The 1196C> T polymorphism in the toll-like receptor 4 (TLR4) gene was amplified by mismatched-polymerase chain reaction (PCR). Amplicons and pBluescript II SK-plasmid were simultaneously digested with endonuclease HincII. Fragments were separated on 2% agarose gels. Plasmid was completely digested using up to 55.2 nmL/L DNA solutions and 1 mu L PCR product. Nevertheless, plasmid DNA with 41.4 nM or higher concentrations was incompletely digested in the presence of 7 mL PCR product. In standardized conditions, TLR4 1196C> T variant was accurately genotyped. TLR4 1196T allele frequency was similar between AMI (3.1%) and controls (2.0%, p = 0.948). TLR4 SNP was not associated with AMI in this sample population. In conclusion, the plasmid-based control is a useful approach to prevent mistyping in RFLP assays, and it is validate for genetic association studies such as TLR4 1196C> T.

Determination of Atropine Enantiomers in Ophthalmic Solutions by Liquid Chromatography Using a Chiral AGP (R) Column

Many therapeutic agents are commercialized under their racemic form. The enantiomers can show differences in the pharmacokinetic and pharmacodynamic profile. The use of a pure enantiomer in pharmaceutical formulations may result in a better therapeutic index and fewer adverse effects. Atropine, an alkaloid of Atropa belladonna, is a racemic mixture of l-hyoscyamine and d-hyoscyamine. It is widely used to dilate the pupil. To quantify these enantiomers in ophthalmic solutions, an HPLC method was developed and validated using a Chiral AGP (R) column at 20 degrees C. The mobile phase consisted of a buffered phosphate solution (containing 10 mM 1-octanesulfonic acid sodium salt and 7.5 mM triethylamine, adjusted to pH 7.0 with orthophosphoric acid) and acetonitrile (99 + 1, v/v). The flow rate was 0.6 mL/min, with UV detection at 205 nm. In the concentration range of 14.0-26.0 mu g/mL, the method was found to be linear (r > 0.9999), accurate (with recovery of 100.1-100.5%), and precise (RSD system: <= 0.6%; RSD intraday: <= 1.1%; RSD interday: <= 0.9%). The method was specific, and the standard and sample solutions were stable for up to 72 h. The factorial design assures robustness with a variation of +/-10% in the mobile phase components and 2 degrees C of column temperature. The complete validation, including stress testing and factorial design, was studied and is presented in this research.

Influence of storage temperature on cooling intensity of topical emulsions containing encapsulated menthol

The cooling intensity of topical emulsions added with encapsulated or free menthol was evaluated by a screened and trained panel recruited based on the American Society for Testing and Materials method. A sensory panel composed of 10 trained judges performed the evaluation of samples stored at 22 +/- 2C for 24 h and, after 28 days of storage, at 37.0 +/- 0.5C. The obtained data were analyzed by analysis of variance and Tukey`s test. The results showed an increase of cooling intensity as a function of encapsulated menthol concentration. The opposite was observed in samples added with free menthol, which may have caused sensory fatigue. Storage at 37 +/- 0.5C for 28 days had no impact on the cooling intensity of emulsions containing encapsulated menthol, demonstrating high stability and suggesting its application in cooling skin care products. In contrast, emulsions added with free menthol showed a drastic decrease of cooling intensity at 37 +/- 0.5C..