Miracle-dz/UniFAR-FTUs huggingface dataset:
Angelic Semantics for High-Level Actions

High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the effects of HLAs may be essential to their effective use, yet the literature is mostly silent. We propose an angelic semantics for HLAs, the key concept of which is the set of states reachable by some refinement of a high-level plan, representing uncertainty that will ultimately be resolved in the planning agent's own best interest. We describe upper and lower approximations to these reachable sets, and show that the resulting definition of a high-level solution automatically satisfies the upward and downward refinement properties. We define a STRIPS-like notation for such descriptions. A sound and complete hierarchical planning algorithm is given and its computational benefits are demonstrated.
A Dual Approach to Detect Pharming Attacks at the Client-Side

Pharming attacks - a sophisticated version of phishing attacks - aim to steal users' credentials by redirecting them to a fraudulent website using DNS-based techniques. Pharming attacks can be performed at the client-side or into the Internet, using complex and well designed techniques that make the attack often imperceptible to the user. With the deployment of broadband connections for Internet access, personal networks are a privileged target for attackers. In this paper, we propose a dual approach to provide an anti-pharming protection integrated into the client's browser. Our approach combines both an IP address check as well as a webpage content analysis, using the information provided by multiple DNS servers. We present first experimental results and we discuss about future works and limitations of our approach.
Microwave noninvasive blood glucose monitoring sensor: Human clinical trial results

In this paper, a microwave non-invasive blood glucose monitoring system operating at around 1.4 GHz is designed and its performance in terms of accuracy and repeatability is evaluated by a clinical trial involving 24 human subjects, with and without diabetes. Direct comparison with the most accurate benchtop glucose analyzer shows the exceptional accuracy and repeatability of the proposed system.
Study on Alginate Fiber Core-Spun Yarn by Friction Spinning

Alginate fibres are difficult to spin on the traditional ring spinning machine. Friction core-spun yarn which took alginate fibers as main wrapped fibers and cotton yarn as core yarn were developed on DREF-Ⅲ. The influence of main spinning technical parameters, such as spinning speed, friction roller speed and core yarn percentage, on the yarn performances was studied by means of orthogonal experiment and the optimized technical was put forward. The results showed that the overall performance of the core-spun yarn would be better as spinning speed of 100 m/min, friction roller speed of 4000r/min, core yarn percentage of 50% respectively.
Fast computation of a rational point of a variety over a finite field

We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time-space complexity is roughly quadratic in the logarithm of the cardinality of the field and a geometric invariant of the input system. This invariant, called the degree, is bounded by the Bezout number of the system. Our algorithm works for fields of any characteristic, but requires the cardinality of the field to be greater than a quantity which is roughly the fourth power of the degree of the input variety.
Structure–function relationships of the competence lipoprotein ComL and SSB in meningococcal transformation

Neisseria meningitidis, the meningococcus, is naturally competent for transformation throughout its growth cycle. The uptake of exogenous DNA into the meningococcus cell during transformation is a multi-step process. Beyond the requirement for type IV pilus expression for efficient transformation, little is known about the neisserial proteins involved in DNA binding, uptake and genome integration. This study aimed to identify and characterize neisserial DNA binding proteins in order to further elucidate the multi-factorial transformation machinery. The meningococcus inner membrane and soluble cell fractions were searched for DNA binding components by employing 1D and 2D gel electrophoresis approaches in combination with a solid-phase overlay assay with DNA substrates. Proteins that bound DNA were identified by MS analysis. In the membrane fraction, multiple components bound DNA, including the neisserial competence lipoprotein ComL. In the soluble fraction, the meningococcus orthologue of the single-stranded DNA binding protein SSB was predominant. The DNA binding activity of the recombinant ComL and SSB proteins purified to homogeneity was verified by electromobility shift assay, and the ComL–DNA interaction was shown to be Mg2+-dependent. In 3D models of the meningococcus ComL and SSB predicted structures, potential DNA binding sites were suggested. ComL was found to co-purify with the outer membrane, directly interacting with the secretin PilQ. The combined use of 1D/2D solid-phase overlay assays with MS analysis was a useful strategy for identifying DNA binding components. The ComL DNA binding properties and outer membrane localization suggest that this lipoprotein plays a direct role in neisserial transformation, while neisserial SSB is a DNA binding protein that contributes to the terminal part of the transformation process.
A novel inter-fibre light coupling sensor probe using plastic optical fibre for ethanol concentration monitoring at initial production rate

