Miracle-dz/UniFAR-FTUs huggingface dataset:
Inorganic Semiconductors for Flexible Electronics

This article reviews several classes of inorganic semiconductor materials that can be used to form high‐performance thin‐film transistors (TFTs) for large area, flexible electronics. Examples ranging from thin films of various forms of silicon to nanoparticles and nanowires of compound semiconductors are presented, with an emphasis on methods of depositing and integrating thin films of these materials into devices. Performance characteristics, including both electrical and mechanical behavior, for isolated transistors as well as circuits with various levels of complexity are reviewed. Collectively, the results suggest that flexible or printable inorganic materials may be attractive for a range of applications not only in flexible but also in large‐area electronics, from existing devices such as flat‐panel displays to more challenging (in terms of both cost and performance requirements) systems such as large area radiofrequency communication devices, structural health monitors, and conformal X‐ray imagers.
Author verification using a Graph-based Representation

This paper presents a methodology for tackling the authorship verification problem. The approach is based on comparing the similarity between a given unknown document against the known documents using a graph representation that captures the syntactic sequence of texts and a graph similarity measure. An unknown document can be classified as having been written by the same author if the majority of the comparisons surpass a predefined threshold. The best results were obtained on the Clef PAN 2014 dataset: 79% for the Spanish and 68% for English, showing that the proposed methodology could be a way for determining a document authorship.
Three-Level AC-DC-AC Z-Source Converter Using Reduced Passive Component Count

This paper presents a three-level ac-dc-ac Z-source converter with output voltage buck-boost capability. The converter is implemented by connecting a low cost front-end diode rectifier to a neutral-point-clamped inverter through a single X-shaped LC impedance network. The inverter is controlled to switch with a three-level output voltage, where the middle neutral potential is uniquely tapped from the star-point of a wye-connected capacitive filter placed before the front-end diode rectifier for input current filtering. Through careful control, the resulting converter can accurately produce the correct volt-sec average at its output, while simultaneously achieving inductive voltage boosting. More interestingly, these performance features are achieved with no increase in the number of semiconductor commutations, and hence no increase in switching losses. The proposed converter therefore offers a low cost alternative to sensitive applications that need to ride-through frequent input voltage sags. For confirming the converter performance, experimental testing using a constructed laboratory prototype is performed with its captured results presented in a later section of the paper.
Histologic Phenotype on 1-Year Posttransplantation Biopsy and Allograft Survival in HLA-Incompatible Kidney Transplants

Background The correlation between histopathologic phenotypes and allograft outcomes among patients desensitized for donor-specific antibody (HLA-incompatible) is unknown. Methods We analyzed 1-year biopsies from desensitized recipients transplanted between 1999 and 2010 and estimated graft survival for each histologic phenotype identified. Median time posttransplant for the 1-year biopsy was 367 days (interquartile range 357–388 days) and median follow-up of all patients post–1-year biopsy was 42 months (interquartile range 19.5–65 months). Results Transplant glomerulopathy was present in 25.0% of biopsies and resulted in worse graft survival (66.7% vs. 96.7%, P<0.001). C4d positivity and transplant glomerulopathy together portended exceptionally poor graft survival (33.3% vs. 97.2%, P<0.001). Microcirculation inflammation was prevalent, with glomerulitis and peritubular capillaritis found in 60.0% and 47.6% of 1-year biopsies, respectively. Glomerulitis was associated with worse graft survival (82.1% vs. 98.1%, P=0.004), whereas capillaritis was not (88.1% vs. 97.7% respectively, P=0.091). Among C4d-negative HLA-incompatible recipients (82.6% of biopsies), no difference in graft survival was observed between patients with or without microcirculation inflammation in contrast to previous reports by other investigators. Patients who had no C4d deposition, transplant glomerulopathy, or microcirculation inflammation had a 100.0% graft survival. On Cox regression analysis, no independent histopathological parameter was associated with graft survival. Conclusions We have identified several histopathologic phenotypes in HLA-incompatible kidney recipients that correlate with allograft outcomes. Characterization of these phenotypes is the first step towards better understanding the pathophysiologic basis of chronic antibody-mediated allograft injury and individualizing therapeutic intervention.
Development of intimal thickening of coronary arteries over the lifetime of Atlantic salmon, Salmo salar L., fed different lipid sources.

