Miracle-dz/UniFAR-FTUs huggingface dataset:
Password Authenticated Keyword Search

In this paper we introduce Password Authenticated Keyword Search (PAKS), a cryptographic scheme where any user can use a single human-memorizable password to outsource encrypted data with associated keywords to a group of servers and later retrieve this data through the encrypted keyword search procedure. PAKS ensures that only the legitimate user who knows the initially registered password can perform outsourcing and retrieval of the encrypted data. In particular, PAKS guarantees that no single server can mount an offline attack on the user's password or learn any information about the encrypted keywords. The concept behind PAKS protocols extends previous concepts behind searchable encryption by removing the requirement on the client to store high-entropy keys, thus making the protocol device-agnostic on the user side. In this paper we model three security requirements for PAKS schemes (indistinguishability against chosen keyword attacks, authentication and consistency) and propose an efficient direct construction in a two-server setting those security we prove in the standard model under the Decisional Diffie-Hellman assumption. Our efficiency comparison shows that the proposed scheme is practical and offers high performance in relation to computations and communications on the user side.
Mental Health on the Go

Interest in the use of mobile technology to deliver mental-health services has grown in light of the economic and practical barriers to treatment. Yet research on alternative delivery strategies that are more affordable, accessible, and engaging is in its infancy. Attention-bias modification training (ABMT) has the potential to reduce treatment barriers as a mobile intervention for stress and anxiety, but the degree to which ABMT can be embedded in a mobile gaming format and its potential for transfer of benefits is unknown. In the present study, we examined effects of a gamified ABMT mobile application in highly trait-anxious participants (N = 78). A single session of the active training relative to the placebo training reduced subjective anxiety and observed stress reactivity. Critically, the long (45 min) but not the short (25 min) active training condition reduced the core cognitive process implicated in ABMT (threat bias) as measured by an untrained, gold-standard protocol.
A Toolchain for Verified OCaml Programs

This paper presents a methodology to verify OCaml programs with respect to behavioral specifications, using the Why3 tool. First, a formal specification is given in the form of an OCaml module signature extended with type invariants and function contracts, in the spirit of JML. Second, an implementation is written in the programming language of Why3 and then verified with respect to the specification. Finally, an OCaml program is obtained by an automated translation. This methodology is illustrated on several idiomatic OCaml programs. We discuss some of the challenges, such as proving the absence of arithmetic overflows, checking preconditions at runtime, and verifying stateful higher-order functions.
Cognitive Games for Healthy Elderly People in a Multitouch Screen

This paper shows the work carried out to develop cognitive training for healthy older adults based on the use of an integrated system of cognitive care. Aging produces changes on prospective memory, visual attention and bimanual coordination among other cognitive processes. For this reason HERMES Project seeks to reduce or to delay the normal cognitive decline that takes place in the elderly through active stimulation their memory. Besides, it has been developed considering the needs of older adults collected through a wide range of questionnaires, interviews, cultural probes and so on. Cognitive games of the HERMES Project have been built to promote the autonomy and independence of the user, sense of control and flow in the games. For these games, a novel, ergonomic and motivating multi-touch interface is employed, which is in-line with the recent wave of surface computing applications.
The Effect of Cannabidiol on Ischemia/Reperfusion-Induced Ventricular Arrhythmias

