Miracle-dz/UniFAR-FTUs huggingface dataset:
Learning Domain-Specific Control Knowledge from Random Walks

We describe and evaluate a system for learning domain-specific control knowledge. In particular, given a planning domain, the goal is to output a control policy that performs well on "long random walk" problem distributions. The system is based on viewing planning domains as very large Markov decision processes and then applying a recent variant of approximate policy iteration that is bootstrapped with a new technique based on random walks. We evaluate the system on the AIPS-2000 planning domains (among others) and show that often the learned policies perform well on problems drawn from the long–random-walk distribution. In addition, we show that these policies often perform well on the original problem distributions from the domains involved. Our evaluation also uncovers limitations of our current system that point to future challenges.
Ruxolitinib in the treatment of polycythemia vera: patient selection and special considerations

The discovery of JAK2 V617F mutation in the mid-2000s started to fill the gap between clinical presentation of polycythemia vera (PV), first described by Vaquez at the end of the 19th century, and spontaneous erythroid colony formation, reported by Prchal and Axelrad in the mid-1970s. The knowledge on this mutation brought an important insight to our understanding of PV pathogenesis and led to a revision of the World Health Organization diagnostic criteria in 2008. JAK–STAT is a major signaling pathway implicated in survival and proliferation of hematopoietic precursors. High prevalence of JAK2 V617F mutation among myeloproliferative neoplasms (>95% in PV and ~50% in primary myelofibrosis and essential thrombocythemia) together with its role in constitutively activating JAK–STAT made JAK2 a privileged therapeutic target. Ruxolitinib, a JAK 1 and 2 inhibitor, has already proven to be efficient in relieving symptoms in primary myelofibrosis and PV. In the latter, it also appears to improve microvascular involvement. However, evidence regarding its potential role in altering the natural course of PV and its use as an adjunct to current standard therapies is sparse. Therapeutic advances are needed in PV as phlebotomy, low-dose aspirin, cytoreductive agents, and interferon alpha are the only therapeutic tools available at the moment to influence outcome. Even though several questions are still unanswered, this review aims to serve as an overview article of the potential role of ruxolitinib in PV according to current literature and expert opinion. It should help hematologists to visualize the place of this tyrosine kinase inhibitor in the field of current practice and offer criteria for a careful patient selection.
The Temporal Courses of Phonological and Orthographic Encoding in Handwritten Production in Chinese: An ERP Study

A central issue in written production concerns how phonological codes influence the output of orthographic codes. We used a picture-word interference paradigm combined with the event-related potential technique to investigate the temporal courses of phonological and orthographic activation and their interplay in Chinese writing. Distractors were orthographically related, phonologically related, orthographically plus phonologically related, or unrelated to picture names. The behavioral results replicated the classic facilitation effect for all three types of relatedness. The ERP results indicated an orthographic effect in the time window of 370–500 ms (onset latency: 370 ms), a phonological effect in the time window of 460–500 ms (onset latency: 464 ms), and an additive pattern of both effects in both time windows, thus indicating that orthographic codes were accessed earlier than, and independent of, phonological codes in written production. The orthographic activation originates from the semantic system, whereas the phonological effect results from the activation spreading from the orthographic lexicon to the phonological lexicon. These findings substantially strengthen the existing evidence that shows that access to orthographic codes is not mediated by phonological information, and they provide important support for the orthographic autonomy hypothesis.
Focused Ion Beam Induced Surface Damage Effect on the Mechanical Properties of Silicon Nanowires

