Miracle-dz/UniFAR-FTUs huggingface dataset:
Equilibrium Viscosity and Disequilibrium Rheology of a high Magnesium Basalt from Piton De La Fournaise volcano, La Reunion, Indian Ocean, France

Lava flows are a common hazard at basaltic to intermediate volcanoes in general and have posed a significant threat to La Reunion Island specifically over the past centuries. In sustained flow units, the efficiency of lava transport away from the vent is dominated by cooling. For basaltic to intermediate lavas it is the ability of the lava to solidify during cooling which exerts a first-order control on the extent of flow. As a consequence, understanding the sub-liquidus rheology of lavas has become a key focus in lava flow research in the past decade. To date, a systematic understanding of lava rheology during emplacement conditions has been largely hampered by a lack of experimental data. Here we present new data on the rheological evolution of a crystalizing high Mg basalt from Piton de la Fournaise. Sub-liquidus experiments were performed at constant cooling rates of 0.5 to 5 K/min, to mimic conditions similar to those experienced by lava during flow on the surface and magma during dike and sill emplacement. The data show that the effective viscosity of the crystallizing suspension increases until reaching a specific sub-liquidus temperature, the so-called “rheological cut-off temperature” (T cutoff ), at which the lava effectively solidifies. This departure to high viscosity is a consequence of rapid crystallization and is found to be primarily controlled by the imposed cooling-rate. Based on our experimental data, we adapt the failure forecasting method (FFM), which is commonly used to describe the self-accelerating nature of seismic signals to forecast material failure, to predict the rheological cut-off temperature (T cutoff ). The data presented serve to expand the modest existing experimental database on non-equilibrium rheology of lavas as a step towards understanding the underlying process dynamics.
Review: Perpetuating Old Ponderosa Pine

We review current knowledge about the use of management treatments to reduce human-induced threats to old ponderosa pine (Pinus ponderosa) trees. We address the following questions: Are fire-induced damage and mortality greater in old than younger trees? Can management treatments ameliorate the detrimental effects of fire, competition-induced stress, and drought on old trees? Can management increase resistance of old trees to bark beetles? We offer the following recommendations for the use of thinning and burning treatments in old-growth ponderosa pine forests. Treatments should be focused on high-value stands where fire exclusion has increased fuels and competition and where detrimental effects of disturbance during harvesting can be minimized. Fuels should be reduced in the vicinity of old trees prior to prescribed burns to reduce fire intensity, as old trees are often more prone to dying after burning than younger trees. Raking the forest floor beneath old trees prior to burning may not only reduce damage from smoldering combustion under certain conditions but also increase fine-root mortality. Thinning of neighboring trees often increases water and carbon uptake of old trees within 1 year of treatment, and increases radial growth within several years to two decades after treatment. However, stimulation of growth of old trees by thinning can be negated by severe drought. Evidence from young trees suggests that management treatments that cause large increases in carbon allocation to radial xylem growth also increase carbon allocation to constitutive resin defenses against bark beetle attacks, but evidence for old trees is scarce. Prescribed, low-intensity burning may attract bark beetles and increase mortality of old trees from beetle attacks despite a stimulation of bole resin production. # 2007 Elsevier B.V. All rights reserved.
A Cohen–Lenstra phenomenon for elliptic curves

Given an elliptic curve E and a finite Abelian group G, we consider the problem of counting the number of primes p for which the group of points modulo p is isomorphic to G. Under a certain conjecture concerning the distribution of primes in short intervals, we obtain an asymptotic formula for this problem on average over a family of elliptic curves.
CHOKe - a stateless active queue management scheme for approximating fair bandwidth allocation

We investigate the problem of providing a fair bandwidth allocation to each of n flows that share the outgoing link of a congested router. The buffer at the outgoing link is a simple FIFO, shared by packets belonging to the n flows. We devise a simple packet dropping scheme, called CHOKe, that discriminates against the flows which submit more packets per second than is allowed by their fair share. By doing this, the scheme aims to approximate the fair queueing policy. Since it is stateless and easy to implement, CHOKe controls unresponsive or misbehaving flows with a minimum overhead.
The Influence of Exotic Lady Beetle (Coleoptera: Coccinellidae) Establishment on the Species Composition of the Native Lady Beetle Community in Missouri