Cannabidiol (CBD) is a nonpsychoactive phytocannabinoid with anti-inflammatory activity mediated by enhancing adenosine signaling. As the adenosine A1 receptor activation confers protection against ischemia/reperfusion (I/R)-induced ventricular arrhythmias, we hypothesized that CBD may have antiarrhythmic effect through the activation of adenosine A1 receptor. Cannabidiol has recently been shown to suppress ischemia-induced ventricular arrhythmias. We aimed to research the effect of CBD on the incidence and the duration of I/R-induced ventricular arrhythmias and to investigate the role of adenosine A1 receptor activation in the possible antiarrhythmic effect of CBD. Myocardial ischemia and reperfusion was induced in anesthetized male rats by ligating the left anterior descending coronary artery for 6 minutes and by loosening the bond at the coronary artery, respectively. Cannabidiol alone was given in a dose of 50 µg/kg, 10 minutes prior to coronary artery occlusion and coadministrated with adenosine A1 receptor antagonist 8-cyclopentyl-1,3-dipropylxanthine (DPCPX) in a dose of 100 µg/kg, 15 minutes prior to coronary artery occlusion to investigate whether the antiarrhythmic effect of CBD is modified by the activation of adenosine A1 receptors. The experimental groups were as follows: (1) vehicle control (n = 10), (2) CBD (n = 9), (3) DPCPX (n = 7), and (4) CBD + DPCPX group (n = 7). Cannabidiol treatment significantly decreased the incidence and the duration of ventricular tachycardia, total length of arrhythmias, and the arrhythmia scores compared to control during the reperfusion period. The DPCPX treatment alone did not affect the incidence and the duration of any type of arrhythmias. However, DPCPX aborted the antiarrhythmic effect of CBD when it was combined with it. The present results demonstrated that CBD has an antiarrhythmic effect against I/R-induced arrhythmias, and the antiarrhythmic effect of CBD may be mediated through the activation of adenosine A1 receptor.
Textual opinion summarization based on Cluster _ HITS model

Textual Opinion summarization aims to concentrate and refine the text data so as to generate a summary of the text regarding the expressed opinion. We collect and annotate an English multi-document corpus on product reviews, which provides a basic resource for the research on textual opinion summarization. Specifically, we incorporate the opinion and helpful information into the Cluster_HITS model to consider the impacts of them. Experimental results show that the proposed method apparently outperforms baseline in terms of ROUGE measurement.
Controller Tuning Strategy for Quadrotor MAV Carrying a Cable-suspended Load

This paper presents a controller tuning strategy for a quadrotor MAV carrying a cable-suspended load. In our study, no measurement nor estimation of the load’s position is used in the control strategy and only the quadrotor attitude and position are controlled. The tuning of the controllers has been done in order to satisfy mixed H∞ requirements and a pole-location requirement. The resolution is made with an available tool based on non-smooth optimization. The proposed methodology, allowing to find a good trade-off between fast displacements of the MAV and well damped oscillations of the load, is validated in simulation.
Food Safety and Demand: Consumer Preferences for Imported Pork in Urban China

Chinaâ€™s transition into a developed economy is driving changes in consumer preferences and demand for foods. The objective of this study is to assess and measure consumersâ€™ preferences for and attitudes toward imported pork in urban China. Estimated logit models based on a consumer survey conducted in 2008 reveal that individualsâ€™ age, shopping location, and food safety concerns significantly influence their willingness to pay for U.S. pork. Factors affecting purchasing behavior of Western-style pork cuts versus traditional Chinese cuts are also evaluated. Consumersâ€™ food safety concerns were linked to a previous lean-meat additive scare and a lack of confidence in the Chinese food inspection system.
Effect of DNA Methylation on the Development of Cancer

Souhrn Východiska: Výzkum posledního desetiletí potvrdil význam epigenetických procesů při vzniku, vývoji a léčbě nádorových onemocnění. Především sekvenování nové generace umožnilo zma­ povat lidský epigenom a sledovat jeho změny během kancerogeneze. Tento přístup odhalil přímá napojení epigenetických abnormalit na mutace genů, které kontrolují metylaci DNA, sbalování a funkci DNA v chromatinu, nebo na metabolizmus buněk. Epigenetické změny DNA se vyskytují už v časných fázích vývoje nádorových onemocnění, a jsou tedy slibnými kandidáty na dia gnostické a prognostické markery a současně epigenetické procesy představují vhodné cíle pro vývoj nových terapeutických látek. Získané poznatky o aberantní metylaci DNA umož­ ňují dva různé pohledy na to, jak daná modifikace přispívá k vývoji nádorového onemocnění. První pohled předpokládá, že normální buňky podléhají transformaci vlivem řídicích mutací, kdy následné metylace de novo a demetylace DNA přispívají k řadě programových změn ge­ nové exprese. Alternativní přístup pohlíží na změny v metylaci DNA jako na důsledek např. stárnutí buněk. A právě tyto získané změny zvyšují citlivost DNA ke vzniku mutací a k následné onkogenní transformaci. Cíle: Cílem přehledového článku je shrnout dosud známé úlohy ab­ normální metylace DNA při vývoji nádorového onemocnění a představit již publikovanou alter­ nativní teorii, která k dané problematice přistupuje méně obvyklým způsobem.
INFLUENCE OF ADDITION OF PREVIOUSLY FERMENTED JUICE TO ALFALFA ENSILED AT DIFFERENT MOISTURE

