The co-evolution of social institutions, demography, and large-scale human cooperation.

Human cooperation is typically coordinated by institutions, which determine the outcome structure of the social interactions individuals engage in. Explaining the Neolithic transition from small- to large-scale societies involves understanding how these institutions co-evolve with demography. We study this using a demographically explicit model of institution formation in a patch-structured population. Each patch supports both social and asocial niches. Social individuals create an institution, at a cost to themselves, by negotiating how much of the costly public good provided by cooperators is invested into sanctioning defectors. The remainder of their public good is invested in technology that increases carrying capacity, such as irrigation systems. We show that social individuals can invade a population of asocials, and form institutions that support high levels of cooperation. We then demonstrate conditions where the co-evolution of cooperation, institutions, and demographic carrying capacity creates a transition from small- to large-scale social groups.

Mental Causation : Investigating the mind's powers in a natural world

4.6 Summary and Conclusion In this chapter, we have first tried to make precise the distinctions between the concepts of parthood and coincidence and the concepts of causation and causal influence. These distinc-tions had never been made entirely explicit in the debate on mental causation before, despite the fact that they constantly figure in its background. Section 4.2 then demonstrated that the at-tained definitions are both compatible with all the solutions elaborated in chapters 2 and 3 and that they are even of great help in clarifying both what precisely the mentioned accounts are claiming respectively and what their mutual connections are. In sections 4.3. and 4.4, we have then tried to explore two possible solutions to the problem of mental causation that, at least in these particular versions, have not been explicitly defended in the literature. These solutions we dubbed "overdeteiminationism lite" and "plural determinism". We found the accounts both to bear impressive explanatory capabilities and to be vulnerable to far fewer problems than is commonly supposed. We also found out that they have many corresponding aspects and that their theoretical costs stand in a relation of a relative mutual balance. Our final discussion in section 4.5 revealed, however, that overdetenninationism lite should probably be considered the more successful theory. The fact that it needs to endorse the existence of two kinds of causation, although not unproblematic itself, did not appear as a commitment as strong as that of an ontological hierarchy that extends over all time, which at least the broad version of plural determinism was forced to make.

Development of Asphalt Dynamic Modulus Master Curve Using Falling Weight Deflectometer Measurements, TR-659

The asphalt concrete (AC) dynamic modulus (|E*|) is a key design parameter in mechanistic-based pavement design methodologies such as the American Association of State Highway and Transportation Officials (AASHTO) MEPDG/Pavement-ME Design. The objective of this feasibility study was to develop frameworks for predicting the AC |E*| master curve from falling weight deflectometer (FWD) deflection-time history data collected by the Iowa Department of Transportation (Iowa DOT). A neural networks (NN) methodology was developed based on a synthetically generated viscoelastic forward solutions database to predict AC relaxation modulus (E(t)) master curve coefficients from FWD deflection-time history data. According to the theory of viscoelasticity, if AC relaxation modulus, E(t), is known, |E*| can be calculated (and vice versa) through numerical inter-conversion procedures. Several case studies focusing on full-depth AC pavements were conducted to isolate potential backcalculation issues that are only related to the modulus master curve of the AC layer. For the proof-of-concept demonstration, a comprehensive full-depth AC analysis was carried out through 10,000 batch simulations using a viscoelastic forward analysis program. Anomalies were detected in the comprehensive raw synthetic database and were eliminated through imposition of certain constraints involving the sigmoid master curve coefficients. The surrogate forward modeling results showed that NNs are able to predict deflection-time histories from E(t) master curve coefficients and other layer properties very well. The NN inverse modeling results demonstrated the potential of NNs to backcalculate the E(t) master curve coefficients from single-drop FWD deflection-time history data, although the current prediction accuracies are not sufficient to recommend these models for practical implementation. Considering the complex nature of the problem investigated with many uncertainties involved, including the possible presence of dynamics during FWD testing (related to the presence and depth of stiff layer, inertial and wave propagation effects, etc.), the limitations of current FWD technology (integration errors, truncation issues, etc.), and the need for a rapid and simplified approach for routine implementation, future research recommendations have been provided making a strong case for an expanded research study.

