Miracle-dz/UniFAR-FTUs huggingface dataset:
An overview of Quantum Cryptography for Wireless Networking Infrastructure

Quantum Key Distribution (QKD) is used in Quantum Cryptographic Systems to exchange secret key between parties who need to communicate secretly. Such a key can be used with a symmetric encryption schemes to establish a secure communication. Until recently, QKD is possible using optical fiber over few tens of kilometers but not more due to single photons getting absorbed by the fiber. There are no commercial wireless quantum crypto products yet, but QKD will soon be used in wireless medium from satellite to the earth so we could get 10,000 miles. But wireless medium brings its own problems. The energy transmitted via a wireless link spreads out, leading to higher and varying transmission losses, ambient daylight, or even light from the moon at night couple into the receiver, leading to a higher error rate. Interference from other photon sources air with clouds, dust and unsettled conditions creates intervention. In this paper, different techniques for communication in Quantum Cryptography using wireless networking infrastructure are discussed.
Factors Affecting Malaysian Accountants' Broadband Adoption and Use Behavior

The aim of this study was to examine the factors affecting the adoption of broadband Internet in a developing country context by focusing upon Malaysia. The data relating to these factors was collected using a survey approach. The findings of this paper suggest that constructs such as relative advantage, utilitarian outcomes, service quality and primary influence are important factors affecting Malaysian accountants’ broadband adoption and Internet use behaviour. The paper proceeds to outline the research limitations and implications.
Severe Leukopenia and Dysregulated Erythropoiesis in SCID Mice Persistently Infected with the Parvovirus Minute Virus of Mice

ABSTRACT Parvovirus minute virus of mice strain i (MVMi) infects committed granulocyte-macrophage CFU and erythroid burst-forming unit (CFU-GM and BFU-E, respectively) and pluripotent (CFU-S) mouse hematopoietic progenitors in vitro. To study the effects of MVMi infection on mouse hemopoiesis in the absence of a specific immune response, adult SCID mice were inoculated by the natural intranasal route of infection and monitored for hematopoietic and viral multiplication parameters. Infected animals developed a very severe viral-dose-dependent leukopenia by 30 days postinfection (d.p.i.) that led to death within 100 days, even though the number of circulating platelets and erythrocytes remained unaltered throughout the disease. In the bone marrow of every lethally inoculated mouse, a deep suppression of CFU-GM and BFU-E clonogenic progenitors occurring during the 20- to 35-d.p.i. interval corresponded with the maximal MVMi production, as determined by the accumulation of virus DNA replicative intermediates and the yield of infectious virus. Viral productive infection was limited to a small subset of primitive cells expressing the major replicative viral antigen (NS-1 protein), the numbers of which declined with the disease. However, the infection induced a sharp and lasting unbalance of the marrow hemopoiesis, denoted by a marked depletion of granulomacrophagic cells (GR-1+ and MAC-1+) concomitant with a twofold absolute increase in erythroid cells (TER-119+). A stimulated definitive erythropoiesis in the infected mice was further evidenced by a 12-fold increase per femur of recognizable proerythroblasts, a quantitative apoptosis confined to uninfected TER-119+ cells, as well as by a 4-fold elevation in the number of circulating reticulocytes. Therefore, MVMi targets and suppresses primitive hemopoietic progenitors leading to a very severe leukopenia, but compensatory mechanisms are mounted specifically by the erythroid lineage that maintain an effective erythropoiesis. The results show that infection of SCID mice with the parvovirus MVMi causes a novel dysregulation of murine hemopoiesis in vivo.
An injection-locked frequency divider by three with switching cross-couple architecture

This article studies the RF performance of a wide locking range divide-by-3 injection-locked frequency divider (ILFD) in CMOS process. The ILFD circuit bases on MOS switch cross-coupled oscillator and uses dual-resonance RLC resonator. The power consumption of the ILFD core is 5.6 mW and the locking range is from 6.7 to 11.6 GHz (53.6%) at injection power Pinj = 0 dBm. Measured tuning range depends upon the direction of voltage tuning, the tuning range shows a hysteresis loop, which does not affect on wide locking range of ILFD.
A modified synthetic aperture imaging approach with axial motion compensation

