Miracle-dz/UniFAR-FTUs huggingface dataset:
High Pressure Automatic Displacement Backstepping for the Variable Pump Driving Variable Motor of an Unmanned Ground Vehicle

The variable pump driving variable motor (VPDVM) is the future trends of the development of the hydraulic transmission of an unmanned ground vehicle (UGV). VPDVM is a dual-input single-output nonlinear system with coupling, which is difficult to control. A novel control algorithm, high pressure automatic displacement back stepping (HABS), is proposed to achieve the desired motor speed, in which the variable motor is controlled by high pressure automatic displacement (HA) and the variable pump is controlled by back stepping algorithm. The stability of the VPDVM controlled by HABS is proved based on the Lyapunov stability theorem. Numerical simulations and experimental results of the VPDVM are provided to demonstrate the feasibility and strong robustness of the HABS.
Psychodynamic case formulations : reflections of a neophyte therapist's experiences of how developing and using a psychodynamic formulation may have influenced treatment?

Although it is generally acknowledged and accepted that case formulations are useful in psychotherapy treatment, there is significantly little research illustrating how case formulations are useful in treatment. Research also suggests that case formulations are seldom used in practice after initial training (Eells, 1997; Sim, Gwee, & Bateman, 2005). This research was premised on a particular case study which appeared to highlight shifts in psychotherapy treatment in the sessions directly after the writing or revising of the case formulation, thus prompting the inquiry into the influence of the case formulation on therapeutic work. The research utilised a qualitative methodology and focused on a single case which was a 19 year old university student who expressed a problem with binge eating. The data was drawn from five original and revised case formulations. The participant was seen for 27 therapy sessions, over which time five case formulations were developed and revised. The findings in this study highlight the process of how a psychodynamic case formulation can influence therapeutic work, as reflected in three broad themes of adherence to the case formulation, the confidence of the therapist, and using the formulation as an intervention. The study contributes to arguments for the revival of the case formulation as a necessary therapeutic tool.
Write-Optimized Indexing for Log-Structured Key-Value Stores

The recent shift towards write-intensive workload on big data (e.g., financial trading, social user-generated data streams) has pushed the proliferation of the log-structured key-value stores, represented by Google’s BigTable, HBase and Cassandra; these systems optimize write performance by adopting a log-structured merge design. While providing keybased access methods based on a Put/Get interface, these key-value stores do not support value-based access methods, which significantly limits their applicability in many web and Internet applications, such as real-time search for all tweets or blogs containing “government shutdown”. In this paper, we present HINDEX, a write-optimized indexing scheme on the log-structured key-value stores. To index intensively updated big data in real time, the index maintenance is made lightweight by a design tailored to the unique characteristic of the underlying log-structured key-value stores. Concretely, HINDEX performs append-only index updates, which avoids the reading of historic data versions, an expensive operation in the log-structure store. To fix the potentially obsolete index entries, HINDEX proposes an offline index repair process through tight coupling with the routine compactions. HINDEX’s system design is generic to the Put/Get interface; we implemented a prototype of HINDEX based on HBase without internal code modification. Our experiments show that the HINDEX offers significant performance advantage for the write-intensive index maintenance.
NewSQL: Towards Next-Generation Scalable RDBMS for Online Transaction Processing (OLTP) for Big Data Management

One of the key advances in resolving the big-data problem has been the emergence of an alternative database technology. Today, classic RDBMS are complemented by a rich set of alternative Data Management Systems (DMS) specially designed to handle the volume, variety, velocity and variability ofBig Data collections; these DMS include NoSQL, NewSQL and Search-based systems. NewSQL is a class of modern relational database management systems (RDBMS) that provide the same scalable performance of NoSQL systems for online transaction processing (OLTP) read-write workloads while still maintaining the ACID guarantees of a traditional database system. This paper discusses about NewSQL data management system; and compares with NoSQL and with traditional database system. This paper covers architecture, characteristics, classification of NewSQL databases for online transaction processing (OLTP) for Big data management. It also provides the list ofpopular NoSQL as well as NewSQL databases in separate categorized tables. This paper compares SQL based RDBMS, NoSQL and NewSQL databases with set of metrics; as well as, addressed some research issues ofNoSQL and NewSQL.
Self-regulated learning among teacher education students: Motivational beliefs influence on the use of metacognition

