Tabular datasets, collections of rows and columns, are fundamental in data analysis basically all areas research. Self-report questionnaires a very common useful tool for gathering from users, patients, or customers. Often, experts can label each item these as measure given condition behavior, e.g., mental health conditions such depression. Considering this, many artificial intelligence techniq...

Without lengthy, iterative refinement of guidelines, and equally lengthy and iterative training of annotators, the level of inter-subjective agreement on simple tasks of phonetic, phonological, syntactic, semantic, and pragmatic annotation is shockingly low. This is a significant practical problem in speech and language technology, but it poses questions of interest to psychologists, philosophe...

We tested two pipelines developed for template-free protein structure prediction in the CASP11 experiment. First, the QUARK pipeline constructs structure models by reassembling fragments of continuously distributed lengths excised from unrelated proteins. Five free-modeling (FM) targets have the model successfully constructed by QUARK with a TM-score above 0.4, including the first model of T083...

The unique structures of human choriogonadotropin (hCG) and related glycoprotein hormones make them well suited for studies of protein folding in the endoplasmic reticulum. hCG is stabilized by a strand of its beta-subunit that has been likened to a "seatbelt" because it surrounds alpha-subunit loop 2 and its end is "latched" by an intrasubunit disulfide bond to the beta-subunit core. As shown ...

Mesh refinement procedures for the solution of three dimensional problems are described. The computational domain is represented by an assembly of tetrahedral elements and the mesh refinement is acheived by the bisection and Rivara methods using an explicit mesh density function coupled with an automatic 3D mesh generator. A couple of benchmark examples is used to compare the performance of bot...

A method for the automatic refinement of single-task timed automaton specifications into microcontroller assembly code is proposed. The outputs of the refinement are an assembly implementation and a timed automaton describing its exact behaviour. Implementation is only possible when all specified timing behaviours can be met by the target microcontroller. Crucially, the implementation does not ...

State-of-the-art psychotherapy for anxiety disorders represents some of the most efficacious treatments in the mental health literature. Nevertheless, these treatments are not panacea. Too many patients drop out of treatment, response rates leave room for improvement, and residual symptomatology is common. The quest to improve therapy for patients suffering from mental disorders necessitates on...

This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connected to one side of a larger quadrilateral. The main idea in element refinement is to place one or more nodes outside the element area and to modify element shape functions in order to maintain continuity at refinement edges. Specia...