Without additive (control), 810 and 730 silages contained around 100g/kgDM of lactic acid but their pH were as high as 4.95 and 4.67, respectively. As the lactic acid content was considered to be too high, the analysis was repeated three times. All the repetitions showed the same results suggesting the high pH is correct and may be derived from a high buffering capacity of the material alfalfa. PFJ silage contained more lactic acid and showed lower pH compared with control silage at every moisture content studied. Reduction of moisture content lower than 700g/kg accompanied a decrease of lactic acid content and an increase of pH in both control and PFJ silages and the rate was significantly greater in control silage than in PFJ silage. Addition of PFJ had a slight but significant effects on acetic and propionic acid concentrations. But the significant negative effect of PFJ on acetic acid content is negligible when compared with the great increase of lactic acid content. Although no significant differences were obtained because of the wide variations in 810 control silage, it was interestingly observed that 810 and 690 control silages contained butyric acid at high concentrations while 730 control silage contained only a small amount. The clostridial acitivity found in 810 control silage was due to the high moisture content and in 680 might be due to the longer wilting time compared with 730. The lower moisture content than 600g/kg depressed the activity of clostridia. Even in the silages where some clostridial activities were found, ammonia concentrations were around 100g/kgTN suggesting that they were not deteriorated. PFJ depressed clostridial activity of silage in all the moisture contents studied and reduced the ammonia formation of silages at the moisture contents where butyric acid was formed without it.
Chemical Composition and Anti-inflammatory Activity of the Essential Oil of the Aerial Part of Mezoneuron benthamianum Baill . ( Caesalpinoideae )

The chemical composition of the essential oil from the aerial part of Mezoneuron benthamianum Baill. (Caesalpinoideae) was studied using GCand GC-MS. The oil contains fifteen compounds which constituted about 93.4% of the oil and this was dominated by monoterpenes (36.5%), sesquiterpenes (20.4%) and sesquiterpenoids (19.6%). A non-ubiquitous apocarotenoid C H O with similar fragmentation pattern to that 20 30 of trans-phytofluene was isolated and found to be the most abundant compound (16.7%) in the oil. Five other major compounds were 3-carene (14.2%), -trans-nerolidol (13.3%), -pinene (11.7%), -farnesene (11.6%) and -thujene (6.7 %). The topical anti-inflammatory effect of the oil was assayed as inhibition of the 12-Otetradecanoylphorobol-13 acetate (TPA) induced ear edema in mice. The oil at 5.0 and 2.5 mg dose levels exhibited more effect than indomethacin (0.25 mg) in reducing edema. The results demonstrated the oil of M. benthamianum has an anti-inflammatory agent, supporting the use of this plant in folk medicine. Aside these, nine other compounds were reported along with the anti-inflammatory activity and these seemed to receive no mention in any previous literature known to us and hence novel.
Development of a marrow transplant regimen for acute leukemia using targeted hematopoietic irradiation delivered by 131I-labeled anti-CD45 antibody, combined with cyclophosphamide and total body irradiation.

