Miracle-dz/UniFAR-FTUs huggingface dataset:
MOSES: supporting operation modes on smartphones

Smartphones are very effective tools for increasing the productivity of business users. With their increasing computational power and storage capacity, smartphones allow end users to perform several tasks and be always updated while on the move. As a consequence, end users require that their personal smartphones are connected to their work IT infrastructure. Companies are willing to support employee-owned smartphones because of the increase in productivity of their employees. However, smartphone security mechanisms have been discovered to offer very limited protection against malicious applications that can leak data stored on them. This poses a serious threat to sensitive corporate data. In this paper we present MOSES, a policy-based framework for enforcing software isolation of applications and data on the Android platform. In MOSES, it is possible to define distinct security profiles within a single smartphone. Each security profile is associated with a set of policies that control the access to applications and data. One of the main characteristics of MOSES is the dynamic switching from one security profile to another.
Domain driven approach for coherent rule mining

In Association Rule Mining, minimum support threshold is used to get the association rules. Deciding this threshold is quite a difficult task and has a great influence on the number and the quality of association rules. There is no chance of neglecting minimum support threshold as the large number of association rules generated missed some interesting rules discovered. The process of decision making with these rules may lead to undesirable and unexpected results. Minimum support threshold thus played a vital role in the entire process. To remove this dependency on minimum support threshold, we have proposed a framework which contains domain knowledge method, feature selection method and pruning technique to reduce the complexity of coherent algorithm to discover interesting positive and negative rules for business which are discovered based on the properties of propositional logic and thus do not require the minimum support threshold. In the initial part of the paper, we have explained the formation of coherent rules. Later, to reduce the complexity and make it more efficient we have added the feature of domain-driven to the framework of coherent rules and this feature is demonstrated with the help of implemented example. Further we have also introduced the concept of Combined Rule Mining which further enhances the results generated.
Refractory periods observed by intrinsic signal and fluorescent dye imaging.

All perfusion-based imaging modalities depend on the relationship between neuronal and vascular activity. However, the relationship between stimulus and response was never fully characterized. With the use of optical imaging (intrinsic signals and intravascular fluorescent dyes) during repetitive stimulation paradigms, we observed reduced responses with temporally close stimuli. Cortical evoked potentials, however, did not produce the same reduced responsiveness. We therefore termed these intervals of reduced responsiveness "refractory periods. " During these refractory periods an ability to respond was retained, but at a near 60% reduction in the initial magnitude. Although increasing the initial stimulus duration lengthened the observed refractory periods, significantly novel or temporally spaced stimuli overcame them. We observed this phenomenon in both rodent and human subjects in somatosensory and auditory cortices. These results have significant implications for understanding the capacities, mechanisms, and distributions of neurovascular coupling and thereby possess relevance to all perfusion-dependent functional imaging techniques.
Strength and fracture properties of diamond

Abstract The strength of diamond is usually measured using an indentation technique. It is shown that the values obtained by previous workers for good quality diamond are reasonably consistent if they are all calculated with the same chosen values of modulus and Poisson ratio. By monitoring the extent of crack growth from beneath a loaded indenter it has been possible to measure the fracture surface energy, γ, of diamond (5·50 ± 0·15 Jm−2) and from this calculate the critical stress intensity factor KIC (3·4MN m−3/2). The significance of the measured γ compared with the theoretical value for the surface energy of 5·3 J m−2 for (111) cleavage is discussed. The strengths of various types of diamond grit particle have been measured by loading single particles between hard anvils. It is shown that there is a strength/size effect with smaller particles giving higher strengths. A linear relation between load and particle diameter suggests that Auerbach's Law holds for diamond in the size range covered. Some syn.
A Preliminary Investigation into Automated Identification ofStructural Steel Without A Priori Knowledge

One of the most prohibiting factors when attempting to reuse structural steel members or systems of members is the time and labour required to accurately determine dimensions. Current practices dictate that all required measurements are recorded by hand using tape measures and calipers which adds a significant cost to reused steel. To mitigate this cost, a semi-automated method for identifying structural steel components and systems is proposed that uses data acquired in the form of a 3D point cloud. Current research in the field of automated object recognition currently has two major limitations: (1) a priori knowledge, such as a building information model (BIM) is required, or (2) only simple, flat surfaces can be identified. The purpose of this study is to preliminarily investigate the possibility of automating the process of (1) cross section identification, (2) end connection geometry of bolted connections, and (3) relative component position of multi-component, planar structural systems such as trusses. Cross section identification is performed by creating filters that match standard structural sections and then convolving them over images of the cross section data. The end connection geometry is identified using Hough algorithms to detect lines and circles representing the limits of the component and the bolt holes, respectively. Planar structural systems are identified using Hough algorithms to detect lines which represent the components of the system. The results from the proposed methods show a strong potential for fully automated processes to be able to identify structural steel components and systems without a priori knowledge.
“I Thou Thee, Thou Traitor”: Predicting Formal vs. Informal Address in English Literature