The objective of the present study was to investigate the development of intimal changes of coronary arteries over the lifetime of farmed Atlantic salmon, Salmo salar L. , fed either a 100% fish oil or a 100% vegetable oil blend. The study was performed as a randomized observer blinded controlled trial with parallel group design. At the start of the project, the fish were divided in two groups and sampled at five different time points throughout their life span. The total study sample consisted of 259 healthy fish. Serial sections were taken from the coronary artery lying on the bulbus arteriosus for histopathological evaluation and for area measurements using semi-quantitative and quantitative methods. The earliest onset of vascular changes was detected in fish from both groups in the freshwater stage prior to smoltification. The mean range lesion (MRL), used to describe the severity of the lesions observed, increased significantly for both groups from sea transfer throughout the study period. Comparison of the two groups based on the overall material corrected for time of sampling did not show any difference (P = 0.20) between the two groups with regard to MRL. The percentage lumen loss (PLL) measured by a quantitative method and used as a measure to indicate lesion severity showed an incremental, non-significant increase from week 72 to week 92 and further to week 115 in both diet groups during the seawater phase. Comparison of the groups corrected for time of sampling indicated a difference of PLL in favour of VO (P = 0.02). Heart weight, body weight and body length were all positively and significantly correlated to Log MRL. The partial correlation analysis indicated that heart weight was the most dominant variable in the set. Early vascular changes were found in the major bifurcation of the coronary artery at the apex and beyond the flow divider into the daughter branches. The latter represented the dominant changes and were found throughout the entire lifecycle of the fish. Increasing in size over time they formed pads or cushions that were regularly located close to the outer walls of the bifurcation. The origin of the cells forming the intimal thickening has not been conclusively determined, but immunohistochemical findings indicate a smooth muscle cell origin, possibly of a myointimal type. Our findings suggest there is no correlation between diet and intimal changes. The severity of the changes, MRL and PLL, of the coronary vessels correlate with heart weight and fish weight growth and growth rate and mechanical factors are implicated in intimal development, but rather than being induced by external injury due to the location of the coronaries, haemodynamic factors and low shear stress are proposed as the main mechanism behind these changes.
From Farm to Nuisance

Municipal ordinances to remove farm animals from city limits played a central part in defining city planning’s role in urban ecosystems, economies, and public health. This article examines the regulation of animal agriculture since the eighteenth century in four cities: Baltimore, Boston, Philadelphia, and New York. Across the nineteenth century, municipal ordinances to remove farm animals from city limits set the tone for the planning profession, aligning it with the field of public health in creating a hygienic city. In the efforts to untangle animal agriculture from waste management, public space, and urban food supply, urban authorities employed some of the first land-use regulations in the United States, shaping new planning powers. Ordinances banning slaughterhouses, piggeries, and dairies culminated with zoning as planning became a profession. These regulations ultimately allowed planners to transform cities and their food environments by dismantling a system in which animals and their caretakers among the urban poor had played integral parts in food production, processing, and municipal waste management. Unpacking the objectives, debates, and impacts of these early regulations reveals enduring tensions and challenges as planners today seek to reweave animal agriculture into cities.
Eukaryotic ribosomal protein RPS25 interacts with the conserved loop region in a dicistroviral intergenic internal ribosome entry site

The intergenic region-internal ribosome entry site (IGR-IRES) of dicistroviruses binds to 40S ribosomal subunits in the absence of eukaryotic initiation factors (eIFs). Although the conserved loop sequences in dicistroviral IGR-IRES elements are protected from chemical modifications in the presence of the 40S subunit, molecular components in the 40S subunit, which interacts with the loop sequences in the IRES, have not been identified. Here, a chemical crosslinking study using 4-thiouridine-labeled IGR-IRES revealed interactions of the IGR-IRES with several 40S proteins but not with the 18S rRNA. The strongest crosslinking signal was identified for ribosomal protein S25 (rpS25). rpS25 is known to be a neighbor of rpS5, which has been shown to interact with a related IGR-IRES by cryo-electron microscopy. Crosslinking analysis with site-directed mutants showed that nucleotides UU6089–6090, which are located in the loop region in conserved domain 2b in the IRES, appear to interact with rpS25. rpS25 is specific to eukaryotes, which explains why there is no recognition of the IGR-IRES by prokaryotic ribosomes. Although the idea that the IGR-IRES element may be a relict of a primitive translation system has been postulated, our experimental data suggest that the IRES has adapted to eukaryotic ribosomal proteins.
Revealing the exciton fine structure of PbSe nanocrystal quantum dots using optical spectroscopy in high magnetic fields.

We measure the photoluminescence lifetime τ of excitons in colloidal PbSe nanocrystals (NCs) at low temperatures to 270 mK and in high magnetic fields to 15 T. For all NCs, τ increases sharply below 10 K but saturates by 500 mK. In contrast to the usual picture of well-separated "bright" and "dark" exciton states (found, e.g., in CdSe NCs), these dynamics fit remarkably well to a system having two exciton states with comparable--but small--oscillator strengths that are separated by only 300-900 μeV depending on NC size. Importantly, magnetic fields reduce τ below 10 K, consistent with field-induced mixing between the two states. Magnetic-circular dichroism studies reveal exciton g factors from 2-5, and magnetophotoluminescence shows >10% circularly polarized emission.
MIMO Decode-and-Forward Relay Systems With an Energy-Constrained Antenna-Switching Relay

