Miracle-dz/UniFAR-FTUs huggingface dataset:
Combining Static and Dynamic Analysis to Discover Software Vulnerabilities

Dynamic taint analysis has been proved to be very effective in solving security problems recently, especially in software vulnerability detection and malicious behavior prevention. Unfortunately, most of current researches in this field focus on the runtime protection, and are incapable to discover the potential threat in the software. This paper describes a novel approach to overcome the limitation of traditional dynamic taint analysis by integrating static analysis into the system and presents framework SDCF. The framework translates the binary into assembly code and tracks the data flow. Then with static method, the system can get the important information which can't be gained at runtime, such as unexecuted part of the code. When this information is acquired, they will be provided to the client tools. The practicability of the framework is validated by implementing and evaluating a tool built on SDCF. The result of the experiments shows that our system is able to detect latent software vulnerabilities efficiently.
Simulation of 2D surface flow in open channel using explicit finite difference method

2D surface flow models are useful to understand and predict the flow through breach, over a dyke or over the floodplains. This paper is aimed at the surface flows to study the behavior of flood waves. The open channel water flow in drains and rivers is considered in view of the fact that such flows are the source of flash flood. In order to predict and simulate the flood behavior a mathematical model with the initial and boundary conditions is established using 2D Saint-Venant partial differential equations. Next, the corresponding model is discretized by using the explicit finite difference method and implemented on MATLAB. For the testing and implementation purpose a simple rectangular flow channel is considered. The output parameters like height or depth of water, the fluid velocity and the volumetric flow rate are simulated numerically and visualized for the different time steps. The initial simulation results are useful to understand and predict the flood behavior at different locations of flow channel at specific time steps and can be helpful in early flood warning systems.
Effects of study‐test modality on false recognition

Many recent investigations of false memories have generally followed Roediger & McDermott (1995) in using auditory presentation at study and a visual recognition test; the results reveal high rates of false alarms to non-studied lure words that are associatively related to studied words. We presented lists of words related to critical lure words either auditorially (A) or visually (V); recognition was tested either auditorially or visually, producing four study-test conditions (AA, AV, VA, and VV). The false recognition rate for critical lures was higher following visual presentation (.76) than following auditory presentation (.35). Moreover, false recognition rates were higher when study and test modalities differed than when they matched (AV higher than AA; VA higher than VV). Correct recognition rate was actually exceeded by false recognition rate following visual presentation, whereas the reverse was the case following auditory presentation. For each word recognized as old (whether correctly or falsely), a remember know guess judgment was required. The proportion of words that were consciously recollected (i.e. remembered) was not significantly lower for false recognitions than for correct recognitions in any of the four conditions. It is concluded that false recognition can be reduced by factors that enhance correct recognition (auditory rather than visual presentation at study; same rather than different modality at study and at test), but when false recognition occurs, the subjective experience of remembering may be indistinguishable from correct recognition, regardless of study-test modality.
Classification of postoperative cardiac patients by means of simple neural networks

The aim of this work is to compare the performance of simple neural networks with that of statistical Gaussian classifiers in the discrimination of normal- and high-risk post-operative cardiac patients. The considered data include 13 cardio-respiratory quantities taken from 158 patients. Feature extraction techniques were applied in order to extract the 3 variables out of 13 more suitable for classification. The results indicate that there are combinations of three original variables which allow better discrimination between normal and high-risk patients by neural networks than by a Gaussian classifier. For instance, using the cardiac index, the left ventricle stroke work index and oxygen pressure in mixed venous blood, a linear perceptron can discriminate patients with an error as low as 6.9%. Application of the Karhunen-Loeve transform allows the classification error to be reduced to 5.1% with both neural and statistical classifiers if a non-linear discriminant function is used.
Method development and validation for the simultaneous determination of fexofenadine hydrochloride and montelukast sodium using rp-hplc

