Miracle-dz/UniFAR-FTUs huggingface dataset:
The case for delay-based congestion control

We argue that, in the absence of explicit feedback, delay-based algorithms become the preferred approach for end-to-end congestion control as networks scale up in capacity. Their advantage is small at low speed but decisive at high speed. The distinction between packet-level and flow-level problems of the current TCP exposes the difficulty of loss-based algorithms at large congestion windows.
Optimization Coaching for JavaScript

The performance of dynamic object-oriented programming languages such as JavaScript depends heavily on highly optimizing just-in-time compilers. Such compilers, like all compilers, can silently fall back to generating conservative, low-performance code during optimization. As a result, programmers may inadvertently cause performance issues on users’ systems by making seemingly inoensive changes to programs. This paper shows how to solve the problem of silent optimization failures. It specifically explains how to create a so-called optimization coach for an object-oriented just-in-time-compiled programming language. The development and evaluation build on the SpiderMonkey JavaScript engine, but the results should generalize to a variety of similar platforms.
Silicon Micromachined Multiplier Utilizing Heterostructure Barrier Varactor Diode

We present for the first time a silicon micromachined waveguide multiplier. The tripler utilizes a heterostructure barrier varactor (HBV) for the active portion. The assembly produces an output power of 7.7 mW with a conversion efficiency of 6.9% at an output frequency of 261 GHz.
Integrinβ6-Targeted Immunoliposomes Mediate Tumor-Specific Drug Delivery and Enhance Therapeutic Efficacy in Colon Carcinoma

Purpose: Adjuvant chemotherapy is one of the significant treatments for colon cancer in clinic. However, it does not achieve the desired therapeutic efficacy, largely due to chemotherapeutic resistance. Integrinβ6 (ITGB6) is expressed in malignant colonic epithelia, but not in normal epithelia, and is associated with the progression, metastasis, and chemotherapeutic resistance of colon cancer. Accordingly, it is necessary to design therapeutic approaches for efficient and targeted drug delivery into ITGB6-positive cancer cells to improve chemotherapeutic efficacy in colon cancer. Experimental Design: PEGylated liposomes were employed to design ITGB6-targeted immunoliposomes, which have ITGB6 monoclonal antibodies (mAbs) conjugated. We evaluated the ITGB6-targeted immunoliposomes internalization into colon cancer cells and examined 5-fluorouracil (5-FU)–induced cellular apoptosis produced by ITGB6-targeted immunoliposomes+5-FU. In addition, the biodistribution and antitumor efficiency of ITGB6-targeted immunoliposomes were observed in vivo. Results: ITGB6-targeted immunoliposomes enhanced cellular internalization in ITGB6-positive colon cancer cells compared with liposomes. Furthermore, the ITGB6-targeted immunoliposome internalization was dependent on the ITGB6 expression level on cellular surface. ITGB6-targeted immunoliposomes decreased the 5-FU IC50 more than 90% in HT-29 and SW480β6 cells relative to liposomes. Moreover, when loaded with 5-FU, ITGB6-targeted immunoliposomes produced an approximately 1.5-fold higher 5-FU–induced cellular apoptosis rate than liposomes. In vivo, the therapeutic activity of ITGB6-targeted immunoliposomes+5-FU was significantly superior, resulting in 25% to 35% reduction of tumor weight compared with 5-FU or liposomes+5-FU. Conclusions: ITGB6-targeted immunoliposomes provide a highly efficient approach for targeted drug delivery in colon cancer and thus offer the potential of a novel and promising anticancer strategy for clinical therapy. Clin Cancer Res; 21(5); 1183–95. ©2014 AACR.
A molecular dynamics study of the variations in the elastic properties of single-walled carbon nanotubes with tube radius, length and chirality