We study a multiple-input multiple-output (MIMO) relay system composed of a source, a relay, and a destination, in which the decode-and-forward relay delivers the decoded symbols from the source to the destination by harvesting energy from the source. Each antenna in the relay has capability of both information decoding (ID) and energy harvesting (EH), each of which is opportunistically selected to be used for either ID or EH at each time. Under this configuration, we propose antenna assignment algorithms at the relay and the corresponding optimal beamforming design at the source and relay that maximize the end-to-end transmission rate. Specifically, we propose suboptimal antenna assignment algorithms that give performance close to the exhaustive search with significantly reduced complexity.
Classifying seabed sediments using local auto-correlation features

: Understanding the distribution of seafloor sediment using a side-scan sonar is very important to grasp the distribution of seabed resources. This task is traditionally carried out by a skilled human operator. However, with the appearance of Autonomous Underwater Vehicles, automated processing is now needed to tackle the large amount of data produced and to enable on the fly adaptation of the missions and near real time update of the operator. We propose in this paper a method that applies a higher-order local auto-correlation feature and a subspace method to the acoustic image provided by the side-scan sonar to classify seabed sediment automatically. In texture classification, the proposed method outperformed other methods such as a gray level co-occurrence matrix and a Local Binary Pattern operator. Experimental results show that the proposed method produces consistent maps of a seafloor.
Minimizing the Circulation Current in Hexagram Medium-Voltage Variable-Speed Drive by Coupled Inductors

The hexagram inverter is composed of six voltage source inverter (VSI) modules interconnected to form a circle via the inductors, which are required to suppress the possible circulating current in the circle. However, the design of the inductors could be challenging, where the inductance should be large enough to suppress the circulating current and small enough to minimize the effect on the output voltage. This paper proposes the utilization of coupled inductors in between any two connected VSI modules instead of stand-alone ones to optimize the hexagram inverter performance. On the basis of this structure, the circulating current can be maximally suppressed by the magnetizing inductance of the coupled inductor, while in the meantime, the output voltage is minimally affected by the leakage inductance. By sharing the magnetic core, the cost and size of the inductors are also reduced. Simulation and a small-scale experiment have been conducted to verify the proposed hexagram inverter structure with the six-winding coupled inductors.
Exit paths and constructible stacks

Abstract For a Whitney stratification S of a space X (or, more generally, a topological stratification in the sense of Goresky and MacPherson) we introduce the notion of an S-constructible stack of categories on X. The motivating example is the stack of S-constructible perverse sheaves. We introduce a 2-category EP≤2(X,S), called the exit-path 2-category, which is a natural stratified version of the fundamental 2-groupoid. Our main result is that the 2-category of S-constructible stacks on X is equivalent to the 2-category of 2-functors 2Funct(EP≤2(X,S),Cat) from the exit-path 2-category to the 2-category of small categories.
Volunteer Effects on Experimental Outcomes

THERE is a growing literature which shows that volunteers for participation in behavioral research differ from nonvolunteers on several important dimensions.3 Volunteers appear to be better educated and to occupy higher status positions than nonvolunteers. Volunteers also seem to be brighter, higher in approval need, less authoritarian, more sociable, more arousal-seeking, more unconventional, more often firstborn, and younger than nonvolunteers. Men seem to volunteer more for unconventional studies; women,
Secure multi-execution of web scripts: Theory and practice

Secure Multi-Execution (SME) is a precise and general information flow control mechanism that was claimed to be a good fit for implementing information flow security in browsers. We validate this claim by developing FlowFox, the first fully functional web browser that implements an information flow control mechanism for web scripts based on the technique of secure multi-execution. We provide evidence for the security of FlowFox by proving non-interference for a formal model of the essence of FlowFox, and by showing how it stops real attacks. We provide evidence of usefulness by showing how FlowFox subsumes many ad-hoc script-containment countermeasures developed over the last years. An experimental evaluation on the Alexa top-500 web sites provides evidence for compatibility, and shows that FlowFox is compatible with the current web, even on sites that make intricate use of JavaScript.The performance and memory cost of FlowFox is substantial (a performance cost of around 20% on macro benchmarks for a simple two-level policy), but not prohibitive. Our prototype implementation shows that information flow enforcement based on secure multi-execution can be implemented in full-scale browsers. It can support powerful, yet compatible policies refining the same-origin-policy in a way that is compatible with existing websites.
Automated rectification methodologies to functional state-space unreachability

