Mediated behavioural change in human-machine networks: exploring network characteristics, trust and motivation

Human-machine networks pervade much of contemporary life. Network change is the product of structural modifications along with differences in participant be-havior. If we assume that behavioural change in a human-machine network is the result of changing the attitudes of participants in the network, then the question arises whether network structure can affect participant attitude. Taking citizen par-ticipation as an example, engagement with relevant stakeholders reveals trust and motivation to be the major objectives for the network. Using a typology to de-scribe network state based on multiple characteristic or dimensions, we can pre-dict possible behavioural outcomes in the network. However, this has to be medi-ated via attitude change. Motivation for the citizen participation network can only increase in line with enhanced trust. The focus for changing network dynamics, therefore, shifts to the dimensional changes needed to encourage increased trust. It turns out that the coordinated manipulation of multiple dimensions is needed to bring about the desired shift in attitude.Comment: Paper submitted to SocInfo, organised by the Oxford Internet Institute, September 201

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Pancreatobiliary versus intestinal histologic type of differentiation is an independent prognostic factor in resected periampullary adenocarcinoma

<p>Abstract</p> <p>Background</p> <p>Resectable adenocarcinomas in the pancreatic head, by definition "periampullary", originate from ampullary, duodenal, biliary, or ductal pancreatic epithelium. Typically, periampullary adenocarcinomas have either intestinal or pancreatobiliary type of differentiation, and the type of differentiation might be prognostically more important than the anatomic site of origin. The aim of the study was to determine whether the histologic type of differentiation is an independent prognostic factor in periampullary adenocarcinoma, and whether tumour origin predicts the prognosis in pancreatobiliary type carcinomas independently of resection margin involvement, tumour size, nodal involvement, perineural and vascular infiltration, and degree of differentiation.</p> <p>Methods</p> <p>Histopathologic variables in 114 consecutively resected periampullary adenocarcinomas of pancreatobiliary (n = 67) and intestinal (n = 47) type differentiation were evaluated using a standardized, systematic protocol for evaluation of the resected specimen (study group). Histologic type of differentiation and tumour origin were compared as predictors of survival, and the results were validated by comparison with a historical control group consisting of 99 consecutive pancreaticoduodenectomies performed before standardization of histopathologic evaluation. Associations between histopathologic variables were evaluated by Chi-square and Mann-Whitney tests. Survival was estimated by the Kaplan-Meier method, comparing curves using log-rank test, and by univariate and multivariable Cox regression analysis.</p> <p>Results</p> <p>Both in the study group (n = 114) and in the historical control group (n = 99), the histologic type of differentiation independently predicted survival, while tumour origin predicted survival only in univariate analysis. Independent adverse predictors of survival in the study group were pancreatobiliary type differentiation (p < 0.001; HR 3.1; CI 1.8–5.1), regional lymph node involvement (p < 0.001; HR 2.5; CI 1.5–4.4), vessel involvement (p = 0.012; HR 1.9; CI 1.2–3.1), and increasing tumour diameter (measured in cm, p = 0.011; HR 1.3; CI 1.1–1.5). For pancreatobiliary differentiated adenocarcinomas (n = 67), lymph node status, vessel involvement, and tumour diameter remained independent prognostic factors, while tumour origin did not independently predict the prognosis due to significant association with tumour size (p < 0.001) and lymph node involvement (p = 0.004).</p> <p>Conclusion</p> <p>Pancreatobiliary versus intestinal type of differentiation independently predicts poor prognosis after pancreaticoduodenectomy for periampullary adenocarcinoma. Lymph node involvement, vessel infiltration, and increasing tumour diameter are adverse predictors of survival in tumours with pancreatobiliary differentiation.</p

Resectable adenocarcinomas in the pancreatic head: the retroperitoneal resection margin is an independent prognostic factor

Pancreatic cancer is a lethal disease, and even after assumed margin-free pancreatoduodenectomy, most patients die within few years. The aims were to evaluate the importance of standardised histopathologic assessment for adequacy of reporting and survival estimates, and to report on prognostic factors in a setting of standardised histopathologic assessment. We performed immunohistochemical evaluation, slide review, and review of histopathologic reports from all pancreatoduodenectomies at Rikshospitalet University Hospital in 1980–2004. Reports from 1998-2004 at this institution were compared with reports from all other Norwegian institutions in the same period. Standardised histopathologic assessment and reporting was found necessary to avoid underestimation of poor prognostic factors, and to avoid misdiagnosis of tumours originating from non-pancreatic tissue (ampulla, distal bile duct, duodenum). Standardised histopathology was more important than surgical volume for completeness of reporting and for reliability of survival estimates, particularly with respect to lymph node evaluation. Immunostaining for MUC1 and MUC4 identified a subgroup of patients with particularly poor prognosis. Standardised histopathologic evaluation should be a first prerequisite to assure adequate histopathology after pancreatoduodenectomy. Immunostaining may identify tumour markers potentially targetable in future adjuvant treatments for pancreatic cancer

