From individuals to populations: A mean field semantics for process algebra

A new semantics in terms of mean field equations is presented for WSCCS (Weighted Synchronous Calculus of Communicating Systems). The semantics captures the average behaviour of the system over time, but without computing the entire state space, therefore avoiding the state space explosion problem. This allows easy investigation of models with large numbers of components. The new semantics is shown to be equivalent to the standard Discrete Time Markov Chain semantics of WSCCS as the number of processes tends to infinity. The method of deriving the semantics is illustrated with examples drawn from biology and from computing.     

On the elastic modulus degradation in continuum damage mechanics

To measure accurately the elastic modulus of a metal, E, can be a difficult task when a specimen undergoes plastic strains. Moreover, some failure criteria, such as those associated with Continuum Damage Mechanics, require the change of elastic modulus with strain to define a measure of damage, D, in a material or structure. Thus, it is important to assess the possible geometrical influence of a specimen on the measurement of the elastic modulus at different deformation levels. It is shown in this article, with the aid of a numerical simulation, that any plastic strains induce important geometrical effects in the evaluation of E, which have a significant influence on the evaluation of the scalar damage parameter, D.     

Service Science

This paper is a first exploration of the relationship between service science and Grid computing. Service science is the study of value co-creation interactions among entities, known as service systems. Within the emerging service science community, service is often defined as the application of competences (resources) for the benefit of another. Grid computing is the study of resource sharing among entities, known as virtual organizations, which solve complex business, societal, scientific, and engineering problems. Within the Grid computing community, service is sometimes defined as protocols plus behavior. Both Grid computing and service science are connecting academic, industry, government, and volunteer sector collaborators on a range of projects including eScience, healthcare, environmental sustainability, and more. This paper compares and contrasts the notions of resource, entity, service, interaction, and success criteria for the two areas of study. In conclusion, new areas for collaborative inquiry are proposed.     

Development of an interlocked nail for segmental defects in the rabbit tibia

Previous animal models have been developed to study intramedullary nailing for challenging segmental defects in the tibia. In large animals, interlocked nail fixation created a stable environment suitable to study new bone growth technologies placed in the defect. To our knowledge, there are no comparable interlocked tibial defect models for the rabbit in which new technologies could be evaluated. Such a model would be helpful since the rabbit is a popular initial model for orthopedic research studies owing to its wide availability and low cost. While numerous studies have nailed the rabbit tibia, all were non-locked implants that allowed some degree of instability between the fracture fragments. In addition, the non-locked nails were constructed of stainless steel, whereas human nails are increasingly made from titanium alloy. In the current study, an interlocked titanium nail was developed for the rabbit tibia. It was implanted in cadaver tibiae and subjected to fatigue cycling in combined compression and bending at physiologic levels to 21,061 cycles. This duration is estimated to represent 12 weeks of gait by the animal. Before and after fatigue cycling, monotonic testing was performed in compression and bending at physiologic levels. The intact contralateral limbs served as controls. All limbs completed the cycling; the instrumented limbs exhibited interfragmentary cyclic strain amplitudes during fatigue (616 +/- 139 micro-strain), which was significantly greater than the control limbs (136 +/- 35 microstrain). Monotonic strain amplitudes for the test limbs in bending and compression were 4839 +/- 1028 and 542 +/- 122 microstrain, respectively; corresponding values for the control bones were 407 +/- 118 and 95 +/- 38 microstrain, respectively. These data are similar to those presented in prior studies in larger bone models. The current study presents one method for interlocked nail fixation for this complex tibial shaft fracture in a small animal.     

Doing Business with Theory: Communities of Practice in Knowledge Management

We explore how the notion of communities of practice (CoPs) was translated and popularized from its original inception by Lave and Wenger in 1991. We argue that the Institute for Research on Learning (IRL), a spin-off of Xerox PARC, proved instrumental in enrolling CoPs into the knowledge management (KM) discipline. IRL objectified, packaged, and made a business out of CoPs. CoPs in KM are now a formalized process coupled with technological artifacts to build groups of people who effectively share knowledge across boundaries. Drawing from participant observations, archival documents, and interviews with KM practitioners in the aerospace industry as well as key players of IRL, our research seeks to unveil the invisible history that the popularization of a theory can often obscure. We argue that CoPs provide a case study for understanding how abstract concepts in science are strategically and subconsciously reified, or made objects of inquiry, and appropriated by actors. This reification of a “soft” science blurs the line between theory and technology.     

Repeated Price Search

Consumers check few sites in online purchases. Previous research and experiments we perform demonstrate that consumers can not calculate the optimal strategy for price search. They use heuristics whose performance is better than random and less than optimal. To investigate online price search performance we survey student online textbook purchases. Students achieve good performance because they start with a good strategy and online market organization of marketplace and meta-search sites. An important factor is that algorithms at sites searched perform calculations that reduce the computational complexity of the search.     

An ontology of slums for image-based classification

Information about rapidly changing slum areas may support the development of appropriate interventions by concerned authorities. Often, however, traditional data collection methods lack information on the spatial distribution of slum-dwellers. Remote sensing based methods could be used for a rapid inventory of the location and physical composition of slums. (Semi-)automatic detection of slums in image data is challenging, owing to the high variability in appearance and definitions across different contexts. This paper develops an ontological framework to conceptualize slums using input from 50 domain-experts covering 16 different countries. This generic slum ontology (GSO) comprises concepts identified at three levels that refer to the morphology of the built environment: the environs level, the settlement level and the object level. It serves as a comprehensive basis for image-based classification of slums, in particular, using object-oriented image analysis (OOA) techniques. This is demonstrated by with an example of local adaptation of GSO and OOA parameterization for a study area in Kisumu, Kenya. At the object level, building and road characteristics are major components of the ontology. At the settlement level, texture measures can be potentially used to represent the contrast between planned and unplanned settlements. At the environs level, factors which extend beyond the site itself are important indicators, e.g. hazards due to floods plains and marshy conditions. The GSO provides a comprehensive framework that includes all potentially relevant indicators that can be used for image-based slum identification. These characteristics may be different for other study areas, but show the applicability of the developed framework.     

Effects of breed and nutrition on the productive traits of beef cattle in South East Brazil: Part 2-Tissue distribution and carcase composition

This paper is the second in a series recording the effects of breed and nutrition on the productive traits of Nelore, Guzerá, Charolais and Canchim cattle in south-east Brazil. Significant treatment variations were recorded in carcase bone weights but differences in meat to bone ratios were not sufficiently marked to demonstrate that bone might grow at the expense of muscle when animals are maintained on particularly severe nutritional regimes. A simple carcase weight to length ratio was shown to be highly correlated with total bone proportion but not with yield of saleable meat. Recovery of total saleable meat was only marginally and not significantly affected by breed but was significantly affected by treatment. The increased levels of fatness in the carcases of the zebu and, in particular, all animals finished in feedlot, that affected the yield of saleable meat, was also thought to be responsible for the decreased recovery of first quality meat in these carcases. In general, tissue differences were more noticeable between treatments than between breeds and reflected the varying nutritional status of the animals pre-slaughter.