In the present study, we examined the relationships between motivational beliefs (self-efficacy, task value, and control of learning beliefs) and use of metacognitive learning strategies among teacher education students in Uganda. The sample comprised of 649 students selected from seven universities. Data were collected using several scales from the modified Motivated Strategies for Learning Questionnaire, and analysed using Structural Equation Modelling. Task value and self-efficacy independently and significantly predicted students’ reported use of metacognition. Students’ self-reported self-efficacy and task value explained 38% of the variance in their use of metacognition. The evidence suggests interventions aimed at improving teacher education students’ metacognitive skills to focus on enhancing their efficacy and value beliefs.
A Unified Approach to List-Based Multiuser Detection in Overloaded Receivers

A wireless communication system is overloaded when the number of transmitted signals exceeds the number of receive antennas. The presence of the resulting cochannel interference (CCI) under overload causes linear detection techniques to perform poorly. We develop a unified approach to the separation and detection of the user signals for an overloaded system using a novel iterative list-based multiuser detector. It combines a linear preprocessor with a nonlinear list detector and approximates optimum joint maximum-likelihood detection at lower complexity. Complexity savings are achieved by first, exploiting the spatial separation of the users to mitigate CCI in the preprocessor stage and second, by estimating residual CCI in the following list detection stage. The proposed list detection algorithm is applied to receivers with either a uniform circular array or a uniform linear array. The preprocessor is implemented using either a special purpose spatial filter to mitigate the CCI or maximum ratio diversity combining to achieve diversity gain. Simulation results and a complexity analysis indicate that the approach is suitable for practical application.
Scalable visualization of model differences

If large models are compared their difference can contain a huge number of local changes. Conventional methods for displaying differences cannot reasonably handle such large differences. This paper proposes a solution to this problem. Our approach is based on the concept of polymetric views and extends it in two ways: firstly, we propose metrics for differences which quantify properties of differences and distinguish relevant from irrelevant changes. Moreover, we propose new graphical features of polymetric views. This combination provides a scalable presentation of differences which makes the changes of large models comprehensible.
A test of an expert-based bird-habitat relationship model in South Carolina

