Higher-order program transformations raise new challenges for proving properties of their output, since they resist traditional, first-order proof techniques. In this work, we consider (1) the “one-pass” continuationpassing style (CPS) transformation, which is second-order, and (2) the occurrences of parameters of continuations in its output. To this end, we specify the one-pass CPS transformat...

Solar coronal mass ejections (CMEs) are the most significant drivers of adverse space weather on Earth, but the physics governing their propagation through the heliosphere is not well understood. Although stereoscopic imaging of CMEs with NASA's Solar Terrestrial Relations Observatory (STEREO) has provided some insight into their three-dimensional (3D) propagation, the mechanisms governing thei...

One of the new factors in Eastern European countries (and there is an acknowledgement that this aspect is inherent in other countries too) is this concept of freely sharing information i.e. the concept of what is known in KM literature of “Knowledge Sharing”. Sharing only takes place where there is trust and where there is a shared feeling of ownership of goals. The reasons behind the tendency ...

Colombian physician Luis Benigno Patiño Camargo was one of the pioneers in the study of rickettsioses in South America, demonstrating for the first time in Colombia the presence of Rickettsia rickettsii as the etiological agent of a highly deadly exanthematic febrile syndrome in the 1930s. However, Patiño-Camargo performed other investigations from 1917-1943, which represent the first descripti...

Aim Emotional intelligence (EI) is the ability to use emotions effectively and productively. It is becoming increasingly clear that these skills are one of the primary foundations for better performance of students in classrooms and in the society as well and EI provides the basis for competencies important "in almost every job." So we accessed the EI of teenagers as a guide of their academic s...

Higher-order program transformations raise new challenges for proving properties of their output, since they resist traditional, rst-order proof techniques. In this work, we consider (1) the \one-pass" continuation-passing style (CPS) transformation, which is second-order, and (2) the occurrences of parameters of continuations in its output. To this end, we specify the one-pass CPS transformati...

Grigory Perelman has been awarded the Fields Medal for his contributions to geometry and his revolutionary insights into the analytical and geometric structure of the Ricci flow. Perelman was born in 1966 and received his doctorate from St. Petersburg State University. He quickly became renowned for his work in Riemannian geometry and Alexandrov geometry, the latter being a form of Riemannian g...

In the 1960s and 1970s the Italian born scientist Antonio Priore, working in France, amazed the public and divided the scientific world with his invention, a machine which could cure a variety of illnesses, including cancer. Gaining the support of the French government and several scientific organizations, Priore received a great amount of money in funds to sustain his research. Without exposin...

Many studies report lower academic productivity among women. But are women less likely to get their research published in the first place? The evidence for potential gender bias in publication and impact is mixed. This article examines the gender dimension of scientific publication in international relations (IR) based on submission data for Journal of Peace Research for the period 1983–2008. I...

In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow verification. This paper shows how the Petri nets based control flow verification can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions...