7,923 research outputs found
Conditional bounds for small prime solutions of linear equations
Let a 1, a 2, a 3 be non-zero integers with gcd(a 1 a 2, a 3)=1 and let b be an arbitrary integer satisfying gcd (b, a i, a j) =1 for i≠j and b≡a 1+a 2+a 3 (mod 2). In a previous paper [3] which completely settled a problem of A. Baker, the 2nd and 3rd authors proved that if a 1, a 2, a 3 are not all of the same sign, then the equation a 1 p 1+a 2 p 2+a 3 p 3=b has a solution in primes p j satisfying {Mathematical expression} where A>0 is an absolute constant. In this paper, under the Generalized Riemann Hypothesis, the authors obtain a more precise bound for the solutions p j . In particular they obtain A0. An immediate consquence of the main result is that the Linnik's courtant is less than or equal to 2. © 1992 Springer-Verlag.postprin
An extension to the Brun-Titchmarsh theorem
The Siegel-Walfisz theorem states that for any B > 0, we have ∑/p≤x/p≡a(mod k) 1 ∼ x/φ(k) lox x for k ≤ log B x and (k, a) = 1. This only gives an asymptotic formula for the number of primes over an arithmetic progression for quite small moduli k compared with x. However, if we are only concerned about upper bound, we have the Brun-Titchmarsh theorem, namely for any 1 ≤ k 0, s ≥ 1 and 1 ≤ k < x.In particular, for s ≤ log log (x/k), we have ∑/y<n≤x+y ≡ a (mod k)ω (n) < s 1 ≪ x/φ (k) log (x/k) (log log (x/k) + K)s-1/(s-1)! √ log log (x/k) + K and for any ε∈(0, 1) and s ≤ (1-ε) log log (x/k), we have. ∑/y<n≤x+y ≡ a (mod k)ω (n) < s 1 ≪ ε-1x/φ (k) log (x/k) (log log (x/k) +K)s-1/(s-1) !. © 2010. Published by Oxford University Press. All rights reserved.postprin
IG-WRDRR Report 2010: Hong Kong
Reports on WRDRR activities in Asia-Pacific region (Part 1)This report gives an account of the wind conditions in Hong Kong and the corresponding wind related damages in Hong Kong throughout the years. Details are presented in the report under three different aspects. First, typhoon wind and related damages; second, thunderstorm wind and related damages; and third, flooding related to wind storms and damages. Measures taken by the Hong Kong Government to reduce the risk of damages and disaster mitigation are also presented.postprin
Optical characteristics of GAN/SI micro-pixel light-emitting diode arrays
Two-dimensional arrays of emissive micro-light-emitting diodes (μ-LEDS) have been developed for a variety of applications such as high resolution micro-displays, maskless photo-lithography and multichannel visible-light optical communications amongst others. μ-LEDs have traditionally been
fabricated on InGaN LED wafers grown on transparent sapphire substrates, and have suffered from optical crosstalk issues. When a single pixel is addressed, adjacent pixels and regions appear
illuminated simultaneously. Such problems could result in functional failure in high-density μ-LED
applications, including reduced resolution of micro-display and decreased signal-to-noise ratio in ...postprin
Impact of visceral fat on skeletal muscle mass and vice versa in a prospective cohort study: The Korean Sarcopenic Obesity Study (KSOS)
Objectives: Sarcopenia and visceral obesity have been suggested to aggravate each other, resulting in a vicious cycle. However, evidence based on prospective study is very limited. Our purpose was to investigate whether visceral fat promotes a decrease in skeletal muscle mass and vice versa. Methods: We observed changes in anthropometric and body composition data during a follow-up period of 27.6±2.8 months in 379 Korean men and women (mean age 51.9±14.6 years) from the Korean Sarcopenic Obesity Study (KSOS). Appendicular lean soft tissue (ALST) mass was calculated using dual-energy X-ray absorptiometry, and visceral fat area (VFA) was measured using computed tomography at baseline and follow-up examination. Results: ALST mass significantly decreased, whereas trunk and total fat mass increased in both men and women despite no significant change in weight and body mass index. In particular, women with visceral obesity at baseline had a greater decrease in ALST mass than those without visceral obesity (P=0.001). In multiple linear regression analysis, baseline VFA was an independent negative predictor of the changes in ALST after adjusting for confounding factors including age, gender, life style and body composition parameters, insulin resistance, high sensitivity C-reactive protein and vitamin D levels (P=0.001), whereas the association between baseline ALST mass and changes in VFA was not statistically significant (P=0.555). Conclusions: This longitudinal study showed that visceral obesity was associated with future loss of skeletal muscle mass in Korean adults. These results may provide novel insight into sarcopenic obesity in an aging society
A Dynamic Knowledge Management Framework for the High Value Manufacturing Industry
Dynamic Knowledge Management (KM) is a combination of cultural and technological factors, including the cultural factors of people and their motivations, technological factors of content and infrastructure and, where these both come together, interface factors. In this paper a Dynamic KM framework is described in the context of employees being motivated to create profit for their company through product development in high value manufacturing. It is reported how the framework was discussed during a meeting of the collaborating company’s (BAE Systems) project stakeholders. Participants agreed the framework would have most benefit at the start of the product lifecycle before key decisions were made. The framework has been designed to support organisational learning and to reward employees that improve the position of the company in the market place
Comparative genomic analysis of pre-epidemic and epidemic Zika virus strains for virological factors potentially associated with the rapidly expanding epidemic
published_or_final_versio
Semi-Markov and delay time models of maintenance
This thesis is concerned with modelling inspection policies of facilities which
Qraduallv deteriorate in time. The context of inspection policies lends itself readily to
probabilistic modelling. Indeed, many of the published theoretical models to be found
in the literature adopt a Markov approach, where states are usually 'operating', 'operating
but fault present', and 'failed'. However, most of these models fail to discuss the 'fit' of
the model to data,a nd virtually no exampleso f actual applications or case-studiesa re to
be found.
hi a series of recent papers dating from 1984, a robust approach to solve these
problems has been introduced and developed as the Delay Time Model (DTM). The
central concept for this model is the delay time, h, of a fault which is the time lapse
from when a fault could first be noticed until the time when its repair can be delayed no
longer because of unacceptable consequences. The bottle neck in delay time modelling
is how to estimate the delay time distribution parameters. Two methods for estimating
these parameters have been developed. namely the subjective method and the objective
method.
Markov models have the advantage of an extensive body of theory. 'fliere are,
however. difficulties of definition, measurement, and calculation when applying Markov
models to real-world situations within a maintenance context. Indeed. this problem has
motivated the current research which ainis to explore the two modelling methodologies
in cases where comparison is valid, and also to gain an insight as to how robust Markov
inspection models can be as decision-aids where Markovian properties are not strictly
satisfied. It Nvill be seen that a class of inspection problems could be solved by a serni-
Markov model using the delay time concept. In this thesis, a typical senii-i%Ia, rkov
inspection model based upon the delay time concept is presented for a complex
repairable systein that may fail during the course of its service lifetime and the results
are compared. Finally, a case study of the senii-Markov inspection model and the delay
time model is discussed
Multiple Imputation Ensembles (MIE) for dealing with missing data
Missing data is a significant issue in many real-world datasets, yet there are no robust methods for dealing with it appropriately. In this paper, we propose a robust approach to dealing with missing data in classification problems: Multiple Imputation Ensembles (MIE). Our method integrates two approaches: multiple imputation and ensemble methods and compares two types of ensembles: bagging and stacking. We also propose a robust experimental set-up using 20 benchmark datasets from the UCI machine learning repository. For each dataset, we introduce increasing amounts of data Missing Completely at Random. Firstly, we use a number of single/multiple imputation methods to recover the missing values and then ensemble a number of different classifiers built on the imputed data. We assess the quality of the imputation by using dissimilarity measures. We also evaluate the MIE performance by comparing classification accuracy on the complete and imputed data. Furthermore, we use the accuracy of simple imputation as a benchmark for comparison. We find that our proposed approach combining multiple imputation with ensemble techniques outperform others, particularly as missing data increases
Investigating poultry trade patterns to guide avian influenza surveillance and control: a case study in Vietnam
Live bird markets are often the focus of surveillance activities monitoring avian influenza viruses (AIV) circulating in poultry. However, in order to ensure a high sensitivity of virus detection and effectiveness of management actions, poultry management practices features influencing AIV dynamics need to be accounted for in the design of surveillance programmes. In order to address this knowledge gap, a cross-sectional survey was conducted through interviews with 791 traders in 18 Vietnamese live bird markets. Markets greatly differed according to the sources from which poultry was obtained, and their connections to other markets through the movements of their traders. These features, which could be informed based on indicators that are easy to measure, suggest that markets could be used as sentinels for monitoring virus strains circulating in specific segments of the poultry production sector. AIV spread within markets was modelled. Due to the high turn-over of poultry, viral amplification was likely to be minimal in most of the largest markets. However, due to the large number of birds being introduced each day, and challenges related to cleaning and disinfection, environmental accumulation of viruses at markets may take place, posing a threat to the poultry production sector and to public health
- …
