2,458 research outputs found
The forward kinematics of doubly-planar Gough-Stewart platforms and the position analysis of strips of tetrahedra
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
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
Recommended from our members
Trump-induced anxiety among Latina/os
During the 2016 election, Donald Trump castigated unauthorized immigrants as âmurderers and rapists.â During his presidency, he continued the use of this rhetoric, explicitly linking unauthorized migrants to threatening narratives. Here, we consider three questions: Did Donald Trump and his immigration positions serve as an âanxiety triggerâ for Latina/os? Are individuals with contextually stigmatized attributes especially sensitive to Trump and his policy proposals? Is Spanish language itself, an attribute negatively stigmatized in the context of the immigration issue, sufficient to increase deportation anxiety? Utilizing survey experiments of Latina/os, we demonstrate that exposure to a Trump immigration cue is sufficient to increase anxiety about deportation. We also demonstrate that stigmatized attributes predict anxiety, but do not moderate the effect of the Trump cue. Lastly, we provide evidence that survey language affects anxiety among Latina/os. In Studies 1 (n = 736) and 2 (n = 1,040), we show that exposure to information about Trumpâs immigration agenda significantly increases reports about deportation anxiety. In Study 3 (n = 1,734), we show that the Trump exposure condition induces heightened anxiety but that Latina/o attributes (language proficiency and use, immigration status, assessed phenotype) and identity strength have an independent effect on deportation anxiety. In Study 4 (n = 775), we randomized bilingual respondents into Spanish or English language survey protocols and found that comparable bilinguals exposed to Spanish language report higher levels of anxiety compared to English-language survey takers
Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories
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)
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
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
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
- âŠ