Carbon nanotube (CNT) is promising to revolutionise several fields in material science and is a major component of nanotechnology. In this study, molecular dynamics simulation is used to investigate the elastic properties of single-walled carbon nanotubes. Comprehensive numerical calculations are carried out for different armchair and zigzag carbon nanotubes with various geometric dimensions to assess the effects of tube radius, tube length and tube chirality on the elastic properties of single-walled carbon nanotubes (SWCNTs). The results show that, the axial Young’s modulus of both armchair and zigzag SWCNTs decreases with increasing tube radius which is also in good agreement with experimental observation. The results also reveal that, the value of the axial Young’s modulus of the SWCNTs is independent of the tube length and tube chirality.
Expression and function of aquaporin-1 in hyperoxia-exposed alveolar epithelial type II cells

The aim of the present study was to investigate water transport dysfunction in alveolar epithelial type II cells (AECII), which were exposed to hyperoxia, and to investigate the mechanism of pulmonary edema resulting from hyperoxic lung injury. The lung cells of newborn rats were isolated for primary cell culture and divided into control and experimental groups. The control and experimental group cells were placed into a normoxic incubator (oxygen volume fraction, 0.21) or hyperoxic incubator (oxygen volume fraction, 0.9), respectively. Twenty-four, 48 and 72 h after cell attachment, the gene transcription and protein expression levels of aquaporin-1 (AQP1) were detected via quantitative polymerase chain reaction and western blot analysis. Flow cytometry was conducted to detect the volume of the cells in the experimental and control groups. In the present study, it was identified that AQP1 expression and cell volume were greater in the experimental group when compared with the control group. Thus, hyperoxia may disturb the gene expression regulation of AQP1 in AECII, resulting in water transport dysfunction. This may be one of the mechanisms underlying pulmonary edema caused by hyperoxic lung injury.
12 Optical MEMS

In 1989, a group of scientists and engineers in Salt Lake City started a workshop called Micro-Tele-Operated Robotics Workshop. There, the acronym for Microelectromechanical systems (MEMS) was officially adopted. However, MEMS technology has already had a head start since at least 7 years ago from the classic work published by Petersen in 1982 [1]. Twenty years later, MEMS technology has started major novel innovations in several scientific fields and created highly promising market potential. In 2003, the most conservative market studies predict a world MEMS market in excess of $8 billion. Optics and photonics are among these research fields impacted by MEMS techniques. Optical MEMS has created a new fabrication paradigm for optical devices and systems. These micro optical devices and systems are inherently suited for cost effective wafer scale manufacturing as the processes are derived from the semiconductor industry. The ability to steer or direct light is one of the key requirements in optical MEMS. In the past two decades since Petersen published his silicon scanner [1], the field of optical MEMS has experienced explosive growth [2,3]. In the 80’s and early 90’s, displays were the main driving force for the development of micromirror arrays. Portable digital displays are commonplaces and head mount displays are now commercially available. In the past decade, telecommunications have become the market driver for Optical MEMS. The demand for routing internet traffic through fiber optic networks pushes the development of both digital and scanning micromirror systems for large port-count all-optical switches with the ability to directly manipulate an optical signal, Optical MEMS systems eliminate unnecessary optical-electrical-optical (O-E-O) conversions. In the biomedical arena, micro-optical scanners promise low-cost endoscopic three-dimensional imaging systems for in vivo diagnostics. This chapter summarizes the state of the art of Optical MEMS technology by describing basic fabrication processes to derive with actuation mechanisms and select examples of devices that are either commercially available, or show great promise of becoming products in the near term. The chapter is organized into the following sections: Section 2 describes the generic actuation mechanisms commonly used for MEMS devices. Section 3 discusses the applications.
Using model checking to generate tests from requirements specifications