A novel, low cost and highly sensitive optical fibre probe sensor for concentration measurement of ethanol solvent (C2H5OH) corresponding to bio-ethanol production rate by an algae is reported. The principle of operation of the sensor is based on inter-fibre light coupling through an evanescent field interaction to couple the light between two multimode fibres mounted parallel to each other at a minimum possible separation i.e. ∼ < 1mm. The sensor was fabricated using a low cost 1000um plastic optical fibre (POF) and was characterized for real time measurement in the broadband spectrum including visible and near infra-red. The wavelength dependency of this sensor design was also investigated by post processing analysis of real time data and hence the optimum wavelength range determined. The proposed sensor has shown significant response in the range of 0.005–0.1 %v/v (%volume/volume or volume concentration) which depicts the high sensitivity for monitoring very minute changes in concentration corresponding refractive index changes of the solution. Numerically, sensor has shown the sensitivity of 21945 intensity counts/%v/v or 109.7 counts per every 0.0050 %v/v.
Localization of HSP90 binding sites in the human hepatitis B virus polymerase.

The fact that HSP90 proteins and their chaperonin partners play an important role in epsilon RNA binding of duck HBV Pol protein during duck HBV replication has been reported. To elucidate the molecular basis of HBV Pol/HSP90 interaction, we have characterized the HSP90 interaction to HBV Pol. We found that human HBV Pol protein upon synthesis in rabbit reticulocyte lysate formed a complex with HSP90 in vitro as duck HBV Pol did. In addition, HSP90 protein was copurified with MBP/POL protein expressed in HepG2 cells, suggesting that human HBV Pol protein is associated with HSP90 in vivo. To localize the HSP90 interaction site region, several deletion mutants of HBV Pol translated in vitro were immunoprecipitated with anti-HSP90 antibody. The result indicates that C-terminal regions of the TP and RT domains interact with HSP90 independently.
Camera Identification on YouTube

编者按：司法鉴定是全世界的事业，也是世界各国、各地区所关注的行业。 为了推动和加强司法鉴定的国际交流合作，中华人民共和国司法部司法鉴定科学技术研究所多年来与美国、英国、德国、法国、日本、澳大利亚、荷兰、俄罗斯、韩国、乌兹别克斯坦、哈萨克斯坦、乌克兰、芬兰以及香港、澳门等国家和地区开展了广泛的交流，与荷兰国家司法鉴定研究所、英国中央兰开夏大学、俄罗斯司法部司法鉴定中心、韩国国立证据搜查研究所和香港政府化验所等签署了合作协议，搭建了国际司法鉴定交流合作的行业平台，促进了司法鉴定科学技术进步。
Ca2+‐independent myosin II phosphorylation and contraction in chicken embryo fibroblasts

1 Non‐muscle contraction is widely believed to be mediated through Ca2+‐stimulated myosin II regulatory light chain (LC20) phosphorylation, similar to the contractile regulation of smooth muscle. However, this hypothesis lacks conclusive experimental support. 2 By modulating chicken embryo fibroblast cytosolic Ca2+ concentration ([Ca2+]i), we investigated the putative role of [Ca2+]i in fetal bovine serum (FBS)‐stimulated LC20 phosphorylation and force development in these cells. 3 Eliminating the FBS‐stimulated rise in [Ca2+]i with the Ca2+ chelator BAPTA only partially inhibited FBS‐stimulated LC20 phosphorylation and did not significantly alter the magnitude of FBS‐stimulated isometric contraction. 4 Ionomycin (1 μm) produced a larger but shorter lasting rise in [Ca2+]i relative to FBS. However, ionomycin only stimulated a small and transient increase in LC20 phosphorylation and did not cause contraction. 5 We conclude that fibroblasts differ from smooth muscle in that LC20 phosphorylation and contraction are predominantly regulated independently of [Ca2+]i.
Model for prediction of oxygen required in BOF steelmaking

