Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.National Science Foundation (ITR ANI-0205294, ANI-0095988, ANI-9986397, EIA-0202067

Digital technologies and privacy: State of the art and research directions

Digital technologies have transformed every aspect of marketing and have brought consumer privacy front and center of research and discourse over the last two decades. Whereas companies and consumers have arguably benefited through the availability and use of data made possible by digitalization, consumer privacy-related concerns raise compelling questions that researchers, companies, and policymakers are addressing. In this Review Paper, we review privacy related to digital technologies in marketing, highlighting the constantly evolving nature of the field. We provide an overview of the rich contributions made by the articles in the special issue on digital technologies and privacy, and the original insights they provide for researchers and practitioners in four domains – communication, retailing, pricing, and product personalization. We identify and outline future research directions in each of these four domains to expand our understanding of privacy at the intersection of psychology and marketing by motivating new scholarly research and providing actionable insights to managers and policymakers

Assessing the Efficacy of Incorporating Game Dynamics in a Learning Management System

The goal of the study was to see if gamification of a Learning Management System (LMS) would increase a number of desirable outcomes: student interest, motivation, satisfaction, student learning and perception of pedagogical affect. These constructs were measured in a survey, except for learning, which was measured by grades. Gamification of the LMS included the addition of all of the following: (1) An illustrated hero’s adventure storyline with monsters to overcome by completing quests (assignments and assessments), (2) Olympic colored badges to represent individual grades as well as overall progress, (3) Points earned on a game-like scale—e.g., 100,000 points for the course, (4) A leaderboard with anonymous names and avatars, (5) Lives which allowed students to turn in a fixed number of late assignments without penalty. While open-ended responses suggested that students appreciated some gamification aspects, the quantitative data suggested that gamification has virtually no effect on the constructs measured. Only relatedness (a sub-construct of motivation) and student interest were found to be significant, although with small effect sizes. This study contributes to existing literature by exploring the impact of gamification of an LMS for a required introductory course in information systems

Experimental test on an RC beam equipped with embedded barometric pressure sensors for strains measurement

The current trend in structural health monitoring (SHM) is to install increasingly large numbers of distributed, heterogeneous types of sensors, for a timely and exhaustive detection of any possible damage scenario evolving in the system. These sensors should be low-cost, easy to install, robust and durable. Among others, strain remains one of the most straightforward measurands for monitoring the state of a structural element and for assessing its health condition. However, for application to reinforced concrete structures, currently available strain sensing devices, such as electric strain gauges or fibre optic sensors, do not fully satisfy the aforementioned requirements, generally proving difficult to install, fragile and expensive. In this paper, an innovative monitoring technology, called Smart Steel System (S3), is proposed that measures strains in reinforced concrete members, by incorporating commercial barometric pressure MEMS sensors in appropriate sealed cavities embedded in the reinforcing steel bars. The results of an experimental campaign are reported, in which a reinforced concrete beam, instrumented with both S3 devices and conventional electrical strain gauges, is subjected to increasing loading and unloading cycles until collapse. The tests show the superior robustness of the S3 system during construction and loading as well as its good sensing accuracy, demonstrating its potential for a massive use in SHM applications

Hardware prototyping and validation of a W-ΔDOR digital signal processor

Microwave tracking, usually performed by on ground processing of the signals coming from a spacecraft, represents a crucial aspect in every deep-space mission. Various noise sources, including receiver noise, affect these signals, limiting the accuracy of the radiometric measurements obtained from the radio link. There are several methods used for spacecraft tracking, including the Delta-Differential One-Way Ranging (ΔDOR) technique. In the past years, European Space Agency (ESA) missions relied on a narrowband ΔDOR system for navigation in the cruise phase. To limit the adverse effect of nonlinearities in the receiving chain, an innovative wideband approach to ΔDOR measurements has recently been proposed. This work presents the hardware implementation of a new version of the ESA X/Ka Deep Space Transponder based on the new tracking technique named Wideband ΔDOR (W-ΔDOR). The architecture of the new transponder guarantees backward compatibility with narrowband ΔDOR

Bebidas para praticantes de atividades físicas: repositores hidroeletrolíticos.

bitstream/item/75069/1/pub-200.pd

Meeting the Challenge of IS Curriculum Modernization: A Guide to Overhaul, Integration, and Continuous Improvement

Information Systems (IS) departments are facing challenging times as enrollments decline and the field evolves, thus necessitating large-scale curriculum changes. Our experience shows that many IS departments are in such a predicament as they have not evolved content quickly enough to keep it relevant, they do a poor job coordinating curriculum development, and they do not market the major well. For these very reasons, our IS department was on the verge of extinction, as enrollment was down over 56% (down from 475 to 208 students) over a two-year period (2001-2003), while college enrollment remained constant at approximately 1900 students. We submit that these issues can and must be addressed proactively in order for IS programs to survive. This paper conveys the approach we used to revamp our IS curriculum. We present the curriculum overhaul process and lessons learned in our successful revamp project that enabled us to transform our program into one of the most successful in our business college. Through our efforts, we have increased enrollment 75% from 2003. We hope that our lessons learned will help others facing similar challenges

Sodium bicarbonate and time-to-exhaustion cycling performance: a retrospective analysis exploring the mediating role of expectancy

Background: A body of evidence has shown that ingesting 0.3 g·kg-1 body mass sodium bicarbonate (NaHCO3) can improve time-to-exhaustion (TTE) cycling performance, but the influence of psychophysiological mechanisms on ergogenic effects is not yet understood. Objective: This study retrospectively examined whether changes in TTE cycling performance are mediated by positive expectations of receiving NaHCO3 and/or decline in blood bicarbonate. Methods: In a randomised, crossover, counterbalanced, double-blind, placebo-controlled design, 12 recreationally trained cyclists (maximal oxygen consumption, 54.4 ± 5.7 mL·kg·min-1) performed four TTE cycling tests 90 min after consuming: i) 0.3 g·kg-1 body mass NaHCO3 in 5 mL·kg-1 body mass solution, ii) 0.03 g·kg-1 body mass sodium chloride in solution (placebo), iii) 0.3 g·kg-1 body mass NaHCO3 in capsules and iv) cornflour in capsules (placebo). Prior to exercise, participants rated on 1 – 5 Likert type scales how much they expected the treatment they believe had been given would improve performance. Capillary blood samples were measured for acid-base balance at baseline, pre-exercise and post-exercise. Results: Administering NaHCO3 in solution and capsules improved TTE compared with their respective placebos (solution: 27.0 ± 21.9 s, p = 0.001; capsules: 23.0 ± 28.1 s, p = 0.016). Compared to capsules, NaHCO3 administered via solution resulted in a higher expectancy about the benefits on TTE cycling performance (Median: 3.5 vs. 2.5, Z = 2.135, p = 0.033). Decline in blood bicarbonate during exercise was higher for NaHCO3 given in solution compared to capsules (2.7 ± 2.1 mmol·L-1, p = 0.001). Mediation analyses showed that improvements in TTE cycling were indirectly related to expectancy and decline in blood bicarbonate when NaHCO3 was administered in solution but not capsules