Miracle-dz/UniFAR-FTUs huggingface dataset:
Progressive mastery through deliberate practice: A promising approach for improving writing

This study is an analysis of the curriculum used to teach writing at one US high school in which outcomes for students were extremely strong. The study surfaces what was different in the approach used from what is typically understood and promoted as best practice in the teaching of writing. It does so in order to surface what elements of writing instruction are fruitful for further research. Findings identify an approach to teaching writing called progressive mastery through deliberate practice. This article articulates the five elements that constitute this approach (understanding the final product, breaking down its critical elements, creating a hierarchy among the elements, layering and progression of elements, and gradual release of scaffolds), as well as the ways they work in concert to bring about improved student writing and thinking.
SOFTCARDINALITY-CORE: Improving Text Overlap with Distributional Measures for Semantic Textual Similarity

The soft cardinality proved to be a very strong text-overlapping baseline for the task of semantic-textual-similarity (STS) obtaining the third place in SemEval-2012. This year, besides to the plain text-overlapping approach, two distributional word-similarity functions derived from the ukWack corpus were tested within the soft cardinality. These measures contributed to improve the performance of the text-overlapping approach. Further, these were combined with other features using regression obtaining positions 18th, 22th and 23th among the 90 participants systems in the official 2013 shared task ranking at *SEM. After the release of the gold standard anotations of the test data, we observed that the bare similarity measures, without the use of regression, would have obtained positions 6th, 7th and 8th. Moreover, the simple arithmetic average of these similarity measures would have been 4th (mean=0.5747). This paper describes the submitted system and the similarity measures that would obtained those better results.
Powerline Communication Based Home Automation and Electricity Distribution System

Home automation is a common field of interest for engineers, researchers and of course, consumers. Today, home automation systems are commonly found in many homes across many countries around the world. Such systems not only offer a high level control over home appliances, but also try to reduce the wastage of electricity. Powerline communication (PLC) is a popular technique employed in home automation systems that reuses household electrical wiring for communication. But the current systems have some drawbacks and need improvement. Our paper describes the design of a next generation home automation system that will provide great features to consumers as well as electricity distributors. The main features of this system are web based control and data-logging facility.
On a method of single neural PID feedback compensation control

A control structure based on PID controller, single neural PID controller and single neural PID identifier is proposed. The PID controller is used to maintain the stability in the early stage of the study process of the neural network as well as when the system is under disturbance. The single neural PID identifier performs online learning based on the control error. Then it transfers the parameter results to the single neural PID controller, successfully avoiding offline learning. Afterwards, the single neural PID controller performs further study based on the control parameters and the output of the PID controller, producing a feedback compensation control quantity in order to compensate the model error of the single neural PID identifiers. The simulation results shows that compared with traditional PID control method, the single neural PID feedback compensation control method obtains significant improvement in various control features and has relatively excellent robustness and static features.
Expectation Propagation for Likelihoods Depending on an Inner Product of Two Multivariate Random Variables

We describe how a deterministic Gaussian posterior approximation can be constructed using expectation propagation (EP) for models, where the likelihood function depends on an inner product of two multivariate random variables. The family of applicable models includes a wide variety of important linear latent variable models used in statistical machine learning, such as principal component and factor analysis, their linear extensions, and errors-in-variables regression. The EP computations are facilitated by an integral transformation of the Dirac delta function, which allows transforming the multidimensional integrals over the two multivariate random variables into an analytically tractable form up to one-dimensional analytically intractable integrals that can be eciently computed numerically. We study the resulting posterior approximations in sparse principal component analysis with Gaussian and probit likelihoods. Comparisons to Gibbs sampling and variational inference are presented.
[(Ph)2 (NMe2 )C(OLi)⋅THF]2 : Crystal Structure of the Tetrahedral Intermediate Formed in the Reaction of N,N-Dimethylbenzamide and Phenyllithium.

Information on the reaction path for the 1,2-eliminiation of LiNMe2 to form benzophenone is provided by the X-ray crystal structure analysis of the tetrahedral adduct [(Ph)2 (NMe2 )C(OLi)⋅THF]2 (a portion of the structure is shown schematically), which is prepared from N,N-dimethylbenzamide and phenyllithium. A N1-Li1 interaction, which is not observed, would lead to loss of the anomeric effect (nN →σ*C-O ) as well as high conformational strain along the C1-N1 bond.
Exposing image forgery through the detection of contrast enhancement

