The sequential analysis of repeated binary responses: a score test for the case of three time points

In this paper a robust method is developed for the analysis of data consisting of repeated binary observations taken at up to three fixed time points on each subject. The primary objective is to compare outcomes at the last time point, using earlier observations to predict this for subjects with incomplete records. A score test is derived. The method is developed for application to sequential clinical trials, as at interim analyses there will be many incomplete records occurring in non-informative patterns. Motivation for the methodology comes from experience with clinical trials in stroke and head injury, and data from one such trial is used to illustrate the approach. Extensions to more than three time points and to allow for stratification are discussed. Copyright © 2005 John Wiley & Sons, Ltd.

Perspex machine VIII: axioms of transreal arithmetic

Transreal arithmetic is a total arithmetic that contains real arithmetic, but which has no arithmetical exceptions. It allows the specification of the Universal Perspex Machine which unifies geometry with the Turing Machine. Here we axiomatise the algebraic structure of transreal arithmetic so that it provides a total arithmetic on any appropriate set of numbers. This opens up the possibility of specifying a version of floating-point arithmetic that does not have any arithmetical exceptions and in which every number is a first-class citizen. We find that literal numbers in the axioms are distinct. In other words, the axiomatisation does not require special axioms to force non-triviality. It follows that transreal arithmetic must be defined on a set of numbers that contains{-8,-1,0,1,8,&pphi;} as a proper subset. We note that the axioms have been shown to be consistent by machine proof.

Non-uniform data distribution for communication-efficient parallel clustering

Global communicationrequirements andloadimbalanceof someparalleldataminingalgorithms arethe major obstacles to exploitthe computational power of large-scale systems. This work investigates how non-uniform data distributions can be exploited to remove the global communication requirement and to reduce the communication costin parallel data mining algorithms and, in particular, in the k-means algorithm for cluster analysis. In the straightforward parallel formulation of the k-means algorithm, data and computation loads are uniformly distributed over the processing nodes. This approach has excellent load balancing characteristics that may suggest it could scale up to large and extreme-scale parallel computing systems. However, at each iteration step the algorithm requires a global reduction operationwhichhinders thescalabilityoftheapproach.Thisworkstudiesadifferentparallelformulation of the algorithm where the requirement of global communication is removed, while maintaining the same deterministic nature ofthe centralised algorithm. The proposed approach exploits a non-uniform data distribution which can be either found in real-world distributed applications or can be induced by means ofmulti-dimensional binary searchtrees. The approachcanalso be extended to accommodate an approximation error which allows a further reduction ofthe communication costs. The effectiveness of the exact and approximate methods has been tested in a parallel computing system with 64 processors and in simulations with 1024 processing element

Software-based study of a non-sorting method for median calculation on a set of integer numbers

This paper presents a software-based study of a hardware-based non-sorting median calculation method on a set of integer numbers. The method divides the binary representation of each integer element in the set into bit slices in order to find the element located in the middle position. The method exhibits a linear complexity order and our analysis shows that the best performance in execution time is obtained when slices of 4-bit in size are used for 8-bit and 16-bit integers, in mostly any data set size. Results suggest that software implementation of bit slice method for median calculation outperforms sorting-based methods with increasing improvement for larger data set size. For data set sizes of N > 5, our simulations show an improvement of at least 40%.

Trans-floating-point arithmetic removes nine quadrillion redundancies from 64-bit IEEE 754 floating-point arithmetic

