Static Analysis of NumPy Programs

NumPy programs can be hard to debug. Due to the dynamic nature of Python, a bug can manifest itself after a long time of run time. This causes the computation to crash, ditching all the progress. Existing static analysis tools can't detect NumPy-specific errors. We propose a solution that uses data-flow analysis combined with symbolic execution to detect ndarray shape mismatch errors. With a dynamic set of symbols, our method tracks ndarray dimensions and constraints between them throughout the program. It uses an SMT solver to solve the constraints and locate the bug. Our implementation understands core NumPy constructs and detects some shape mismatch errors for 1D and 2D ndarrays.NumPy programy se těžko ladí. Kvůli dynamické povaze Pythonu se chyba často projeví až poté, co program delší dobu běží. Výpočet poté spadne a všechen výpočet je ztracen. Existující nástroje statické analýzy nedokážou poznat chyby specifické pro NumPy. Použili jsme data-flow analýzu zkombi- novanou se symbolickým vykonáváním programu k detekování chyb plynoucí z nevyhovujících tvarů matic. Naše metoda pomocí dynamické množiny sym- bolů sleduje ve vstupním program rozměry matic a vztahy mezi nimi. Ná- sledně pomocí SMT vyhodnotí, jestli jsou vztahy splnitelné, nebo jestli došlo k chybě a kde. Naše implementace rozumí základním NumPy konstrukcím a detekuje některé chyby pro pole a matice.Department of Distributed and Dependable SystemsKatedra distribuovaných a spolehlivých systémůFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Phononics: Manipulating heat flow with electronic analogs and beyond

The form of energy termed heat that typically derives from lattice vibrations, i.e. the phonons, is usually considered as waste energy and, moreover, deleterious to information processing. However, with this colloquium, we attempt to rebut this common view: By use of tailored models we demonstrate that phonons can be manipulated like electrons and photons can, thus enabling controlled heat transport. Moreover, we explain that phonons can be put to beneficial use to carry and process information. In a first part we present ways to control heat transport and how to process information for physical systems which are driven by a temperature bias. Particularly, we put forward the toolkit of familiar electronic analogs for exercising phononics; i.e. phononic devices which act as thermal diodes, thermal transistors, thermal logic gates and thermal memories, etc.. These concepts are then put to work to transport, control and rectify heat in physical realistic nanosystems by devising practical designs of hybrid nanostructures that permit the operation of functional phononic devices and, as well, report first experimental realizations. Next, we discuss yet richer possibilities to manipulate heat flow by use of time varying thermal bath temperatures or various other external fields. These give rise to a plenty of intriguing phononic nonequilibrium phenomena as for example the directed shuttling of heat, a geometrical phase induced heat pumping, or the phonon Hall effect, that all may find its way into operation with electronic analogs.Comment: 24 pages, 16 figures, modified title and revised, accepted for publication in Rev. Mod. Phy

On the effects of domestication on canine social development and behavior

Social development and behavior are compared for 4 Eastern timber wolves (C. lupus lycaon) and 4 Alaskan Malamutes (C. familiaris). The two groups were born a year apart, but all were fostered at approximately 10 days of age on the same lactating female wolf, reared jointly by the authors and the foster mother, housed in the same facility, and subjected to the same regimen of maintenance and social contact with adult members of the animal colony. It is suggested that many of the observed group differences can be attributed to selection in domestic dogs for prolongation of juvenile behavior and morphological characteristics. Discussion then focuses on the evolution and ontogeny of ritualized aggression in wolves and the effects of domestication on agonistic behavior in domestic dogs. It is suggested that the disintegration of ritualized aggression in dogs is, in part, a consequence of neotenization. Also implicated in the breakdown of this behavioral system is human provision of food, which relaxes (1) the behavioral consequences of injuries sustained in fighting and (2) the selective advantage enjoyed by group-hunting species who have evolved social systems of population regulation.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/23918/1/0000163.pd

Species-specific differences and similarities in the behavior of hand-raised dog and wolf pups in social situations with humans

In order to reveal early species-specific differences, we observed the behavior of dog puppies (n = 11) and wolf pups (n = 13) hand raised and intensively socialized in an identical way. The pups were studied in two object-preference tests at age 3, 4, and 5 weeks. After a short isolation, we observed the subjects' behavior in the presence of a pair of objects, one was always the subject's human foster parent (caregiver) and the other was varied; nursing bottle (3 weeks), unfamiliar adult dog (3 and 5 weeks), unfamiliar experimenter (4 and 5 weeks), and familiar conspecific age mate (4 weeks). Dogs and wolves did not differ in their general activity level during the tests. Wolf pups showed preference for the proximity of the caregiver in two of the tests; Bottle-Caregiver at the age of 3 weeks and Experimenter-Caregiver at the age of 5 weeks, while dogs showed preference to the caregiver in three tests; conspecific Pup-Caregiver and Experimenter-Caregiver at the age of 4 weeks and dog-caregiver at the age of 5. Compared to wolves, dogs tended to display more communicative signals that could potentially facilitate social interactions, such as distress vocalization, tail wagging, and gazing at the humans' face. In contrast to dog puppies, wolf pups showed aggressive behavior toward a familiar experimenter and also seemed to be more prone to avoidance. Our results demonstrate that already at this early age-despite unprecedented intensity of socialization and the comparable social (human) environment during early development-there are specific behavioral differences between wolves and dogs mostly with regard to their interactions with humans

Italian wolves (Canis lupus italicus Altobello, 1921) and molecular detection of taeniids in the Foreste Casentinesi National Park, Northern Italian Apennines

After centuries of massive decline, the recovery of the wolf (Canis lupus italicus) in Italy is a typical conservation success story. To learn more about the possible role of parasites in the wolves' individual and population health and conservation we used non-invasive molecular approaches on fecal samples to identify individual wolves, pack membership, and the taeniids present, some of which are zoonotic. A total of 130 specimens belonging to 54 wolves from eight packs were collected and examined. Taeniid eggs were isolated using a sieving/flotation technique, and the species level was identified by PCR (gene target: 12S rRNA and nad1). Taeniid prevalence was 40.7% for Taenia hydatigena, 22.2% for T. krabbei, 1.8% for T. polyachanta and 5.5% for Echinococcus granulosus. The prevalence of E. granulosus is discussed. Our results show that the taeniid fauna found in wolves from the Foreste Casentinesi National Park is comparable to that described for other domestic and wild Italian canids and provides insights into the wolves' diet and their relationship with the environment