Synthetic aperture (SA) imaging provides an alternate mean of obtaining ultrasound images. However, since this approach is based on coherent summation of low-resolution images (LRIs) acquired from different point sources along an array, its image quality may be degraded if motion is present in between firings. In this work, we report a modified SA imaging scheme that can compensate for the effects of axial motion on the image quality. The scheme first acquires data by making use of an interleaved firing sequence where a center-point firing is carried out in between each point-source firing. It then estimates the mean axial shift between two LRIs by performing a cross-correlation analysis on the raw channel data of successive center-point firings. The LRI of each point-source firing is then axially counter-shifted by the estimated shift value to compensate for possible aberration during SA image formation. To test out our proposed scheme, we conducted a tissue-cyst phantom imaging experiment, where raw channel data was acquired using our interleaved firing scheme for 97 virtual point sources laterally spaced apart at 0.3 mm and axially located at 10 mm behind the probe. This data acquisition procedure was repeated for a range of inter-firing probe displacements (15-90 mum) introduced via a motion stage. From the acquired data, motion-compensated SA images were formed using our modified image formation method, and their contrast was compared to those formed without motion compensation. Results show that our proposed scheme reduced the amount of blurring seen in SA images when uniform axial motion is present during data acquisition. Without motion compensation, the contrast level for the phantom cysts can drop by 15-20 dB (relative to the SA image taken without motion) for the range of inter-firing displacements examined. When our motion compensation strategy was applied, this contrast drop was less than 5 dB.
MODEL CHECKING SATELLITE OPERATIONAL PROCEDURES

Satellite Operational Procedures (OPs) are mission critical systems which verification typically requires months of simulation. Automating OP verification by using model checking techniques to explore all possible scenarios will decrease OP verification cost and increase OP reliability. The main obstruction is modeling the satellit inside a model checker. We show how, by using an explicit model checker (CMurphi), it is possible to exploit a satellite simulator (SIMSAT) to automate OP verification. We model OPs, disturbances as well as the behavior of the human operator by using the model checker modeling language and instead use the satellite simulator as a model of the satellite itself. We achieve this by using the model checker as a driver for the simulation activity. In order to assess feasibility of our approach we present experimental results on a simple yet meaningful OP. Our results show that we can save up to 90% of verification time.
Stability of Genetic Networks With SUM Regulatory Logic: Lur'e System and LMI Approach

In this paper, we present a nonlinear model for genetic regulatory networks with SUM regulatory functions. We show that the genetic network can be transformed into Lur'e form. Based on the Lyapunov method and the Lur'e system approach, sufficient conditions for the stability of the genetic networks are derived, in particular for the cases with time delays owing to the slow processes of transcription, translation, and translocation, and for the cases with stochastic perturbations due to natural random intra- and inter-cellular fluctuations. All the stability conditions are given in terms of linear matrix inequalities (LMIs), which are very easy to be verified. To test the effectiveness of our theoretical results, several examples of genetic networks are also presented in this paper
4-[N,N-Bis(2-hydroxyimino-2-phenylethyl)amino]-1,5-dimethyl-2-phenyl-2,3-dihydro-1H-pyrazol-3-one monohydrate.

The title compound, C27H27N5O3·H2O, is built up from pyrazolinone, phenyl and aceto­phenone oxime moieties. The 2-­phenyl substituent is nearly perpendicular to the pyrazo­linone ring, with a dihedral angle of 87.66 (1)°. The aceto­phenone oxime moieties are twisted out of the pyrazolinone-ring plane by 47.04 (1)°. The mol­ecules in the crystal pack in an antiparallel fashion and are held together by hydrogen-bonded water mol­ecules and intermolecular O—H⋯O and O—H⋯N hydrogen bonds.
A comparative study of MPPT algorithms for standalone PV systems under RCIC

A comparative study between frequently used maximum power point tracking (MPPT) algorithms and a proposed Least Squares Support Vector Machine (LS-SVM) based MPPT algorithm under rapidly changing insolation condition (RCIC) is presented in this paper. The comparison shows that the proposed LS-SVM based MPPT algorithm offers some advantages over existing MPPT algorithms under RCIC, namely elimination of ripples in the output voltage of a PV solar system as well as improved tracking accuracy. The algorithms have been tested through simulation studies carried out on real data recorded by the Australia Bureau of Meteorology. The study compares the performances of LS-SVM, P&O and IncCond.
Functional Interactions between Yeast Mitochondrial Ribosomes and mRNA 5′ Untranslated Leaders