In this paper, the effect of surface damage induced by focused ion beam (FIB) fabrication on the mechanical properties of silicon (Si) nanowires (NWs) was investigated. Uniaxial tensile testing of the NWs was performed using a reusable on-chip tensile test device with 1000 pairs of comb structures working as an electrostatic force actuator, a capacitive displacement sensor, and a force sensor. Si NWs were made from silicon-on-nothing (SON) membranes that were produced by deep reactive ion etching hole fabrication and ultrahigh vacuum annealing. Micro probe manipulation and film deposition functions in a FIB system were used to bond SON membranes to the device's sample stage and then to directly fabricate Si NWs on the device. All the NWs showed brittle fracture in ambient air. The Young's modulus of 57 nm-wide NW was 107.4 GPa, which was increased to 144.2 GPa with increasing the width to 221 nm. The fracture strength ranged from 3.9 GPa to 7.3 GPa. By assuming the thickness of FIB-induced damage layer, the Young's modulus of the layer was estimated to be 96.2 GPa, which was in good agreement with the literature value for amorphous Si.
Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model

Bayesian networks, which can combine sparse data, prior assumptions and expert judgment into a single causal model, have already been used to build software effort prediction models. We present such a model of an extreme programming environment and show how it can learn from project data in order to make quantitative effort predictions and risk assessments without requiring any additional metrics collection program. The model's predictions are validated against a real world industrial project, with which they are in good agreement.
Processing and characterization of flexographic printed conductive grid

In this paper, the conductive grids were flexographic printed with solvent based conductive ink. Elastomeric plate with 45° grid of 30µm line and pitch of 0.4mm was prepared. Surface resistance and optical transmittance of the printed film were characterized by two-electrode method and UV-VIS-NIR spectrophotometer respectively. At a comparable transmission level (83% measured at 600nm, without substrate), the sheet resistance obtained (11 ohm/square) by printed grid was about 50% lower than that of high conductivity ITO film (24 ohm/square).
Hypoxia increases glucose transporter 1 expression in bovine corpus luteum at the early luteal stage

A major role of the corpus luteum (CL) is to produce progesterone (P4). The CL has immature vasculature shortly after ovulation, suggesting it exists under hypoxic conditions. Hypoxia-inducible factor-1 (HIF1) induces the expression of glucose transporter 1 (GLUT1). To clarify the physiological roles of GLUT1 in bovine CL, we examined GLUT1 mRNA expression in the CL under hypoxic conditions by quantitative RT-PCR. We also measured the effects of glucose (0–25 mM) and GLUT1 inhibitors (cytochalasin B, STF-31) on P4 production in bovine luteal cells. GLUT1 mRNA expression in bovine CL was higher at the early luteal stage compared to the other later stages. Hypoxia (3% O2) increased GLUT1 mRNA expression in early luteal cells, but not in mid luteal cells. Glucose (0–25 mM) increased P4 production in early luteal cells, but not in mid luteal cells. Both GLUT1 inhibitors decreased P4 production in early and mid luteal cells. Overall, the results suggest that GLUT1 (possibly induced by hypoxic conditions in the early CL) plays a role in the establishment and development of bovine CL, especially in supporting luteal P4 synthesis at the early luteal stage.
Attention Routines and the Architecture of Selection

Although we might all know what attention is (James, 1890), we don’t all agree on what it does, except that it only does a limited amount of it. This limit, as described by Broadbent (1958), restricts the amount of the available information that can be passed on to higher processing. However, I show that this capacity limit is only one of three independent limits on the information available to higher processing. There is as well an acuity limit: a restriction on the density of items that still permits access to individual items. This resolution of selection is unexpectedly coarse in both space and time. In addition, there is a third bottleneck that I call the coding singularity. I argue that the information available from a selection is neither the raw image detail nor, when there is more than one item in the selection, the set of identities of the items. It is, instead, a single label for the entire pattern. These last two limits, acuity and singularity, may appear to be redescriptions of the same limit but they are not, as I will describe later 1 . The three limits — capacity, acuity, and singularity — are part of a framework for attention that I describe in this chapter. In this framework, attention is not one thing, but a set of routines that are called on to perform specific functions during a task (c.f., Shimamura, 2000; Ullman, 1984). The set of attention routines is identified by one defining characteristic: the initial and final states are reportable but intermediate states are not. I will briefly outline this proposal and then I will focus on the details of one of these functions, selection.
The presence of an R467K amino acid substitution and loss of allelic variation correlate with an azole-resistant lanosterol 14alpha demethylase in Candida albicans

