Miracle-dz/UniFAR-FTUs huggingface dataset:
Blackbox traceable CP-ABE: how to catch people leaking their keys by selling decryption devices on ebay

In the context of Ciphertext-Policy Attribute-Based Encryption (CP-ABE), if a decryption device associated with an attribute set S_D appears on eBay, and is alleged to be able to decrypt any ciphertexts with policies satisfied by S_D, no one including the CP-ABE authorities can identify the malicious user(s) who build such a decryption device using their key(s). This has been known as a major practicality concern in CP-ABE applications, for example, providing fine-grained access control on encrypted data. Due to the nature of CP-ABE, users get decryption keys from authorities associated with attribute sets. If there exists two or more users with attribute sets being the supersets of S_D, existing CP-ABE schemes cannot distinguish which user is the malicious one who builds and sells such a decryption device. In this paper, we extend the notion of CP-ABE to support Blackbox Traceability and propose a concrete scheme which is able to identify a user whose key has been used in building a decryption device from multiple users whose keys associated with the attribute sets which are all the supersets of S_D. The scheme is efficient with sub-linear overhead and when compared with the very recent (non-traceable) CP-ABE scheme due to Lewko and Waters in Crypto 2012, we can consider this new scheme as an extension with the property of fully collusion-resistant blackbox traceability added, i.e. an adversary can access an arbitrary number of keys when building a decryption device while the new tracing algorithm can still identify at least one particular key which must have been used for building the underlying decryption device. We show that this new scheme is secure against adaptive adversaries in the standard model, and is highly expressive by supporting any monotonic access structures. Its additional traceability property is also proven against adaptive adversaries in the standard model. As of independent interest, in this paper, we also consider another scenario which we call it "found-in-the-wild". In this scenario, a decryption device is found, for example, from a black market, and reported to an authority (e.g. a law enforcement agency). The decryption device is found to be able to decrypt ciphertexts with certain policy, say A, while the associated attribute set S_D is missing. In this found-in-the-wild scenario, we show that the Blackbox Traceable CP-ABE scheme proposed in this paper can still be able to find the malicious users whose keys have been used for building the decryption device, and our scheme can achieve selective traceability in the standard model under this scenario.
Personalized web search using context enhanced query

This work presents personalized web search using enhancing information extracted from context. Context reflects user profile, her interests, past searching experiences etc. It is represented by a set of weighted keywords. In our approach, we have to deal with keywords profile modeling and searching which respects users profile. Experiments on web search show that our search system can improve relevancy over popular search engines.
Learning equivalence classes of acyclic models with latent and selection variables from multiple datasets with overlapping variables

While there has been considerable research in learning probabilistic graphical models from data for predictive and causal inference, almost all existing algorithms assume a single dataset of i.i. d. observations for all variables. For many applications, it may be impossible or impractical to obtain such datasets, but multiple datasets of i.i. d. observations for different subsets of these variables may be available. Tillman et al. [2009] showed how directed graphical models learned from such datasets can be integrated to construct an equivalence class of structures over all variables. While their procedure is correct, it assumes that the structures integrated do not entail contradictory conditional independences and dependences for variables in their intersections. While this assumption is reasonable asymptotically, it rarely holds in practice with finite samples due to the frequency of statistical errors. We propose a new correct procedure for learning such equivalence classes directly from the multiple datasets which avoids this problem and is thus more practically useful. Empirical results indicate our method is not only more accurate, but also faster and requires less memory.
Mutations in a 19-amino-acid hydrophobic region of the yeast cytochrome c1 presequence prevent sorting to the mitochondrial intermembrane space

Most mitochondrial proteins destined for the intermembrane space (IMS) carry in their presequence information for localization to the IMS in addition to information for their import. By selecting for mutants in the yeast Saccharomyces cerevisiae that mislocalize an IMS-targeted fusion protein, we identified mutations in the IMS sorting signal of the cytochrome c1 protein. Amino acid substitutions or deletions in a stretch of 19 hydrophobic amino acids of the cytochrome c1 presequence resulted in accumulation of the intermediate form of the cytochrome c1 protein in the matrix. In some cases, the accumulated intermediate appeared to be slowly exported from the matrix, across the inner membrane to the IMS. Our results support the hypothesis that the cytochrome c1 precursor is normally imported completely into the matrix and then exported to the IMS.
View point tracking for 3D display systems

