purpose the purpose of the present study was to evaluate effects of regular practice of sun salutation on muscle strength, general body endurance and body composition. methods subjects (49 male and 30 female) performed 24 cycles of sun salutation, 6 days a week for 24 weeks. upper body muscle strength was determined by 1 repetition maximum (1rm) for bench press and shoulder press technique. bac...

Since 2006 we have been working on a game, called the Specker Challenge Game (SCG), both for our teaching and to push our research in programming tools. Consider yourself moved back a few hundred years to the time of the Renaissance in Italy. The mathematicians challenged each other regarding the best algorithms to solve problems. Here is a story about who was the best in solving cubic equation...

Using ProModel simulation language, a universal warehouse storage simulation model has been developed. Applications of the model have been executed with success to analyze the storage capacity and rack efficiency of a medium volume, low stock-keeping unit (SKU) warehouse and a medium volume, large SKU warehouse. The model is scaleable and can be modified to simulate any warehouse configuration,...

We get back to the computation of the leading finite size corrections to some random link matching problems, first adressed by Mézard and Parisi [J. Physique 48 (1987) 1451-1459]. In the so-called bipartite case, their result is in contradiction with subsequent works. We show that they made some mistakes, and correcting them, we get the expected result. In the non bipartite case, we agree with ...

Neural Machine Translation (NMT) systems, introduced only in 2013, have achieved state of the art results in many MT tasks. MetaMind’s submissions to WMT ’16 seek to push the state of the art in one such task, English→German newsdomain translation. We integrate promising recent developments in NMT, including subword splitting and back-translation for monolingual data augmentation, and introduce...

AVISPA is a push-button tool for the automated validation of Internet security-sensitive protocols and applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of state-of-the-art automatic analysis techniques. To the best of our knowledge, no other tool exhibits the sam...

In bacteria, most secretory proteins are translocated across the plasma membrane by the interplay of the SecA ATPase and the SecY channel. How SecA moves a broad range of polypeptide substrates is only poorly understood. Here we show that SecA moves polypeptides through the SecY channel by a "push and slide" mechanism. In its ATP-bound state, SecA interacts through a two-helix finger with a sub...

We examine the effects of different latency penalties in the evaluation of push notification systems, as operationalized in the TREC 2015 Microblog track evaluation. The purpose of this study is to inform the design of metrics for the TREC 2016 Real-Time Summarization track, which is largely modeled after the TREC 2015 evaluation design.