Azole resistance in the pathogenic yeast Candida albicans is an emerging problem in the human immunodeficiency virus (HIV)-infected population. The target enzyme of the azole drugs is lanosterol 14alpha demethylase (Erg16p), a cytochrome P-450 enzyme in the biosynthetic pathway of ergosterol. Biochemical analysis demonstrates that Erg16p became less susceptible to fluconazole in isolate 13 in a series of isolates from an HIV-infected patient. PCR-single-strand conformation polymorphism (PCR-SSCP) analysis was used to scan for genomic alterations of ERG16 in the isolates that would cause this change in the enzyme in isolate 13. Alterations near the 3' end of the gene that were identified by PCR-SSCP were confirmed by DNA sequencing. A single amino acid substitution (R467K) that occurred in isolate 13 was identified in both alleles of ERG16. Allelic differences within the ERG16 gene, in the ERG16 promoter, and in the downstream THR1 gene were eliminated in isolate 13. The loss of allelic variation in this region of the genome is most likely the result of mitotic recombination or gene conversion. The R467K mutation and loss of allelic variation that occur in isolate 13 are likely responsible for the azole-resistant enzyme activity seen in this and subsequent isolates. The description of R467K represents the first point mutation to be identified within ERG16 of a clinical isolate of C. albicans that alters the fluconazole sensitivity of the enzyme.
Overactive Bladder and Incontinence in the Absence of the BK Large Conductance Ca2+-activated K+ Channel*

BK large conductance voltage- and calcium-activated potassium channels respond to elevations in intracellular calcium and membrane potential depolarization, braking excitability of smooth muscle. BK channels are thought to have a particularly prominent role in urinary bladder smooth muscle function and therefore are candidate targets for overactive bladder therapy. To address the role of the BK channel in urinary bladder function, the gene mSlo1 for the pore-forming subunit of the BK channel was deleted. Slo–/– mice were viable but exhibited moderate ataxia. Urinary bladder smooth muscle cells of Slo–/– mice lacked calcium- and voltage-activated BK currents, whereas local calcium transients (“calcium sparks”) and voltage-dependent potassium currents were unaffected. In the absence of BK channels, urinary bladder spontaneous and nerve-evoked contractions were greatly enhanced. Consistent with increased urinary bladder contractility caused by the absence of BK currents, Slo–/– mice demonstrate a marked elevation in urination frequency. These results reveal a central role for BK channels in urinary bladder function and indicate that BK channel dysfunction leads to overactive bladder and urinary incontinence.
Systemic and Ocular Hemodynamic Risk Factors in Glaucoma

Primary open angle glaucoma (POAG) is a multifactorial disease characterized by progressive retinal ganglion cell death and visual field loss. It is known that alterations in intraocular pressure (IOP), blood pressure (BP), and ocular perfusion pressure (OPP) can play a significant role in the pathogenesis of the disease. Impaired autoregulatory capacity of ocular blood vessels may render tissues vulnerable to OPP changes and potentially harmful tissue ischemia-reperfusion damage. Vascular risk factors should be considered more important in a subgroup of patients with POAG, and especially in patients with normal tension glaucoma (NTG) with evidence of unphysiological BP response. For example, reduction of BP during the nighttime has an influence on OPP, and increased circadian OPP fluctuation, which might stand for unstable ocular blood flow, has been found to be the consistent risk factor for NTG development and progression. Central visual field may be affected more severely than peripheral visual field in NTG patients with higher 24-hour fluctuation of OPP. This review will discuss the current understanding of allegedly major systemic and ocular hemodynamic risk factors for glaucoma including systemic hypertension, arterial stiffness, antihypertensive medication, exaggerated nocturnal hypotension, OPP, and autonomic dysregulation.
ADHA: Automatic data layout framework for heterogeneous architectures