For 3D display systems, detection and tracking of the observer's view point is necessary to render the correct view according to the observer position. In this paper, we present a new real-time view point tracking system using a single web cam. The system can easily be installed on a standard PC together with an autostereoscopic display or stereoscopic glasses (shutter, polarized, pulfrich, and anaglyph) with appropriate video cards. For view point tracking, the first step is to detect the observer position. Our detection method is based on boosted cascade of simple feature classifiers. The detected object is observer's eyes for autostereoscopic displays or observer's face with glasses for the other case. In the second step Lucas Kanade Tracker is used to track the eyes/face. The total process can achieve a frame rate of 20Hz on a Pentium IV 3.0 GHz computer in our implementation.
Impact of the air temperature and atmospheric circulation on extreme precipitation in Poland

There are two aims of this paper: First, the relationship between daily and hourly precipitation extremes and air temperature is investigated for the validity of Clausius–Clapeyron (C–C) scaling; second, the impact of the atmospheric circulation and transport of humidity on the extreme precipitation events occurrence in Poland is analysed based on data obtained from 26 stations across Poland in the period 1951–2015. It was shown that daily‐scale extreme rainfall is less sensitive to changes in local atmospheric temperature but the hourly intensities reveal a similar behaviour at all stations showing a robust signal over the entire country. Regarding the impact of the large‐scale atmospheric circulation, three types were distinguished in cool part of the year: one connected with the positive phase of the North Atlantic Oscillation (NAO), second with a low‐pressure zone in the north and high‐pressure in the south of Europe and the northern Atlantic and third with a low over central Europe. Each time high precipitation in Poland was connected with the advection of humid air from the western sectors (SW, W or NW). In the warm part of the year three types were distinguished too, Poland was always in the scope of low‐pressure systems with the advection of warm air from the southern sectors or when the warm air from the south meets the colder air from the north. Similar localizations of low centres have been found in the case of local‐scale atmospheric circulation types during events with extreme precipitation. Both in cool and warm part of the year such events are connected with the increase of water vapour in the air. In cool season the wet and warm air masses inflow to Poland the most often from Atlantic, in the warm season—from Mediterranean and/or Black Seas.
An SDN/NFV-Enabled Enterprise Network Architecture Offering Fine-Grained Security Policy Enforcement

In recent years, the number of attacks and threat vectors against enterprise networks have been constantly increasing in numbers and variety. Despite these attacks, the main security systems, for example network firewalls, have remained rather unchanged. In addition, new challenges arise not only to the level of provided security, but also to the scalability and manageability of the deployed countermeasures such as firewalls and intrusion detection systems. Due to the tight integration into the physical network's infrastructure, a dynamic resource allocation to adapt the security measures to the current network conditions is a difficult undertaking. This article covers different architectural design patterns for the integration of SDN/NFV-based security solutions into enterprise networks.
Habitat and Population Assessments of the Lake Sturgeon Acipenser fulvescens Reintroduced to the Upper Tennessee River

The Lake Sturgeon Acipenser fulvescens is a fish species that was once dispersed widely throughout the Mississippi River drainage but was largely extirpated from the southern portions of its range by overfishing and habitat degradation. There is an ongoing restoration effort to reestablish the Lake Sturgeon to rivers of the Southeastern United States. Reintroduced juvenile Lake Sturgeon now occupy several reservoirs along the Upper Tennessee River that
REV-ERBα Inhibits the PTGS2 Expression in Bovine Uterus Endometrium Stromal and Epithelial Cells Exposed to Ovarian Steroids