ABSTRACT Translation of mitochondrial mRNAs in Saccharomyces cerevisiae depends on mRNA-specific translational activators that recognize the 5′ untranslated leaders (5′-UTLs) of their target mRNAs. We have identified mutations in two new nuclear genes that suppress translation defects due to certain alterations in the 5′-UTLs of both the COX2 and COX3 mRNAs, indicating a general function in translational activation. One gene, MRP21, encodes a protein with a domain related to the bacterial ribosomal protein S21 and to unidentified proteins of several animals. The other gene, MRP51, encodes a novel protein whose only known homolog is encoded by an unidentified gene in S. kluyveri. Deletion of either MRP21 or MRP51 completely blocked mitochondrial gene expression. Submitochondrial fractionation showed that both Mrp21p and Mrp51p cosediment with the mitochondrial ribosomal small subunit. The suppressor mutations are missense substitutions, and those affecting Mrp21p alter the region homologous to E. coli S21, which is known to interact with mRNAs. Interactions of the suppressor mutations with leaky mitochondrial initiation codon mutations strongly suggest that the suppressors do not generally increase translational efficiency, since some alleles that strongly suppress 5′-UTL mutations fail to suppress initiation codon mutations. We propose that mitochondrial ribosomes themselves recognize a common feature of mRNA 5′-UTLs which, in conjunction with mRNA-specific translational activation, is required for organellar translation initiation.
Purification of Treponema pallidum, Nichols Strain, by Percoll Density Gradient Centrifugation

The purification of motile and virulent Treponema pallidum, Nichols strain, from rabbit testicular tissue is reported. Suspensions of T. pallidum were overlayed onto 20-ml cushions of 43% Percoll and in-situ density gradients were formed by centrifugation at 34,800 g for 30 min. Gradient fractionation indicated that T. pallidum banded at a density of 1.051 g/cc3 and that soluble proteineous testicular components remained in the upper portion of the gradient. Sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE) confirmed the removal of host testicular and serum components. Purified suspensions of T. pallidum were > 95% actively motile and fully virulent, and >50% motility could be maintained in vitro for up to five days. As determined by electron microscopy, Percollpurified T. pallidum was structurally unaltered and contained much less tissue debris than did crude extracts or T. pallidum prepared by differential centrifugation. The Percoll purification method has been applied successfully to physiology, recombinant DNA, and antigenic structure studies, and to the preparation of antigen for the fluorescent treponemal antibody-absorbed (FTA-Abs) test for syphilis.
Increased Angiogenesis Protects against Adipose Hypoxia and Fibrosis in Metabolic Disease-resistant 11β-Hydroxysteroid Dehydrogenase Type 1 (HSD1)-deficient Mice*

Background: Adipose hypertrophy limits fat cell oxygenation, promotes scarring, and associates with increased local glucocorticoid regeneration (higher 11βHSD1 enzyme). Results: 11βHSD1 knock-out mice have reduced scarring and better vascularization and oxygenation in their adipose tissue. Conclusion: Elevated adipose 11βHSD1 contributes to obesity pathogenesis by suppressing adipose angiogenesis. Significance: Enhancement of adipose oxygenation and vascularization is a novel therapeutic modality for 11βHSD1 inhibitors. In obesity, rapidly expanding adipose tissue becomes hypoxic, precipitating inflammation, fibrosis, and insulin resistance. Compensatory angiogenesis may prevent these events. Mice lacking the intracellular glucocorticoid-amplifying enzyme 11β-hydroxysteroid dehydrogenase type 1 (11βHSD1−/−) have “healthier” adipose tissue distribution and resist metabolic disease with diet-induced obesity. Here we show that adipose tissues of 11βHSD1−/− mice exhibit attenuated hypoxia, induction of hypoxia-inducible factor (HIF-1α) activation of the TGF-β/Smad3/α-smooth muscle actin (α-SMA) signaling pathway, and fibrogenesis despite similar fat accretion with diet-induced obesity. Moreover, augmented 11βHSD1−/− adipose tissue angiogenesis is associated with enhanced peroxisome proliferator-activated receptor γ (PPARγ)-inducible expression of the potent angiogenic factors VEGF-A, apelin, and angiopoietin-like protein 4. Improved adipose angiogenesis and reduced fibrosis provide a novel mechanism whereby suppression of intracellular glucocorticoid regeneration promotes safer fat expansion with weight gain.
Teaching User Interface Evaluation Methods with Games

