Miracle-dz/UniFAR-FTUs huggingface dataset:
Is Longer-Term Psychodynamic Psychotherapy More Effective than Shorter-Term Therapies? Review and Critique of the Evidence

Background: In 2008, Leichsenring and Rabung performed a meta-analysis of 8 studies of longer-term psychodynamic psychotherapy (LTPP). The work was published in the Journal of the American Medical Association (vol. 300, pp 1551–1565), and they concluded that LTPP was more effective than shorter-term therapies. Method: Given that such claims have the potential to influence treatment decisions and policies, we re-examined the meta-analysis and the 8 studies. Results: We found a miscalculation of the effect sizes used to make key comparisons. Claims for the effectiveness of LTPP depended on a set of small, underpowered studies that were highly heterogeneous in terms of patients treated, interventions, comparison-control groups, and outcomes. LTPP was compared to 12 types of comparison-controls, including control groups that did not involve any psychotherapy, short-term psychodynamic psychotherapy, and unvalidated treatments. Additionally, the studies failed to protect against threats to bias, and had poor internal validity. Conclusion: Overall, we found no evidence to support claims of superiority of LTPP over shorter-term methods of psychotherapy.
High Mortality Among Non-HIV-Infected People Who Inject Drugs in Bangkok, Thailand, 2005-2012.

OBJECTIVES We examined the causes of hospitalization and death of people who inject drugs participating in the Bangkok Tenofovir Study, an HIV preexposure prophylaxis trial. METHODS The Bangkok Tenofovir Study was a randomized, double-blind, placebo-controlled trial conducted during 2005 to 2012 among 2413 people who inject drugs. We reviewed medical records to define the causes of hospitalization and death, examined participant characteristics and risk behaviors to determine predictors of death, and compared the participant mortality rate with the rate of the general population of Bangkok, Thailand. RESULTS Participants were followed an average of 4 years; 107 died: 22 (20.6%) from overdose, 13 (12.2%) from traffic accidents, and 12 (11.2%) from sepsis. In multivariable analysis, older age (40-59 years; P = .001), injecting drugs (P = .03), and injecting midazolam (P < .001) were associated with death. The standardized mortality ratio was 2.9. CONCLUSIONS People who injected drugs were nearly 3 times as likely to die as were those in the general population of Bangkok and injecting midazolam was independently associated with death. Drug overdose and traffic accidents were the most common causes of death, and their prevention should be public health priorities.
Modeling and Temperature Control System Design of Heating Furnace for Thermoforming Machine

The temperature control of the heating furnace has a great influence on the quality of the product. Too high temperature or too low will make the product disqualified. Based on a company's thermoforming machine, this paper analyzes the function of the heating system of the thermoforming machine in the whole equipment, as well as its structure, design principle, heating mode and so on. For the characteristics of the temperature field of the heating system of the thermoforming machine, the heat rise curve of the sheet is obtained by the heating simulation experiment of the sheet. The temperature control system suitable for sheet metal heating is developed. The experimental results show that the scheme can meet the specific requirements of the process, the temperature control is accurate, the reaction is sensitive, and the expected purpose is achieved. Keywords—thermoforming machine; temperature control; heating furnace; self-tuning; PID
Evaluation of analog and digital signal processing on PSoC architecture with DCT as use case: Comparison of an analog and software based implementation of the digital cosine transform on a Programmable System on Chip

One trend for signal processing hardware is the increasing integration of different functionalities in one mixed-signal chip. But the additional integration of analog components on one chip with digital components and a micro-processor like in the Programmable System on Chip (PSoC) from Cypress is accompanied with the extension of the design space and the need to explore it by evaluating different implementations with the same functionality to find a good trade-off between analog and digital signal processing. This paper evaluates different implementations of the discrete cosine transform (DCT) with different analog-digital partitioning. Therefore the DCT is integrated as software controlled analog circuit based on the switched capacitors and operational amplifiers available in the analog subsystem of the PSoC architecture. The presented analog DCT implementation scales linear and the number of simultaneously computable spectral signal components is only limited by the available on-chip resources on the currently used PSoC5LP. To evaluate the analog implementation, the DCT is also implemented as software executed on the ARM Cortex-M3 integrated in the PSoC5LP. The comparison of both solutions shows that the analog hardware available on the PSoC architecture can be used to directly process analog sensor signals with only minor additional off-chip components with a CPU load of about 8% caused by the software controlling the analog subsystem.
University of

Associative Classification has been successfully employed in many diverse classification problem domains, showing high classification accuracy and adequate computation time relative to the other traditionally used solutions. Despite this, very little research has been conducted with it in the problem area of Text Categorisation and only a small number of approaches presently exist that are based on the concept. This paper aims to highlight the main characteristics of general Text Categorisation problems, provide an overview of the principal drawbacks associated with traditionally employed techniques and outline the benefits of utilising Associative Classification methods as a replacement. The potential disadvantages of the approach are also considered and a range of examples is included for each section in order to present a balanced representation that is unbiased.
Symbolic timing diagrams: a visual formalism for model verification