Abstract The diversity and abundance of native lady beetles (Coccinellidae) in North America has declined in recent decades. This decline is often correlated with the introduction and establishment of exotic lady beetle species, including Coccinella septempunctata L. and Harmonia axyridis Pallas, suggesting that exotic species precipitated the decline of native lady beetles. We examined species records of native coccinellids in Missouri over 118 yr and asked whether the species composition of the community experienced a shift following the establishment of the exotic species. We found that the contemporary native coccinellid community is different from the community that was present nearly a century ago. However, there was no evidence for a recent abrupt shift in composition triggered by the establishment of exotic species. Instead, our data suggest that the native lady beetle community has been undergoing consistent and gradual change over time, with some species decreasing in abundance and others increasing. While not excluding exotic species as a factor contributing to the decline of native lady beetle species, our findings suggest that other continuous factors, like land use change, may have played a more influential role in determining the composition of the native coccinellid communities within our region.
Tip cell-specific requirement for an atypical Gpr124- and Reck-dependent Wnt/β-catenin pathway during brain angiogenesis

Despite the critical role of endothelial Wnt/β-catenin signaling during central nervous system (CNS) vascularization, how endothelial cells sense and respond to specific Wnt ligands and what aspects of the multistep process of intra-cerebral blood vessel morphogenesis are controlled by these angiogenic signals remain poorly understood. We addressed these questions at single-cell resolution in zebrafish embryos. We identify the GPI-anchored MMP inhibitor Reck and the adhesion GPCR Gpr124 as integral components of a Wnt7a/Wnt7b-specific signaling complex required for brain angiogenesis and dorsal root ganglia neurogenesis. We further show that this atypical Wnt/β-catenin signaling pathway selectively controls endothelial tip cell function and hence, that mosaic restoration of single wild-type tip cells in Wnt/β-catenin-deficient perineural vessels is sufficient to initiate the formation of CNS vessels. Our results identify molecular determinants of ligand specificity of Wnt/β-catenin signaling and provide evidence for organ-specific control of vascular invasion through tight modulation of tip cell function. DOI: http://dx.doi. org/10.7554/eLife.06489. 001
Mantle-Derived Melts The Amount of Recycled Crust in Sources of

www.sciencemag. org (this information is current as of April 20, 2007 ): The following resources related to this article are available online at http://www.sciencemag. org/cgi/content/full/316/5823/412 version of this article at: including high-resolution figures, can be found in the online Updated information and services, http://www.sciencemag. org/cgi/content/full/1138113/DC1 can be found at: Supporting Online Material http://www.sciencemag. org/cgi/content/full/316/5823/412#otherarticles , 6 of which can be accessed for free: cites 38 articles This article http://www.sciencemag. org/cgi/collection/geochem_phys Geochemistry, Geophysics : subject collections This article appears in the following http://www.sciencemag. org/about/permissions.dtl in whole or in part can be found at: this article permission to reproduce of this article or about obtaining reprints Information about obtaining
Informed Trading in Stock and Option Markets

We investigate the contribution of option markets to price discovery, using a modification of Hasbrouck's (1995) "information share" approach. Based on five years of stock and options data for 60 firms, we estimate the option market's contribution to price discovery to be about 17% on average. Option market price discovery is related to trading volume and spreads in both markets, and stock volatility. Price discovery across option strike prices is related to leverage, trading volume, and spreads. Our results are consistent with theoretical arguments that informed investors trade in both stock and option markets, suggesting an important informational role for options. Copyright 2004 by The American Finance Association.
Prognostic value of stromal decorin expression in patients with breast cancer: a meta-analysis.