The nuclear receptor REV-ERBα (encoded by NR1D1) has a critical role in metabolism and physiology as well as circadian rhythm. Here, we investigated the possible contribution of clock genes including NR1D1 to the secretion of prostaglandin F2α (PGF2α) from bovine uterine stromal (USCs) and epithelial cells (UECs) by modulating the expression of PTGS2. The circadian oscillation of clock genes in the cells was weak compared with that reported in rodents, but the expression of BMAL1, PER1, and NR1D1 was changed temporally by treatment with ovarian steroids. Significant expression of clock genes including NR1D1 was detected in USCs exposed to progesterone. NR1D1 was also significantly expressed in UECs exposed to estradiol. The expression of PTGS2 was suppressed in USCs exposed to progesterone, while the expression was initially suppressed in UECs exposed to estradiol and then increased after long-term exposure to estradiol. BMAL1 knockdown with specific siRNA caused a significant decrease in the transcript levels of NR1D1 and PTGS2 in USCs, but not in UECs. The production of PGF2α also decreased in USCs after BMAL1 knockdown, while its level did not significantly change in UECs. The transcript level of PTGS2 was increased by treatment with the antagonist of REV-ERBα in both cell types, but the agonist was ineffective. In these two cell types treated with the agonist or antagonist, the PGF2α production coincided well with the PTGS2 expression. Collectively, these results indicate that REV-ERBα plays an inhibitory role in the expression of PTGS2 in both bovine USCs and UECs treated with ovarian steroids.
An Integrated High-Voltage Low-Distortion Current-Feedback Linear Power Amplifier for Ultrasound Transmitters Using Digital Predistortion and Dynamic Current Biasing Techniques

A novel integrated high-voltage linear power amplifier for medical ultrasonic transmitter applications is presented in this brief. The amplifier employs a current-feedback technique with two cascading push-pull class-AB buffers. It overcomes the gain-bandwidth product limitation of a conventional voltage-feedback amplifier, capable of generating high output signal swing with a wide closed-loop bandwidth. In addition, a dynamic current biasing topology is integrated on-chip using a voltage-controlled current source and a 7-bit digital-to-analog converter (DAC). To further improve the signal linearity of the amplifier output, a digital predistortion (DPD) technique is applied by using a DAC, an analog-to-digital converter, and a digital field-programmable gate array. The presented amplifier was fabricated using a 1-μm 200-V CMOS process. The measurement results show that this integrated linear power amplifier is capable of driving a load of a 100-Ω resistor in parallel with a 300-pF capacitor while achieving a signal swing up to 180 Vpp with a second-order harmonic distortion as low as -50 dB. Measurement results also show that the amplifier achieves a maximum slew rate of 4 V/ns and a power efficiency of 30%. As a result, this power amplifier is expected to greatly improve medical ultrasound image quality.
SNP Linkage Analysis and Whole Exome Sequencing Identify a Novel POU4F3 Mutation in Autosomal Dominant Late-Onset Nonsyndromic Hearing Loss (DFNA15)

Autosomal dominant non-syndromic hearing loss (AD-NSHL) is one of the most common genetic diseases in human and is well-known for the considerable genetic heterogeneity. In this study, we utilized whole exome sequencing (WES) and linkage analysis for direct genetic diagnosis in AD-NSHL. The Korean family had typical AD-NSHL running over 6 generations. Linkage analysis was performed by using genome-wide single nucleotide polymorphism (SNP) chip and pinpointed a genomic region on 5q31 with a significant linkage signal. Sequential filtering of variants obtained from WES, application of the linkage region, bioinformatic analyses, and Sanger sequencing validation identified a novel missense mutation Arg326Lys (c.977G>A) in the POU homeodomain of the POU4F3 gene as the candidate disease-causing mutation in the family. POU4F3 is a known disease gene causing AD-HSLH (DFNA15) described in 5 unrelated families until now each with a unique mutation. Arg326Lys was the first missense mutation affecting the 3rd alpha helix of the POU homeodomain harboring a bipartite nuclear localization signal sequence. The phenotype findings in our family further supported previously noted intrafamilial and interfamilial variability of DFNA15. This study demonstrated that WES in combination with linkage analysis utilizing bi-allelic SNP markers successfully identified the disease locus and causative mutation in AD-NSHL.
Web User Trust Relationship Prediction Based on Cloud Model

