3,096 research outputs found
IMPACT OF SERVICES ON RURAL COMMUNITIES
Community/Rural/Urban Development,
An Abstract Formal Basis for Digital Crowds
Crowdsourcing, together with its related approaches, has become very popular
in recent years. All crowdsourcing processes involve the participation of a
digital crowd, a large number of people that access a single Internet platform
or shared service. In this paper we explore the possibility of applying formal
methods, typically used for the verification of software and hardware systems,
in analysing the behaviour of a digital crowd. More precisely, we provide a
formal description language for specifying digital crowds. We represent digital
crowds in which the agents do not directly communicate with each other. We
further show how this specification can provide the basis for sophisticated
formal methods, in particular formal verification.Comment: 32 pages, 4 figure
A comparison of academic achievement, attendance and discipline of children from single parent households and those from dual parent households at Lavista Junior High School.
The number of single parent families is on the rise. In 1980 the u. s. Census Bureau reported that 19% of the nations\u27 school children are now living in a single parent household (S.P.H.) This is an increase from 11% in 1970 . The Census Bureau has projected that 48% of all children born in 1980 will live a \u27considerable\u27 time with only one parent before they reach the age of 18. Today as many as 12 million children reside in a single parent household (S.P.H.
Towards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and
difficult. However, the idea of having an additional `governor' that assesses
options the system has, and prunes them to select the most ethical choices is
well understood. Recent work has produced such a governor consisting of a
`consequence engine' that assesses the likely future outcomes of actions then
applies a Safety/Ethical logic to select actions. Although this is appealing,
it is impossible to be certain that the most ethical options are actually
taken. In this paper we extend and apply a well-known agent verification
approach to our consequence engine, allowing us to verify the correctness of
its ethical decision-making.Comment: Presented at the 1st International Workshop on AI and Ethics, Sunday
25th January 2015, Hill Country A, Hyatt Regency Austin. Will appear in the
workshop proceedings published by AAA
The effect of weight, body mass index, age, sex, and race on plasma concentrations of subcutaneous sumatriptan: a pooled analysis.
Objective/backgroundFactors such as body size (weight and body mass index [BMI]), age, sex, and race might influence the clinical response to sumatriptan. We evaluated the impact of these covariates on the plasma concentration (Cp) profile of sumatriptan administered subcutaneously.MethodsWe conducted three pharmacokinetic studies of subcutaneous sumatriptan in 98 healthy adults. Sumatriptan was administered subcutaneously (236 administrations) as either DFN-11 3 mg, a novel 0.5 mL autoinjector being developed by Dr. Reddy's Laboratories; Imitrex(®) (Sumatriptan) injection 3 mg or 6 mg (6 mg/0.5 mL); or Imitrex STATdose 4 mg or 6 mg (0.5 mL). Blood was sampled for 12 hours to determine sumatriptan Cp. Maximum Cp (Cmax), area under the curve during the first 2 hours (AUC0-2), and total area under the curve (AUC0-∞) were determined using noncompartmental methods. Post hoc analyses were conducted to determine the relationship between these exposure metrics and each of body weight, BMI, age, sex, and race (categorized as white, black, or others).ResultsBoth weight and BMI correlated negatively with each exposure metric for each treatment group. Across all treatment groups, AUC0-2 for subjects with BMI less than or equal to median value was 1.03-1.12 times the value for subjects with BMI more than median value. For subjects with BMI less than or equal to median value receiving DFN-11, median AUC0-2 was slightly less than that for subjects with BMI more than median value receiving Imitrex 4 mg and larger than that for subjects with BMI more than median value receiving Imitrex 3 mg. Results were similar for the other exposure metrics and for weight. Exposure was higher in women than in men, which can be attributed in part to differences in weight. There was no relationship between exposure and age. For DFN-11, AUC0-2 and AUC0-∞ were lower in nonwhites compared with whites; the ratio of median values was 0.84 and 0.89, respectively. A similar, nonstatistically significant, trend was observed in the other products (ratio of median values ranging from 0.84 to 0.89).ConclusionWeight and BMI appear to be important covariates for sumatriptan exposure: subjects with lower values for either metric of body size have higher systemic exposure compared with subjects with higher values. Additional studies are required to determine if doses of subcutaneous sumatriptan may be adjusted based on BMI for comparable efficacy and a potentially improved tolerability profile
- …