BACKGROUND Numbers of studies have investigated the biological functions of decorin (DCN) in oncogenesis, tumor progression, angiogenesis and metastasis. Although many of them aim to highlight the prognostic value of stromal DCN expression in breast cancer, some controversial results still exist and a consensus has not been reached until now. Therefore, our meta-analysis aims to determine the prognostic significance of stromal DCN expression in breast cancer patients. METHODS PubMed, EMBASE, the Web of Science and China National Knowledge Infrastructure (CNKI) databases were searched for full-text literatures met out inclusion criteria. We applied the hazard ratio (HR) with 95% confidence interval (CI) as the appropriate summarized statistics. Q-test and I(2) statistic were employed to estimate the level of heterogeneity across the included studies. Sensitivity analysis was conducted to further identify the possible origins of heterogeneity. The publication bias was detected by Begg's test and Egger's test. RESULTS There were three English literatures (involving 6 studies) included into our meta-analysis. On the one hand, both the summarized outcomes based on univariate analysis (HR: 0.513; 95% CI: 0.406-0.648; P<0.001) and multivariate analysis (HR: 0.544; 95% CI: 0.388-0.763; P<0.001) indicated that stromal DCN expression could promise the high cancer-specific survival (CSS) of breast cancer patients. On the other hand, both the summarized outcomes based on univariate analysis (HR: 0.504; 95% CI: 0.389-0.651; P<0.001) and multivariate analysis (HR: 0.568; 95% CI: 0.400-0.806; P=0.002) also indicated that stromal DCN expression was positively associated with high disease-free survival (DFS) of breast cancer patients. No significant heterogeneity or publication bias was observed within this meta-analysis. CONCLUSIONS The present evidences indicate that high stromal DCN expression can significantly predict the good prognosis in patients with breast cancer. The discoveries from our meta-analysis have better be confirmed in the updated review pooling more relevant investigations in the future.
Biomechanics of Flight in Neotropical Butterflies: Morphometrics and Kinematics

Wing and body kinematics of free cruising flight are described for 37 species of Panamanian butterflies ranging over two orders of magnitude in body mass. Butterflies exhibit considerable diversity in body and wing shape, but morphological design is, in general, isometric. Wing loading and mean body diameter show positive allometry. The cruising flight of butterflies is characterized by low wingbeat frequencies (here averaging 11 Hz), stroke amplitudes averaging 103°, and forward speeds in excess of 1m s−1. Body angles during flight are close to horizontal, and stroke plane angles are correspondingly high. Advance ratios are typically greater than 0.9, indicating that the forward and flapping velocity vectors are of comparable magnitude. Flight speed scales with morphological parameters in general accordance with predictions based on isometric design. Interspecifically, no consistent correlation exists between wing kinematics and absolute flight speed. However, maximum positional angle and stroke amplitude tend to increase while body angle decreases with increased relative flight speed.
The comparison of preemptive effects of propofol, remifentanil and ketamine on post-operative pain scores and analgesic requirements in elective lower abdominal surgery under general anesthesia: A randomized, double-blinded study

Background: In this randomized, double-blinded study, we investigated the preemptive effects of propofol, remifentanil or ketamine on post-operative pain scores and analgesic requirements in elective lower abdominal surgeries under general anesthesia during the first 24 h of post-operative period. Materials and Methods: Seventy five patients, American Society of Anesthesiologists physical status I or II candidate for elective lower abdominal surgery under general anesthesia were randomized to three groups (25 each). According to their allocated group, patients received either propofol 0.25 mg/kg, remifentanil 0.25 mic/kg or ketamine 0.3 mg/kg as preemptive analgesia immediately after the induction of general anesthesia. Post-operative pain scores with a numerical rating scale (visual analogue scale 0-10) were assessed and analgesic requirements and side-effects were compared through analysis using the SPSS version 18 in the post-operative period; post-anesthesia care unit 2, 6, 12 and 24 h. Results: Patients’ demographics were similar in all groups. The pain scores were significantly lower in remifentanil group immediately after recovery and also at 2 and 6 h post-operatively, but it reversed at 12 and 24 h after recovery comparing with propofol and ketamine. However, the mean of administered morphine in the first 24 h was significantly lower in propofol group (18.97 ± 6.6) comparing with remifentanil group (21.96 ± 6.55) and ketamine group (24.26 ± 5.84) (P value, 0.01). Conclusion: Prophylactic preemptive single dose of intravenous (IV) 0.25 mg/kg propofol significantly decreased post-operative analgesia requirements comparing with IV 0.3 mg/kg ketamine or 0.25 μg/kg remifentanil.
Coastal occupation before the “Big Swamp”: Results from excavations at John Wayne Country Rockshelter on Barrow Island