Web user trustiness is closely related to web information credibility, which has attracted wide spread concern since the emergence of Web 2.0. Motivated by the randomness and fuzziness of user trust relationships at the web age, this paper proposes a novel user trust relationship prediction method based on cloud model. We start by defining trust cloud, distrust cloud and scoring cloud; then calculate expectation, entropy and hyper-entropy to extract digital characteristics of cloud by utilizing inverse cloud generation algorithm; and finally predict user trust relationships based on trust distance and distrust distance. To analyze the effect of the proposed approach, we conducted experiment on the Extended Epinions dataset, which shows that the precision, recall and F-measure of our method reaches 96.94%, 99.14% and 98.03% respectively, with an increase of 0.21%, 13.11%, and 9.01% over current best method, demonstrating that predicting user trust relations in social networks based on cloud model is reasonable and effective.
Dynamic Allocation of Subcarriers and Transmit Powers in an OFDMA Cellular Network

This paper considers the problem of minimizing outage probabilities in the downlink of a multiuser, multicell orthogonal frequency division multiple access (OFDMA) cellular network with frequency selective fading, imperfect channel state information, and frequency hopping. The task is to determine the allocation of powers and subcarriers for users to ensure that the user outage probabilities are as low as possible. We formulate a min-max outage probability problem and solve it under the constraint that the transmit power spectrum at each base station is flat. In particular, we obtain a subchannel allocation algorithm that has complexity O(L logL) in L , the number of users in the cell. We also consider suboptimal but implementable approaches with and without the flat transmit power spectrum constraint. We conclude that the flat transmit spectrum approach has merit, and warrants further study.
Mathematical modeling of viral epidemics: A review

Mathematical models to describe transmission and propagation of diseases have gained momentum over the last hundred years. Formulated mathematical models are currently applied to understandthe epidemiology of various diseases including viral diseases viz Influenza, SARS, measles, etc. With the emergence of advanced computing tools, designing mathematical models and generating simulations (numerical solutions) have become feasible. There is an enormous scope for using mathematical models in studying epidemiology of viral diseases through transmission dynamics of outbreaks and in evaluating or predicting the effects of interventions and vaccinations. The influenza pandemic of 2009 and the recent Ebola epidemics of 2014-15 have generated renewed interest in mathematical modelling of epidemics. Here we present a review of the various mathematical models and their applications in the study of virus driven epidemics.
Effect on Insulin-Stimulated Release of D-Chiro-Inositol-Containing Inositolphosphoglycan Mediator during Weight Loss in Obese Women with and without Polycystic Ovary Syndrome

Background. A deficiency of D-chiro-inositol-inositolphosphoglycan mediator (DCI-IPG) may contribute to insulin resistance in polycystic ovary syndrome (PCOS). Whether the relationship between impaired DCI-IPG release and insulin resistance is specific to PCOS rather than obesity is unknown. We assessed insulin-released DCI-IPG and its relationship to insulin sensitivity at baseline and after weight loss in obese women with and without PCOS. Methods. Obese PCOS (n = 16) and normal (n = 15) women underwent 8 weeks of a hypocaloric diet. The Matsuda index, area under the curve DCI-IPG (AUCDCI-IPG), AUCinsulin, and AUCDCI-IPG/AUCinsulin were measured during a 2 hr OGTT at baseline and 8 weeks. Results. PCOS women had lower AUCDCI-IPG/AUCinsulin at baseline and a significant relationship between AUCDCI-IPG/AUCinsulin and Matsuda index (p = 0.0003), which was not present in controls. Weight loss was similar between PCOS (−4.08 kg) and normal women (−4.29 kg, p = 0.6281). Weight loss in PCOS women did not change the relationship between AUCDCI-IPG/AUCinsulin and Matsuda index (p = 0.0100), and this relationship remained absent in control women. Conclusion. The association between AUCDCI-IPG/AUCinsulin and insulin sensitivity was only found in PCOS but not in normal women, and this relationship was unaffected by weight loss. DCI and its messenger may contribute to insulin resistance in PCOS independent of obesity.
T(ether): spatially-aware handhelds, gestures and proprioception for multi-user 3D modeling and animation