Data layouts play a crucial role in determining the performance of a given application running on a given architecture. Existing parallel programming frameworks for both multicore and heterogeneous systems leave the onus of selecting a data layout to the programmer. Therefore, shifting the burden of data layout selection to optimizing compilers can greatly enhance programmer productivity and application performance. In this work, we introduce ADHA: a two-level hierarchal formulation of the data layout problem for modern heterogeneous architectures. We have created a reference implementation of ADHA in the Heterogeneous Habanero-C (H2C) parallel programming system. ADHA shows significant performance benefits of up to 6.92× compared to manually specified layouts for two benchmark programs running on a CPU+GPU heterogeneous platform.
The vaginal isolate Lactobacillus paracasei LPC-S01 (DSM 26760) is suitable for oral administration

Bacterial vaginosis is one of the most common urogenital diseases affecting women in reproductive age. The administration of probiotics as vaginal suppository has been proposed as a strategy to cure this condition and reduce its recurrence. Nonetheless, also oral consumption of probiotics, which is a more practical route of administration, proved to be an efficient strategy. In this perspective, we studied Lactobacillus paracasei LPC-S01 (DSM 26760), a human vaginal isolate included in commercial probiotic preparations for topical use, in order to assess if this bacterium can also perform as gastrointestinal probiotic. Comparative genomics revealed the presence of several accessory genes suggesting that LPC-S01 is a niche-generalist member of its species. According to a procedure conventionally used to predict the probiotic potential, we demonstrated that the probiotic properties of strain LPC-S01, with respect to those of the well-known probiotic references L. paracasei Shirota and DG, are equal for the bile tolerance and the reduction of NF-κB activation in Caco-2 cells, or superior for the tolerance to gastric juice and the adhesion to Caco-2 epithelial cells. We then demonstrated that LPC-S01 is susceptible to antibiotics indicated by EFSA and does not produce biogenic amines. Finally, a double-blind cross-over pilot intervention trial on healthy human volunteers showed that, after a 7-days oral consumption of capsules containing about 24 billion live cells, the fecal cell concentrations of strains LPC-S01 and DG (evaluated by qPCR) were not dissimilar. Specifically, both probiotics' cell concentrations were above the detection limit for an average of 5 days from the end of the treatment, corresponding to a mean number of evacuations of 7 ± 2. Taken together, these data demonstrate that the vaginal isolate L. paracasei LPC-S01 possesses safety and functional properties that may support its use as probiotic to be administered per os for potential intestinal as well as vaginal applications.
Linkage mechanics and power amplification of the mantis shrimp's strike

SUMMARY Mantis shrimp (Stomatopoda) generate extremely rapid and forceful predatory strikes through a suite of structural modifications of their raptorial appendages. Here we examine the key morphological and kinematic components of the raptorial strike that amplify the power output of the underlying muscle contractions. Morphological analyses of joint mechanics are integrated with CT scans of mineralization patterns and kinematic analyses toward the goal of understanding the mechanical basis of linkage dynamics and strike performance. We test whether a four-bar linkage mechanism amplifies rotation in this system and find that the rotational amplification is approximately two times the input rotation, thereby amplifying the velocity and acceleration of the strike. The four-bar model is generally supported, although the observed kinematic transmission is lower than predicted by the four-bar model. The results of the morphological, kinematic and mechanical analyses suggest a multi-faceted mechanical system that integrates latches, linkages and lever arms and is powered by multiple sites of cuticular energy storage. Through reorganization of joint architecture and asymmetric distribution of mineralized cuticle, the mantis shrimp's raptorial appendage offers a remarkable example of how structural and mechanical modifications can yield power amplification sufficient to produce speeds and forces at the outer known limits of biological systems.
Adaptive Parallel Computation for Blind Source Separation with Systolic Architecture