The work described in this thesis introduces a novel visual specification formalism named STD which can be used to verify models of reactive systems. The presentation has three parts: First, an introduction and motivation is given. Second, a theoretical framework needed to describe the context of the design of STD is layed out. Third, the novel formalism itself is introduced in two steps: First, a syntactical subset (LSTD) of STD is analyzed in detail, and the semantics is illustrated by a representative set of derivation proof rules. Second, the main formalism STD is defined. The connection between LSTD and STD is established by a theorem, which shows that a STD specification can be represented by an equivalent LSTD specification. While the presentation is focused on the theoretical foundation of STD, complementary work has been performed over the past five years to bring the concept of STD to a usable implementation. This is shortly described in the first part of the thesis. The formalism has been integrated into existing verification frameworks for different specification languages, in particular for VHDL and the Statemate(TM) framework.
Model-Based Comparison of the Normal and Fontan Circulatory Systems—Part III

Background: For patients with the Fontan circulatory arrangement, angiotensin-converting enzyme inhibition, guanylate cyclase activation, phosphodiesterase 5 inhibition, and endothelin receptor antagonism have so far resulted in little or no improvement in V ˙ O 2 peak or peak cardiac index (CI), suggesting that our understanding of the factors that most impact the exercise hemodynamics is incomplete. Methods: To facilitate comparisons with clinical reports of the exercise performance of preadolescent Fontan patients, we rescaled our previously reported computational models of a two-year-old normal child and similarly aged Fontan patient, extended our Fontan model to capture the nonlinear relationship between flow and resistance quantified from previous computational fluid dynamic analyses of the total cavopulmonary connection (TCPC), and added respiration as well as skeletal muscle contraction. Results: (1) Without respiration, the computational model for both the normal and the Fontan cannot attain the values for CI at peak exercise reported in the clinical literature, (2) because flow through the TCPC is much greater during inspiration than during expiration, the effect on the CI of the dynamic (flow-related) TCPC resistance is much more dramatic during exercise than it is in breath-hold mode at rest, and (3) coupling breathing with skeletal muscle contraction leads to the highest augmentation of cardiac output, that is, the skeletal muscle pump is most effective when the intrathoracic pressure is at a minimum—at peak inspiration. Conclusions: Novel insights emerge when a Fontan model incorporating dynamic TCPC resistance, full respiration, and skeletal muscle contraction can be compared to the model of the normal.
Aggregations over Generalized Hypertree Decompositions

We study a class of aggregate-join queries with multiple aggregation operators evaluated over annotated relations. We show that straightforward extensions of standard multiway join algorithms and generalized hypertree decompositions (GHDs) provide best-known runtime guarantees. In contrast, prior work uses bespoke algorithms and data structures and does not match these guarantees. Our extensions to the standard techniques are a pair of simple tests that (1) determine if two orderings of aggregation operators are equivalent and (2) determine if a GHD is compatible with a given ordering. These tests provide a means to find an optimal GHD that, when provided to standard join algorithms, will correctly answer a given aggregate-join query. The second class of our contributions is a pair of complete characterizations of (1) the set of orderings equivalent to a given ordering and (2) the set of GHDs compatible with some equivalent ordering. We show by example that previous approaches are incomplete. The key technical consequence of our characterizations is a decomposition of a compatible GHD into a set of (smaller) {\em unconstrained} GHDs, i.e. into a set of GHDs of sub-queries without aggregations. Since this decomposition is comprised of unconstrained GHDs, we are able to connect to the wide literature on GHDs for join query processing, thereby obtaining improved runtime bounds, MapReduce variants, and an efficient method to find approximately optimal GHDs.
IMMUNOGLOBULINS IN ACUTE LEUKEMIA IN CHILDREN

Levels of immunoglobulins G, A and M were studied in 120 cases of acute leukemia between 7 months and 16 years of age. Eighty-three cases had acute stem cell leukemia (ALL) and 37 had acute myelogenous, monocytic or atypical leukemia. (Estimations during radial immunodiffusion were done at diagnosis, after induction of remission and after 6 weeks of maintenance therapy.)In ALL the initial levels of all 3 immunoglobulins at diagnosis and before starting therapy, tended to be low in spite of the prevalence of infection. Further decreases occurred after induction, but thereafter the levels increased to reach pre-therapy levels despite maintenance therapy. Levels of IgG below the 350-380 mg% had a bad prognostic significance. In patients receiving periodic central nervous system (CNS) irradiation, the IgA levels were significantly lower than in patients not so treated, but the incidence of intercurrent infections was not significantly altered.In the group of myelogenous or atypical leukemia, high or normal initial levels of immunoglobulins were found in all but two at diagnosis. The trend during induction and maintenance followed the same pattern as in ALL.
Identification of epidermal progenitors for the Merkel cell lineage