In an attempt to decrease the relapse rate after bone marrow transplantation (BMT) for advanced acute leukemia, we initiated studies using 131I-labeled anti-CD45 antibody (BC8) to deliver radiation specifically to hematopoietic tissues, followed by a standard transplant preparative regimen. Biodistribution studies were performed in 23 patients using 0.5 mg/kg trace 131I-labeled BC8 antibody. The BC8 antibody was cleared rapidly from plasma with an initial disappearance half-time of 1.5 +/- 0.2 hours, presumably reflecting rapid antigen-specific binding. The mean radiation absorbed doses (cGy/mCi131I administered) were as follows: marrow, 7.1 +/- 0.8; spleen, 10.8 +/- 1.4; liver, 2.7 +/- 0.2; lungs, 2.1 +/- 0.1; kidneys, 0.7 +/- 0.1; and total body, 0.4 +/- 0.03. Patients with acute myelogenous leukemia (AML) in relapse had a higher marrow dose (11.4 cGy/mCi) than those in remission (5.2 cGy/mCi; P = .001) because of higher uptake and longer retention of radionuclide in marrow. Twenty patients were treated with a dose of 131I estimated to deliver 3.5 Gy (level 1) to 7 Gy (level 3) to liver, with marrow doses of 4 to 30 Gy and spleen doses of 7 to 60 Gy, followed by 120 mg/kg cyclophosphamide (CY) and 12 Gy total body irradiation (TBI). Nine of 13 patients with AML or refractory anemia with excess blasts (RAEB) and two of seven with acute lymphocytic leukemia (ALL) are alive disease-free at 8 to 41 months (median, 17 months) after BMT. Toxicity has not been measurably greater than that of CY/TBI alone, and the maximum tolerated dose has not been reached. This study demonstrates that with the use of 131I-BC8 substantially greater doses of radiation can be delivered to hematopoietic tissues as compared with liver, lung, or kidney, which may improve the efficacy of marrow transplantation.
A method for combining isovists and psychological testing

During the past few decades, several theories have emerged which suggest that certain spatial and formal features may not only influence psychological wellbeing but also our aesthetic preference for environments. The most common approach to understanding these theories of environmental or spatial preference is reliant on the analysis of survey responses. However, a small number of computational studies have also been undertaken which have examined the geometric properties of spaces that have been produced in accordance with these theories. While both of these methods are valuable, there is a lack of connection between their results. Therefore, this paper describes a way in which two different approaches to spatial perception – isovist analysis and spatial psychology – can be combined to provide a mathematical basis for the analysis of human perceptual responses to space.
Electrophysiological Measures of Familiarity Memory

Event-related potentials are a valuable tool for the study of human memory function. This selective review provides a brief introduction in models of recognition memory and then describes how ERPs can be used to investigate familiarity memory, an acontextual form of remembering that can be distinguished from the recollection of detailed information of prior events. ERP studies on the mid-frontal old/new effect, the putative electrophysiological correlate of familiarity memory are reviewed. It will be illustrated how familiarity memory is reflected in this effect, how it can electrophysiologically be dissociated from other forms of memory and which brain systems mediate this form of remembering. Recent studies will be reviewed that illustrate that familiarity is not only restricted to single items but can also support the retrieval of associative information.
Spectroscopy and Spectral Imaging Techniques for Non-destructive Food Microbial Assessment

Most contamination in agricultural and food products is caused by undesirable microorganisms which are available in food. Microbial evaluation plays a very important role in food quality assessment. Typical methods to detect microbial loads are time-consuming, tedious, labor-intensive and destructive. Recently, a few techniques like Near infrared (NIR) spectroscopy and Raman spectroscopy has been with advantages of being rapid, non-destructive and efficient to assessment microbial contamination. Moreover, hyperspectral imaging (HSI) and multispectral imaging (MSI), the technologies that simultaneously provide spectral and spatial information of foodstuffs, are now widely applied. In this paper, we describe recent progresses and applications of these optical techniques are described as efficient tools in replacing traditional technologies for detecting spoilage microorganisms in various raw and processed food products. It would be expected that efficient spectroscopy and Microbial evaluation spectral imaging systems would likely be developed and applied for online microbial evaluation in agricultural and food industry.
The biocidal and phytochemical properties of leaf extract of Cassia occidentalis linn