The purpose of Blind Source Separation (BSS) is to obtain separated sources from convolutive mixture inputs. Among the various available BSS methods, Independent Component Analysis (ICA) is one of the representative methods. Its key idea is to repetitively update and calculate the measures. However, dealing with the measures obtained from multi-array sensors causes obstacles for real-time use. In order to solve this problem, it is necessary to convert the software implementation of BSS algorithm into the hardware architecture. Through the use of hardware architecture, the BSS algorithm can efficiently work within a relatively short time. In this study, we investigate a practical method using a parallel algorithm and architecture for hardware use in a blind source separation. We design a feedback network for real-time speech signal processing. The network is composed of forward and updates algorithms. The architecture of the network is systolic and therefore it is suitable for parallel processing. We only have to add and connect modules for scaling. This paper covers the process from the systolic design of BSS to the hardware implementation using Xilinx FPGAs. The simulation results of our proposed implementation are also represented in the experimental section. In that section, our architecture returns satisfying results with robust qualities.
A Testbed for Investigating Task Allocation Strategies between Air Traffic Controllers and Automated Agents

To meet the growing demands of the National Airspace System (NAS) stakeholders and provide the level of service, safety and security needed to sustain future air transport, the Next Generation Air Transportation System (NextGen) concept calls for technologies and systems offering increasing support from automated systems that provide decision-aiding and optimization capabilities. This is an exciting application for some core aspects of Artificial Intelligence research since the automation must be designed to enable the human operators to access and process a myriad of information sources, understand heightened system complexity, and maximize capacity, throughput and fuel savings in the NAS. This paper introduces an emerging application of techniques from mixed initiative (adjustable autonomy), multi-agent systems, and task scheduling techniques to the air traffic control domain. Consequently, we have created a testbed for investigating the critical challenges in supporting the early design of systems that allow for optimal, context-sensitive function (role) allocation between air traffic controller and automated agents. A pilot study has been conducted with the testbed and preliminary results show a marked qualitative improvement in using dynamic function allocation optimization versus static function allocation.
Flu Detector: Estimating influenza-like illness rates from online user-generated content

We provide a brief technical description of an online platform for disease monitoring, titled as the Flu Detector (fludetector.cs.ucl.ac.uk). Flu Detector, in its current version (v.0.5), uses either Twitter or Google search data in conjunction with statistical Natural Language Processing models to estimate the rate of influenza-like illness in the population of England. Its back-end is a live service that collects online data, utilises modern technologies for large-scale text processing, and finally applies statistical inference models that are trained offline. The front-end visualises the various disease rate estimates. Notably, the models based on Google data achieve a high level of accuracy with respect to the most recent four flu seasons in England (2012/13 to 2015/16). This highlighted Flu Detector as having a great potential of becoming a complementary source to the domestic traditional flu surveillance schemes.
INVESTIGATION OF DIRECT SENSOR ORIENTATION FOR DEM GENERATION

The direct sensor orientation based on the combination of an inertial measurement system (IMU) and relative kinematic GPSpositioning has reached a high accuracy potential. By this reason it can be used not only for the generation of ortho images, but also for the georeferencing of models for the generation of digital elevation models (DEM). With the data set of the test ‘Integrated Sensor Orientation’ of the European Organization for Experimental Photogrammetric Research (OEEPE), the generation of DEM’s has been investigated. The reached ground accuracy is in the range of ~ 10cm for X and Y, and ~ 10 20cm for Z is sufficient for several applications. A mayor problem are y-parallaxes appearing in the set up of the models which has been investigated in detail. This can be reduced by a combined adjustment of the image orientations from direct sensor orientation together with image coordinates of tie points, but without control points. The effect of remaining orientation discrepancies to the model orientation and the resulting model deformation was analyzed.