Recently, many formal methods, such as the SCR (Software Cost Reduction) requirements method, have been proposed for improving the quality of software specifications. Although improved specifications are valuable, the ultimate objective of software development is to produce software that satisfies its requirements. To evaluate the correctness of a software implementation, one can apply black-box testing to determine whether the implementation, given a sequence of system inputs, produces the correct system outputs. This paper describes a specification-based method for constructing a suite of test sequences, where a test sequence is a sequence of inputs and outputs for testing a software implementation. The test sequences are derived from a tabular SCR requirements specification containing diverse data types, i.e., integer, boolean, and enumerated types. From the functions defined in the SCR specification, the method forms a collection of predicates called branches, which “cover” all possible software behaviors described by the specification. Based on these predicates, the method then derives a suite of test sequences by using a model checker's ability to construct counterexamples. The paper presents the results of applying our method to four specifications, including a sizable component of a contractor specification of a real system.
Evaluation of smoking cessation intervention in patients with chronic diseases in smoking cessation clinics

Abstract This study aimed to evaluate the effects of psychological intervention and psychological plus drug intervention on smoking cessation among male smokers with single chronic diseases. A total of 509 male smokers were divided into psychological group (n = 290) and psychological plus drugs (n = 219) groups according to their will. The physicians provided free individual counseling and follow-up interviews with brief counseling for all the subjects. In addition to mental intervention, patients in psychological plus drug group also received bupropion hydrochloride or varenicline tartrate to quit smoking. Outcomes were self-reported, regarding the 7-day point prevalence on abstinence rate and continuous abstinence rates at 1-, 3-, and 6-month follow-up period. Data analyses were performed using intention-to-treat analysis and per protocol analysis. With regards to the 3 follow-up time points, 7-day point-prevalence abstinence rate in psychological plus drugs group was all higher than that in the psychological intervention group. Additionally, the 3-month continuous abstinence rate (21.4%) of the 6-month follow-up in the psychological group was not significantly higher than that (26.9%) in the psychological plus drugs group (P >.05 for all). Fagerström test score, stage of quitting smoking, perceived confidence or difficulty in quitting, and chronic disease types were independently correlated with 3-month continuous abstinence in the 6-month follow up (P <.05 for all). The results were similar between intentional analysis and protocol analysis. The psychological intervention and psychological plus drugs intervention exerted good effects on smoking cessation in a short time (1 month). Nevertheless, the advantages did not appear during long-time (6 months) follow-up.
Development of Cerebellar Neurons and Glias Revealed by in Utero Electroporation: Golgi-Like Labeling of Cerebellar Neurons and Glias

Cerebellar cortical functions rely on precisely arranged cytoarchitectures composed of several distinct types of neurons and glias. Studies have indicated that cerebellar excitatory and inhibitory neurons have distinct spatial origins, the upper rhombic lip (uRL) and ventricular zone (VZ), respectively, and that different types of neurons have different birthdates. However, the spatiotemporal relationship between uRL/VZ progenitors and their final phenotype remains poorly understood due to technical limitations. To address this issue, we performed in utero electroporation (IUE) of fluorescent protein plasmids using mouse embryos to label uRL/VZ progenitors at specific developmental stages, and observed labeled cells at maturity. To overcome any potential dilution of the plasmids caused by progenitor division, we also utilized constructs that enable permanent labeling of cells. Cerebellar neurons and glias were labeled in a Golgi-like manner enabling ready identification of labeled cells. Five types of cerebellar neurons, namely Purkinje, Golgi, Lugaro and unipolar brush cells, large-diameter deep nuclei (DN) neurons, and DN astrocytes were labeled by conventional plasmids, whereas plasmids that enable permanent labeling additionally labeled stellate, basket, and granule cells as well as three types of glias. IUE allows us to label uRL/VZ progenitors at different developmental stages. We found that the five types of neurons and DN astrocytes were labeled in an IUE stage-dependent manner, while stellate, basket, granule cells and three types of glias were labeled regardless of the IUE stage. Thus, the results indicate the IUE is an efficient method to track the development of cerebellar cells from uRL/VZ progenitors facing the ventricular lumen. They also indicate that while the generation of the five types of neurons by uRL/VZ progenitors is regulated in a time-dependent manner, the progenitor pool retains multipotency throughout embryonic development.
Analysis of LDGM and compound codes for lossy compression and binning