In the modern design cycle, significant manual resources are dedicated to fix a design when verification shows that a state is not reachable. Today there is little automation to aid an engineer in understanding why a state is not reachable and how to correct it. This paper presents a novel methodology that automates this task. In detail, a process that involves intertwined steps of state approximation, reachability analysis and traditional debugging is developed to identify design locations where fixes can be applied so the target state becomes reachable. An initial formulation identifies such error locations that, when corrected, can make the target state reachable directly from the existing reachable set of states. This is later extended for the cases where more than one state transition is required to reach an unreachable state from the existing reachable set. Empirical results on industrial level designs show a performance which is an order of magnitude faster than the state-of-the-art confirming the practicality of the proposed automated methodology.
Experimental demonstration of radicaloid character in a RuV=O intermediate in catalytic water oxidation

Water oxidation is the key half reaction in artificial photosynthesis. An absence of detailed mechanistic insight impedes design of new catalysts that are more reactive and more robust. A proposed paradigm leading to enhanced reactivity is the existence of oxyl radical intermediates capable of rapid water activation, but there is a dearth of experimental validation. Here, we show the radicaloid nature of an intermediate reactive toward formation of the O-O bond by assessing the spin density on the oxyl group by Electron Paramagnetic Resonance (EPR). In the study, an 17O-labeled form of a highly oxidized, short-lived intermediate in the catalytic cycle of the water oxidation catalyst cis,cis-[(2,2-bipyridine)2(H2O)RuIIIORuIII(OH2)(bpy)2]4+ was investigated. It contains Ru centers in oxidation states [4,5], has at least one RuV = O unit, and shows |Axx| = 60G 17O hyperfine splittings (hfs) consistent with the high spin density of a radicaloid. Destabilization of π-bonding in the d3 RuV = O fragment is responsible for the high spin density on the oxygen and its high reactivity.
Leucine-rich Repeat and WD Repeat-containing Protein 1 Is Recruited to Pericentric Heterochromatin by Trimethylated Lysine 9 of Histone H3 and Maintains Heterochromatin Silencing*

Background: Leucine-rich repeat and WD repeat-containing protein 1 (Lrwd1) binds histone marks (H3K9me3 and H4K20me3). Results: The recruitment of Lrwd1 to heterochromatin requires H3K9me3. Lrwd1 is required for silencing of major satellite repeats. Conclusion: Lrwd1 binds to heterochromatin via interactions with H3K9me3 and maintains heterochromatin silencing. Significance: Determining how Lrwd1 functions in heterochromatin silencing is important in understanding how heterochromatin is inherited during S phase of the cell cycle. Lrwd1, a protein containing a leucine-rich repeat and a WD40 repeat domain, interacts with the origin replication complex (ORC), a protein complex involved in both initiation of DNA replication and heterochromatin silencing. Lrwd1 and ORC are known to co-purify with repressive histone marks (trimethylated lysine 9 of histone H3 (H3K9me3) and trimethylated lysine 20 of histone H4 (H4K20me3)) and localize to pericentric heterochromatin. However, how the Lrwd1 is recruited to heterochromatin and the functional significance of the localization of Lrwd1 to the heterochromatin are not known. Here, we show that Lrwd1 preferentially binds to trimethylated repressive histone marks in vitro, which is dependent on an intact WD40 domain but independent of ORC proteins. The localization of Lrwd1 and Orc2 at pericentric heterochromatin in mouse cells is lost in cells lacking H3K9me3 but not in cells lacking H4K20me3. In addition, depletion of HP1α has little impact on the localization of Lrwd1 on pericentric heterochromatin. Finally, depletion of Lrwd1 and Orc2 in mouse cells leads to increased transcription of major satellite repeats. These results indicate that the Lrwd1 is recruited to pericentric heterochromatin through binding to H3K9me3 and that the association of Lrwd1 with pericentric heterochromatin is required for heterochromatin silencing and maintenance.
Joint modelling of longitudinal and event time data

The relationship between the development over time of a quantitative response variable and a parallel process recording events in time can be investigated through a joint model for the two outcome types. Interest in this topic arose from two separate backgrounds: the possibility and consequences of informative dropout in longitudinal trials, and measurement error problems for survival studies with time-varying covariates. Modeling strategies include combining a marginal distribution for one response type with a conditional distribution for the other, or adopting a correlated random effects model with otherwise conditional independence. Naive methods can lead to significant bias, yet more sophisticated modeling approaches are often sensitive to assumptions, some of which cannot be checked from observable data. When simple summaries such as treatment effect estimators are of interest, sensitivity analyses can bring some reassurance as to whether important conclusions are maintained as assumptions are allowed to change. Overall, the topic is relatively new and research is continuing in many directions. Keywords: Cox model; dropout; marker process; measurement error; missing data; repeated measurements; random effects; time-dependent covariates