The Zeros of Riemann Zeta Partial Sums Yield Solutions to f(x) + f(2x) + · · · + f(nx) = 0

This paper proves that every zero of any n th , n ≥ 2, partial sum of the Riemann zeta function provides a vector space of basic solutions of the functional equation f(x)+f(2x)+⋯+f(nx)=0,x∈R . The continuity of the solutions depends on the sign of the real part of each zero.

Direct And Non-destructive Proof Of Authenticity For The 2nd Generation Of Brazilian Real Banknotes Via Easy Ambient Sonic Spray Ionization Mass Spectrometry.

Using a desorption/ionization technique, easy ambient sonic-spray ionization coupled to mass spectrometry (EASI-MS), documents related to the 2nd generation of Brazilian Real currency (R$) were screened in the positive ion mode for authenticity based on chemical profiles obtained directly from the banknote surface. Characteristic profiles were observed for authentic, seized suspect counterfeit and counterfeited homemade banknotes from inkjet and laserjet printers. The chemicals in the authentic banknotes' surface were detected via a few minor sets of ions, namely from the plasticizers bis(2-ethylhexyl)phthalate (DEHP) and dibutyl phthalate (DBP), most likely related to the official offset printing process, and other common quaternary ammonium cations, presenting a similar chemical profile to 1st-generation R$. The seized suspect counterfeit banknotes, however, displayed abundant diagnostic ions in the m/z 400-800 range due to the presence of oligomers. High-accuracy FT-ICR MS analysis enabled molecular formula assignment for each ion. The ions were separated by 44 m/z, which enabled their characterization as Surfynol® 4XX (S4XX, XX=40, 65, and 85), wherein increasing XX values indicate increasing amounts of ethoxylation on a backbone of 2,4,7,9-tetramethyl-5-decyne-4,7-diol (Surfynol® 104). Sodiated triethylene glycol monobutyl ether (TBG) of m/z 229 (C10H22O4Na) was also identified in the seized counterfeit banknotes via EASI(+) FT-ICR MS. Surfynol® and TBG are constituents of inks used for inkjet printing.

Wide Dispersal and Possible Multiple Origins of Low-Copy-Number Plasmids in Rickettsia Species Associated with Blood-Feeding Arthropods

Plasmids are mobile genetic elements of bacteria that can impart important adaptive traits, such as increased virulence or antibiotic resistance. We report the existence of plasmids in Rickettsia (Rickettsiales; Rickettsiaceae) species, including Rickettsia akari, ""Candidatus Rickettsia amblyommii,"" R. bellii, R. rhipicephali, and REIS, the rickettsial endosymbiont of Ixodes scapularis. All of the rickettsiae were isolated from humans or North and South American ticks. R. parkeri isolates from both continents did not possess plasmids. We have now demonstrated plasmids in nearly all Rickettsia species that we have surveyed from three continents, which represent three of the four major proposed phylogenetic groups associated with blood-feeding arthropods. Gel-based evidence consistent with the existence of multiple plasmids in some species was confirmed by cloning plasmids with very different sequences from each of two ""Ca. Rickettsia amblyommii"" isolates. Phylogenetic analysis of rickettsial ParA plasmid partitioning proteins indicated multiple parA gene origins and plasmid incompatibility groups, consistent with possible multiple plasmid origins. Phylogenetic analysis of potentially host-adaptive rickettsial small heat shock proteins showed that hsp2 genes were plasmid specific and that hsp1 genes, found only on plasmids of ""Ca. Rickettsia amblyommii,"" R. felis, R. monacensis, and R. peacockii, were probably acquired independently of the hsp2 genes. Plasmid copy numbers in seven Rickettsia species ranged from 2.4 to 9.2 per chromosomal equivalent, as determined by real-time quantitative PCR. Plasmids may be of significance in rickettsial evolution and epidemiology by conferring genetic plasticity and host-adaptive traits via horizontal gene transfer that counteracts the reductive genome evolution typical of obligate intracellular bacteria.

Online Admission of Parallel Real-Time Tasks

6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

The impact of type of language and number of reasons on purchase intent

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Development of a real time polymerase chain reaction for quantitation of Schistosoma mansoni DNA

This report describes the development of a SYBR Green I based real time polymerase chain reaction (PCR) protocol for detection on the ABI Prism 7000 instrument. Primers targeting the gene encoding the SSU rRNA were designed to amplify with high specificity DNA from Schistosoma mansoni, in a real time quantitative PCR system. The limit of detection of parasite DNA for the system was 10 fg of purified genomic DNA, that means less than the equivalent to one parasite cell (genome ~580 fg DNA). The efficiency was 0.99 and the correlation coefficient (R²) was 0.97. When different copy numbers of the target amplicon were used as standards, the assay could detect at least 10 copies of the specific target. The primers used were designed to amplify a 106 bp DNA fragment (Tm 83ºC). The assay was highly specific for S. mansoni, and did not recognize DNA from closely related non-schistosome trematodes. The real time PCR allowed for accurate quantification of S. mansoni DNA and no time-consuming post-PCR detection of amplification products by gel electrophoresis was required. The assay is potentially able to quantify S. mansoni DNA (and indirectly parasite burden) in a number of samples, such as snail tissue, serum and feces from patients, and cercaria infested water. Thus, these PCR protocols have potential to be used as tools for monitoring of schistosome transmission and quantitative diagnosis of human infection.