Recent work has suggested that low-density gener- ator matrix (LDGM) codes are likely to be effective for lossy source coding problems. We derive rigorous upper bounds on the effective rate-distortion function of LDGM codes for the binary symmetric source, showing that they quickly approach the rate-distortion function as the degree increases. We also compare and contrast the standard LDGM construction with a compound LDPC/LDGM construction introduced in our previous work, which provably saturates the rate-distortion bound with finite degrees. Moreover, this compound construction can be used to generate nested codes that are simultaneously good as source and channel codes, and are hence well-suited to source/channel coding with side information. The sparse and high-girth graphical structure of our constructions render them well-suited to message-passing encoding. For channel coding problems, codes based on graphical con- structions, including turbo codes and low-density parity c heck (LDPC) codes, are widely used and well understood (16). However, many communication problems involve aspects of quantization, or quantization in conjunction with channel coding. Well-known examples include lossy data compression, source coding with side information (the Wyner-Ziv problem), and channel coding with side information (the Gelfand-Pinsker problem). For such communication problems involving quanti- zation, the use of sparse graphical codes and message-passing
What determines the complex kinetics of stomatal conductance under blueless PAR in Festuca arundinacea? Subsequent effects on leaf transpiration

Light quality and, in particular, its content of blue light is involved in plant functioning and morphogenesis. Blue light variation frequently occurs within a stand as shaded zones are characterized by a simultaneous decrease of PAR and blue light levels which both affect plant functioning, for example, gas exchange. However, little is known about the effects of low blue light itself on gas exchange. The aims of the present study were (i) to characterize stomatal behaviour in Festuca arundinacea leaves through leaf gas exchange measurements in response to a sudden reduction in blue light, and (ii) to test the putative role of Ci on blue light gas exchange responses. An infrared gas analyser (IRGA) was used with light transmission filters to study stomatal conductance (gs), transpiration (Tr), assimilation (A), and intercellular concentration of CO2 (Ci) responses to blueless PAR (1.80 μmol m−2 s−1). The results were compared with those obtained under a neutral filter supplying a similar photosynthetic efficiency to the blueless PAR filter. It was shown that the reduction of blue light triggered a drastic and instantaneous decrease of gs by 43.2% and of Tr by 40.0%, but a gradual stomatal reopening began 20 min after the start of the low blue light treatment, thus leading to new steady-states. This new stomatal equilibrium was supposed to be related to Ci. The results were confirmed in more developed plants although they exhibited delayed and less marked responses. It is concluded that stomatal responses to blue light could play a key role in photomorphogenetic mechanisms through their effect on transpiration.
Male Megacyllene robiniae (Coleoptera: Cerambycidae) Use Multiple Tactics When Aggressively Competing for Mates

ABSTRACT Adult male Megacyllene robiniae (Förster) (Coleoptera: Cerambycidae) that are paired with a female often are challenged by conspecific males that attempt to displace them. In staged laboratory bouts, challenging males used seven distinct tactics to displace defending males, including wedging their head between the defender and the female (termed wedging), straddling the mated pair and pulling the defender off (prying), pulling it with the mandibles, batting it with the antennae, or pushing, biting, or kicking the defender. Individual challengers attempted as many as six different tactics in a single bout, repeating certain tactics multiple times. They often attempted tactics that were not very effective. For example, prying was one of the most common attempted tactics but was rarely effective. However, few challengers attempted to push defenders off the female, even though that tactic often was effective. Challengers apparently were influenced by context in their choice of particular tactics. For example, males that approached the mated pair from the side were likely to use wedging, whereas those approaching head on were more likely to bat with the antennae. Choice of tactic apparently was not influenced by absolute size of challengers, nor was it strongly influenced by relative size of defenders. However, the effectiveness of tactics varied significantly with relative body size: larger challengers were most successful when prying or pushing, while smaller challengers were most successful when biting and kicking. By using different tactics, relatively small males were as adept as larger males at displacing rivals.
Joint‐linkage mapping and GWAS reveal extensive genetic loci that regulate male inflorescence size in maize