Isolation and Maintenance-Free Culture of Contractile Myotubes from Manduca sexta Embryos

Skeletal muscle tissue engineering has the potential to treat tissue loss and degenerative diseases. However, these systems are also applicable for a variety of devices where actuation is needed, such as microelectromechanical systems (MEMS) and robotics. Most current efforts to generate muscle bioactuators are focused on using mammalian cells, which require exacting conditions for survival and function. In contrast, invertebrate cells are more environmentally robust, metabolically adaptable and relatively autonomous. Our hypothesis is that the use of invertebrate muscle cells will obviate many of the limitations encountered when mammalian cells are used for bioactuation. We focus on the tobacco hornworm, Manduca sexta, due to its easy availability, large size and well-characterized muscle contractile properties. Using isolated embryonic cells, we have developed culture conditions to grow and characterize contractile M. sexta muscles. The insect hormone 20-hydroxyecdysone was used to induce differentiation in the system, resulting in cells that stained positive for myosin, contract spontaneously for the duration of the culture, and do not require media changes over periods of more than a month. These cells proliferate under normal conditions, but the application of juvenile hormone induced further proliferation and inhibited differentiation. Cellular metabolism under normal and low glucose conditions was compared for C2C12 mouse and M. sexta myoblast cells. While differentiated C2C12 cells consumed glucose and produced lactate over one week as expected, M. sexta muscle did not consume significant glucose, and lactate production exceeded mammalian muscle production on a per cell basis. Contractile properties were evaluated using index of movement analysis, which demonstrated the potential of these cells to perform mechanical work. The ability of cultured M. sexta muscle to continuously function at ambient conditions without medium replenishment, combined with the interesting metabolic properties, suggests that this cell source is a promising candidate for further investigation toward bioactuator applications

Characterizing the role of rice NRAMP5 in Manganese, Iron and Cadmium Transport

Metals like manganese (Mn) and iron (Fe) are essential for metabolism, while cadmium (Cd) is toxic for virtually all living organisms. Understanding the transport of these metals is important for breeding better crops. We have identified that OsNRAMP5 contributes to Mn, Fe and Cd transport in rice. OsNRAMP5 expression was restricted to roots epidermis, exodermis, and outer layers of the cortex as well as in tissues around the xylem. OsNRAMP5 localized to the plasma membrane, and complemented the growth of yeast strains defective in Mn, Fe, and Cd transport. OsNRAMP5 RNAi (OsNRAMP5i) plants accumulated less Mn in the roots, and less Mn and Fe in shoots, and xylem sap. The suppression of OsNRAMP5 promoted Cd translocation to shoots, highlighting the importance of this gene for Cd phytoremediation. These data reveal that OsNRAMP5 contributes to Mn, Cd, and Fe transport in rice and is important for plant growth and development

Self-Reported Time in Bed and Sleep Quality in Association with Internalizing and Externalizing Symptoms in School-Age Youth

This study investigated the relationship between self-reported time in bed and sleep quality in association with self-reported internalizing and externalizing symptoms in a sample of 285 elementary school students (52% female) recruited from a rural Midwestern elementary school. Path models were used to estimate proposed associations, controlling for grade level and gender. Curvilinear associations were found between time in bed and anxiety, depressive symptoms, and irritability. Marginal curvilinear trends were found between time in bed and emotion dysregulation, reactive aggression, and proactive aggression. Sleep quality was negatively associated with anxiety, depressive symptoms, irritability, reactive aggression, and delinquency engagement. Gender and grade differences were found across models. Findings suggest that examining self-reported time in bed (both linear and quadratic) and sleep quality is important for understanding internalizing and externalizing symptoms associated with sleep in school-age youth. Incorporating self-reported sleep assessments into clinical practice and school-based evaluations may have implications for a child’s adjustment

Different Chatbots for Different Purposes: Towards a Typology of Chatbots to Understand Interaction Design

Chatbots are emerging as interactive systems. However, we lack knowledge on how to classify chatbots and how such classification can be brought to bear in analysis of chatbot interaction design. In this workshop paper, we propose a typology of chatbots to support such classification and analysis. The typology dimensions address key characteristics that differentiate current chatbots: the duration of the user's relation with the chatbot (short-term and long-term), and the locus of control for user's interaction with the chatbot (user-driven and chatbot-driven). To explore the usefulness of the typology, we present four example chatbot purposes for which the typology may support analysis of high-level chatbot interaction design. Furthermore, we analyse a sample of 57 chatbots according to the typology dimensions. The relevance and application of the typology for developers and service providers are discussed