Molecular diagnosis of Anaplasma marginale in cattle: quantitative evaluation of a real-time PCR (Polymerase Chain Reaction) based on msp5 gene

The rickettsia Anaplasma marginale is considered the main agent of bovine anaplasmosis. Due the nonspecific clinical signs of the anaplasmosis, the diagnosis of infection depends of laboratory confirmation. In recent years, molecular diagnostic methods have been used to detect A. marginale in cattle. However, the existence of a large number of assays of different sensitivity and cost makes the choice of an appropriate test difficult. In the present study, a real-time Polymerase Chain Reaction (PCR) based on the msp5 target gene was quantitatively assessed and compared to an end point PCR. Both reactions were subjected to sensitivity and specificity evaluation using plasmid DNA and samples from cattle experimentally infected with A. marginale. A comparative field trial of the tests was carried out using samples of cattle from a stable enzootic area for A. marginale. The real-time PCR showed a higher sensitivity than the end point PCR. This reaction (i.e. real-time PCR) was able to detect one copy of the msp5 gene in 100 ηg of plasmidial DNA, and more than 80% of its results were positive among experimentally infected animals seven days after infection. In addition, based on in silico analysis, the real-time PCR evaluated in the present study appears to be useful for the detection of A. ovis.

An efficient flux difference splitting algorithm for unsteady duct flows of a real gas

A numerical scheme is presented for the solution of the Euler equations of compressible flow of a real gas in a single spatial coordinate. This includes flow in a duct of variable cross-section, as well as flow with slab, cylindrical or spherical symmetry, as well as the case of an ideal gas, and can be useful when testing codes for the two-dimensional equations governing compressible flow of a real gas. The resulting scheme requires an average of the flow variables across the interface between cells, and this average is chosen to be the arithmetic mean for computational efficiency, which is in contrast to the usual “square root” averages found in this type of scheme. The scheme is applied with success to five problems with either slab or cylindrical symmetry and for a number of equations of state. The results compare favourably with the results from other schemes.

An evaluation of the performance of UK real estate forecasters

Given the significance of forecasting in real estate investment decisions, this paper investigates forecast uncertainty and disagreement in real estate market forecasts. It compares the performance of real estate forecasters with non-real estate forecasters. Using the Investment Property Forum (IPF) quarterly survey amongst UK independent real estate forecasters and a similar survey of macro-economic and capital market forecasters, these forecasts are compared with actual performance to assess a number of forecasting issues in the UK over 1999-2004, including forecast error, bias and consensus. The results suggest that both groups are biased, less volatile compared to market returns and inefficient in that forecast errors tend to persist. The strongest finding is that forecasters display the characteristics associated with a consensus indicating herding.

Predicting the annual performance of UK real estate: timeliness versus coverage

The IPD Annual Index is the largest and most comprehensive Real Estate market index available in the UK Such coverage however inevitably leads to delays in publication. In contrast there are a number of quarterly and monthly indices which are published within days of the year end but which lack the coverage in terms of size and numbers of properties. This paper analyses these smaller but more timely indices to see whether such indices can be used to predict the performance of the IPD Annual Index. Using a number of measures of forecasting accuracy it is shown that the smaller indices provide unbiased and efficient predictions of the IPD Annual Index. Such indices also significantly outperform a naive no-change model. Although no one index performs significantly better than the others. The more timely indices however do not perfectly track the IPD Annual Index. As a result any short run predictions of performance will be subject to a degree of error. Nevertheless the more timely indices, although lacking authoritative coverage, provide a valuable service to investors giving good estimates of Real Estates performance well before the publication of the IPD Annual Index.

Development of a Real-time Formative Feedback Student Response System

This paper is focusing IT-supported real-time formative feedback in a classroom context. The development of a Student and Teacher Response System (STRS) is described. Since there are a number of obstacles for effective interaction in large classes, IT can be used to support the teachers aim to find out if students understand the lecture and accordingly adjust the content and design of the lecture. The system can be used for formative assessment before, during, and after a lecture. It is also possible for students to initiate interaction during lectures by posing questions anonymously. The main contributions of the paper are a) the description of the interactive real-time system and b) the development process behind it.

Modelling the dynamics of dengue real epidemics

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Galanin transgenic mice display cognitive and neurochemical deficits characteristic of Alzheimer's disease

Galanin is a neuropeptide with multiple inhibitory actions on neurotransmission and memory. In Alzheimer's disease (AD), increased galanin-containing fibers hyperinnervate cholinergic neurons within the basal forebrain in association with a decline in cognition. We generated transgenic mice (GAL-tg) that overexpress galanin under the control of the dopamine β-hydroxylase promoter to study the neurochemical and behavioral sequelae of a mouse model of galanin overexpression in AD. Overexpression of galanin was associated with a reduction in the number of identifiable neurons producing acetylcholine in the horizontal limb of the diagonal band. Behavioral phenotyping indicated that GAL-tgs displayed normal general health and sensory and motor abilities; however, GAL-tg mice showed selective performance deficits on the Morris spatial navigational task and the social transmission of food preference olfactory memory test. These results suggest that elevated expression of galanin contributes to the neurochemical and cognitive impairments characteristic of AD.

The real number system,

Mode of access: Internet.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.