IEEE 754 floating-point arithmetic is widely used in modern, general-purpose computers. It is based on real arithmetic and is made total by adding both a positive and a negative infinity, a negative zero, and many Not-a-Number (NaN) states. Transreal arithmetic is total. It also has a positive and a negative infinity but no negative zero, and it has a single, unordered number, nullity. Modifying the IEEE arithmetic so that it uses transreal arithmetic has a number of advantages. It removes one redundant binade from IEEE floating-point objects, doubling the numerical precision of the arithmetic. It removes eight redundant, relational,floating-point operations and removes the redundant total order operation. It replaces the non-reflexive, floating-point, equality operator with a reflexive equality operator and it indicates that some of the exceptions may be removed as redundant { subject to issues of backward compatibility and transient future compatibility as programmers migrate to the transreal paradigm.

Transreal arithmetic as a consistent basis for paraconsistent logics

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.

ON SPECIALITY OF BINARY-LIE ALGEBRAS

In the present work, binary-Lie, assocyclic, and binary (-1,1) algebras are studied. We prove that, for every assocyclic algebra A, the algebra A(-) is binary-Lie. We find a simple non-Malcev binary-Lie superalgebra T that cannot be embedded in A(-s) for an assocyclic superalgebra A. We use the Grassmann envelope of T to prove the similar result for algebras. This solve negatively a problem by Filippov (see [1, Problem 2.108]). Finally, we prove that the superalgebra T is isomorphic to the commutator superalgebra A(-s) for a simple binary (-1,1) superalgebra A.

Wire - a formal intermediate language for binary analysis

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Effect of Zn concentration and grain size on prismatic slip in Mg-Zn binary alloys

Mg-Zn binary alloys with concentrations between 0 and 2.8wt% Zn have been prepared and processed via hot rolling and annealing to produce specimens with a strong basal texture and a range of grain sizes. These have been deformed in tension, a condition in which the deformation is dominated by prismatic slip. This data has been used to assess the Hall-Petch parameter as a function of Zn concentration for deformation dominated by prismatic slip. Pure magnesium showed non-linear Hall-Petch behaviour at large grain sizes, and this is compared to the values for prismatic slip measured on single crystals. The differences between critical resolved shear stress measurements made through single crystal, polycrystal and mathematical modelling techniques are also discussed.

A penalty-based aggregation operator for non-convex intervals

In the case of real-valued inputs, averaging aggregation functions have been studied extensively with results arising in fields including probability and statistics, fuzzy decision-making, and various sciences. Although much of the behavior of aggregation functions when combining standard fuzzy membership values is well established, extensions to interval-valued fuzzy sets, hesitant fuzzy sets, and other new domains pose a number of difficulties. The aggregation of non-convex or discontinuous intervals is usually approached in line with the extension principle, i.e. by aggregating all real-valued input vectors lying within the interval boundaries and taking the union as the final output. Although this is consistent with the aggregation of convex interval inputs, in the non-convex case such operators are not idempotent and may result in outputs which do not faithfully summarize or represent the set of inputs. After giving an overview of the treatment of non-convex intervals and their associated interpretations, we propose a novel extension of the arithmetic mean based on penalty functions that provides a representative output and satisfies idempotency.

Non-Hermitian multichannel theory of ultracold collisions modified by intense light fields tuned to the red of the trapping transition

We develop a systematic scheme to treat binary collisions between ultracold atoms in the presence of a strong laser field, tuned to the red of the trapping transition. We assume that the Rabi frequency is much less than the spacing between adjacent bound-state resonances, In this approach we neglect fine and hyperfine structures, but consider fully the three-dimensional aspects of the scattering process, up to the partial d wave. We apply the scheme to calculate the S matrix elements up to the second order in the ratio between the Rabi frequency and the laser detuning, We also obtain, fur this simplified multichannel model, the asymmetric line shapes of photoassociation spectroscopy, and the modification of the scattering length due to the light field at low, but finite, entrance kinetic energy. We emphasize that the present calculations can be generalized to treat more realistic models, and suggest how to carry out a thorough numerical comparison to this semianalytic theory. [S1050-2947(98)04902-6].

Synthesis and properties of branched polyethylene/high-density polyethylene blends using a homogeneous binary catalyst system composed of early and late transition metal complexes

Branched polyethylene/high-density polyethylene blends (BPE/HDPE) with a wide range of molecular weights, melt flow indexes (MFI), and intrinsic viscosity were prepared using the homogeneous binary catalyst system composed by Ni(alpha-diimine)Cl-2 (1) (alpha-diimine = 1,4-bis(2,6-diisopropylphenyl)-acenaphthenediimine) and {Tp(Ms*)} TiCl3 (2) (Tp(Ms*)=hydridobis(3-mesitylpyrazol-1-yl)(5-mesityl-pyrazol-1-yl)) activated with MAO and/or TIBA in hexane at two different polymerization temperatures (30 and 55 degreesC) and by varying the nickel loading molar fraction (x(Ni)). At all Temperatures, a non-linear correlation between the x(Ni) and the productivity was observed, suggesting the occurrence of a synergistic effect between the nickel and the titanium catalyst precursors, which is more pronounced at 55 degreesC. The molecular weight of the BPE/HDPE blends considerably decreases with increasing Al/M molar ratio. The melt flow indexes (MFI) and intrinsic viscosities (eta) are strongly affected by x(Ni), but the melting temperatures are nearly constant, 132 +/- 3 degreesC. Dynamic mechanical thermal analysis (DMTA) shows the formation of different polymeric materials where the stiffness vanes according, to the x(Ni) and temperature used in the polymerization reaction. The surface morphology of the BPE/HDPE blends studied by scanning electron microscopy (SEM) revealed a low miscibility between the PE phases resulting in the formation of a sandwich structure after etching with o-xylene.

Genetic Algorithms (Binary and Real Codes) for the Optimisation of a Fermentation Process for Butanol Production

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Genetic and non-genetic effects on calf vigor at birth and preweaning mortality in nellore calves

The objective of the present study was to evaluate the genetic and non-genetic effects that influencevigor at birth and preweaning mortality in Nellore calves. A total of 11,727 records of births that occurred between 1978 and 2006, offspring of 363 sires, were analyzed. Poor calf vigor at birth (VB) and preweaning mortality divided into stillbirth (SB), early mortality (EM) and total mortality (TM) were analyzed as binary variables. Generalized linear models were used for the evaluation of non-genetic effects and generalized linear mixed models for genetic effects (sire and animal models). The incidences were 4.75% for VB, 2.66% for SB, 5.28% for EM, and 7.99% for TM. Birth weight was the effect that most influenced the traits studied. Calves weighing less than 22kg(females) and less than 24kg (males) were at a higher risk of low vigor and preweaning mortality. Preweaning mortality was higher among calves born from cows aged .3 and .11 years at calving compared with cows aged 7 to 10 years. Male calves presented less vigor and higher preweaning mortality than female calves. Selection for postweaning weight did not influence preweaning mortality. The heritability estimates ranged between 0.01 and 0.09 for VB, 0.00 and 0.27 for SB, 0.03 and 0.17 for EM and 0.02 and 0.10 for TM. Stillbirth should be included as a selection criterion in breeding programs of Nellore cattle, alone or as part of a selection index, aiming to reduce preweaning mortality. © 2013 Sociedade Brasileira de Zootecnia.

Intra-abdominal fat is related to metabolic syndrome and non-alcoholic fat liver disease in obese youth

Background: Previous studies have shown an association between adiposity, especially intra-abdominal adipose tissue, and hemodynamic/metabolic comorbidities in adults, however it is not clear in pediatric population. The aim of the study was to analyze the relationship between non-alcoholic fatty liver disease (NAFLD) and components of metabolic syndrome (MS) with values of intra-abdominal (IAAT) and subcutaneous (SCAT) adipose tissue in obese children and adolescents.Methods: Cross-sectional study. Subjects: 182 obese sedentary children and adolescents (aged 6 to 16 y), identified by the body mass index (BMI). Measurements: Body composition and trunk fat by dual-energy X-ray absorptiometry- DXA; lipid profile, blood pressure and pubertal stage were also assessed. NAFLD was classified as absent (0), mild (1), moderate (2) and severe (3), and intra-abdominal and subcutaneous abdominal fat thickness were identified by ultrasound. The MS was identified according to the cut offs proposed by World Health Organization adapted for children and adolescents. The chi-square test was used to compare categorical variables, and the binary logistic regression indicated the magnitude of the associations adjusted by potential cofounders (sex, age, maturation, NAFLD and HOMA-IR).Results: Higher quartile of SCAT was associated with elevated blood pressure (p = 0.015), but not associated with NAFLD (p = 0.665). Higher IAAT was positively associated with increased dyslipidemia (p = 0.001), MS (p = 0.013) and NAFLD (p = 0.005). Intermediate (p = 0.007) and highest (p = 0.001) quartile of IAAT were also associated with dyslipidemia, independently of age, sex, maturation, NAFLD and HOMA-IR (homeostatic model assessment-insulin resistance).Conclusion: Obese children and adolescents, with higher IAAT are more prone to develop MS and NAFLD than those with higher values of SCAT, independent of possible confounding variables. © 2013 Silveira et al.; licensee BioMed Central Ltd.