¿Realismo Promiscuo? Algunas razones por las cuales realismo y promiscuidad no parecen poder ir juntos

En este trabajo me propongo evaluar la viabilidad de la metafísica propuesta y requerida por Dupré a los efectos de otorgar un fundamento ontológico a la desunidad de la ciencia. Para ello, me centraré en uno de los argumentos que corresponden al segundo tipo antes mencionado. En particular, tomando como ejemplo la respuesta de Dupré al problema del status ontológico de las especies, intentaré mostrar que realismo metafísico y promiscuidad ontológica no pueden ir, legítimamente, juntos. La principal consecuencia a ser obtenida a partir del cuestionamiento de la tesis del RP será que se requiere una nueva tesis metafísica que ocupe el lugar del RP para fundamentar la tesis epistemológica del pluralismo científico

Anti-lndividualismo y Autoconocimiento o de por qué falla él argumento incompatibilista de McKinsey

En este trabajo me ocupo de la crítica de McKinsey (1991) a las posiciones compatibilistas de Davidson (19&7) y Burge (1988). Me interesa especialmente evaluar sus razones para defender la tesis contraria según la cual el anti-individualismo y el autoconocimiento (o el acceso privilegiado, como él prefiere llamarlo) son incompatibles. Consideraré los argumentos compatibilistas ofrecidos por los dos autores mencionados, y reconstruiré la crítica de McKinsey a cada uno de ellos. Finalmente, señalaré las confusiones y defectos que encuentro en la discusión

'Calving laws', 'sliding laws' and the stability of tidewater glaciers

A new calving criterion is introduced, which predicts calving where the depth of surface crevasses equals ice height above sea level. Crevasse depth is calculated from strain rates, and terminus position and calving rate are therefore functions of ice velocity, strain rate, ice thickness and water depth. We couple the calving criterion with three 'sliding laws', in which velocity is controlled by (1) basal drag, (2) lateral drag and (3) a combination of the two. In model 1, velocities and strain rates are dependent on effective pressure, and hence ice thickness relative to water depth. Imposed thinning can lead to acceleration and terminus retreat, and ice shelves cannot form. In model 2, ice velocity is independent of changes in ice thickness unless accompanied by changes in surface gradient. Velocities are strongly dependent on channel width, and calving margins tend to stabilize at flow-unit widenings. Model 3 exhibits the combined characteristics of the other two models, and suggests that calving glaciers are sensitive to imposed thickness changes if basal drag provides most resistance to flow, but stable if most resistance is from lateral drag. ice shelves can form if reduction of basal drag occurs over a sufficiently long spatial scale. In combination, the new calving criterion and the basal-lateral drag sliding function (model 3) can be used to simulate much of the observed spectrum of behaviour of calving glaciers, and present new opportunities to model ice-sheet response to climate change.</p

TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone

The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to make it smarter. A variety of applications now run simultaneously on an ARM-based processor. For example, devices on the edge of the Internet are provided with higher horsepower to be entrusted with storing, processing and analyzing data collected from IoT devices. This significantly improves efficiency and reduces the amount of data that needs to be transported to the cloud for data processing, analysis and storage. However, commodity OSes are prone to compromise. Once they are exploited, attackers can access the data on these devices. Since the data stored and processed on the devices can be sensitive, left untackled, this is particularly disconcerting. In this paper, we propose a new system, TrustShadow that shields legacy applications from untrusted OSes. TrustShadow takes advantage of ARM TrustZone technology and partitions resources into the secure and normal worlds. In the secure world, TrustShadow constructs a trusted execution environment for security-critical applications. This trusted environment is maintained by a lightweight runtime system that coordinates the communication between applications and the ordinary OS running in the normal world. The runtime system does not provide system services itself. Rather, it forwards requests for system services to the ordinary OS, and verifies the correctness of the responses. To demonstrate the efficiency of this design, we prototyped TrustShadow on a real chip board with ARM TrustZone support, and evaluated its performance using both microbenchmarks and real-world applications. We showed TrustShadow introduces only negligible overhead to real-world applications.Comment: MobiSys 201

Manipulation of exercise to rest ratio within set duration on physical and technical outcomes during small-sided games in elite youth soccer players

Training practices for elite soccer players should take into account specific technical, tactical and physical components. As a consequence of these demands small-sided games (SSGs) have become a popular conditioning tool that replicate the demands encountered during match play. The aim of this investigation was to examine how the manipulation of exercise to rest ratio, within the same overall duration, affected both physical and technical outcomes during SSGs in elite youth soccer. Twelve elite youth soccer players participated in three variations of eight minute 6v6 SSGs. The three variations included eight minutes continuous, 2 × 4 min and 4 × 2 min. Players perceived the continuous 8 min block as the hardest (4.5 ± 1.5 AU), followed by the 2 × 4 min (3.9 ± 1.4 AU) and the 4 × 2 min (3.3 ± 1.4 AU), although no difference in mean HR or physical measures via GPS analysis between SSGs was evident. From the technical perspective, only goals scored reached significance, with post hoc analysis identifying the number of goals scored were significantly higher during the 4 × 2 min and 2 × 4 min SSGs compared to 8 min continuous block. These results show that subjective ratings of exertion differed between conditions, but only minor technical manipulations were observed by adjusting work to rest ratios, with no significant effect on physical performance