In contrast to many languages (like Russian or French), modern English does not distinguish formal and informal ("T/V") address overtly, for example by pronoun choice. We describe an ongoing study which investigates to what degree the T/V distinction is recoverable in English text, and with what textual features it correlates. Our findings are: (a) human raters can label English utterances as T or V fairly well, given sufficient context; (b), lexical cues can predict T/V almost at human level.
Modeling and verification of a programmable mixed-signal device using Verilog

The use of behavioral modeling in Verilog-AMS is applied to the design of a programmable mixed signal device. In order to illustrate the possible increases in simulation efficiency, various simulation and modeling techniques arc compared for a mixed-signal application. A speedup of two orders of magnitude can be achieved in full system simulation with low loss of accuracy. A full system model using these techniques facilitates system development, testing, and application development.
Easy development of communicative behaviors in social robots

This paper presents a development framework for social robots with which developers can easily prepare communicative behaviors based on tag-based sentences. Previous literature in human-robot interaction has revealed various useful non-verbal behaviors. But for developers, integrating such a large amount of non-verbal behaviors each time they build a social robot is not realistic. The more repertory of non-verbal behaviors acquire, the larger is the burden faced by developers to implement the non-verbal behaviors. Our software, however, only requires developers to prepare sentences with simple markup language for controlling explicit non-verbal behaviors and utterances. The backend system analyzes the tag input and adds implicit non-verbal behaviors accordingly. With the help of previous literature, the system is equipped with various communicative behaviors, so that the robot autonomously adjusts its gazes, gestures, and standing points. The system's effectiveness is demonstrated with examples on robot interaction where the system receives only simple sentences with scripting language to produce complex and communicative robot behaviors.
A novel quantization-based watermarking approach invariant to gain attack

In this paper, a novel quantization-based information hiding approach which is invariant to gain attack is presented. For the data embedding, the host vector signal is first divided into two separate vectors. Then the ratio of the magnitude of the vectors is quantized according to the watermark data. The decoding scheme is performed blindly using the euclidean distance. The performance of the proposed method is analytically studied and assessed by simulations on artificial signals. The proposed method is applied to various test images as well. The experimental results confirm the superiority of the proposed technique against common attacks in comparison with the recently proposed methods.
A Combined VLSI Architecture for Nonlinear Image Processing Filters

In recent years, nonlinear methods and techniques have emerged as intensive research topics in the fields of signal, image, and video processing. This paper describes the combined design of high performance architectures for different filter algorithms and structures used in nonlinear image processing targeted at computer vision. These types of filters include weighted order statistics (WOS), stack, nonlinear mean, Teager, polynomial and rational filters. This architecture is suitable for real time and high quality video imaging tasks and VLSI implementations. These architectures can be used as coprocessor subsystems, integrated with other modules, to form an overall high performance imaging pipe in a system-on-a-chip platform
Intraocular Lens Power Calculation After Automated Lamellar Keratoplasty for High Myopia