Epithelial stem cells in adult mammalian skin are known to maintain epidermal, follicular and sebaceous lineages during homeostasis. Recently, Merkel cell mechanoreceptors were identified as a fourth lineage derived from the proliferative layer of murine skin epithelium; however, the location of the stem or progenitor population for Merkel cells remains unknown. Here, we have identified a previously undescribed population of epidermal progenitors that reside in the touch domes of hairy skin, termed touch dome progenitor cells (TDPCs). TDPCs are epithelial keratinocytes and are distinguished by their unique co-expression of α6 integrin, Sca1 and CD200 surface proteins. TDPCs exhibit bipotent progenitor behavior as they give rise to both squamous and neuroendocrine epidermal lineages, whereas the remainder of the α6+ Sca1+ CD200– epidermis does not give rise to Merkel cells. Finally, TDPCs possess a unique transcript profile that appears to be enforced by the juxtaposition of TDPCs with Merkel cells within the touch dome niche.
On capacity of quality-based channel-state reporting in mobile systems with greedy transmission scheduling

Greedy transmission scheduling achieves great capacity by maximally exploiting independent time-varying channels across different mobile users. The improvement in capacity, however, depends on the degree of completeness of the channel quality information (CQI) fed back from the receiver to the transmitter. To be motivated by an insight that too many CQI feedbacks may rather impair the capacity gain, due to causing congestion in feedback link, this letter proposes a quality-based CQI reporting (QBR) scheme where the CQIs are fed back to the transmitter only for receivers whose signal quality is above a predefined threshold. The capacity is provided in terms of the threshold and feedback-error rate. The results show that QBR achieves outstanding performance when the feedback error is present. In addition, it quickly approaches an unimpaired ideal capacity, as the number of users increases if the error is not assumed
Variance-Reduced Proximal Stochastic Gradient Descent for Non-convex Composite optimization

Here we study non-convex composite optimization: first, a finite-sum of smooth but non-convex functions, and second, a general function that admits a simple proximal mapping. Most research on stochastic methods for composite optimization assumes convexity or strong convexity of each function. In this paper, we extend this problem into the non-convex setting using variance reduction techniques, such as prox-SVRG and prox-SAGA. We prove that, with a constant step size, both prox-SVRG and prox-SAGA are suitable for non-convex composite optimization, and help the problem converge to a stationary point within $O(1/\epsilon)$ iterations. That is similar to the convergence rate seen with the state-of-the-art RSAG method and faster than stochastic gradient descent. Our analysis is also extended into the min-batch setting, which linearly accelerates the convergence. To the best of our knowledge, this is the first analysis of convergence rate of variance-reduced proximal stochastic gradient for non-convex composite optimization.
SLYK : A Transparent Fault-Tolerant Migration Platform

The recent trend towards mobile computing has introduced new challenges such as migrating a user’s computing environment as he moves from location to location. Although laptops offer a great deal of mobility, they still suffer from traditional drawbacks, such as having weak computing power compared to desktops and being relatively expensive and encumbering. In the past few years, the concept of a virtual environment that can be suspended at one place and resumed at another has started to emerge, opening the door to true mobility. We propose a virtual machine-based migration platform that preserves active network connections across machine migrations. To make our system fully deployable, we require neither cooperation from the outside world nor any modification to the host or guest operating system. The platform provides machine and network transparency as well as fault tolerance and data integrity.
Reliability and Validity of the OMNI-Vibration Exercise Scale of Perceived Exertion.

UNLABELLED This study examined reliability and concurrent validity of the newly developed OMNI-vibration exercise scale (OMNI-VIBRO) to measure Ratings of Perceived Exertion (RPE) during vibration exercise in twenty recreationally active students (12 males and 8 females). The criterion variables were muscle activity of the Vastus Medialis (VM), Vastus Lateralis (VL), Biceps Femoris (BF), and Medial Gastrocnemius (MG) muscles, as well as accelerations (12.5, 20.2, 30.9, 36.3, 60.1, and 88.4 m·s(-2)). RPE was registered during the final of each 30 s condition. Each participant attended two laboratory testing sessions. Positive linear regression coefficients (p < 0.001) were found between RPE (OMNI-VIBRO) and acceleration (r = 0.976) and muscle activity of lower-body muscles (r = 0.942). Between session (test-retest), reliability of RPE (OMNI-VIBRO) was good (ICC: 0.790. 95% CI: 0.699-0.854). CONCLUSIONS findings provided concurrent validation of the OMNI-VIBRO to measure RPE for the active muscle and overall body in recreationally active students performing lower-body vibration exercise. Key pointsThe pictorial-verbal category scale of perception of exertion (OMNI-VIBRO) during lower body vibration exercise on a vibration platform showed good concurrent validity.The OMNI-VIBRO method in conjunction with WBV exercise would allow coaches, fitness professionals, or health-care personnel to assess the intensity that corresponds to the level of the vibratory stimulus.The OMNI-VIBRO could be a useful tool of measuring the different intensities of a vibratory-training session and altering the vibratory stimulus in a periodized fashion.
Hierarchical Channels and the Relative Speed ofMessages 1

