Some applications of logic to feasibility in higher types

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook result on mashine representation of basic feasible functionals. Our proofs are based on essential applications of logic. We introduce a weak fragment of second order arithmetic with second order variables ranging over functions from N into N which suitably characterizes basic feasible functionals, and show that it is a useful tool for investigating the properties of basic feasible functionals. In particular, we provide an example how one can extract feasible "programs" from mathematical proofs which use non-feasible functionals (like second order polynomials)

CHILDREN ATTITUDES TOWARD VARIOUS FORMS OF RESISTANCE TRAINING

Despite the belief that resistance training was dangerous or ineffective for children, the safety and effectiveness of such programs are now well documented. The goal of this study was to examine the attitudes of children toward different forms of resistance training in which they were involved. One hundred 3rd and 4th grade children served as participants (age 9.5 years). Before filling out a questionnaire, the students were involved in five different resistance exercises types: exercises with their own body weight, exercises with barbells 1 kg in weight each, exercises with elastic bands, exercises with a partner and exercises with a BOSU ball (under unstable conditions). The questionnaire with a Likert scale of 5 degrees with responses ranging from 1 (strongly agree) to 5 (strongly disagree) consisted of questions exploring attitudes and degree of motivation toward various modalities of resistance training and their use in physical education classes. All of the selected modalities were evaluated positively by the children.  Over 50% of the children stated that they strongly like all of the selected resistance training modalities. Exercises on a BOSU ball were the children’s first choice (51%) followed by rubber bands (15%) while exercise with body weights were their last choice (9%). Within the limitations of the study, the data show that various modalities of resistance training exercises have the potential to increase physical activity and establish healthy physical activity patterns. The desire to experience new and different activities provided a significant role towards choice of modality of resistance training

Paleolinguistics brings more light on the earliest history of the traditional Eurasian pulse crops

Traditional pulse crops such as pea, lentil, field bean, bitter vetch, chickpea and common vetch originate from Middle East, Mediterranean and Central Asia^1^. They were a part of human diets in hunter-gatherers communities^2^ and are one of the most ancient cultivated crops^3,4^. Europe has always been rich in languages^5^, with individual families still preserving common vocabularies related to agriculture^6,7^. The evidence on the early pulse history witnessed by the attested roots in diverse Eurasian proto-languages remains insufficiently clarified and its potential for supporting archaeobotanical findings is still non-assessed. Here we show that the paleolinguistic research may contribute to archaeobotany in understanding the role traditional Eurasian pulse crops had in the everyday life of ancient Europeans. It was found that the Proto-Indo-European language^8,9^ had the largest number of roots directly related to pulses, such as *arnk(')- (a leguminous plant), *bhabh- (field bean), *erəgw[h]- (a kernel of leguminous plant; pea), *ghArs- (a leguminous plant), *kek-, *k'ik'- (pea) and *lent- (lentil)^10,11,12^, numerous words subsequently related to pulses^13,14^ and borrowings from one branch to another^15^, confirming their essential place in the nutrition of Proto-Indo-Europeans^16,17,18^. It was also determined that pea was the most important among Proto-Uralic people^19,20,21^, while pea and lentil were the most significant in the agriculture of Proto-Altaic people^22,23,24^. Pea and bean were most common among Caucasians^25,26^, Basques^27,28^ and their hypothetical common forefathers^29^ and bean and lentil among the Afro-Asiatic ancestors of modern Maltese^30^. Our results demonstrate that pulses were common among the ancestors of present European nations and that paleolinguistics and its lexicological and etymological analysis may be useful in better understanding the earliest days of traditional Eurasian crops. We believe our results could be a basis for advanced multidisciplinary approach to the pulse crop domestication, involving plant scientists, archaeobotanists and linguists, and for reconstructing even earlier periods of pulse history

Finding optimal L1 cache configuration for embedded systems

Modern embedded system execute a single application or a class of applications repeatedly. A new emerging methodology of designing embedded system utilizes configurable processors where the cache size, associativity, and line size can be chosen by the designer. In this paper, a method is given to rapidly find the L1 cache miss rate of an application. An energy model and an execution time model are developed to find the best cache configuration for the given embedded application. Using benchmarks from Mediabench, we find that our method is on average 45 times faster to explore the design space, compared to Dinero IV while still having 100% accuracy

INFLUENCE OF PHYSICAL TRAINING ON CARDIORESPIRATORY ENDURANCE IN PREADOLESCENT AGE

Cardiorespiratory or aerobic endurance is the ability of the whole body to sustain physical activity for an extended period of time, involving relatively large groups of muscles. The attitudes on the possible impact of training on cardiorespiratory endurance in preadolescents are contradictory. Our study enrolled 195 boys aged 11 to 12 years. Experimental group (n=92) consisted of the children who had been involved with planned and programmed water polo training for at least two years. Control group (n=103) consisted of schoolchildren who only had had regular physical education in schools. Our investigation protocol included standardized anthropometric measurements and tests, performed respecting the appropriate protocols. Statistical analysis of the results demonstrated that there were no significant differences in age and relative values of oxygen consumption (VO2peak). Body height and mass, as well as the skinfold thickness, were significantly higher in experimental group subjects. The values of absolute VO2peak, FVC and FEV1.0 were also significantly higher in the examinees involved with water polo training. These findings stress the importance of a systematic training process even in this early period of growth and development in order for the trainees to acquire important functional advantages. We believe that a properly planned and programmed physical training can significantly contribute to the development of cardiorespiratory endurance even as early as preadolescent age

A Power to Pulse Width Modulation Sensor for Remote Power Analysis Attacks

Field-programmable gate arrays (FPGAs) deployed on commercial cloud services are increasingly gaining popularity due to the cost and compute benefits offered by them. Recent studies have discovered security threats than can be launched remotely on FPGAs that share the logic fabric between trusted and untrusted parties, posing a danger to designs deployed on cloud FPGAs. With remote power analysis (RPA) attacks, an attacker aims to deduce secret information present on a remote FPGA by deploying an on-chip sensor on the FPGA logic fabric. Information captured with the on-chip sensor is transferred off the chip for analysis and existing on-chip sensors demand a significant amount of bandwidth for this task as a result of their wider output bit width. However, attackers are often left with the only option of using a covert communication channel and the bandwidth of such channels is generally limited. This paper proposes a novel area-efficient on-chip power sensor named PPWM that integrates a logic design outputting a pulse whose width is modulated by the power consumption of the FPGA. This pulse is used to clear a flip-flop selectively and asynchronously, and the single-bit output of the flip-flop is used to perform an RPA attack. This paper demonstrates the possibility of successfully recovering a 128-bit Advanced Encryption Standard (AES) key within 16,000 power traces while consuming just 25% of the bandwidth when compared to the state of the art. Moreover, this paper assesses the threat posed by the proposed PPWM to remote FPGAs including those that are deployed on cloud services