Assessing the epidemiology and pattern of care of colorectal cancer in Valais, Switzerland

Background: The Valais's cancer registry (RVsT) of the Observatoire valaisan de le santé (OVS) and the department of oncology of Valais's Hospital conducted a study on the epidemiology and pattern of care of colorectal cancer in Valais. Colorectal cancer is the third cause of death by cancer in Switzerland with about 1600 deaths per year. It is the third most frequent cancer for males and the second most frequent for females in Valais. The number of new colorectal cancer cases (average per year) increased between 1989 and 2009 for males as well as for females in Valais. The number of colorectal cancer death cases (average per year) slightly increased between 1989 and 2009 for males as well as for females in Valais. Age-standardized rates of incidence were stable for males and females in Valais and in Switzerland between 1989 and 2009, while age-standardized rates of mortality decreased for males and females in Valais and Switzerland. Results: 774 cases were recorded (59% males). Median age at diagnosis was 70 years old. Most of cancers were invasive (79%) and the main localization was the colon (71%). The most frequent mode of detection was a consultation for non emergency symptoms (75%), but almost 10% of patients consulted in emergency. 82% of patients were treated within 30 days from diagnosis. 90% of the patients were treated by surgery alone or with combined treatment. The first treatment was surgery, including endoscopic resection in 86% of the cases. The treatment was different according to the localization and the stage of the cancer. Survival rate was 95% at 30 days and 79% at one year. The survival was dependent on the stage and the age at diagnosis. Cox model shows an association between mortality and age (better survival for young people) and between mortality and stage (better survival for the lower stages). Methods: RVsT collects information on all cancer cases since 1989 for people registered in the communes of Valais. RVsT has an authorization to collect non anonymized data. All new incident cancers are coded according to the International Classification of Diseases for Oncology (ICD-O-3) and the stages are coded according to the TNM classification. We studied all cases of in situ and invasive colorectal cancers diagnosed between 2006 and 2009 and registered routinely at the RVsT. We checked for data completeness and if necessary sent questionnaires to avoid missing data. A distance of 15 cm has been chosen to delimitate the colon (sigmoid) and the rectal cancers. We made an active follow-up for vital status to have a valid survival analysis. We analyzed the characteristics of the tumors according to age, sex, localization and stage with stata 9 software. Kaplan-Meier curves were generated and Cox model were fitted to analyze survival. Conclusion: The characteristics of patients and tumors and the one year survival were similar to those observed in Switzerland and some European countries. Patterns of care were close to those recommended in guidelines. Routine data recorded in a cancer registry can be used, not only to provide general statistics, but also to help clinicians assess local practices.

Width and serialization of classical planning problems

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We show that many benchmark domains have a bounded and small width provided thatgoals are restricted to single atoms, and hence that such problems are provably solvable in low polynomial time. We then focus on the practical value of these ideas over the existing benchmarks which feature conjunctive goals. We show that the blind-search procedure can be used for both serializing the goal into subgoals and for solving the resulting problems, resulting in a ‘blind’ planner that competes well with a best-first search planner guided by state-of-the-art heuristics. In addition, ideas like helpful actions and landmarks can be integrated as well, producing a planner with state-of-the-art performance.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Parametric Approach to Blind Deconvolution of Nonlinear Channels

A parametric procedure for the blind inversion of nonlinear channels is proposed, based on a recent method of blind source separation in nonlinear mixtures. Experiments show that the proposed algorithms perform efficiently, even in the presence of hard distortion. The method, based on the minimization of the output mutual information, needs the knowledge of log-derivative of input distribution (the so-called score function). Each algorithm consists of three adaptive blocks: one devoted to adaptive estimation of the score function, and two other blocks estimating the inverses of the linear and nonlinear parts of the channel, (quasi-)optimally adapted using the estimated score functions. This paper is mainly concerned by the nonlinear part, for which we propose two parametric models, the first based on a polynomial model and the second on a neural network, while [14, 15] proposed non-parametric approaches.