We present an experience report detailing the use of games as a means of teaching empirical evaluation of user interfaces. We discuss the implementation of a similar course project structures in an engineering course on human-computer interaction (HCI) and a humanities course on game design. Both courses featured a milestone-driven, iterative approach to student projects, which provided students with a great deal of diverse feedback throughout the duration of the course. Parallels are drawn between player experience testing and HCI methods. Keywords— Game design, player experience testing, humancomputer interaction, research methods, pedagogy.
p21-Activated Kinase 5 (Pak5) Localizes to Mitochondria and Inhibits Apoptosis by Phosphorylating BAD

ABSTRACT Pak5 is the most recently identified and least understood member of the p21-activated kinase (Pak) family. This kinase is known to promote neurite outgrowth in vitro, but its localization, substrates, and effects on cell survival have not been reported. We show here that Pak5 has unique properties that distinguish it from all other members of the Pak family. First, Pak5, unlike Pak1, cannot complement an STE20 mutation in Saccharomyces cerevisiae. Second, Pak5 binds to the GTPases Cdc42 and Rac, but these GTPases do not regulate Pak5 kinase activity, which is constitutive and stronger than any other Pak. Third, Pak5 prevents apoptosis induced by camptothecin and C2-ceramide by phosphorylating BAD on Ser-112 in a protein kinase A-independent manner and prevents the localization of BAD to mitochondria, thereby inhibiting the apoptotic cascade that leads to apoptosis. Finally, we show that Pak5 itself is constitutively localized to mitochondria, and that this localization is independent of kinase activity or Cdc42 binding. These features make Pak5 unique among the Pak family and suggest that it plays an important role in apoptosis through BAD phosphorylation.
La machine à trier

La jeunesse francaise est coupee en deux, certains s'en sortent, d'autres non. Cette cesure est le resultat d'un systeme social elitiste ou l'ecole et le marche du travail servent de machines a trier. Au bout du compte, les plus faibles sont implacablement elimines, tout en etant pratiquement exclus des aides sociales jusqu'a 25 ans. Mis a l'ecart, ils tendent a deserter les urnes et a renier les fondements de la democratie. Il est urgent de s'attaquer aux racines du mal : l'echec scolaire et les obstacles infranchissables que dresse le marche du travail devant ceux qui n'ont pas de diplome. Il faut aussi faire sauter les verrous de notre systeme politique pour que les jeunes y trouvent leur place. Mais en attendant, nous ne pouvons pas laisser tant de jeunes sur le bord de la route. Il y a des moyens de leur offrir, sans laxisme, une deuxieme chance. Si nous continuons a ne rien faire, le risque d'une deflagration du pacte republicain grandira de jour en jour. (Resume editeur)
Models of English text

The problem of constructing models of English text is considered. A number of applications of such models including cryptology, spelling correction and speech recognition are reviewed. The best current models for English text have been the result of research into compression. Not only is this an important application of such models but the amount of compression provides a measure of how well such models perform. Three main classes of models are considered: character based models, word based models, and models which use auxiliary information in the form of parts of speech. These models are compared in terms of their memory usage and compression.
Research on Multi-mode Fusion Tracking of OTHR Based on Auction Algorithm

In OTHR's tracking system, we will estimate the state of a discrete-time, linear stochastic system whose observation process consists of a finite set of known, non-linear measurement models. MPDA is capable of exploiting multipath target signatures arising from discrete propagation modes that are resolvable by the radar, but it is very time-consuming and will bring multipath tracks. In this paper, a multi-mode fusion tracking of OTHR based on auction algorithm (A-MFT) is proposed, which effectively solve the problem of multi-mode measurements. When tracking a single and non-maneuvering target with four possible measurements, simulations in clutter environment show that the computing speed of the algorithm proposed in this paper is greatly higher than that of MPDA, and the tracking precision just a little lower than that of MPDA, further more, A-MFT will not bring multipath tracks and do not need consequent track association.
Reverse Engineering from Exploratory Testing to Specification-based Testing