–This research paper describes simple, specific, accurate and precise reverse phase high pressure liquid chromatographic method for the simultaneous determination of fexofenadine hydrochloride and Montelukast sodium in combined dosage form. The separation was carried out on agilent T.C – C18 column(2)4.6×250m.m with 5 μm internal diameter using acetonitrile: TEA (P H 6) (80:20v/v) as mobile phase at the flow rate of 1ml/min. RP-HPLC separation of the two drugs was carried out in the absorbance mode at 220 nm. The drugs were resolved satisfactorily with Rt values of 3.21 ± 0.01 and 6.66 ± 0.01 for FEX and MTKT, respectively. The linear regression analysis data for the calibration plots showed good linear relationship with r 2 =0.9996 and 0.9998 for FEX and MTKT, respectively in the concentration range of 12144 μg/ml for FEX and 1-12μg/ml for MTKT. The method was validated for precision, robustness, specificity and accuracy. The limit of detection and quantitation were 1.41 and 4.29 μg/ml, respectively for FEX and 0.02 and 0.06 μg/ml, respectively for MTKT. The proposed developed RP-HPLC method can be applied for identification and quantitative determination of FEX and MTKT in bulk drug and drug formulation. Keywords––fexofenadine hydrochloride; montelukast sodium; RP-HPLC; validation.
Does vitamin D administered to children with asthma treated with inhaled glucocorticoids affect short‐term growth or bone turnover?

Our objective was to assess whether administration of 25‐OH‐vitamin D to children with asthma treated with inhaled dry‐powder budesonide 400 μg daily affects short‐term growth or markers of bone turnover. We utilized a randomized, double‐blind, two‐period crossover trial with run‐in and washout periods of 2 weeks and treatment periods of 4 weeks duration. The setting was an Outpatient clinic in a secondary referral center. Subjects included 14 boys and 3 girls with a mean age of 11.7 (range, 6.1–14.4) years. Interventions included 15 μg (600 IU) 25‐OH‐vitamin D (cholecalciferol) in one tablet ABCDin® once daily in the morning. Primary outcome measures were: lower leg growth rate, serum osteocalcin, and serum markers of type I collagen turnover, i.e., the amino terminal propeptide of type I procollagen (PINP), the carboxy terminal propeptide of type I procollagen (PICP) (formation markers), and the carboxy terminal pyridinoline cross‐linked telopeptide of type I collagen (ICTP) (degradation markers). Secondary outcome measures were parameters of asthma control and serum 25‐OH‐vitamin D. Lower leg growth rate was 0.22 mm/week during vitamin D and 0.25 mm/week during placebo treatment (NS). Osteocalcin was 59.9 and 57.8 μg/l during vitamin D and placebo treatment, respectively, PINP 574 and 565 μg/l, PICP 381 and 382 μg/l, and ICTP 11.5 and 11.1 μg/l, respectively (NS). Serum 25‐OH‐vitamin D was 76.3 nmol/l and 48.2 nmol/l, respectively (P < 0.001). There were no statistically significant differences in measures of pulmonary function. In conclusion, administration of 25‐OH‐vitamin D does not affect short‐term growth or markers of bone turnover in children with asthma treated with inhaled dry‐powder budesonide 400 μg daily. Pediatr Pulmonol. 2003; 36:399–404. © 2003 Wiley‐Liss, Inc.
The Lithium depletion boundary in NGC 2547 as a test of pre-main-sequence evolutionary models

Intermediate resolution spectroscopy from the European Southern Observatory Very Large Telescope is analysed for 63 photometrically selected low-mass (0.08-0.30 M ○. ) candidates of the open cluster NGC 2547. We have confirmed membership for most of these stars using radial velocities, and found that lithium remains undepleted for cluster stars with I > 17.54 ± 0.14 and K s > 14.86 ± 0.12. From these results, several pre-main-sequence evolutionary models give almost model independent ages of 34-36 Myr, with a precision of 10 per cent. These ages are only slightly larger than the ages of 25-35(±5) Myr obtained using the same models to fit isochrones to higher mass stars descending towards the zero-age main-sequence, both in empirically calibrated and theoretical colour-magnitude diagrams. This agreement between age determinations in different mass ranges is an excellent test of the current generation of low-mass pre-main-sequence stellar models and lends confidence to ages determined with either method between 30 and 120 Myr.
Quality and assessment in context: a brief review