Generation of symmetric periodic orbits by a heteroclinic loop formed by two singular points and their invariant manifolds of dimension 1 and 2 in R3

In this paper we will find a continuous of periodic orbits passing near infinity for a class of polynomial vector fields in R3. We consider polynomial vector fields that are invariant under a symmetry with respect to a plane and that possess a “generalized heteroclinic loop” formed by two singular points e+ and e− at infinity and their invariant manifolds � and . � is an invariant manifold of dimension 1 formed by an orbit going from e− to e+, � is contained in R3 and is transversal to . is an invariant manifold of dimension 2 at infinity. In fact, is the 2–dimensional sphere at infinity in the Poincar´e compactification minus the singular points e+ and e−. The main tool for proving the existence of such periodic orbits is the construction of a Poincar´e map along the generalized heteroclinic loop together with the symmetry with respect to .

Symmetric periodic orbits near a heteroclinic loop formed by two singular points and their invariant manifolds of dimension 1 and 2

In this paper we consider vector fields in R3 that are invariant under a suitable symmetry and that posses a “generalized heteroclinic loop” L formed by two singular points (e+ and e −) and their invariant manifolds: one of dimension 2 (a sphere minus the points e+ and e −) and one of dimension 1 (the open diameter of the sphere having endpoints e+ and e −). In particular, we analyze the dynamics of the vector field near the heteroclinic loop L by means of a convenient Poincar´e map, and we prove the existence of infinitely many symmetric periodic orbits near L. We also study two families of vector fields satisfying this dynamics. The first one is a class of quadratic polynomial vector fields in R3, and the second one is the charged rhomboidal four body problem.

Equidistribution of Fekete Points on the Sphere

Fekete points are the points that maximize a Vandermonde-type determinant that appears in the polynomial Lagrange interpolation formula. They are well suited points for interpolation formulas and numerical integration. We prove the asymptotic equidistribution of Fekete points in the sphere. The way we proceed is by showing their connection to other arrays of points, the so-called Marcinkiewicz-Zygmund arrays and interpolating arrays, that have been studied recently.

Performance of juveniles of Pseudoplatystoma fasciatum fed graded levels of corn gluten meal

The objective of this work was to evaluate corn gluten meal (CGM) as a substitute for fish meal in diets for striped catfish (Pseudoplatystoma fasciatum) juveniles. Eight isonitrogenous (46% crude protein) and isoenergetic (3,450 kcal kg-1 digestible energy) diets, with increasing levels of CGM - 0, 6, 12, 18, 24, 30, 36, and 42% -, were fed to juvenile striped catfish (113.56±5.10 g) for seven weeks. Maximum values for weight gain, specific growth rate, protein efficiency ratio and feed conversion ratio, evaluated by polynomial quadratic regression, were observed with 10.4, 11.4, 15.4 and 15% of CGM inclusion, respectively. Feed intake decreased significantly from 0.8% CGM. Mesenteric fat index and body gross energy decreased linearly with increasing levels of CGM; minimum body protein contents were observed with 34.1% CGM. Yellow pigmentation of fillets significantly increased until 26.5% CGM, and decreased from this point forth. Both plasma glucose and protein concentrations decreased with increased CGM levels. The inclusion of 10-15% CGM promotes optimum of striped catfish juveniles depending on the parameter evaluated. Yellow coloration in fillets produced by CGM diets can have marketing implications.

Growth of champa fruit under agroecological conditions of Miraflores, Boyacá, Colombia