In this paper, we present a terminal Pleistocene/early Holocene archaeological record from John Wayne Country Rockshelter (JWCR), located on Barrow Island in north-western Australia. The rock shelter was used between 15000 and 7000 calBP, and provides insights into how Aboriginal people interacted with a changing coastal landscape throughout postglacial sea-level rise. The faunal record reflects this fluctuating local landscape. The late Pleistocene faunal assemblage largely consists of arid plains terrestrial fauna, and then transitions to a diverse marine invertebrate taxa midden. This record demonstrates coastal resource use throughout the terminal Pleistocene, before the expansion of mangrove forests across northern Australia. The stone artefact assemblages indicate varied expedient reduction patterns. The assemblages include artefacts manufactured from local limestone and non-local sources. Our analyses indicate that occupation durations at JWCR were longer during the late Pleistocene compared to the early Holocene, when productive mangrove environments became proximal. The implications of these results are twofold. First, effective use of coastal plain environments was probably just as important for coastal occupation as marine resource procurement. Second, the presence of relatively dense marine faunal assemblages is not necessarily a reliable proxy for individual coastal-site occupational intensity under conditions of local resource productivity.
Members' satisfaction and continuance intention: a socio-technical perspective

Purpose – The purpose of this paper is to explain how sociability and usability enhanced members’ satisfaction, and how such satisfaction in turn, influenced their continuance intention of knowledge sharing in academic virtual communities (AVCs). Design/methodology/approach – Drawing on social capital theory and technology acceptance model, this study proposed a theoretical socio-technical model, and the partial least squares method is used to examine the proposed model, based on data collected from 431 subjects in a well-known academic community in China (i.e. ScienceNet). Findings – Both sociability and usability were important to improve members’ satisfaction with knowledge sharing in AVCs. Specifically, social interaction ties, trust, reciprocity, shared vision, perceived ease of use and perceived usefulness are antecedents of members’ satisfaction, which in turn positively affects their continuance intention of knowledge sharing in AVCs. Practical implications – This study provided insights that can .
Progression of human carotid and femoral atherosclerosis: a prospective follow-up study by magnetic resonance vessel wall imaging.

AIMS The time course of atherosclerosis burden in distinct vascular territories remains poorly understood. We longitudinally evaluated the natural history of atherosclerotic progression in two different arterial territories using high spatial resolution magnetic resonance imaging (HR-MRI), a powerful, safe, and non-invasive tool. METHODS AND RESULTS We prospectively studied a cohort of 30 patients (mean age 68.3, n = 9 females) with high Framingham general cardiovascular disease 10-year risk score (29.5%) and standard medical therapy with mild-to-moderate atherosclerosis intra-individually at the level of both carotid and femoral arteries. A total of 178 HR-MRI studies of carotid and femoral arteries performed at baseline and at 1- and 2-year follow-up were evaluated in consensus reading by two experienced readers for lumen area (LA), total vessel area (TVA), vessel wall area (VWA = TVA - LA), and normalized wall area index (NWI = VWA/TVA). At the carotid level, LA decreased (-3.19%/year, P = 0.018), VWA increased (+3.83%/year, P = 0.019), and TVA remained unchanged. At the femoral level, LA remained unchanged, VWA and TVA increased (+5.23%/year and +3.11%/year, both P < 0.01), and NWI increased for both carotid and femoral arteries (+2.28%/year, P = 0.01, and +1.8%/year, P = 0.033). CONCLUSION The atherosclerotic burden increased significantly in both carotid and femoral arteries. However, carotid plaque progression was associated with negative remodelling, whereas the increase in femoral plaque burden was compensated by positive remodelling. This finding could be related to anatomic and flow differences and/or to the distinct degree of obstruction in the two arterial territories.
Recognizing the motion of a graspable object is guided by handedness