Abstract By analysing the factors that affect oxygen consumption during the basic oxygen furnace steelmaking process, a multiple linear regression model for predicting the oxygen blowing quantity was obtained on the basis of actual production data. Additionally, an oxygen balance model for prediction of the oxygen blowing quantity was established on the basis of oxygen balance. These two models were amalgamated to establish an integrated model for prediction of the oxygen blowing quantity. The average relative error of the integrated model is <1%, and the hit rate of the integrated model is 97·14% when the relative errors of the model are within 5%. Relative to the multiple linear regression and the oxygen balance models, the integrated model may provide a more accurate prediction of the oxygen blowing quantity, and thus represents a good reference point for actual production.
Bounded-Velocity Approximation of Mobile Euclidean 2-Centres

Given a set P of points (clients) in the plane, a Euclidean 2-centre of P is a set of two points (facilities) in the plane such that the maximum distance from any client to its nearest facility is minimized. Geometrically, a Euclidean 2-centre of P corresponds to a cover of P by two discs of minimum radius r (the Euclidean 2-radius). Given a set of mobile clients, where each client follows a continuous trajectory in the plane with bounded velocity, the motion of the corresponding mobile Euclidean 2-centre is not necessarily continuous. Consequently, we consider strategies for defining the trajectories of a pair of mobile facilities that guarantee a fixed-degree approximation of the Euclidean 2-centre while maintaining bounded relative velocity. In an attempt to balance the conflicting goals of closeness of approximation and a low maximum relative velocity, we introduce reflection-based 2-centre functions by reflecting the position of a mobile client across the mobile Steiner centre and the mobile rectilinear 1-centre, respectively.
Shear Texture Formation during High-Strain Torsion of Titanium Aluminides

Ti-47Al-4(Cr, Nb, Mn, B) samples with different initial grain structures and fibre textures were deformed in torsion at 1000 °C under hydrostatic pressure of 400 MPa in a Paterson type rock deformation machine at a maximum constant strain rate of 2*10-4 s-1. The microstructure was investigated by transmission electron microscopy (TEM). Local texture measurements as a function of shear strain were done with high-energy synchrotron radiation. During shearing due to dynamic recrystallization the initially lamellar structure breaks down into a fine-grained globular structure with a g grain size in the order of 5 µm. The shear texture developed consists of <110> and {110} inclined to the shear direction and shear plane, respectively. The microstructure and texture development is discussed.
[The association of quality of life with mental status and sociodemographic data in schizophrenic patients].

AIM The aim of this study was to assess the mental status and sociodemographic data as well as their influence on the quality of life in schizophrenic patients. METHODS SF-36, Soc-29, CDS, PANSS, AIS and sociodemographic questionnaire were given to a cohort of 64 subjects who participated in this study (28 female, 36 male), with age range of 21-58 (Mean 33.4 +/- 10.8). Questionnaires were administered to all patients in partly-remission or remission time. RESULTS Patients showed significant positive correlation of summary scales of PCS and MCS with SOC and AIS and negative correlation with depression symptoms estimated by CDS. There were no significant differences in MCS and sociodemographic factors. The values of the PCS were negatively associated with the number of hospitalisations, disease duration time and negative syndromes estimated by PANSS-N. CONCLUSIONS Sense of coherence, acceptance of illness and depressive syndromes influence quality of life.
Embedded Face Detection Application Based on Local Binary Patterns

In computer vision during the recent years a new paradigm for object detection has stimulated researchers and designers interest. The foundation of this new paradigm is the Local Binary Pattern (LBP) which is a nonparametric operator that efficiently extracts the features of local structures in images. This communication describes a software embedded implementation of LBP based algorithm for object detection, in particular targeting frontal face detection.
Practical evaluation of IR within automated classification systems

