Creeping flow solution of the Leidenfrost phenomenon

Creeping flow solution of Leidenfrost phenomenon by use of Navier-Stokes, continuity, and energy equation

A generalized correlation of vaporization times of drops in film boiling on a flat plate

Vaporization time correlations for drops in leidenfrost state of film boiling on flat plat

10 years of experience with autogenous microsurgical lymphvessel-transplantation

The authors report their experience with the autogenous microsurgical lymphvessel transplantation for the treatment of upper (n = 60, 55 females and 5 males) and lower (n = 35, 10 females and 25 males, primary lyphredemas = 11, secondary lymphredemas = 24) limb edemas. Regarding the volume measurements before and after lymphvessel - transplantation in 58 patients there was a reduction of volume differences between healthy and affected arms of more than the half in 76 % of the patients after a mean follow-up period of 2 1/2 years. In 28 patients with unilateral redemas of the lower extremities the volume reduction after a mean follow-up period of I 1/2 year compared to the healthy legs was more than 50 % in 20 patients. As complications in the early period 2 postoperative erysipelas were seen. One patient developed a Iymph cyst in the groin and one patient had a postthrombotic lower leg rederna. The authors conclude that lymphvessel transplantations therefore seem to be a method to enhance significantly the lymphatic transport if by conservation me ans alone no long term success is seen

The Bitter Truth About Sugar and Willpower: The Limited Evidential Value of the Glucose Model of Ego Depletion

This work was supported by European Research Council Grant 283849 (to N. Gold) under the European Union’s Seventh Framework Programme (FP/2007–2013)

Automatic Optimizations for Stream-based Monitoring Languages

Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are also a natural choice for safety-critical applications. Unlike for standard programming languages, there is, however, so far very little support for automatic code optimization. In this paper, we present the first collection of code transformations for the stream-based monitoring language RTLola. We show that classic compiler optimizations, such as Sparse Conditional Constant Propagation and Common Subexpression Elimination, can be adapted to monitoring specifications. We also develop new transformations -- Pacing Type Refinement and Filter Refinement -- which exploit the specific modular structure of RTLola as well as the implementation freedom afforded by a declarative specification language. We demonstrate the significant impact of the code transformations on benchmarks from the monitoring of unmanned aircraft systems (UAS).Comment: 20th International Conference on Runtime Verification (2020

Breaking the Rules: Low Trait or State Self-Control Increases Social Norm Violations

Two pilot and six studies indicated that poor self-control causes people to violate social norms and rules that are effortful to follow. Lower trait self-control was associated with a greater willingness to take ethical risks and use curse words. Participants who completed an initial self-control task that reduced the capacity for self-control used more curse words and were more willing to take ethical risks than participants who completed a neutral task. Poor self-control was also associated with violating explicit rules given by the experimenter. Depleting self-control resources in a self-control exercise caused participants subsequently to talk when they had been instructed to remain silent. Low trait self-control and poor performance on a behavioral measure of self-control (the Stroop task) predicted poor compliance following experimental instructions over a 2-week span. Poor self-control thus undermines adherence to some social rules and regulations, therefore possibly contributing to a broad variety of social ills

Stereotypes and prejudice in the blood: sucrose drinks reduce prejudice and stereotyping

"Prejudice and stereotyping cause social problems and intergroup tension. The current work examined whether bolstering self-control by giving participants glucose would reduce stereotype use for an impression formation task. Previous work has demonstrated that self-control depends on biologically expensive brain processes that consume energy derived from glucose in the bloodstream. In the current study, glucose was manipulated via lemonade sweetened with either sugar or Splenda. Compared to the control group, the participants in the glucose condition used fewer stereotypes when writing an essay about a day in the life of a gay man. In addition, high-prejudice participants in the glucose condition used fewer derogatory statements in their essays than high-prejudice participants in the control condition. The findings are discussed in terms of the importance of self-control resources in the effective regulation of prejudice and stereotyping." [author's abstract