SUBJECTS viewing a rotating screwdriver presented in a motion picture were asked whether it was screwing or unscrewing. A difference emerged in the performance of right-and left-handers. In right-handers, stimulus orientations particularly awkward for a right-hand grip determined higher response times, compared with visually equivalent but more comfortable orientations. When they were also requested to imagine their right hand grasping the screwdriver, similar results were obtained. By imagining the left hand, response times increased and the differences between awkward and comfortable orientations disappeared. In contrast, consistent with their manual dominance, left-handers response times were similar to those obtained when imagining the left but distinct from those obtained when imagining the right hand. We conclude that handedness may guide the interpretation of visual events involving manipulable objects.
Bundle Methods for Convex Minimization with Partially Inexact

Recently the proximal bundle method for minimizing a convex function has been extended to an inexact oracle that delivers function and subgradient values of unknown accuracy. We adapt this method to a partially inexact oracle that becomes exact only when an objective target level for a descent step is met. In Lagrangian relaxation, such oracles may save work by evaluating the dual function approximately on most iterations, without compromising the strong convergence properties of exact bundle methods. We also show that the recent method of Gaudioso et al. for finite min–max problems fits our partially inexact framework, we correct and strengthen its convergence results and give useful modifications. Numerical illustrations on standard instances of the generalized assignment problem (GAP) are included.
Mechanising blockchain consensus

We present the first formalisation of a blockchain-based distributed consensus protocol with a proof of its consistency mechanised in an interactive proof assistant. Our development includes a reference mechanisation of the block forest data structure, necessary for implementing provably correct per-node protocol logic. We also define a model of a network, implementing the protocol in the form of a replicated state-transition system. The protocol's executions are modeled via a small-step operational semantics for asynchronous message passing, in which packages can be rearranged or duplicated. In this work, we focus on the notion of global system safety, proving a form of eventual consistency. To do so, we provide a library of theorems about a pure functional implementation of block forests, define an inductive system invariant, and show that, in a quiescent system state, it implies a global agreement on the state of per-node transaction ledgers. Our development is parametric with respect to implementations of several security primitives, such as hash-functions, a notion of a proof object, a Validator Acceptance Function, and a Fork Choice Rule. We precisely characterise the assumptions, made about these components for proving the global system consensus, and discuss their adequacy. All results described in this paper are formalised in Coq.
Multihomed Mobile Network Architecture

IP mobility ensures network reachability and session continuity while IPv6 networks are on the move. In the Network Mobility (NEMO) model, the potential for NEMO Mobile Routers (MRs) to interconnect and extend Internet connectivity allows the formation Nested NEMO networks. With MANEMO, nested MRs can be efficiently interconnected in a tree-based structure with Internet access being maintained via a designated Gateway. However, this only supports single-homed Internet connectivity. With the span of wireless access technologies and the popularity of multi-interfaced devices, multihoming support in this scenario becomes critical. A Nested Mobile Network with heterogeneous available Internet access options would allow better overall network performance and optimal utilisation of available resources. In this paper, we present the Multihomed Mobile Network Architecture (MMNA), a comprehensive multihomed mobility solution. It provides a multihoming management mechanism for Gateway Discovery and Selection on top of a multihomed mobility model integrating different mobility and multihoming protocols. It enables a complex nested multihomed topology to be established with multiple gateways supporting heterogeneous Internet access. The results demonstrate that the proposed solution achieves better overall throughput, load sharing, and link failure recovery.