TU Graz: Course: 707.000 Web Science and Web Technology: Lecture 2: Small World Problem

We will discuss several examples and research efforts related to the small world problem and set the ground for our discussion of network theory and social network analysis. Readings: An Experimental Study of the Small World Problem, J. Travers and S. Milgram Sociometry 32 425-443 (1969) [Protected Access] Optional: The Strength of Weak Ties, M.S. Granovetter The American Journal of Sociology 78 1360--1380 (1973) [Protected Access] Optional: Worldwide Buzz: Planetary-Scale Views on an Instant-Messaging Network, J. Leskovec and E. Horvitz MSR-TR-2006-186. Microsoft Research, June 2007. [Web Link, the most recent and comprehensive study on the subject!] Originally from: http://kmi.tugraz.at/staff/markus/courses/SS2008/707.000_web-science

Probe tests microweld strength

Probe is developed to test strength of soldered, brazed or microwelded joints. It consists of a spring which may be adjusted to the desired test pressure by means of a threaded probe head, and an indicator lamp. Device may be used for electronic equipment testing

Notions of Monad Strength

Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this paper we introduce and investigate the connections between these approaches and also relate the results to monad composition. We also introduce new methods for checking and using the required laws associated with such compositions, as well as provide examples illustrating problems and issues that arise.Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.455

Effects of a strength and stretching program, combined or Iisolated, on active flexibility in physical education setting.

Purpose. To examine the effects of a two-session-per-week strength and stretching program on sit and reach score among high-school students in the physical education setting. Methods. A sample of 46 high-school students (16 girls and 30 boys) aged 12-14 years from four classes were clustered and randomly assigned to a strength group (n=8), a stretching group (n=12), a strength + stretching group (n=16) or a control group (n=10). During physical education classes, the experimental students performed a 1-minute stretching, a 1-minute strength or a 2-minutes strength + stretching program twice a week a total of 20 weeks. Control students performed the same physical education classes, but they did not follow any strength and/or stretching program. Active flexibility (estimated by the classic sit-and-reach test) was assessed at the beginning and at the end of the intervention program. Results. The Wilcoxon test results showed that students that performed a combined strength and stretching program increased statistically significantly their active flexibility levels from pre-intervention to post-intervention (∆ = 1.8 ± 3.2 cm; p 0.05). Conclusiones. Since in physical education many curricular contents need to be developed each academic year and the subject is also restricted by its limited curriculum time allocation, teachers could improve students’ flexibility combining stretching and strength workout. Therefore, in addition to the improvement of students’ flexibility levels, this intervention program might permit regular development of other physical education curricular contents.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Industrial-Strength Documentation for ACL2

The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts. High quality documentation is vital for teams that are working together on projects of this scale. We have developed XDOC, a flexible, scalable documentation tool for ACL2 that can incorporate the documentation for ACL2 itself, the Community Books, and an organization's internal formal verification projects, and which has many features that help to keep the resulting manuals up to date. Using this tool, we have produced a comprehensive, publicly available ACL2+Books Manual that brings better documentation to all ACL2 users. We have also developed an extended manual for use within Centaur Technology that extends the public manual to cover Centaur's internal books. We expect that other organizations using ACL2 will wish to develop similarly extended manuals.Comment: In Proceedings ACL2 2014, arXiv:1406.123