The antibacterial potentials of Cassia occidentalis leaf extracts were investigated against eleven Grampositive and four Gram-negative bacterial isolates. The n-hexane and dichloromethane fractions of the plant extract exhibited appreciable antibacterial action against nine out of the fifteen bacterial isolates tested at a concentration of 20 mg/ml. The zones of inhibition exhibited by n-hexane fraction ranged between 16 and 27 mm while that of dichloromethane fraction ranged between 15 and 28 mm. On the other hand, the zones of inhibition observed for the standard antibiotic, streptomycin ranged between 13 and 30 mm. The minimum inhibitory concentrations exhibited by n-hexane and dichloromethane fractions against the susceptible test isolates ranged between 0.157 and 1.25 mg/ml, respectively. Overall, the two fractions compared favourably with the standard antibiotic, streptomycin used in this study. The phytochemical analysis of the extract revealed the presence of tannins, Saponins, anthraquinones and flavonoids.
PERFORMANCE ANALYSIS OF GRAPHENE BASED NANO PATCH ANTENNA FOR VARIOUS SUBSTRATE MATERIALS IN THZ REGIME

The dielectric substrate material for a graphene nano patch antenna (NPA) is entirely important in terms of controlling bandwidth as well as radiation efficiency. The possibility of using appropriate dielectric materials for graphene antenna design has been explored and their effect on radiation characteristics of rectangular patch antenna such as return loss, bandwidth, gain, directivity, radiation efficiency, voltage standing wave ratio (VSWR), absorption cross section and radiation pattern has been further investigated. The rectangular NPA considered here for investigation basically resonates around 2.9THz. The comparison is made for five dielectric substrates namely duroid, polyamide, quartz, silica and silicon. Finite element method (FEM) based high frequency structure simulator (HFSS) software has been used for carrying out the numerical simulation and performing comparative analysis of graphene based nano patch antenna.
Study on model construction of IV lateral motion pattern-space for ITS

In order to deal with the nonlinear structure and time-varying characteristics of intelligent vehicle (IV) systems, this paper presents an idea of pattern-space-cover to construct IV lateral motion model. The construction method is deduced based on fuzzy C means (FCM) algorithm and can validate cluster the sampled data set. Cluster domains are clear, and the subspaces are partitioned distinctly. It provides a theoretical basis for the construction of IV motion pattern-space. The simulation results show that the method is effective and feasible.
EFFECT OF ESTROGEN AGONIST ANTAGONIST ON BONE MINERAL DENSITY IN POSTMENOPAUSAL BREAST CANCER

Aim of Work: Tamoxifen is an estrogen agonist/ antagonist, which has its effect not only on breast cancer cells but also on the liver and bone. In this study we tried to study the effect of long-term treatment with that drug on bone metabolism. Material: Twenty-five postmenopausal women with stage I or II breast cancer receiving 30 mg tamoxifen daily together with twenty-five postmenopausal age-matched normal controls were included in this study. Method: Measurements of bone mineral density using dual energy X-ray absorptiometry (DEXA) at the lumbar spine, femoral neck and forearms were done after the operation, at the start of the study and after 12 months of tamoxifen administration. They were compared with those of normal controls. Results: Bone mineral density increased in the tamoxifen treated group as compared to the control group. A decrement in bone mineral density in the age-matched group (Z score) was statistically significant (p<0.05). Also, there was a significant reduction in serum cholesterol in the tamoxifen treated group. Conclusion: These results indicate that tamoxifen has estrogen-like effects on bone metabolism in post-menopausal women. This results in an increase and stabilization of bone mineral density in the axial skeleton and a stabilization of bone mineral content in the appendicular skeleton. Effect of Estrogen Agonist Antagonist on Bone Mineral Density . Ganzoury et al.