Summary Both insufficient and excessive male inflorescence size leads to a reduction in maize yield. Knowledge of the genetic architecture of male inflorescence is essential to achieve the optimum inflorescence size for maize breeding. In this study, we used approximately eight thousand inbreds, including both linkage populations and association populations, to dissect the genetic architecture of male inflorescence. The linkage populations include 25 families developed in the U.S. and 11 families developed in China. Each family contains approximately 200 recombinant inbred lines (RILs). The association populations include approximately 1000 diverse lines from the U.S. and China. All inbreds were genotyped by either sequencing or microarray. Inflorescence size was measured as the tassel primary branch number (TBN) and tassel length (TL). A total of 125 quantitative trait loci (QTLs) were identified (63 for TBN, 62 for TL) through linkage analyses. In addition, 965 quantitative trait nucleotides (QTNs) were identified through genomewide study (GWAS) at a bootstrap posterior probability (BPP) above a 5% threshold. These QTLs/QTNs include 24 known genes that were cloned using mutants, for example Ramosa3 (ra3), Thick tassel dwarf1 (td1), tasselseed2 (ts2), liguleless2 (lg2), ramosa1 (ra1), barren stalk1 (ba1), branch silkless1 (bd1) and tasselseed6 (ts6). The newly identified genes encode a zinc transporter (e.g. GRMZM5G838098 and GRMZM2G047762), the adapt in terminal region protein (e.g. GRMZM5G885628), O‐methyl‐transferase (e.g. GRMZM2G147491), helix‐loop‐helix (HLH) DNA‐binding proteins (e.g. GRMZM2G414252 and GRMZM2G042895) and an SBP‐box protein (e.g. GRMZM2G058588). These results provide extensive genetic information to dissect the genetic architecture of inflorescence size for the improvement of maize yield.
Scientific Computations on Modern Parallel Vector Systems

Computational scientists have seen a frustrating trend of stagnating application performance despite dramatic increases in the claimed peak capability of high performance computing systems. This trend has been widely attributed to the use of superscalar-based commodity components who’s architectural designs offer a balance between memory performance, network capability, and execution rate that is poorly matched to the requirements of large-scale numerical computations. Recently, two innovative parallel-vector architectures have become operational: the Japanese Earth Simulator (ES) and the Cray X1. In order to quantify what these modern vector capabilities entail for the scientists that rely on modeling and simulation, it is critical to evaluate this architectural paradigm in the context of demanding computational algorithms. Our evaluation study examines four diverse scientific applications with the potential to run at ultrascale, from the areas of plasma physics, material science, astrophysics, and magnetic fusion. We compare performance between the vector-based ES and X1, with leading superscalar-based platforms: the IBM Power3/4 and the SGI Altix. Our research team was the first international group to conduct a performance evaluation study at the Earth Simulator Center; remote ES access in not available. Results demonstrate that the vector systems achieve excellent performance on our application suite - the highest of any architecture tested to date. However, vectorization of a particle-in-cell code highlights the potential difficulty of expressing irregularly structured algorithms as data-parallel programs.
Magnetic ordering and crystal nucleation in undercooled Co–based melts

Long–range magnetic order in metals and alloys is restricted to the solid state of matter, since the Curie temperatures of all known metallic materials are below their respective melting temperatures. This article reviews recent investigations on the maximum undercoolability of Co–based alloys, which show high relative Curie temperatures. Experiments on drops undercooled containerlessly by electromagnetic levitation show the onset of magnetic ordering when the temperature is approaching the Curie temperature. Studies of the nucleation behaviour propose a magnetic contribution to the activation energy to form crystal nuclei of critical size in deeply undercooled Co–rich melts.