Effect of Fat and CHO Meals on Intermittent Exercise in Soccer Players

Pre-exercise meals containing carbohydrates (CHO) are recommended to athletes, although there is evidence to suggest that a high fat meal prior to exercise increases utilisation of fats yet may not adversely affect performance. This study investigated the effect of a high fat and high CHO pre-exercise meal prior to high intensity intermittent exercise. Ten male recreational soccer players performed a soccer specific protocol followed by a 1 km time trial 3 ½ h after ingesting one of 2 test meals, high fat meal (HFM) or a high CHO meal (HCM). Blood glucose, fatty acids (FA), glycerol, β-hydroxybutyrate, lactate and insulin were assessed prior to the meal, pre-exercise, halftime, and post-exercise, whilst rates of CHO and fat oxidation were determined at 4 time points during the exercise as well as heart rate (HR) and rating of perceived exertion (RPE). Significant increases in FA, glycerol, β-hydroxybutyrate and fat oxidation after the HFM were observed, while CHO oxidation was significantly higher following the HCM (P < 0.05). No performance effect was found for the 1 km time trial (HFM: 228.6+14.4 s; HCM: 229.4+26.5 s) (mean+SD). These findings suggest that the type of meal ingested prior to soccer simulated exercise has an impact on metabolism, but not on the subsequent performance as determined in the present study

Middle pleistocene glaciation in Patagonia dated by cosmogenic-nuclide measurements on outwash gravels

The well-preserved glacial record in Argentine Patagonia offers a ~ 1 Ma archive of terrestrial climate extremes in southern South America. These glacial deposits remain largely undated beyond the range of radiocarbon dating at ca. 40 ka. Dating old glacial deposits (> several 105 a) by cosmogenic surface exposure methods is problematic because of the uncertainty in moraine degradation and boulder erosion rates. Here, we show that cobbles on outwash terraces can reliably date ‘old’ glacial deposits in the Lago Pueyrredón valley, 47.5° S, Argentina. Favorable environmental conditions (e.g., aridity and strong winds) have enabled continuous surface exposure of cobbles and preservation of outwash terraces. The data demonstrate that nuclide inheritance is negligible and we therefore use the oldest surface cobbles to date the deposit. 10Be concentrations in outwash cobbles reveal a major glacial advance at ca. 260 ka, concurrent with Marine Isotope Stage 8 (MIS 8) and dust peaks in Antarctic ice cores. A 10Be concentration depth-profile in the outwash terrace supports the age and suggests a low terrace erosion rate of ca. 0.5 mm ka− 1. We compare these data to exposure ages obtained from associated moraines and find that surface boulders underestimate the age of the glaciation by ~ 100 ka; thus the oldest boulders in this area do not date closely moraine deposition. The 10Be concentration in moraine cobbles help to constrain moraine degradation rates. These data together with constraints from measured 26Al/10Be ratios suggest that all moraine boulders were likely exhumed after original deposition. We determine the local Last Glacial Maximum (LGM) occurred at ~ 27–25 ka, consistent with the maximum LGM in other parts of Patagonia

Polarization of superfluid turbulence

We show that normal fluid eddies in turbulent helium II polarize the tangle of quantized vortex lines present in the flow, thus inducing superfluid vorticity patterns similar to the driving normal fluid eddies. We also show that the polarization is effective over the entire inertial range. The results help explain the surprising analogies between classical and superfluid turbulence which have been observed recently.Comment: 3 figure

Melt-under-cutting and buoyancy-driven calving from tidewater glaciers: new insights from discrete element and continuum model simulations

This work was funded by the ConocoPhillips Northern Area Program (CRIOS: Calving Rates and Impact on Sea Level) and the Nordic Research Council (SVALI: Stability and Variation of Arctic Land Ice and eSTICC: eScience Tools for Investigating Climate Change in northern high latitudes).The simple calving laws currently used in ice sheet models do not adequately reflect the complexity and diversity of calving processes. To be effective, calving laws must be grounded in a sound understanding of how calving actually works. Here, we develop a new strategy for formulating calving laws, using a) the Helsinki Discrete Element Model (HiDEM) to explicitly model fracture and calving processes, and b) the continuum model Elmer/Ice to identify critical stress states associated with HiDEM calving events. A range of observed calving processes emerges spontaneously from HiDEM in response to variations in ice-front buoyancy and the size of subaqueous undercuts. Calving driven by buoyancy and melt undercutting is under-predicted by existing calving laws, but we show that the location and magnitude of HiDEM calving events can be predicted in Elmer/Ice from characteristic stress patterns. Our results open the way to developing calving laws that properly reflect the diversity of calving processes, and provide a framework for a unified theory of the calving process continuum.Publisher PDFPeer reviewe