Purpose: To report intraocular lens (IOL) power calculation in 2 eyes that were highly undercorrected by previous myopic automated lamellar keratoplasty (ALK). Methods: A 35-year-old man underwent bilateral myopic ALK, which caused high residual myopia (−9.0 −4.0 × 171 and −9.5 −4.5 × 74). The patient then underwent cataract surgery with IOL implantation for cataract development. The double-K clinical history method was utilized, and satisfactory IOL power prediction results were obtained. Two no-history IOL power calculation methods (Rosa correcting factor method and Ferrara theoretical variable refractive index method), which involved axial length-dependent modification of the keratometer-measured corneal radius, and 1 no-history IOL power calculation method (Shammas' method), which involved axial length-independent modification of the keratometer-measured corneal power, were tested on these 2 eyes. Results: In both eyes, the double-K SRK-T clinical history method gave small IOL prediction errors (−0.66 and −0.81 D). The Shammas' no-history method gave a slightly higher IOL prediction error in the right eye (−1.67 D) and a small IOL prediction error in the left eye (−0.74 D). Unacceptable IOL power prediction errors would have resulted if Rosa's correcting factor method (−8.07 and −8.35 D) or Ferrara's theoretical variable refractive index method (−17.56 and −18.51 D) had been applied. When we utilized Rosa's method for the IOL power calculation by assuming that the previous ALK had fully corrected the refractive error, the predicted IOL powers were very close to the benchmark IOL powers (IOL power prediction errors: 1.16 and 0.37 D). When we utilized Ferrara's method with the same assumption, the IOL power prediction errors remained high (−6.32 and −7.16 D). Conclusions: For patients who have had previous myopic ALK (and whose eyes are highly undercorrected) and who require cataract surgery and for whom the pre-ALK history is available, the double-K method appears to yield excellent predictive results. However, if the pre-ALK history is not available, the Shammas' no-history method appears to yield better results than the Rosa's or the Ferrara's method. High undercorrection by the previous ALK might have been one of the major reasons why Rosa's method resulted in a high IOL prediction error in these 2 eyes. The cause for the marked IOL prediction error by Ferrara's method in this case, however, remains to be determined.
The selected reaction monitoring/multiple reaction monitoring-based mass spectrometry approach for the accurate quantitation of proteins: clinical applications in the cardiovascular diseases

Selected reaction monitoring, also known as multiple reaction monitoring, is a powerful targeted mass spectrometry approach for a confident quantitation of proteins/peptides in complex biological samples. In recent years, its optimization and application have become pivotal and of great interest in clinical research to derive useful outcomes for patient care. Thus, selected reaction monitoring/multiple reaction monitoring is now used as a highly sensitive and selective method for the evaluation of protein abundances and biomarker verification with potential applications in medical screening. This review describes technical aspects for the development of a robust multiplex assay and discussing its recent applications in cardiovascular proteomics: verification of promising disease candidates to select only the highest quality peptides/proteins for a preclinical validation, as well as quantitation of protein isoforms and post-translational modifications.
A Virtue: the Eeect of Slack on Competitiveness for Admission Control

We consider the online competitiveness for scheduling a single resource non-preemptively in order to maximize its utilization. Our work examines this model when parameterizing an instance by a new value which we term the patience. This parameter measures each job's willingness to endure a delay before starting, relative to this same job's processing time. Speciically, the slack of a job is deened as the gap between its release time and the last possible time at which it may be started while still meeting its deadline. We say that a problem instance has patience , if each job with length kJ k has a slack of at least kJ k. Without any restrictions placed on the job characteristics, previous lower bounds show that no algorithm, deterministic or randomized, can guarantee a constant bound on the competitiveness of a resulting schedule. Previous researchers have analyzed a problem instance by parameterizing based on the ratio between the longest job's processing time and the shortest job's processing time. Our main contribution is to provide a ne-grained analysis of the problem when simultaneously parameterized by patience and the range of job lengths. We are able to give tight or almost tight bounds on the deterministic competitiveness for all parameter combinations. If viewing the analysis of each parameter individually, our evidence suggests that parameter-izing solely on patience provides a richer analysis then parameterizing solely on the ratio of the job lengths. For example, in the special case where all jobs have the same length, we generalize a previous bound of 2 for the deterministic competitiveness with arbitrary slacks, showing that the competitiveness for any 0 is exactly 1 + 1 bc+1. Without any bound on the job lengths, a simple greedy algorithm is (2 + 1)-competitive for any > 0. More generally we will nd that for any xed ratio of job lengths, the competitiveness of the problem tends towards 1 as the patience is increased. The converse is not true, as for any xed > 0 we nd that the competitiveness is bounded away from 1, no matter what further restrictions are placed on the ratio of job lengths.
A versatile approach to the generation of fluid supported lipid bilayers and its applications

Establishing supported lipid bilayers with biologically relevant composition, including transmembrane proteins and various classes of lipids, presents a significant challenge. We describe a generic and facile approach to the production of fluid polymer‐supported lipid bilayers that allows for the incorporation of a wide variety of lipids and transmembrane proteins. The method is based on the formation of a polymer brush displaying lipid groups, followed by spin‐coating of membrane lipids. Subsequentially, transmembrane proteins are incorporated by the fusion of proteoliposomes with the bilayer. Several applications, including the incorporation and single‐molecule tracking of transmembrane proteins in a bilayer and the visualization of the fusion of individual, membrane‐enveloped viruses with a supported membrane, are demonstrated. Our results suggest that the membrane properties are consistent with those found in physiologically relevant conditions and underscore the wide applicability of our approach to synthetic biology, lab‐on‐a‐chip applications, biophysical and pharmaceutical studies. Biotechnol. Bioeng. 2014;111: 2076–2081. © 2014 Wiley Periodicals, Inc.
Conductivity and complex permittivity of langatate at high temperature up to 900°C

There are a large number of high-temperature sensing and frequency control applications that can be addressed using acoustic wave devices capable of operation at high-temperatures. For those applications, it is important to characterize the acoustic properties of the piezoelectric crystal used as substrate at elevated temperatures. Langatate (LGT) is one of the crystals which allow the fabrication of SAW devices at elevated temperatures. In a previous work, the authors measured and discussed the LGT elastic constants up to 900°C. This paper reports the langatate complex dielectric permittivity and conductivity from 25 to 900°C. The constants were extracted from impedance measurements of parallel-plate capacitors fabricated with Pt/Rh/ZrO2 electrodes on LGT wafers aligned along the X and Z crystalline axes. The real permittivities, έ11 and έ33, were found to change significantly in the range from 25 to 900°C with a 38% increase and a 49% decrease of their room temperature values, respectively. Thus, it is important to include the extracted high temperature permittivities when designing LGT acoustic wave devices and not simply to use extrapolated low temperature data. Both LGT conductivity and imaginary permittivity are necessary to quantify the electrical losses of sensors, signal-processing, and frequency-control devices operating with this substrate at high-temperatures.
A survey of Web cache replacement strategies

Web caching is an important technique to scale the Internet. One important performance factor of Web caches is the replacement strategy. Due to specific characteristics of the World Wide Web, there exist a huge number of proposals for cache replacement. This article proposes a classification for these proposals that subsumes prior classifications. Using this classification, different proposals and their advantages and disadvantages are described. Furthermore, the article discusses the importance of cache replacement strategies in modern proxy caches and outlines potential future research topics.
Rapid detection of wild-type and mutated transthyretins

Background Familial amyloid polyneuropathy is caused by a variant transthyretin, which is a serum protein secreted by the liver. We previously reported that mutated transthyretins were detected in serum samples by surface-enhanced laser desorption/ionization time-of-flight mass spectrometry (SELDI-TOF MS). The aim of this study was to evaluate the clinical usefulness of SELDI-TOF MS for diagnosis of transthyretin-related amyloidosis. Methods We used 106 serum samples obtained from patients who were clinically suspected of having amyloidosis between February 2011 and April 2014. SELDI-TOF MS allowed analysis for transthyretin via a 3-h one-step procedure. Results Of the 106 patients, 51 are transthyretin amyloidosis. Mutated transthyretins were detected in serum samples from 30 of 51 patients with transthyretin amyloidosis. The results of genetic analysis showed that all of those patients had mutations in the transthyretin gene. For all 18 patients with senile systemic amyloidosis of 51 patients with transthyretin amyloidosis, SELDI-TOF MS detected only wild-type transthyretin peaks, not mutated transthyretin peaks. Conclusion SELDI-TOF MS is a clinically useful tool for diagnosis of transthyretin-related amyloidosis.
Brain-Selective Overexpression of Angiotensin (AT1) Receptors Causes Enhanced Cardiovascular Sensitivity in Transgenic Mice

To examine the physiological importance of brain angiotensin II type 1 (AT1) receptors, we developed a novel transgenic mouse model with rat AT1a receptors targeted selectively to neurons of the central nervous system (CNS). A transgene consisting of 2.8 kb of the rat neuron-specific enolase (NSE) 5′ flanking region fused to a cDNA encoding the full open-reading frame of the rat AT1a receptor was constructed and transgenic mice (NSE-AT1a) were generated. Two of six transgenic founder lines exhibited brain-selective expression of the transgene at either moderate or high levels. Immunohistochemistry revealed widespread distribution of AT1 receptors in neurons throughout the CNS. This neuron-targeted overexpression of AT1a receptors resulted in enhanced cardiovascular responsiveness to intracerebroventricular (ICV) angiotensin II (Ang II) injection but not to other central pressor agents, demonstrating functional overexpression of the transgene in NSE-AT1a mice. Interestingly, baseline blood pressure (BP) was not elevated in either transgenic line. However, blockade of central AT1 receptors with ICV losartan caused significant falls in basal BP in NSE-AT1a mice but had no effect in nontransgenic controls. These results suggest that whereas there is an enhanced contribution of central AT1 receptors to the maintenance of baseline BP in NSE-AT1a mice, particularly effective baroreflex buffering prevents hypertension in this model. Used both independently, and in conjunction with mice harboring gene-targeted deletions of AT1a receptors, this new model will permit quantitative and relevant investigations of the role of central AT1a receptors in cardiovascular homeostasis in health and disease.
A Theory of Network Localization

In this paper, we provide a theoretical foundation for the problem of network localization in which some nodes know their locations and other nodes determine their locations by measuring the distances to their neighbors. We construct grounded graphs to model network localization and apply graph rigidity theory to test the conditions for unique localizability and to construct uniquely localizable networks. We further study the computational complexity of network localization and investigate a subclass of grounded graphs where localization can be computed efficiently. We conclude with a discussion of localization in sensor networks where the sensors are placed randomly