4,676 research outputs found
Recurrence extraction for functional programs through call-by-push-value
The main way of analyzing the complexity of a program is that of extracting
and solving a recurrence that expresses its running time in terms of the size
of its input. We develop a method that automatically extracts such recurrences
from the syntax of higher-order recursive functional programs. The resulting
recurrences, which are programs in a call-by-name language with recursion,
explicitly compute the running time in terms of the size of the input. In order
to achieve this in a uniform way that covers both call-by-name and
call-by-value evaluation strategies, we use Call-by-Push-Value (CBPV) as an
intermediate language. Finally, we use domain theory to develop a denotational
cost semantics for the resulting recurrences.Comment: POPL 202
JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction
Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
We present the first scalable bound analysis that achieves amortized
complexity analysis. In contrast to earlier work, our bound analysis is not
based on general purpose reasoners such as abstract interpreters, software
model checkers or computer algebra tools. Rather, we derive bounds directly
from abstract program models, which we obtain from programs by comparatively
simple invariant generation and symbolic execution techniques. As a result, we
obtain an analysis that is more predictable and more scalable than earlier
approaches. Our experiments demonstrate that our analysis is fast and at the
same time able to compute bounds for challenging loops in a large real-world
benchmark. Technically, our approach is based on lossy vector addition systems
(VASS). Our bound analysis first computes a lexicographic ranking function that
proves the termination of a VASS, and then derives a bound from this ranking
function. Our methodology achieves amortized analysis based on a new insight
how lexicographic ranking functions can be used for bound analysis
Multidisciplinary Prehabilitation and Postoperative Rehabilitation for Avoiding Complications in Patients Undergoing Resection of Colon Cancer: Rationale, Design, and Methodology of the ONCOFIT Study
ONCOFIT is a randomized clinical trial with a two-arm parallel design aimed at determining the influence of a multidisciplinary Prehabilitation and Postoperative Program (PPP) on post-surgery complications in patients undergoing resection of colon cancer. This intervention will include supervised physical exercise, dietary behavior change, and psychological support comparing its influence to the standard care. Primary and secondary endpoints will be assessed at baseline, at preoperative conditions, at the end of the PPP intervention (after 12 weeks) and 1-year post-surgery, and will include: post-surgery complications (primary endpoint); prolonged hospital length of stay; readmissions and emergency department call within 1-year after surgery; functional capacity; patient reported outcome measures targeted; anthropometry and body composition; clinical/tumor parameters; physical activity levels and sedentariness; dietary habits; other unhealthy habits; sleep quality; and fecal microbiota diversity and composition. Considering the feasibility of the present intervention in a real-life scenario, ONCOFIT will contribute to the standardization of a cost-effective strategy for preventing and improving health-related consequences in patients undergoing resection of colon cancer with an important clinical and economic impact, not only in the scientific community, but also in clinical practice.This study was funded by the University of Granada, Plan Propio de Investigación 2016-Excellence actions: Unit of Excellence on Exercise and Health (UCEES). P.C. was supported by the Margarita Salas postdoctoral grant, convened by de University of the Basque Country (UPV/EHU), funded by the Ministry of Universities of Spain and the European Union-Next Generation EU
Multidisciplinary Prehabilitation and Postoperative Rehabilitation for Avoiding Complications in Patients Undergoing Resection of Colon Cancer: Rationale, Design, and Methodology of the ONCOFIT Study
Funding: This study was funded by the University of Granada, Plan Propio de Investigación 2016-
Excellence actions: Unit of Excellence on Exercise and Health (UCEES). P.C. was supported by the
Margarita Salas postdoctoral grant, convened by de University of the Basque Country (UPV/EHU),
funded by the Ministry of Universities of Spain and the European Union-Next Generation EU.ONCOFIT is a randomized clinical trial with a two-arm parallel design aimed at determining
the influence of a multidisciplinary Prehabilitation and Postoperative Program (PPP) on
post-surgery complications in patients undergoing resection of colon cancer. This intervention will
include supervised physical exercise, dietary behavior change, and psychological support comparing
its influence to the standard care. Primary and secondary endpoints will be assessed at baseline, at
preoperative conditions, at the end of the PPP intervention (after 12 weeks) and 1-year post-surgery,
and will include: post-surgery complications (primary endpoint); prolonged hospital length of stay;
readmissions and emergency department call within 1-year after surgery; functional capacity; patient
reported outcome measures targeted; anthropometry and body composition; clinical/tumor
parameters; physical activity levels and sedentariness; dietary habits; other unhealthy habits; sleep
quality; and fecal microbiota diversity and composition. Considering the feasibility of the present
intervention in a real-life scenario, ONCOFIT will contribute to the standardization of a cost-effective
strategy for preventing and improving health-related consequences in patients undergoing resection
of colon cancer with an important clinical and economic impact, not only in the scientific community,
but also in clinical practice.University of Granada, Plan Propio de Investigación 2016- Excellence actions: Unit of Excellence on Exercise and Health (UCEES)Margarita Salas postdoctoral grant, convened by de University of the Basque Country (UPV/EHU), funded by the Ministry of Universities of Spain and the European Union-Next Generation E
Practical implementation of nonlinear time series methods: The TISEAN package
Nonlinear time series analysis is becoming a more and more reliable tool for
the study of complicated dynamics from measurements. The concept of
low-dimensional chaos has proven to be fruitful in the understanding of many
complex phenomena despite the fact that very few natural systems have actually
been found to be low dimensional deterministic in the sense of the theory. In
order to evaluate the long term usefulness of the nonlinear time series
approach as inspired by chaos theory, it will be important that the
corresponding methods become more widely accessible. This paper, while not a
proper review on nonlinear time series analysis, tries to make a contribution
to this process by describing the actual implementation of the algorithms, and
their proper usage. Most of the methods require the choice of certain
parameters for each specific time series application. We will try to give
guidance in this respect. The scope and selection of topics in this article, as
well as the implementational choices that have been made, correspond to the
contents of the software package TISEAN which is publicly available from
http://www.mpipks-dresden.mpg.de/~tisean . In fact, this paper can be seen as
an extended manual for the TISEAN programs. It fills the gap between the
technical documentation and the existing literature, providing the necessary
entry points for a more thorough study of the theoretical background.Comment: 27 pages, 21 figures, downloadable software at
http://www.mpipks-dresden.mpg.de/~tisea
The Mole & The Snake
This article starts from the Foucaultanian notions of biopower and discipline, deal- ing with the strategies of the modern and contemporary capitalism. Introducing the term biopower into his research, Foucault is alluding to a series of transformations re- lated to the capitalist system: life enters into the scope of power in terms of \u201ccontrolled insertion of bodies\u201d in the social apparatus of production, as well as in terms of an \u201cadaptation of population phenomena to economic processes\u201d. It involves the exchange of services on which the Fordist social pact was founded in the twentieth century. The life that is claimed in and against the relationship of capital concerns \u201cneeds\u201d that refer to a \u201cconcrete essence of man\u201d. In the undeniable awareness of a \u201ctriangulation\u201d between sovereignty, discipline and biopower, the author, as a criterion for reading the dynamics of contemporary power, analyzes the theme of control referring to Deleuze. This is de- lineated in the double form of \u201cbiopolitical algorithms\u201d and of the normalization that by means of the selection and targeted processing of big data and information packages, incessantly produced by social activity in and on the network, capture forms of life at the service of capitalism
- …