In this paper, a novel forensic method of exposing cut-and-paste image forgery through detecting contrast enhancement is proposed. We reveal the inter-channel correlation introduced by color image interpolation, and show how a linear or nonlinear contrast enhancement can disturb this natural inter-channel dependency. We then construct a metric to measure these correlations, which are useful in distinguishing the original and contrast enhanced images. The effectiveness of the proposed algorithm is experimentally validated on natural color images captured by commercial cameras. Finally, its robustness against some anti-forensic algorithms is also discussed.
Controlled-release and preserved bioactivity of proteins from (self-assembled) core-shell double-walled microspheres

In order to address preserved protein bioactivities and protein sustained-release problems, a method for preparing double-walled microspheres with a core (protein-loaded nanoparticles with a polymer-suspended granule system-formed core) and a second shell (a polymer-formed shell) for controlled drug release and preserved protein bioactivities has been developed using (solid-in-oil phase-in-hydrophilic oil-in-water (S/O/Oh/W)) phases. The method, based on our previous microsphere preparation method (solid-in-oil phase-in-hydrophilic oil-in-water (S/O/Oh/W), employs different concentric poly(D,L-lactide-co-glycolide), poly(D,L-lactide), and protein-loaded nanoparticles to produce a suspended liquid which then self-assembles to form shell-core microspheres in the hydrophilic oil phase, which are then solidified in the water phase. Variations in the preparation parameters allowed complete encapsulation by the shell phase, including the efficient formation of a poly(D,L-lactide) shell encapsulating a protein-loaded nanoparticle-based poly(D,L-lactide-co-glycolide) core. This method produces core-shell double-walled microspheres that show controlled protein release and preserved protein bioactivities for 60 days. Based upon these results, we concluded that the core-shell double-walled microspheres might be applied for tissue engineering and therapy for chronic diseases, etc.
OptARQ: A SPARQL Optimization Approach based on Triple Pattern Selectivity Estimation

Query engines for ontological data based on graph models mostly execute user queries without considering any optimization. Especially for large ontologies, optimization techniques are required to ensure that query results are delivered within reasonable time. OptARQ is a first prototype for SPARQL query optimization based on the concept of triple pattern selectivity estimation. The evaluation we conduct demonstrates how triple pattern reordering according to their selectivity affects the query execution performance. Paper Type: Technical Report
Rotor Faults Diagnosis Using Artificial Neural Networks and Support Vector Machines

Unbalance and misalignment are the commonly occurring faults in rotating mechanical systems. These faults are caused mainly due to improper installation or premature failure of the machine components. Detection and diagnosis of faults in rotating machinery is crucial for its optimal performance. In this study artificial neural networks (ANN) and support vector machine (SVM) techniques have been used to determine the effectiveness of statistical features for fault diagnosis in rotating mechanical system using healthy and faulty rotors. The vibration signature responses are obtained and analyzed for healthy shaft without disk (HSWD), healthy shaft with an unbalanced disk (HSWUD), centrally bent shaft without disk (CBSWD) and centrally bent shaft with an unbalanced disk (CBSWUD) with zero bow phase angle. Their predominant features were fed as input for training and testing ANN and SVM, whereas the relative efficiency of these techniques have been compared for classifying the faults in the test system. The study concludes that these machine learning algorithms can be used for fast and reliable diagnosis of rotor faults.
On the Equivalence of Bound State Solutions

In this paper we show the equivalence of various (nonthreshold) bound state solutions of branes, or equivalently branes in background potentials, in ten- and eleven-dimensional supergravity. We compare solutions obtained in two very different ways. One method uses a zero mode analysis to make an ansatz which makes it possible to solve the full nonlinear supergravity equations. The other method utilizes T duality techniques to turn on the fields on the brane. To be specific, in eleven dimensions we show the equivalence for the (M2,M5) bound state, or equivalently an M5-brane in a C(3) field, where we also consider the (MW,M2,M2′,M5) solution, which can be obtained from the (M2,M5) bound state by a boost. In ten dimensions we show the equivalence for the ((F,D1),D3) bound states as well as the bound states of (p,q) five-branes with lower dimensional branes in type IIB, corresponding to D3-branes in B(2) and C(2) fields and (p,q) five-branes in B(2), C(2) and C(4) fields. We also comment on the recently proposed V duality related to infinitesimally boosted solutions.
Memory-Efficient Symbolic Heuristic Search

A promising approach to solving large state-space search problems is to integrate heuristic search with symbolic search. Recent work shows that a symbolic A* search algorithm that uses binary decision diagrams to compactly represent sets of states outperforms traditional A* in many domains. Since the memory requirements of A* limit its scalability, we show how to integrate symbolic search with a memory-efficient strategy for heuristic search. We analyze the resulting search algorithm, consider the factors that affect its behavior, and evaluate its performance in solving benchmark problems that include STRIPS planning problems.
Adaptation of a High-Pressure Liquid Chromatography System for the Measurement of Viscosity

The state-of-the-art instruments for the determination of viscosity of liquids typically require a significant amount of sample, and have relatively low throughput due to manual and sequential measurements. In this study, it was demonstrated that the pressure generated by the flow of viscous fluids through a capillary could be precisely measured employing high-pressure liquid chromatography systems (HPLC) using glycerol solutions of moderate viscosity as a mobile phase, and correlated to the dynamic (absolute) viscosity. The parameters allowing calculation of the viscosity of glycerol calibration standards as a function of temperature were established. The measurements were made with volumes as small as 10 μL, and the use of an autosampler permitted unattended analysis of a large number samples. The method appears to be particularly well suited for the development of viscous formulations of therapeutic, protein-based macromolecules, where the amount sample is typically limited and relatively wide ranges of conditions are considered in the optimization process. The utility of the methods was illustrated by application to the development of concentrated inactivated virus vaccines.
Parallel Temporal Resolution

Temporal reasoning is complex. Typically, the proof methods used for temporal logics are both slow and, due to the quantity of information required, consume a large amount of space. The introduction of parallelism provides the potential for significant speedups together with the increased memory size required to handle larger proofs. Thus, we see the effective utilisation of parallelism as being crucial in making temporal theorem-proving practical. In this paper we investigate and analyse opportunities for parallelism within a clausal resolution method for temporal logics. We show how parallelism might be introduced into the method in a variety of ways, providing a range of options for the parallel implementation of proof procedures for this important class of logics.
Effect of Subject Restraint and Resistance Pad Placement on Isokinetic Knee Flexor and Extensor Strength

Background: In clinical practice, several subject restraint and resistance pad placement variations are used when an isokinetic knee flexion/extension test is performed. However, it is unknown if these variations affect the outcome measures. The aims of this study were to determine if these setup variations affect isokinetic outcomes and to establish the smallest detectable difference for these setup variations. Hypothesis: Variation in isokinetic setup affects outcome measures. Study Design: Cross-sectional repeated-measures crossover study. Methods: Ten recreationally active adult men were examined with isokinetic dynamometry on 4 separate days. In the first 3 days, fully strapped and trunk-unstrapped testing was conducted with the resistance pad placed distally on the shin. On days 1 and 3, the unstrapped condition was performed first, followed by the strapped condition. On day 4, the resistance pad was placed proximal on the shin (anterior cruciate ligament testing). Results: There were no within-condition differences for days 1, 2, or 3 for the strapped and unstrapped conditions (P > 0.05). Between-condition comparisons were significant (eg, quadriceps peak torque, P < 0.001; hamstring peak torque, P = 0.043) for the strapped, unstrapped, and proximal resistance pad placement conditions. The strapped condition generally showed the largest torques, and the unstrapped, the least. The smallest detectable differences were relatively large (eg, quadriceps peak torque strapped = 20.6%). The greatest intraclass correlation values were found when strapped. Conclusions: Subject setup significantly influences isokinetic outcome measures at the knee. Since the strapped condition demonstrated the greatest repeatability, it is recommended. The smallest detectable differences were relatively high for all variables and should be considered in the interpretation of the effect size of interventions. Clinical Relevance: Subject setup strapping must be considered when investigating test-retest values or when comparing subjects after isokinetic testing at the knee. The fully strapped condition has the best repeatability and highest torque values.
Analysis of maximal-ratio and equal-gain diversity systems for M-ary QAM on generalized fading channels

New, simple yet very accurate closed-form expressions for calculating the symbol error probability (SER) of multilevel quadrature amplitude modulation (MQAM) in conjunction with L-fold antenna diversity on a Nakagami (1960) fading channel are presented. Both maximal-ratio (MRC) and equal-gain (EGC) predetection diversity combining techniques have been considered. The exact closed-form formula for a MRC diversity system removes the limitations of previous studies in the literature which have been limited to Rayleigh fading. Moreover, an exact analysis of EGC for MQAM has not been reported previously despite its practical interest. The exact SER is expressed as a finite-range integral. Our unified expressions are sufficiently general to handle arbitrary fading parameters as well as dissimilar mean signal strengths across the diversity branches. The generality and computational efficiency of these new formulas render themselves as a powerful tool for SER analysis in different fading conditions.
Real-World Decision Making: Logging Into Secure vs. Insecure Websites

A novel Two-Alternative Forced Choice experiment was used to evaluate the effects of security indicators on participants’ decision making when identifying potentially risky websites. Participants recruited from Amazons Mechanical Turk were instructed to visit a series of secure and insecure websites, and decide as quickly and as accurately as possible whether or not it was safe to login. Hierarchical linear regression models were used to identify the importance of the presence of security indicators, security domain knowledge, and familiarity with the presented websites to correctly differentiate between secure and insecure websites. An analysis of participants’ mouse trajectories was used to assess how websites were searched before a decision was made. The likelihood to login was modulated by security domain knowledge and familiarity with websites. The mouse tracking data revealed that spoofed websites with security indicators resulted in less search on the website, especially when the browser chrome indicated extended validation. Taken together, these results suggest that participants are aware of security indicators, but their responses are modulated by multiple factors.
Collective Commitments

In this paper we aim to arrive at an understanding of the notion of ccfilec:tivc commitments in grtmps of agPnts. C~olle.clivc intentions ancl collc¢’tiw~ commitmens arc formalized in tim logical framework designed by I~ao and (;eorgcff in (l{ao &" Georgeff 1991 ). Then. hroe c,mmitmcnt s ralegies arc’ defined and invest.igated in the c~mtcxt <,f planning and plan exoc’ution in different kinds t~f groups of agents within a dynamically changing envirtmm(mt. It turr, s (rot. thai alr+radv at the stage td" gr<mp ft~rrnation: it is cru,’ial to <:h,)c~s(~ ab~c? Tits wilh appr<~priato cr~rnmitrTlc’nl st rategic~s as mombc,rs. Nc~xl.: during task d+,legali+,tu all meml)ers’ c (~mrllilrn(ml st ratc’gi(,s should bc~ taken irnl.t) account in the proper way. Finally. during plan c,xc,cutitm agc:’rnls of different (’ommitm(,n! (’harac’tori~tics play different r-I¢. s.
The effect of injections of lysophosphatidyl choline into white matter of the adult mouse spinal cord.

The action of lysophosphatidyl choline, LPC, on myelinated fibres in the dorsal white matter of the spinal cord of the adult mouse has been studied electron microscopically, and compared with the recently described activity of LPC in the peripheral nerve fibre. Control injections of sterile isotonic saline and injections of LPC both produced oedematous zones in the white matter; within these zones, many fibres exhibited the characteristic changes of Wallerian degeneration. After injection of LPC, however, an area of demyelination was observed, extending within and beyond the Wallerian degeneration. Ultrastructurally, demyelination involved progressive disruption of the previously-compact sheath, observed initially as a splitting of the intraperiod line within 30 min. Subsequent breakdown was-indicated by the appearance of strands of 4-6 nm repeat lamellar material, itself further degraded through quintuple- and triple-layered lamellar units to disorganized membranous networks around undamaged axons. The significance of the demyelinating activity of LPC is discussed in terms of its known action in in vitro systems of isolated central nervous tissue, and its action in vivo in the peripheral nervous system.
Product Evaluation Using Mining and Rating Opinions of Product Features

Because of increase in social networking, more and more people are connected. The people use to share information using these sites and also through the personal blogs. This information sharing is done globally. As the Internet Technology is becoming reliable, people feel safe while sharing the information. Other than messages and photos, this information also includes opinions, experiences and feedbacks regarding any product. These opinions and feedbacks are very important for the organizations that are selling or manufacturing the products, which can be used for changing designs, personalization and better understanding of product. This information is very useful for people or customer for buying the product. But for a customer, it is very difficult to review all the opinions or feedbacks available on net for a particular product. So, data mining approaches are used to mine the opinions, perform summarization of reviews for a particular product based on features or any other category. Most of the existing methods are processing the reviews in terms of positive and negative comments. But this approach is not enough for a customer to make decision about product. The proposed approach not only finding the positive and negative comments for any product or product features, but also rating them in the order of positivity and negativity. Also, the proposed approach gives the degree of comparisons for a particular product and product features.
Threats to the validity of mutation-based test assessment

Much research on software testing and test techniques relies on experimental studies based on mutation testing. In this paper we reveal that such studies are vulnerable to a potential threat to validity, leading to possible Type I errors; incorrectly rejecting the Null Hypothesis. Our findings indicate that Type I errors occur, for arbitrary experiments that fail to take countermeasures, approximately 62% of the time. Clearly, a Type I error would potentially compromise any scientific conclusion. We show that the problem derives from such studies’ combined use of both subsuming and subsumed mutants. We collected articles published in the last two years at three leading software engineering conferences. Of those that use mutation-based test assessment, we found that 68% are vulnerable to this threat to validity.