This paper describes some of the work we have done to evaluate and compare the use of three IR systems (Verity, LSI, and SMART) as black boxes within an automated classification environment. We use automated classification to make a quantitative comparison of the effectiveness of the systems within this context. In so doing, we also develop criteria for the construction of a useful training set. These results lead to metrics useful in the integration of IR systems into larger applications. We conclude with an initial API for an IR component within an automated classification architecture.
Smart Charger for Electric Vehicles With Power-Quality Compensator on Single-Phase Three-Wire Distribution Feeders

In this paper, we propose a smart charger for electric vehicles with a power-quality compensator. The proposed smart charger consists of four-leg insulated-gate bipolar transistors (IGBTs). Three legs are used for a single-phase full-bridge-based pulsewidth-modulated (PWM) rectifier, which converts power from ac to dc during the battery-charging operation or from dc to ac during the battery-discharging operation. This PWM rectifier can compensate reactive and unbalanced active currents on single-phase three-wire distribution systems because the third leg is connected to the neutral line of single-phase three-wire distribution feeders. The fourth leg is used as a bidirectional dc-dc converter for battery-charging and battery-discharging operations. The three-leg PWM rectifier uses only constant dc-capacitor voltage control, which is commonly used in active power line conditioners. Thus, the authors have developed the simplest possible control method for a single-phase power-quality compensator. The basic principle of the proposed smart charger is discussed in detail and then confirmed by digital computer simulation using PSIM software. A prototype experimental model is constructed and tested. Experimental results demonstrate that balanced source currents are obtained on the secondary side of the pole-mounted distribution transformer for battery-charging and battery-discharging operations.
Functional Brain Imaging of Development-Related Risk and Vulnerability for Substance Use in Adolescents

The adolescent period is characterized by substantial behavioral changes, including increases in novelty seeking and risk taking, which may facilitate substance use and experimentation. These behavioral changes co-occur with widespread structural and functional neural developments. Ontogenic changes affecting the neural circuitry subserving inhibitory control and reward-related processes are particularly relevant to adolescent risk-taking behavior. Impairment or immaturity of these processes is shown to contribute to enhanced risk for substance abuse. Additionally, the direct neural action of drugs of abuse in adolescents may have more severe consequences than in adults because of the additional potential effects on development. Functional neuroimaging research is beginning to examine the neural correlates of reward and inhibitory processes in adolescents. However, the study of the consequences of exposure to drugs of abuse on brain function in adolescents is lagging. This review summarizes the functional neuroimaging literature that can inform conceptualizations of risk and consequences of substance use in adolescence.
Direct-drive, active compliant end-effector (active RCC)

The design and construction of a fast, light-weight, active end-effector which can be attached to the end-point of a commercial, robot manipulator is presented here. Electronic compliancy (Impedance Control) [11] has been developed on this device The end-effector behaves dynamically as a two-dimensional, Remote Center Compliance (RCC). The compliancy in this active end-effector is developed electronically and can therefore be modulated by an on-line computer. The device is a planar, five-bar linkage which is driven by two direct drive, brush-less DC motors. A two-dimensional, piezoelectric force cell on the end-point of the device, two 12-bit encoders, and two tachometers on the motors form the measurement system For this device. The high structural stiffness and light weight of the material used in the system allows For a 25 Hertz bandwidth Impedance Control.
4-Amino-3-methyl-6-phenyl-1,2,4-triazin-5(4H)-one (metamitron) and 4-amino-6-methyl-3-phenyl-1,2,4-triazin-5(4H)-one (isometamitron).

The title structures, both C(10)H(10)N(4)O, are substitutional isomers. The N-N bond lengths are longer and the C=N bond lengths are shorter by ca 0.025 A than the respective average values in the C=N-N=C group of asymmetric triazines; the assessed respective bond orders are 1.3 and 1.7. There are N-H.O and N-H.N hydrogen bonds in both structures, with 4-amino-3-methyl-6-phenyl-1,2,4-triazin-5(4H)-one containing a rare bifurcated N-H.N,N hydrogen bond. The structures differ in their molecular stacking and the hydrogen-bonding patterns.
Processor-programmable memory BIST for bus-connected embedded memories