Wildlife-habitat relationships models are used widely by land managers to provide infor- mation on which species are likely to occur in an area of interest and may be impacted by a proposed management activity. Few such models have been tested. We used recent avian census data from the Savannah River Site, South Carolina to validate BIRDHAB, a geographic information system (GIS) model developed by United States Forest Service resource managers to predict relative habitat quality for birds at the stand level on nation- al forests in the southeastern United States. BIRDHAB is based on the species-habitat matrices presented by Hamel (1 992). Species-specific accuracy rates for BIRDHAB pre- dictions (the percentage of all stands in which a species was predicted correctly as pres- ent or absent) ranged from 33.6-93.0%, with a mean of 67.4? 17.3% (SD, n=46 species). Accuracy was >900/o for 5 species, but <50% for 9 species. BIRDHAB performed well (P <0.05) in predicting presence-absence of 32 species. Generally, the model was more accurate in predicting presence-absence for habitat specialists than for generalists. Habi- tat-specific accuracy rates (the percentage of species for which a habitat's prediction was correct) ranged from 52.7-92.7%, with a mean of 71 . 8? (SD) 9.8% (n=26 habitat types). BIRDHAB was a useful tool for many of the species that we tested, but it had no predic- tive ability for many others. Such species-specific variation in accuracy probably is common among wildlife-habitat relationships models, reinforcing the need for thorough testing before these models are used in land-use planning.
N-(1,3-Thiazol-2-yl)-N′-[(thiophen-2-yl)carbonyl]thiourea hemihydrate

The title compound, C9H7N3OS3·0.5H2O, crystallizes with two independent but similar molecules in the asymmetric unit, both of which are linked by a water molecule through O—H⋯N hydrogen bonds. In addition the water O atom is further linked by N—H⋯O hydrogen bonds to two additional main molecules, forming a tetrameric unit. These tetrameric units then form infinite ribbons parallel to the ac plane.The dihedral angle between the thiophenoyl and thiazolyl rings is 12.15 (10) and 21.69 (11)° in molecules A and B, respectively. The central thiourea core makes dihedral angles of 5.77 (11) and 8.61 (9)°, respectively, with the thiophenoyl and thiazolyl rings in molecule A and 8.41 (10) and 13.43 (12)° in molecule B. Each molecule adopts a trans–cis geometry with respect to the position of thiophenoyl and thiazole groups relative to the S atom across the thiourea C—N bonds. This geometry is stabilized by intramolecular N—H⋯O hydrogen bonds.
Enrichment, isolation and some properties of methane-utilizing bacteria.

SUMMARY More than 100 Gram-negative, strictly aerobic, methane-utilizing bacteria were isolated. All used only methane and methanol of the substrates tested for growth. The organisms were classified into five groups on the basis of morphology, fine structure, and type of resting stage formed (exospores and different types of cysts) and into subgroups on other properties. Methods of enrichment, isolation and culture are described.
The Role of Lectin-Carbohydrate Interactions in the Regulation of ER-Associated Protein Degradation

Proteins entering the secretory pathway are translocated across the endoplasmic reticulum (ER) membrane in an unfolded form. In the ER they are restricted to a quality control system that ensures correct folding or eventual degradation of improperly folded polypeptides. Mannose trimming of N-glycans on newly synthesized proteins plays an important role in the recognition and sorting of terminally misfolded glycoproteins for ER-associated protein degradation (ERAD). In this process misfolded proteins are retrotranslocated into the cytosol, polyubiquitinated, and eventually degraded by the proteasome. The mechanism by which misfolded glycoproteins are recognized and recruited to the degradation machinery has been extensively studied during last decade. In this review, we focus on ER degradation-enhancing α-mannosidase-like protein (EDEM) family proteins that seem to play a key role in the discrimination between proteins undergoing a folding process and terminally misfolded proteins directed for degradation. We describe interactions of EDEM proteins with other components of the ERAD machinery, as well as with various protein substrates. Carbohydrate-dependent interactions together with N-glycan-independent interactions seem to regulate the complex process of protein recognition and direction for proteosomal degradation.
Research on infrared target recognition in complicated ground backdrop

An infrared target recognition method in complicated group backdrop based on SURF is studied in this paper. Firstly, the image is preprocessed by image enhancement method of wavelet decomposition, histogram equalization and adaptive median filtering to increase the gray differences between target and background, and then SURF is used to realize infrared target recognition. The simulation focuses on SURF feature matching threshold and the number of matching feature points. Experimental results show that the proposed method works well on infrared target recognition in complicated ground backdrop.
Cocoa and Grape Seed Byproducts as a Source of Antioxidant and Anti-Inflammatory Proanthocyanidins

Phenolic compounds, which are secondary plant metabolites, are considered an integral part of the human diet. Physiological properties of dietary polyphenols have come to the attention in recent years. Especially, proanthocyanidins (ranging from dimers to decamers) have demonstrated potential interactions with biological systems, such as antiviral, antibacterial, molluscicidal, enzyme-inhibiting, antioxidant, and radical-scavenging properties. Agroindustry produces a considerable amount of phenolic-rich sources, and the ability of polyphenolic structures to interacts with other molecules in living organisms confers their beneficial properties. Cocoa wastes and grape seeds and skin byproducts are a source of several phenolic compounds, particularly mono-, oligo-, and polymeric proanthocyanidins. The aim of this work is to compare the phenolic composition of Theobroma cacao and Vitis vinifera grape seed extracts by high pressure liquid chromatography coupled to a quadrupole time-of-flight mass spectrometer and equipped with an electrospray ionization interface (HPLC-ESI-QTOF-MS) and its phenolic quantitation in order to evaluate the proanthocyanidin profile. The antioxidant capacity was measured by different methods, including electron transfer and hydrogen atom transfer-based mechanisms, and total phenolic and flavan-3-ol contents were carried out by Folin–Ciocalteu and Vanillin assays. In addition, to assess the anti-inflammatory capacity, the expression of MCP-1 in human umbilical vein endothelial cells was measured.
Analysis of Federated Enterprise Architecture Models

Enterprise architecture models support decision-making as they help organizations to understand, communicate and analyse how business processes are performed, the goals they achieve, the information they use, as well as the applications that realize the business, and the supporting technological infrastructure. The integrated analysis of these models is not straightforward because it cross-cuts different domains that are described using heterogeneous concepts. This paper explores the application of ontologies to analyse enterprise architecture models. Ontologies represent knowledge that can be analysed using computational inference. The contributions of this paper are (1) the specification of multiple enterprise architecture models as ontological schemas, (2) the integration of ontological schemas, and (3) the analysis of the integrated models. The solution artefact consists of a federated model specified as a set of ontological schemas described in OWL-DL that integrates multiple enterprise models and assists their analysis using computational inference. The paper demonstrates the application of the federated model to the ArchiMate language as a means to assess the compliance of business requirements in a civil engineering scenario.
Patterns of oral Choice and Evaluation across secondary content areas

ABSTRACT Our study focuses on Choice and Evaluation, two of Mohan's knowledge structures to uncover how teachers and students across content areas developed disciplinary knowledge through classroom talk. Participants included in-service teachers and their students in rural and urban secondary schools in the Eastern and Western US. Through Choice and Evaluation, we examined opportunities for students across four disciplines to build up their knowledge of content matter or field. Findings revealed that teachers of math and science built students’ field knowledge through classroom exploration, eliciting Evaluation in dialogic patterns involving Choice, while social studies and language arts teachers helped students implicitly use Choice/Evaluation through projects based on their previous experiences. The essential role of student background knowledge in enabling participation across different types of oral exchanges is shown. This study uncovers tendencies across classrooms and makes linguistically informed suggestions for teachers in the disciplines.
Is the grass greener?: mining electric vehicle opinions

Electric Vehicles (EVs) are envisioned to play a large role in the transition from fossil fuel to renewables based transportation. However, their sales thus far are nominal compared to traditional car sales. It has been difficult for manufacturers to measure owners' initial perceptions in order to build improved vehicles more drivers are likely to adopt. Sentiments towards EVs have mostly been determined using either field trials or large surveys of drivers, both of which are problematic. We build a system that mines EV owners' sentiments from online forums. Our system has three main uses. First, it graphs the percentage of positive and negative opinions for each vehicle feature of interest, e.g., battery capacity, giving the user a high level product overview. There is currently no easily-consumable review system for EVs. Second, it allows the user to read opinions about the specific features they are most interested in without searching though irrelevant text. In our case study, we find only 3% of the comments on EV ownership forums express opinions on the features. The system therefore reduces the space of text the user must read by 97%, even assuming they wish to read all opinions about all features. Finally, in addition to mining the same perceptions found during expensive field trials, our system finds perceptions that were only realized after the owners possessed their EVs for an extended period of time, i.e., perceptions not available during shorter trials. The system extracts and classifies opinions with a precision and recall of 60%, which is on par or better than previous opinion mining systems.
C-SAM: Multi-Robot SLAM using square root information smoothing

This paper presents collaborative smoothing and mapping (C-SAM) as a viable approach to the multi-robot map- alignment problem. This method enables a team of robots to build joint maps with or without initial knowledge of their relative poses. To accomplish the simultaneous localization and mapping this method uses square root information smoothing (SRIS). In contrast to traditional extended Kalman filter (EKF) methods the smoothing does not exclude any information and is therefore also better equipped to deal with non-linear process and measurement models. The method proposed does not require the collaborative robots to have initial correspondence. The key contribution of this work is an optimal smoothing algorithm for merging maps that are created by different robots independently or in groups. The method not only joins maps from different robots, it also recovers the complete robot trajectory for each robot involved in the map joining. It is also shown how data association between duplicate features is done and how this reduces uncertainty in the complete map. Two simulated scenarios are presented where the C-SAM algorithm is applied on two individually created maps. One basically joins two maps resulting in a large map while the other shows a scenario where sensor extension is carried out.
Access Control Capability Assessment Method Based on Security Entropy

In this paper, we propose analysis methods based on security entropy to overcome the problem of quantitative analysis, after going through the study of access control capability assessment for computer information system. At First, we computed the uncertainty how system determine irregular access behavior using the security entropy theory. Next, we defined the security theorem of classificatory information system, and proposed the standard of access control capability. Finally, we analyzed the typical access control models using the methods, and compared security and applicability of them. It proved that the method is appropriate for security quantitative analysis of access control model and for the evaluation of access control capability in information system.
Anonymity in Peer-assisted CDNs: Inference Attacks and Mitigation

Abstract The peer-assisted CDN is a new content distribution paradigm supported by CDNs (e.g., Akamai), which enables clients to cache and distribute web content on behalf of a website. Peer-assisted CDNs bring significant bandwidth savings to website operators and reduce network latency for users. In this work, we show that the current designs of peer-assisted CDNs expose clients to privacy-invasive attacks, enabling one client to infer the set of browsed resources of another client. To alleviate this, we propose an anonymous peer-assisted CDN (APAC), which employs content delivery while providing initiator anonymity (i.e., hiding who sends the resource request) and responder anonymity (i.e., hiding who responds to the request) for peers. APAC can be a web service, compatible with current browsers and requiring no client-side changes. Our anonymity analysis shows that our APAC design can preserve a higher level of anonymity than state-of-the-art peer-assisted CDNs. In addition, our evaluation demonstrates that APAC can achieve desired performance gains.