Purpose – The purpose of this paper is to provide a general review for USA and international academic faculty and administrators of the dominant themes and history of quality and assessment in both industry and Higher Education, and how they relate to each other in order to stimulate and encourage debate as well as influence policy.Design/methodology/approach – A range of published works (1976‐2005) in both the fields of industrial quality and quality and assessment in higher education are reviewed and arranged contextually so as to tell a collective “story” about their origins, similarities, and differences. This general review provides the reader with a structured historical examination of these concepts with practical emphasis on potential lessons learned.Findings – Provides information on the major quality theorists and relates the types of quality (as defined in industrial terms) to the enterprise of higher education. Even more important, quality and assessment are defined within the context of US hi.
Comparison of Leuconostoc oenos Strains by Pulsed-Field Gel Electrophoresis

Pulsed-field gel electrophoresis of chromosomal DNA digested with NotI or SfiI was used to differentiate individual strains of Leuconostoc oenos. L. oenos isolates with 13 different restriction digest patterns were detected in New Zealand wines undergoing malolactic fermentation. The average genome size was estimated to be 1,800 kb.
Generation of subspecies level-specific microbial diagnostic microarrays using genes amplified from subtractive suppression hybridization as microarray probes

The generation of microarray probes with specificity below the species level is an ongoing challenge, not least because the high-throughput detection of microorganisms would be an efficient means of identifying environmentally relevant microbes. Here, we describe how suppression subtractive hybridization (SSH) can be applied to the production of microarray probes that are useful for microbial differentiation at the subspecies level. SSH was used to initially isolate unique genomic sequences of nine Salmonella strains, and these were validated in quadruplicate by microarray analysis. The results obtained indicate that a large group of genes subtracted by SSH could serve together, as one probe, for detecting a microbial subspecies. Similarly, the whole microbial genome (not subjected to SSH) can be used as a species-specific probe. The detailed methods described herein could be used and adapted for the estimation of any cultivable bacteria from different environments.
Colonization Pattern of the Biocontrol StrainPseudomonas chlororaphis MA 342 on Barley Seeds Visualized by Using Green Fluorescent Protein

ABSTRACT Pseudomonas chlororaphis MA 342 is a potent biocontrol agent that can be used against several seed-borne diseases of cereal crops, including net blotch of barley caused by the fungusDrechslera teres. In this study, strain MA 342 was tagged with the gfp gene (encoding the green fluorescent protein) in order to study the fate of cells after seed inoculation. Thegfp-tagged strain, MA 342G2, had the same biocontrol efficacy as the wild type when it was applied at high cell concentrations to seeds but was less effective at lower cell concentrations. By comparing cell counts determined by microscopy to the number of CFU, we found that the number of culturable cells was significantly lower than the total number of bacteria on seeds which were inoculated and dried for 20 h. Confocal microscopy and epifluorescence stereomicroscopy were used to determine the pattern of MA 342G2 colonization and cell aggregation on barley seeds. Immediately after inoculation of seeds, bacteria were found mainly under the seed glume, and there was no particular aggregation pattern. However, after the seeds were sown, irregularly distributed areas of bacterial aggregation were found, which reflected epiphytic colonization of glume cells. There was a trend towards bacterial aggregation near the embryo but never within the embryo. Bacterial aggregates were regularly found in the groove of each seed formed by the base of the coleoptile and the scutellum. Based on these results, we suggest that MA 342 colocalizes with the pathogen D. teres, which facilitates the action of the fungistatic compound(s) produced by this strain.
Gold nanoparticles–conjugated quercetin induces apoptosis via inhibition of EGFR/PI3K/Akt–mediated pathway in breast cancer cell lines (MCF‐7 and MDA‐MB‐231)

