A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens.Comment: Originally in the proceedings of PCL 2002, editors Hendrik Decker, Joergen Villadsen, Toshiharu Waragai (http://floc02.diku.dk/PCL/). Correcte

Challenges in vaccinating layer hens against salmonella typhimurium

Salmonella Typhimurium is among the most common causes of bacterial foodborne gastrointestinal disease in humans. Food items containing raw or undercooked eggs are frequently identified during traceback investigation as the source of the bacteria. Layer hens can become persistently infected with Salmonella Typhimurium and intermittently shed the bacteria over the course of their productive lifetime. Eggs laid in a contaminated environment are at risk of potential exposure to bacteria. Thus, mitigating the bacterial load on farms aids in the protection of the food supply chain. Layer hen producers use a multifaceted approach for reducing Salmonella on farms, including the all-in-all-out management strategy, strict biosecurity, sanitization, and vaccination. The use of live attenuated Salmonella vaccines is favored because they elicit a broader host immune response than killed or inactivated vaccines that have been demonstrated to provide cross-protection against multiple serovars. Depending on the vaccine, two to three doses of Salmonella Typhimurium vaccines are generally administered to layer hens within the first few weeks. The productive life of a layer hen, however, can exceed 70 weeks and it is unclear whether current vaccination regimens are effective for that extended period. The objective of this review is to highlight layer hen specific challenges that may affect vaccine efficacy.Siyuan Jia, Andrea R. McWhorter, Daniel M. Andrews, Gregory J. Underwood and Kapil K. Chousalka

Railway infrastructure asset management: the whole-system life cost analysis

Delivering the railway infrastructure whose functionality is sustainable and uncompromised in terms of safety and availability under ever decreasing budget constraints is a great challenge. The successful accomplishment of this task relies on the effective management of individual assets within a wider whole system perspective. This is a highly complex decision-making task where mathematical models are required to enable well-informed choices. In this study, a novel modelling framework is proposed for performing the whole system lifecycle cost analysis. The framework is based on two models: railway network performance and costs. Using the former model investigations of the effects of decisions can be carried out for the individual asset and the whole system. A Petri net modelling technique is used to construct the model. A form of Monte Carlo simulation is then used to obtain model results. The infrastructure performance model is then integrated with the cost model to perform the lifecycle cost analysis. A superstructure example is presented to demonstrate the application of the approach. The results show that taking into account interdependencies among the intervention activities greatly influences, not only the performance of the infrastructure, but also its lifecycle costs and thus should be included in the cost analysis

Semiparametric theory and empirical processes in causal inference

In this paper we review important aspects of semiparametric theory and empirical processes that arise in causal inference problems. We begin with a brief introduction to the general problem of causal inference, and go on to discuss estimation and inference for causal effects under semiparametric models, which allow parts of the data-generating process to be unrestricted if they are not of particular interest (i.e., nuisance functions). These models are very useful in causal problems because the outcome process is often complex and difficult to model, and there may only be information available about the treatment process (at best). Semiparametric theory gives a framework for benchmarking efficiency and constructing estimators in such settings. In the second part of the paper we discuss empirical process theory, which provides powerful tools for understanding the asymptotic behavior of semiparametric estimators that depend on flexible nonparametric estimators of nuisance functions. These tools are crucial for incorporating machine learning and other modern methods into causal inference analyses. We conclude by examining related extensions and future directions for work in semiparametric causal inference

Sedentary time and markers of inflammation in people with newly diagnosed type 2 diabetes

AbstractBackground and aimsWe investigated whether objectively measured sedentary time was associated with markers of inflammation in adults with newly diagnosed type 2 diabetes.Methods and resultsWe studied 285 adults (184 men, 101 women, mean age 59.0 ± 9.7) who had been recruited to the Early ACTivity in Diabetes (Early ACTID) randomised controlled trial. C-reactive protein (CRP), adiponectin, soluble intracellular adhesion molecule-1 (sICAM-1), interleukin-6 (IL-6), and accelerometer-determined sedentary time and moderate-vigorous physical activity (MVPA) were measured at baseline and after six-months. Linear regression analysis was used to investigate the independent cross-sectional and longitudinal associations of sedentary time with markers of inflammation.At baseline, associations between sedentary time and IL-6 were observed in men and women, an association that was attenuated following adjustment for waist circumference. After 6 months of follow-up, sedentary time was reduced by 0.4 ± 1.2 h per day in women, with the change in sedentary time predicting CRP at follow-up. Every hour decrease in sedentary time between baseline and six-months was associated with 24% (1, 48) lower CRP. No changes in sedentary time between baseline and 6 months were seen in men.ConclusionsHigher sedentary time is associated with IL-6 in men and women with type 2 diabetes, and reducing sedentary time is associated with improved levels of CRP in women. Interventions to reduce sedentary time may help to reduce inflammation in women with type 2 diabetes

Possible origins of macroscopic left-right asymmetry in organisms

I consider the microscopic mechanisms by which a particular left-right (L/R) asymmetry is generated at the organism level from the microscopic handedness of cytoskeletal molecules. In light of a fundamental symmetry principle, the typical pattern-formation mechanisms of diffusion plus regulation cannot implement the "right-hand rule"; at the microscopic level, the cell's cytoskeleton of chiral filaments seems always to be involved, usually in collective states driven by polymerization forces or molecular motors. It seems particularly easy for handedness to emerge in a shear or rotation in the background of an effectively two-dimensional system, such as the cell membrane or a layer of cells, as this requires no pre-existing axis apart from the layer normal. I detail a scenario involving actin/myosin layers in snails and in C. elegans, and also one about the microtubule layer in plant cells. I also survey the other examples that I am aware of, such as the emergence of handedness such as the emergence of handedness in neurons, in eukaryote cell motility, and in non-flagellated bacteria.Comment: 42 pages, 6 figures, resubmitted to J. Stat. Phys. special issue. Major rewrite, rearranged sections/subsections, new Fig 3 + 6, new physics in Sec 2.4 and 3.4.1, added Sec 5 and subsections of Sec

Monitoring Charge Exchange in P3HT-Nanotube Composites Using Optical and Electrical Characterisation

Charge exchange at the bulk heterojunctions of composites made by mixing single wall nanotubes (SWNTs) and polymers show potential for use in optoelectronic devices such as solar cells and optical sensors. The density/total area of these heterojunctions is expected to increase with increasing SWNT concentration but the efficiency of solar cell peaks at low SWNT concentrations. Most researchers use current–voltage measurements to determine the evolution of the SWNT percolation network and optical absorption measurements to monitor the spectral response of the composites. However, these methods do not provide a detailed account of carrier transport at the concentrations of interest; i.e., near or below the percolation threshold. In this article, we show that capacitance–voltage (C–V) response of (metal)-(oxide)-(semiconducting composite) devices can be used to fill this gap in studying bulk heterojunctions. In an approach where we combine optical absorption methods withC–Vmeasurements we can acquire a unified optoelectronic response from P3HT-SWNT composites. This methodology can become an important tool for optoelectronic device optimization

Genetic signatures of parental contribution in black and white populations in Brazil

Two hundred and three individuals classified as white were tested for 11 single nucleotide polymorphisms plus two insertion/deletions in their Y-chromosomes. A subset of these individuals (n = 172) was also screened for sequences in the first hypervariable segment of their mitochondrial DNA (mtDNA). In addition, complementary studies were done for 11 of the 13 markers indicated above in 54 of 107 black subjects previously investigated in this southern Brazilian population. The prevalence of Y-chromosome haplogroups among whites was similar to that found in the Azores (Portugal) or Spain, but not to that of other European countries. About half of the European or African mtDNA haplogroups of these individuals were related to their places of origin, but not their Amerindian counterparts. Persons classified in these two categories of skin color and related morphological traits showed distinct genomic ancestries through the country. These findings emphasize the need to consider in Brazil, despite some general trends, a notable heterogeneity in the pattern of admixture dynamics within and between populations/groups

A systematic review of the effects of exercise interventions on body composition in HIV+ adults

Over the years, physical activity and exercise have been used to positively impact the health and quality of life of persons infected with HIV and, more recently, has been associated with a spectrum of body composition changes. The aim of this review was to examine the effects of various exercise interventions on body composition in HIV positive adults, using a search strategy of randomized, controlled trials (RCTs). A systematic review was performed by five independent reviewers using a predetermined protocol adapted from previous research for assessing the articles for inclusion, the extracted data, and methodological quality. Eight RCTs involving 430 (26% female) HIV positive adults performing exercise a minimum of thrice weekly for at least six weeks were finally selected: Four were progressive resistance training (PRT) studies, three were aerobic training (AT) studies, and one involved yoga. In the PRT studies, there were significant increases in three anthropometric measures, namely, body mass, sum of skinfolds and sum of limb girths. In the AT studies, significant decreases were found in seven anthropometric measures, namely, body mass index, waist-hip ratio, body mass, triceps skinfold, waist circumference and sum of skinfolds. With yoga, the changes were nonsignificant. Exercise contributes to improved body composition and, when applied safely, appears to be beneficial for adults living with HIV/AIDS. However, these findings should be interpreted cautiously due to the relatively few RCTs published to date. Future studies would benefit from increased attention to sample size, female participants, participant follow-up, complete statistical analysis and intention-to-treat analysis.Scopu