The objective of this work was to analyze the growth of champa fruit (Campomanesia lineatifolia) as a function of growing-degree days (GDD) in the municipality of Miraflores, in Boyacá, Colombia. Thirty trees were selected at random, and 100 flowers in full bloom were marked in each tree. From the 26th day after flowering until harvest, 10 samples were taken every 15 days to determine the fruit parameters and growth rate. Temperature was recorded to calculate the GDD. From flowering until harvest, 1,489.1 GDD were accumulated over 145 days. Dry and fresh matter mass of pulp, seed, and total fruit were fitted to a logistic growth model, and three growth stages (S1, S2 and S3) were defined. In the S1, growth was slow, and the relative growth remained nearly stable, whereas the absolute growth rate (AGR) increased slowly. In the S2, maximum growth was observed. In the S3, which corresponds to maturation, dry mass increased gradually, and the AGR decreased, while the fresh pulp and total mass did not cease to increase. The polar and equatorial diameters increased linearly, while the volume followed an exponential model. Champa fruit show a simple sigmoid growth curve.

Enterocystoplasty using modified pedicled, detubularized, de-epithelialized sigmoid patches in the mini-pig model.

Enterocystoplasty and gastrocystoplasty have been developed to restore adequate bladder capacity but they still result in the undesired harmful contact of urine with the intestinal mucosa. In an attempt to prevent this nonphysiological interface we performed several modified enterocystoplasties in the mini-pig model using a pedicled, detubularized, de-epithelialized sigmoid patch. Five techniques of patch coverage were used to evaluate urothelial growth or survival on the sigmoid patch. All but 1 patch had intestinal mucosa remnants with mucocele formation. When no coverage was applied or a biodegradable polyglactin mesh was temporarily covering the pedicled, detubularized, de-epithelialized sigmoid patch, severe shrinkage occurred. Partial cover with autologous urothelium islets seemed to decrease shrinkage. Adequate urothelium survival and satisfactory elastic properties of the patch were observed when total cover of the sigmoid patch was achieved with a sheet of homologous urothelium recovering autologous urothelial islets or when the patch was applied to protruding urothelium obtained following sagittal posterior detrusor myotomy.

GRW as an ontology of dispositions

The paper argues that the formulation of quantum mechanics proposed by Ghirardi, Rimini and Weber (GRW) is a serious candidate for being a fundamental physical theory and explores its ontological commitments from this perspective. In particular, we propose to conceive of spatial superpositions of non-massless microsystems as dispositions or powers, more precisely propensities, to generate spontaneous localizations. We set out five reasons for this view, namely that (1) it provides for a clear sense in which quantum systems in entangled states possess properties even in the absence of definite values; (2) it vindicates objective, single-case probabilities; (3) it yields a clear transition from quantum to classical properties; (4) it enables to draw a clear distinction between purely mathematical and physical structures, and (5) it grounds the arrow of time in the time-irreversible manifestation of the propensities to localize.

Random regression models to estimate genetic parameters for milk production of Guzerat cows using orthogonal Legendre polynomials

The objective of this work was to compare random regression models for the estimation of genetic parameters for Guzerat milk production, using orthogonal Legendre polynomials. Records (20,524) of test-day milk yield (TDMY) from 2,816 first-lactation Guzerat cows were used. TDMY grouped into 10-monthly classes were analyzed for additive genetic effect and for environmental and residual permanent effects (random effects), whereas the contemporary group, calving age (linear and quadratic effects) and mean lactation curve were analized as fixed effects. Trajectories for the additive genetic and permanent environmental effects were modeled by means of a covariance function employing orthogonal Legendre polynomials ranging from the second to the fifth order. Residual variances were considered in one, four, six, or ten variance classes. The best model had six residual variance classes. The heritability estimates for the TDMY records varied from 0.19 to 0.32. The random regression model that used a second-order Legendre polynomial for the additive genetic effect, and a fifth-order polynomial for the permanent environmental effect is adequate for comparison by the main employed criteria. The model with a second-order Legendre polynomial for the additive genetic effect, and that with a fourth-order for the permanent environmental effect could also be employed in these analyses.