GUI testing takes a crucial role of acceptance testing. SBT (Specification-based Testing) and ET (exploratory testing) are mainly used for GUI testing. SBT is not practical because it requires high level experts and a lot of efforts for creating specifications. Therefore, in most cases, test cases are manually written based on ET by testers. However, ET requires heavy labor cost for enhancing coverages. Thus, it is not programmatic for better coverage than SBT. In this paper, to take advantages of SBT we proposed a method applying a reverse engineering concept which automatically generates formal specifications from manually written test cases. The paper also proposed a method to expand uncovered test paths and test data. The generated specifications could contribute to enhance the quality of software with a few additional manual tasks.
Operative Strategy Modifies Risk of Pouch-related Outcomes in Patients With Ulcerative Colitis on Preoperative Anti-Tumor Necrosis Factor-&agr; Therapy

BACKGROUND: Whether preoperative biological therapy increases postoperative complications after restorative proctocolectomy remains controversial. OBJECTIVE: This study aims to evaluate the influence of preoperative use of biologics on outcomes after restorative proctocolectomy and to assess whether a staged approach modifies any negative influence of these medications. SETTING: The study was conducted at a single tertiary institution. DESIGN AND PATIENTS: Patients who were operated on for medically refractory ulcerative or indeterminate colitis were identified and classified by initial surgery, whether subtotal colectomy or total proctocolectomy, then categorized into biologics user and nonuser groups. Demographics, perioperative data, postoperative complications, pouch function, and quality of life were collected. OUTCOME MEASURE: Cumulative 1-year complication rates were estimated by using the Kaplan-Meier curve, and independent predictors for infectious complications were identified by using Cox proportional hazards regression models. RESULTS: From 2006 to 2010, 407 and 181 patients underwent initial subtotal colectomy with end ileostomy or total proctocolectomy with IPAA. For the 181 patients who underwent total proctocolectomy straightaway, pre- and perioperative data were comparable for biologics users (n = 25) and nonusers (n = 156). Cumulative 1-year pelvic sepsis rate was significantly greater in patients on biologics (32% vs 16%, p = 0.012). Multivariate analysis demonstrated that preoperative anti-tumor necrosis factor therapy (HR, 2.62; p = 0.027) was an independent risk factor for postoperative pelvic sepsis after total proctocolectomy. After subtotal colectomy, no differences occurred in both 30-day and cumulative 1-year postoperative complications between biologics users (n = 142) and nonusers (n = 265). Outcomes were also similar when biologics users (n = 88) and nonusers (n = 164) underwent subsequent completion proctectomy with ileal pouch creation after initial colectomy. LIMITATIONS: The retrospective nature of this study and physician’s preference were limitations. CONCLUSIONS: Preoperative exposure to biologics is associated with an increased risk of pelvic sepsis after total proctocolectomy with IPAA. This risk is mitigated by the performance of an initial subtotal colectomy.
Wavelength selection for the real-time detection of fear affection using a hyperspectral imaging technique

Hyperspectral imaging (HSI) has been used in detecting affective states via tissue oxygen saturation (StO2) recently. However the number of wavelength used in HSI for generating StO2 are large. Therefore the reduction of the wavelength number plays a key role in real-time affection detection. In this paper, a physarum network (PN) approach was applied to select wavelengths from traditional waveband [516–580] nm, which were used for StO2 generation. An experiment was designed to induce fear affection by using horror video. The experimental results show that the selected wavelengths (516.43 nm, 541.52 nm, 542.14 nm, 558.13 nm, 578.51 nm) can produce similar detection rate (82.29%) to that (83.35%) generated by traditional wavebands (516–580nm). The results suggest that the selected five wavelengths could replace the traditional wavebands for StO2 generation and real-time affection detection.
Worker-Driven Improvement of Processes in Smart Factories

This paper describes an approach to collaboratively improving processes in smart factories. It is based on the idea of a meta-process for continuous improvement that involves all stakeholders. The participation of human workers is seen as vital and is fostered using a set of technologies including wiki-based social software and the S-BPM approach to process management. The paper shows how these technologies have been incorporated in a tool developed in the ongoing Factories of the Future project SO-PC-Pro.