T(ether) is a spatially-aware display system for multi-user, collaborative manipulation and animation of virtual 3D objects. The handheld display acts as a window into virtual reality, providing users with a perspective view of 3D data. T(ether) tracks users' heads, hands, fingers and pinching, in addition to a handheld touch screen, to enable rich interaction with the virtual scene. We introduce gestural interaction techniques that exploit proprioception to adapt the UI based on the hand's position above, behind or on the surface of the display. These spatial interactions use a tangible frame of reference to help users manipulate and animate the model in addition to controlling environment properties. We report on initial user observations from an experiment for 3D modeling, which indicate T(ether)'s potential for embodied viewport control and 3D modeling interactions.
Better Realising Direct Manipulation

Direct Manipulation is an approach to designing user interfaces, which forms the basis of Graphical User Interfaces. Despite the importance of the concept, no mathematical model of Direct Manipulation has yet been developed. This paper proposes a model of Direct Manipulation, which relates cognitive distance with user familiarity and the novel concepts of “tech bias”, “velocity” and “inertia”.
Formal Verification and Improvement of a Secure Protocol for Ad Hoc Networks

Mobile ad hoc network (MANET) has become an exciting and important technology in recent years because of the rapid proliferation of wireless devices. MANETs are highly vulnerable to attacks due to the open medium, dynamically changing network topology, cooperative algorithms, lack of centralized monitoring and management point, and lack of a clear line of defense. Security is as important in ad hoc networks as it is in more traditional networks like the Internet. Sensitive data should be protected from malicious eavesdroppers and network services should only be provided to eligible users. In this paper, we research the methods of formalization for security routing protocol. Based on BAN like logic to analyze the security of Ad Hoc routing protocols. Considered the character of mobile Ad Hoc network, the BAN like logic was improved to judge the security. Some flaws of the Security-Aware Adaptive Dynamic Source Routing Protocol (SADSR) were found and adapted it.
SHREC'13 Track: Large-Scale Partial Shape Retrieval Using Simulated Range Images

Partial shape retrieval is a challenging problem in content-based 3D model retrieval. This track intends to evaluate the performance of existing algorithms for partial retrieval. The contest is based on a new large-scale query set obtained by mimicking the range image acquisition using a standard 3D benchmark as target set. The query set contains 7200 partial meshes with different levels of complexity. Furthermore, we propose the use of new performance measures based on a partiality factor. With this characteristics, our goal is to evaluate several important aspects: effectiveness, efficiency, robustness and scalability. The obtained results of this track open new questions regarding the difficulty of the partial shape retrieval problem and the scalability of algorithms. In addition, potential future directions on this topic are identified.
Towards minimalistic, virtualized content caches with minicache

Video comprises the majority of traffic on the Internet today, and most of it is delivered via Content Delivery Networks (CDNs) whose performance depends, to a large extent, on being able to deploy a (sometimes rather large) set of distributed content caches at different networks and geographical locations. Recently, ISPs have started deploying micro datacenters close to customers, giving the possibility to third parties to rent out this equipment. While such pay-on-demand infrastructure would allow CDNs to dynamically expand their capacity and improve their efficiency, a high performance, virtualized content cache would be needed for multiple tenants to be able to share such facilities. Towards this end we introduce Minicache, a Xen-based virtualized content cache prototype. A Minicache virtual machine has a small memory footprint (as small as 5MB in size), can boot in as little as 30 milliseconds, and can fill up a 10Gb pipe using data retrieved from storage devices.