Epidermal growth factor plays a major role in breast cancer cell proliferation, survival, and metastasis. Quercetin, a bioactive flavonoid, is shown to exhibit anticarcinogenic effects against various cancers including breast cancer. Hence, the present study was designed to evaluate the effects of gold nanoparticles–conjugated quercetin (AuNPs‐Qu‐5) in MCF‐7 and MDA‐MB‐231 breast cancer cell lines. Borohydride reduced AuNPs were synthesized and conjugated with quercetin to yield AuNPs‐Qu‐5. Both were thoroughly characterized by several physicochemical techniques, and their cytotoxic effects were assessed by MTT assay. Apoptotic studies such as DAPI, AO/EtBr dual staining, and annexin V‐FITC staining were performed. AuNPs and AuNPs‐Qu‐5 were spherical with crystalline nature, and the size of particles range from 3.0 to 4.5 nm. AuNPs‐Qu‐5 exhibited lower IC50 value compared to free Qu. There was a considerable increase in apoptotic population with increased nuclear condensation seen upon treatment with AuNPs‐Qu‐5. To delineate the molecular mechanism behind its apoptotic role, we analysed the proteins involved in apoptosis and epidermal growth factor receptor (EGFR)–mediated PI3K/Akt/GSK‐3β signalling by immunoblotting and immunocytochemistry. The pro‐apoptotic proteins (Bax, Caspase‐3) were found to be up regulated and anti‐apoptotic protein (Bcl‐2) was down regulated on treatment with AuNPs‐Qu‐5. Additionally, AuNPs‐Qu‐5 treatment inhibited the EGFR and its downstream signalling molecules PI3K/Akt/mTOR/GSK‐3β. In conclusion, administration of AuNPs‐Qu‐5 in breast cancer cell lines curtails cell proliferation through induction of apoptosis and also suppresses EGFR signalling. AuNPs‐Qu‐5 is more potent than free quercetin in causing cancer cell death, and hence, this could be a potential drug delivery system in breast cancer therapy.
Heavy lift analysis at FEED stage for industrial project

Modular construction has been a widely used method for industrial construction in Alberta. Heavy piperack modules are prefabricated and assembled offsite and transported to site for installation, which minimizes the impact of Alberta's harsh weather and improves efficiency. Such projects are large in scale, ranging from hundreds of modules to thousands; because of this, project planning often requires a relatively long period of time. At the front-end engineering design stage, information is limited, but the planning is critical for determining the appropriate cranes, locations, and lift sequences. To ensure sound planning, information must be extracted from the 3D models, which can be tedious without automation, and engineering analyses are required for crane location selection. This paper introduces a data-driven management system used for project planning. The outputs include selection of crane with locations considering site constraints. Valid automation is implemented in practice to achieve high efficiency.
Blind Azimuth Phase Elimination for TerraSAR-X ScanSAR interferometry

It is a huge challenge to utilise them for interferometry due to the impacts of non-linear azimuth phases and insufficient parameters, although the TerraSAR-X ScanSAR system is able to provide SLC data with both large coverage and high resolution. A Blind Estimation Method for Azimuth Phase Elimination (BEMAPE) is proposed here aiming to resolve these problems through eliminating the azimuth phases blindly. Testing of the method on a pair of TerraSAR-X ScanSAR SLC data has proven its quality and performance, finally making TerraSAR-X ScanSAR interferometry based on SLC data possible.
Children in Residential Care

Purpose: This study describes the development and validation of the Group Climate Instrument for Children aged 8 to 15 years (GCIC 8-15), which purports to measure the quality of group climate in residential care. Methods: A confirmatory factor analysis was performed on data of 117 children in Dutch residential youth care. Reliability analysis was performed and concurrent validity was tested. Results: An adequate fit of a two-factor model indicated construct validity of the GCIC 8-15. Reliability coefficients were good, and a significant correlation between perceived group climate and treatment motivation supported concurrent validity. Discussion: The GCIC 8-15 can be used to identify positive and negative aspects of group climate in residential youth care and enables further group climate research with children.
International Journal of Web Information Systems Exploring web neighbours in exploratory search