FIFO communication is expensive to support. It is also quite restrictive for several applications. In this paper, we study the concept of relative speed of messages and a hierarchy of such speeds which results in a hierarchical channel . In hierarchical channels messages sent at lower levels of the hierarchy cannot be overtaken by message sent at a higher level. But lower level messages can overtake higher level messages. The exibility provided by hierarchical channels can be exploited by several distributed applications. We present examples to illustrate how FIFO ordering constraints can be relaxed for such applications using hierarchical channels , leading to increased concurrency. We present a new algorithm to implement hierarchical channels . The algorithm employs selective ooding, and is tolerant to link-failures. It is possible to calculate the statistical distribution of message propagation delays for a selective ooding implementation of hierarchical channels , as shown in the paper. So, they can be employed to implement statistical channels. If hierarchical channels are used for communication, assertions can be made about end-to-end message ordering characteristics. Thus, hierarchical channels subsume message overtaking characteristics of point-topoint links, as well as send and receive queues at intermediate nodes. Hence, hierarchical channels can support stronger assertions about message ordering, yet provide greater exibility than priority queues. Hierarchical channels can also be used to implement priority queues. Compared to Fchannels , hierarchical channels can model a greater variety of message orderings: all the way from FIFO message delivery to totally unordered message delivery.
The Performance of Rotary Magnetic Refrigerators with Layered Beds of LaFeSiH

Astronautics Corporation has designed, constructed, and extensively tested two generations of magnetic refrigerators employing a rotary magnet-fixed bed architecture. This paper reviews and summarizes the performance of these prototypes. In particular, the testing on the 1st-generation prototype demonstrates the significant performance advantage associated with the use of layered beds of LaFeSiH, a magnetocaloric material with a sharp, first-order transition and a readily adjustable Curie temperature. The 2nd-generation prototype exhibits peak performance of 2.4 kW of cooling power over a temperature span of 11 °C, corresponding to 168 W of specific exergetic cooling power. We believe that this is the highest performance yet reported for a magnetic refrigeration system. Moreover, the system performance is in good agreement with theoretical prediction.
Interference Alignment in Virtualized Heterogeneous Cellular Networks With Imperfect Channel State Information

Wireless network virtualization is a promising technique for future wireless networks. In this paper, different from traditional virtualization approaches by means of resource isolation at the subchannel or time-slot level, we propose a novel framework of heterogeneous cellular network virtualization combined with interference alignment (IA) technology, which utilizes IA to cancel the mutual interference, by aligning the interference from other transmitters into a lower dimensional subspace at each receiver. In this framework, we formulate the virtual resource allocation as a joint virtualization and IA problem, considering the gain not only from interference mitigation introduced by IA but from the sum-rate improvement brought by virtualization as well. In addition, to reduce the computational complexity, with the recent advances in discrete stochastic approximation (DSA), we propose a two-step algorithm to solve the formulated problem. The basic principle is to design IA schemes for each feasible association combination and then to traverse the association space to search for the optimal association combination with the maximum sum rate. Extensive simulations are conducted with different system parameters to show the effectiveness of the proposed scheme.
A circuit model for nonlinear simulation of radio-frequency filters using bulk acoustic wave resonators

This paper describes a circuit model for the analysis of nonlinearity in the filters based on radio- frequency (RF) bulk acoustic wave (BAW) resonators. The nonlinear output is expressed by a current source connected parallel to the linear resonator. Amplitude of the nonlinear current source is programmed proportional to the product of linear currents flowing in the resonator. Thus, the nonlinear analysis is performed by the common linear analysis, even for complex device structures. The analysis is applied to a ladder-type RF BAW filter, and frequency dependence of the nonlinear output is discussed. Furthermore, this analysis is verified through comparison with experiments.
Calibration capabilities at PTB for radiation thermometry, quantitative thermography and emissivity

The calibration capabilities of the Physikalisch-Technische Bundesanstalt (PTB), the national metrology institute of Germany, are described. PTB offers calibrations for non-contact thermometry at the highest metrological level. For this purpose, PTB operates measurement and calibration facilities with national standards in air and under vacuum to characterize radiation thermometers, infrared camera systems and radiation standards. Our aim is to provide and develop application-specific traceability concepts for infrared radiation thermometry, infrared radiometry, for quantitative thermography and emissivity measurement.