2,458 research outputs found

    The forward kinematics of doubly-planar Gough-Stewart platforms and the position analysis of strips of tetrahedra

    Get PDF
    The final publication is available at link.springer.comA strip of tetrahedra is a tetrahedron-tetrahedron truss where any tetrahedron has two neighbors except those in the extremes which have only one. The problem of finding all the possible lengths for an edge in the strip compatible with a given distance imposed between the strip end-points has been revealed of relevance due to the large number of possible applications. In this paper, this is applied to solve the forward kinematics of 6-6 Gough-Stewart platforms with planar base and moving platform, a problem which is known to have up to 40 solutions (20 if we do not consider mirror configurations with respect to the base as different solutions).Peer ReviewedPostprint (author's final draft

    Bytecode-Based Multiple Condition Coverage: An Initial Investigation

    Get PDF
    Masking occurs when one condition prevents another from influencing the output of a Boolean expression. Adequacy criteria such as Multiple Condition Coverage (MCC) overcome masking within one expression, but offer no guarantees about subsequent expressions. As a result, a Boolean expression written as a single complex statement will yield more effective test cases than when written as a series of simple expressions. Many approaches to automated test case generation for Java operate not on the source code, but on bytecode. The transformation to bytecode simplifies complex expressions into multiple expressions, introducing masking. We propose Bytecode-MCC, a new adequacy criterion designed to group bytecode expressions and reformulate them into complex expressions. Bytecode-MCC should produce test obligations that are more likely to reveal faults in program logic than tests covering the simplified bytecode.A preliminary study shows potential improvements from attaining Bytecode-MCC coverage. However, Bytecode-MCC is difficult to optimize, and means of increasing coverage are needed before the technique can make a difference in practice. We propose potential methods to improve coverage

    Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories

    Get PDF
    The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of situations overcomes these short-comings. Its so-called 'embarrassing parallelizability' allows us to solve many problems and extract physical information which elude the symbolic methods. We describe the method and then use it to solve various problems arising from physics which could not be otherwise solved.Comment: 36 page

    No Changes in Human Immunodeficiency Virus (HIV) Suppression and Inflammatory Markers in Cerebrospinal Fluid in Patients Randomly Switched to Dolutegravir Plus Lamivudine (Spanish HIV/AIDS Research Network, PreEC/RIS 62)

    Get PDF
    A major concern of HIV dual therapy is a potential lower efficacy in viral reservoirs, especially in the central nervous system (CNS). We evaluated HIV RNA, neuronal injury and inflammatory biomarkers and dolutegravir (DTG) exposure in cerebrospinal fluid (CSF) in patients switching to DTG+lamivudine (3TC). All participants maintained viral suppression in plasma and CSF at week 48. We observed no increase in CSF markers of inflammation or neuronal injury. Median (IQR) total and unbound DTG in CSF were 7.3(5.9-8.4) ng/mL and 1.7(1.2-1.9) ng/mL, respectively. DTG+3TC may maintain viral control without changes in inflammatory/injury markers within the CNS reservoir

    The association of feeding behaviour with the resistance and tolerance to parasites in recently diverged sticklebacks

    Get PDF
    This is the peer reviewed version of the following article: Anaya-Rojas, J. M., et al. (2016). "The association of feeding behaviour with the resistance and tolerance to parasites in recently diverged sticklebacks." Journal of Evolutionary Biology: n/a-n/a., which has been published in final form at 10.1111/jeb.12934. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving."This project was funded through the Lead Agency Project of the German Science Foundation (DFG, EI841/4-1) and the Swiss National Science Foundation (SNSF 139326). The project was enabled by the stickleback cluster of the DFG Priority Program 1399 “Host-Parasite Co-evolution” and supported by a DFG grant to CE (EI 841/6-1)

    Continuity for s-convex fuzzy processes

    Get PDF
    In a previous paper we introduced the concept of s-convex fuzzy mapping and established some properties. In this work we study the continuity for s-convex fuzzy processes
    • 

    corecore