Purpose – Access to related information is a key requirement for exploratory search. The purpose of this research is to understand where related information may be found and how it may be explored by users. Design/methodology/approach – Earlier research provides sufficient evidence that web graph neighborhoods of returned search results may contain documents related to users’ intended search topic. However, in the literature, no interface mechanisms have been presented to enable exploration of these neighborhoods by users. Based on a modified web graph, this paper proposes tools and methods for displaying and exploring the graph neighborhood of any selected item in the search results list. Important issues that arise when implementing such an exploration model are discussed and utility of the proposed system is evaluated with user experiments. Findings – In user experiments first, information related to intended search topic was often found in the web neighborhood of search results; second, exploring these graph neighborhoods with the proposed tools improved users’ ability to reach the information they sought. Research limitations/implications – The test participants are computer science graduate students. Their skills may not be representative of the broad user population. Originality/value – The lessons learned from this research point to a potentially fruitful direction for designing new search engine interfaces that support exploratory search. KeywordsExploratory search, User interfaces, Search engines, World Wide Web, Information retrieval, Internet Paper type Research paper
Time-division multiplexing for testing SoCs with DVS and multiple voltage islands

Dynamic voltage scaling (DVS) has been widely adopted in multicore SoCs for reducing dynamic power consumption. Despite its benefits, the use of DVS increases test time because high product quality can only be ensured by testing every core at multiple supported voltage settings; hence the repetitive application of the same or different tests at multiple voltage settings becomes necessary. In addition, testing at lower supply voltage settings increases considerably the length of each test because lower scan frequencies must be used for shifting test data using scan chains. Standard scheduling techniques fail to reduce the test time for DVS-based SoCs since they do not model testing at multiple voltage settings. In addition, they do not consider the practical aspects of tester overhead and the dependencies between core voltage settings due to the use of voltage islands. To alleviate the detrimental impact of DVS on test application time, we propose a time-division multiplexing (TDM) method and an integer linear programming-based test scheduling technique, which exploit high automatic test equipment (ATE) frequencies even when low shift frequencies must be used at low voltage settings. Experimental results on two industrial SoCs highlight the effectiveness of TDM and the associated scheduling method.
Multi robot mapping using force field simulation

This paper describes a novel approach, called Force Field Simulation, to multi robot mapping that works under the constraints given in autonomous search and rescue robotics. Extremely poor prealignment, lack of landmarks, and minimal overlap between scans are the main challenges. The presented algorithm solves the alignment problem of such laser scans utilizing a gradient descent approach motivated by physics, namely simulation of movement of masses in gravitational fields, but exchanges laws of physics with constraints given by human perception. Experiments on different real world data sets show the successful application of the algorithm. We also provide an experimental comparison with classical ICP implementation and a Lu/Milios‐type alignment algorithm. © 2007 Wiley Periodicals, Inc.
The stability of cohabitation relationships: the role of children.

Our review of the existing evidence on the effects of children on marital stability led us to propose that the presence of children in a cohabitation relationship is very likely to inhibit the cohabiting couple from terminating their relationship. Using [Canadian] event history data from the 1990 Family and Friends Survey on 3015 cohabitation relationships we found that while the presence of children has a strong and positive impact on stabilizing cohabitation relationships charcteristics of children such as their number sex and age appear to have no significant effect. The implications of these results are discussed. (EXCERPT)
Topology Search over Biological Databases

We introduce the notion of a data topology and the problem of topology search over databases. A data topology summarizes the set of all possible relationships that connect a given set of entities. Topology search enables users to search for data topologies that relate entities in a large database, and to effectively summarize and rank these relationships. Using topology search over a biological database, users can ask, for example, how transcription factor proteins are related to DNAs in humans. However, detecting topologies in large databases is a difficult problem because entities can be connected in multiple ways. In this paper, we formalize the notion of data topologies, develop efficient algorithms for computing data topologies based on user queries, and evaluate our algorithms using a real biological database, the Biozon database (www.biozon.org).