We present a processor-programmable built-in self-test (BIST) scheme suitable for embedded memory testing in the system-on-a-chip (SOC) environment. The proposed BIST circuit can be programmed via an on chip microprocessor. Upon receiving the commands from the microprocessor, the BIST circuit generates pre-defined test patterns and compares the memory outputs with the expected outputs. Most popular memory test algorithms can be realized by properly programming the BIST circuit using the processor instructions. Compared with processor-based memory BIST schemes that use an assembly-language program to generate test patterns and compare the memory outputs, the test time of the proposed memory BIST scheme is greatly reduced.
fastFM: A Library for Factorization Machines

Factorization Machines (FM) are currently only used in a narrow range of applications and are not yet part of the standard machine learning toolbox, despite their great success in collaborative filtering and click-through rate prediction. However, Factorization Machines are a general model to deal with sparse and high dimensional features. Our Factorization Machine implementation (fastFM) provides easy access to many solvers and supports regression, classification and ranking tasks. Such an implementation simplifies the use of FM for a wide range of applications. Therefore, our implementation has the potential to improve understanding of the FM model and drive new development.
Benefits and Problems of using cycle-cutset within interative improvement algorithms

Some experiments on randomly generated partial constraint satisfaction problems as well as an example from the domain of real world nurse rostering illustrate the advantage of the cycle-cutset method as a repair step in iterative search. These results motivate the integration of adopted algorithms on solving tree-structured constraint problems and the cycle-cutset method into modern constraint-based optimization with branch-and-bound and propagation of global constraints.
Two-zone tumor tolerance can arise from a simple immunological feedforward motif that estimates tumor growth rates

Since the early 1990s, many authors have independently suggested that self/nonself recognition by the immune system might be modulated by the rates of change of antigen challenges. This paper introduces an extremely simple and purely conceptual mathematical model that allows dynamic discrimination of immune challenges. The main component of the model is a motif which is ubiquitous in systems biology, the incoherent feedforward loop, which endows the system with the capability to estimate exponential growth exponents, a prediction which is consistent with experimental work showing that exponentially increasing antigen stimulation is a determinant of immune reactivity. Combined with a bistable system and a simple feedback repression mechanism, an interesting phenomenon emerges as a tumor growth rate increases: elimination, tolerance (tumor growth), again elimination, and finally a second zone of tolerance (tumor escape). This prediction from our model is analogous to the “two-zone tumor tolerance” phenomenon experimentally validated since the mid 1970s. Moreover, we provide a plausible biological instantiation of our circuit using combinations of regulatory and effector T cells.
Role of Ribosomal Protein L12 in Gonococcal Invasion of Hec1B Cells

ABSTRACT Previous studies led to the development of a model of contact-induced enhanced gonococcal invasion of human reproductive cells that utilizes the lutropin receptor (LHr) as both the induction signal for conversion to this enhanced-gonococcal-invasion phenotype (Inv+ GC) and as the specific Inv+ GC uptake mechanism. This model proposes that gonococci express a surface feature that mimics human chorionic gonadotropin (hCG), the cognate ligand for LHr, and that this structure is responsible for the specific and productive interaction of GC with LHr. In this report, we identify a 13-kDa gonococcal protein with immunological similarities to hCG. The antiserum reactivity is specific since interaction with the 13-kDa gonococcal protein can be blocked by the addition of highly purified hCG. This gonococcal “hCG-like” protein, purified from two-dimensional gels and by immunoprecipitation, was determined by N-terminal sequencing to be the ribosomal protein L12. We present evidence that gonococcal L12 is membrane associated and surface exposed in gonococci, as shown by immunoblot analysis of soluble and insoluble gonococcal protein and antibody adsorption studies with fixed GC. Using highly purified recombinant gonococcal L12, we show that preincubation of Inv− GC with micromolar amounts of rL12 leads to a subsequent five- to eightfold increase in invasion of the human endometrial cell line, Hec1B. In addition, nanomolar concentrations of exogenous L12 inhibits gonococcal invasion to approximately 70% of the level in controls. Thus, we propose a novel cellular location for the gonococcal ribosomal protein L12 and concomitant function in LHr-mediated gonococcal invasion of human reproductive cells.