Reliable scalable symbolic computation: The design of SymGridPar2

Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution. Symbolic computations are, however, challenging to parallelise as they have complex data and control structures, and both dynamic and highly irregular parallelism. The SymGridPar framework (SGP) has been developed to address these challenges on small-scale parallel architectures. However the multicore revolution means that the number of cores and the number of failures are growing exponentially, and that the communication topology is becoming increasingly complex. Hence an improved parallel symbolic computation framework is required. This paper presents the design and initial evaluation of SymGridPar2 (SGP2), a successor to SymGridPar that is designed to provide scalability onto 10^5 cores, and hence also provide fault tolerance. We present the SGP2 design goals, principles and architecture. We describe how scalability is achieved using layering and by allowing the programmer to control task placement. We outline how fault tolerance is provided by supervising remote computations, and outline higher-level fault tolerance abstractions. We describe the SGP2 implementation status and development plans. We report the scalability and efficiency, including weak scaling to about 32,000 cores, and investigate the overheads of tolerating faults for simple symbolic computations

Litigants in person in private family law cases

1. Context (p1-2 of the Report) The Legal Aid, Sentencing and Punishment of Offenders Act (LASPO) 2012 removed most private family cases from the scope of legal aid after April 2013. It was anticipated that the volume and proportion of litigants in person (hereafter LIPs) would increase as a result. The Ministry of Justice commissioned research to explore both the characteristics and support needs of LIPs in private family law cases and their impact on the courts prior to the implementation of legal aid reforms. It was designed to inform policy and practice responses to LIPs following the legal aid changes. 2. Research design (p3-10 and p136-164 of the Report) The study was designed to develop understanding of the range of litigants in person in private family law cases, their behavioural drivers and support needs, and their impact on the court system. The research was designed as a primarily qualitative study focusing on understanding the range of experiences and perspectives, rather than a quantitative study seeking to measure variables. The research included three linked studies: • Intensive Cases Study (ICS). The largest element of the research involved detailed analysis of a sample of 151 cases heard in five courts over a three to four week data collection time frame in each court between January and March 2013. The approach was multi-perspectival, involving observation of the hearing in each case, interviews with the parties and professionals associated with the observed case (subject to consent and availability) and scrutiny of the court file. • Local Contextual Study (LCS). This involved a series of focus groups in each of the five courts with local stakeholders (judges, lawyers, Cafcass and court staff), interviews and observations with local LIP support organisations and observations of public areas such as court counters and waiting rooms. • Secondary Analysis Study (SAS). This involved secondary analysis relating to LIPs of two large national datasets from two current studies led by members of the research team. 3. Main findings 3.1 Characteristics of LIPs (p11-34 of the Report) The major reason for self-representation was an inability to afford a lawyer, with only around one quarter of LIPs indicating that their appearance in person was wholly or partially a matter of choice. Over half of the LIPs observed had had legal representation at some stage during the current proceeding and/or in previous family law proceedings. Only a small minority of LIPs were able to represent themselves competently in all aspects of their family law proceedings. Even those with high levels of education or professional experience struggled with aspects of the legal process. The great majority of LIPs were procedurally (and, where relevant, legally) challenged in some way, with some having no real capacity to advocate for their own or their children’s interests. A wide range of personal vulnerabilities were identified with around half of those observed experiencing one or more vulnerabilities which often added to their difficulties in self-representation and in some cases defeated their attempts to do so. A significant number were also trying to handle quite complex cases. LIPs may create problems for the courts by reason of non-appearances, refusal to engage with proceedings, or, less often, violent and aggressive behaviour. While non-appearances may be quite common, the reasons for apparent resistance to court proceedings, as for violence and aggression, may often be related to litigants’ vulnerabilities. Unmeritorious and serial applications did not appear to be brought any more often by the LIPs in the sample than by represented parties, although having to respond to these applications was another vulnerability faced by some women LIPs. 3.2 Pre-hearing preparations (p35-51 of the Report) Much of the work in a family case is conducted before and between hearings rather than in the courtroom itself. The list of tasks to be accomplished in the pre-court and between-hearing phases is quite extensive and technically and practically demanding. The list includes determining legal merits and translating a dispute into legal form; consideration of mediation; making an application using the correct form and filing and serving correctly; possible negotiation with the other side in the waiting room and subsequent handling of the case (e.g. handling disclosure, preparing and filing statements). The successful completion of these tasks was important for the smooth running of the case and for timely and effective hearings. The extent to which LIPs were able to complete those tasks was highly variable. Understandably, many LIPs struggled with a range of technical tasks, including understanding which application form to use, how to complete it and how to file and serve correctly. Some LIPs faced practical problems such as an inability to access or print out online forms. Many LIPs also did not grasp foundational legal principles or concepts such as the importance of disclosure or the expectation of negotiation or settlement. A significant part of the problem is that the family justice system and the pre-court processes, procedures and tasks are predicated on a full representation model with two trained and experienced lawyers undertaking all these preparatory tasks. At least at the time of the fieldwork, there had been limited adaptation of processes to support LIPs and instead LIPs were largely required to comply with existing processes. There had been comparatively little adaptation of documentation (forms, guidance, letters from court etc) to meet the needs of LIPs. There was limited face-to face contact, advice and support at all stages of the pre-court process and on arrival in the court building before the hearing. The support available from court service staff varied locally but was constrained by concerns about straying into giving legal advice. The reduction in court counter hours and switch to an appointment system in some courts has reduced further the opportunities for face-to-face support. The challenging and complex nature of the pre-hearing tasks, coupled with limited support and advice, was a source of anxiety and stress for many LIPs. It also had consequences for court service staff workloads as they had to deal with correspondence from LIPs or pick up the errors or omissions in LIP paperwork. Some of the problems also had a significant impact on the conduct of the hearing itself. 3.3 In the courtroom (p52-78 of the Report) The court system is based on an adversarial, full representation model with two lawyers presenting their client’s cases to an impartial arbiter – the judge – who will make a decision. The role of the lawyers is central. Hearings where both parties were represented were generally patterned, predictable and efficient. All participants understood their roles without any need for explanation or behaviour management. LIP hearings were far less standardised. There was considerable variation in who picked up the tasks that a lawyer would normally perform in their absence – whether it was a LIP, the judge, the lawyer for the represented party or nobody. There was also variation in how effectively those tasks were done. The data suggested that semi-represented cases had longer final hearings and required more hearings than fully represented and non-represented cases. Cases with a LIP were more likely to require adjudication or be withdrawn or dismissed. Secondary analysis of a dataset of financial remedy contested hearings also suggested that LIP cases were less likely to settle and less likely to settle early than fully represented cases. There was variation in how well LIP hearings appear to work or not work in court. Four types appeared relatively fair and efficient/effective: umbrella semi – the represented party’s lawyer works on behalf of both parties; third party (quasi) lawyer – the children’s lawyer acts as broker for both LIPs; fully inquisitorial judge – the judge takes on the role of lawyer(s) and judge holding-their-own LIPs – a competent LIP manages a simple hearing with support from the judge. Four types of hearing appeared inefficient/ineffective or unfair: “hot potato” hearings - chaotic hearings with disruptive LIPs, adjourned or listed for contested hearings; over-confident LIPs - rambling hearings unable to restrict LIPs to legally relevant matters; out of their depth LIPs – LIPs unable to understand/accomplish tasks resulting in longer or extra hearings and unprotected LIPs - LIPs unable to explore concerns/present case. A combination of factors appears to influence how well courts and LIPs cope. These include matter and hearing type (directions vs. substantive hearing), the approach of the judge and any legal representative, the availability of any facilitative third party and the capacity of the LIP(s). The availability of additional professional (legal) support for the LIP was often key to success. Three of the four types of ‘working’ hearings involved either a supportive lawyer or an activist/inquisitorial judge. Causes of delay included LIPs’ lack of understanding and experience meaning sometimes critical tasks were missed out, were done inadequately or were completed by the LIP only with considerable coaching and support from others, particularly judges. Ensuring equality of arms between parties was a real challenge, notably when a LIP was unaware of their legal entitlements and/or unable to do justice to their case. Judges varied considerably in the extent to which they helped LIPs, in itself a source of potential unfairness. Judicial attempts to support LIPs could be seen as unfair to represented parties in semi-representation cases. Two key ‘legal’ tasks - the preparation of bundles and cross-examination - were beyond the capacity of most LIPs unless they had considerable help. 3.4 The support needs of litigants in person (p79-100 of the Report) The LIP experience was mixed, sometimes better than expected but often stressful and confusing. LIPs reported fear and anxiety about the process, feeling marginalised and bewilderment and confusion, regardless of educational level. Factors that made the experience more positive were judges and sometimes opposing solicitors who took time to explain things and being able to draw upon previous experience of being at court. A degree of self-assurance or confidence was helpful, although over-confidence and an over-estimation of one’s understanding of the process could cause difficulties. The main support needs identified by LIPs were for information about process and procedure, emotional support, practical support and tailored legal advice including broad questions about their entitlements and specific questions about tactics and tasks. LIPs varied enormously in terms both of willingness and ability to seek support and of the effectiveness with which support was sought. A minority of LIPs were proactive in searching for information without any prompting by the courts. The proactive LIPs could be divided into the capable/organised and those with a scattergun/shot in the dark approach, although even the capable/organised could find it difficult to find the information they needed. Reactive LIPs responded to instructions or suggestions from family justice professionals, especially where those instructions were clear and precise. Passive LIPs relied on others to provide help, did not engage with the court process or had chaotic lifestyles. Support for LIPs at the time of the study was disparate, variable and limited. The internet has potential for informing LIPs, as well as some very significant drawbacks in relation to relevance, accuracy as well as accessibility for all. Few of the LIPs interviewed reported using the HMCTS or MoJ websites and those who did reported they did not meet their needs. Further, not all LIPs have access to online resources and, even for those who do, websites cannot adequately substitute for the tailored legal advice that many LIPs require. LIPs reported frustration that organisations like CABx, the court service and Cafcass were not able to offer advice and advised them to seek legal advice that could not be afforded. There is a dearth of free or low-cost legal advice in the community. Family and friends could be very helpful acting as informal supporters, but the development of paid ‘professional’ McKenzie Friends was a source of real concern to judges, lawyers and Cafcass officers. As previous studies have found, the courts did little signposting to sources of support. Professional training in how to support LIPs is needed. The development of support services for LIPs and training for professionals should be informed by, and responsive to, the different needs and help-seeking approaches of LIPs. 4. Policy Implications and Recommendations (p101-125 of the Report) 4.1 LIPS after 1st April 2013: eligibility for legal aid and the ‘new’ LIPs Chapter 6 of the Report considers the policy and practice implications of the findings reported above. The chapter begins with consideration of how far the findings are likely to apply after 1 April 2013. The available evidence suggested that the majority of represented parties in the sample who were in receipt of legal aid would no longer be eligible for legal aid after the LASPO reforms. In comparison with the observed pre-LASPO LIPs, the researchers would expect that LIPs post-LASPO would be less likely to be partially represented and more likely to present with vulnerabilities which affect their capacity to represent themselves effectively and create challenges for the courts in terms of safety at court, testing, disclosure and safeguarding children 4.2 Recommendations The report identified that LIPs have considerable needs for support across several dimensions. It also identified what the researchers consider to be best practices for meeting those needs, based on the team’s review of the literature and the observations and interviews with LIPs and family justice system professionals. It has not been part of the research team’s brief, however, to analyse the cost-benefit of these proposals or to produce a fully worked-up blueprint for change. This section, therefore, summarises the broad recommendations arising from the team’s analysis of the literature and the research data. Further detailed policy and operational consideration will of course be required to determine how these recommendations could be implemented. Information needs • That all relevant family justice communications, including forms, leaflets, practice directions, templates and pro forma, are re-evaluated from the perspective of LIPs and (if necessary) redesigned with their various needs in mind. • That a single authoritative ‘official’ family court website is established with all the resources that a LIP needs in one place. • That the court’s communication with parties prior to the first hearing is used more effectively to convey important information to LIPs. • That judges are encouraged to give LIPs clear verbal instructions and guidance on process and procedure. • That the court service provides increased opportunity for face-to-face inquiries with relevant court staff and that guidelines and training for court staff are devised to facilitate information-giving whilst avoiding giving advice. Emotional/moral support • That there is a presumption that a single family member, friend or volunteer may accompany a LIP in court to offer emotional/moral support without the need to submit a formal CV. • That consideration is given to the development of a code of conduct, practice guidance or regulatory framework for paid/’professional’ McKenzie Friends. Practical support and legal knowledge • That initial legal advice to facilitate dispute resolution and, where necessary, for initial preparation for court proceedings is made universally available. • That providing support for LIPs in a consistent way in both semi-represented and non-represented cases is understood as a key element of the judicial role; and that judicial officers receive appropriate guidance and training to do so. • That measures are introduced to ensure greater availability of and access to exceptional case funding in private family law matters. • That a mechanism is introduced to enable judicial recommendation for the provision of publicly funded representation in the interests of justice. • That the MoJ consider which other forms of legal and procedural assistance outlined in this Chapter for LIPs engaged in court proceedings can feasibly be supported or implemented. Other issues • Follow up independent research is needed to examine the impact of the legal aid reforms on the types and experiences of LIPs, their impact on the court system and the effectiveness of innovations and services to support LIPs

Simulating Autonomous Mobile Programs on Networks

Autonomous mobile programs (AMPs) have been proposed for load management in dynamic networks. An AMP is aware of its resource needs and periodically seeks a better location in the network to reduce execution time. AMPs have previously been measured using mobile Java Voyager on local area networks (LANs). We have constructed a simulation model of AMPs and reproduced 4 sets of experiments on homogeneous networks, i.e. networks where all locations have the same processor speed, and 2 sets of experiments on heterogeneous networks with collection of large and small AMPs. The results show that simulated collections of AMPs obtain similar balanced states to those reached in the real experiments, and have only minor differences from real experimental results. The simulation model gives an opportunity to explore the greedy effect that can be observed in the real experiments. This gives us confidence to apply the simulation model for further investigation of AMP behaviour, including behaviours on wide area networks

Reliable scalable symbolic computation: The design of SymGridPar2

Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution. Symbolic computations are, however, challenging to parallelise as they have complex data and control structures, and both dynamic and highly irregular parallelism. The SymGridPar framework (SGP) has been developed to address these challenges on small-scale parallel architectures. However the multicore revolution means that the number of cores and the number of failures are growing exponentially, and that the communication topology is becoming increasingly complex. Hence an improved parallel symbolic computation framework is required. This paper presents the design and initial evaluation of SymGridPar2 (SGP2), a successor to SymGridPar that is designed to provide scalability onto 10^5 cores, and hence also provide fault tolerance. We present the SGP2 design goals, principles and architecture. We describe how scalability is achieved using layering and by allowing the programmer to control task placement. We outline how fault tolerance is provided by supervising remote computations, and outline higher-level fault tolerance abstractions. We describe the SGP2 implementation status and development plans. We report the scalability and efficiency, including weak scaling to about 32,000 cores, and investigate the overheads of tolerating faults for simple symbolic computations

An investigation of matrix population model assumptions : wrens (Troglodytes troglodytes) as a case study

A simulation matrix population model of a small population of wrens (Troglodytes troglodytes) is presented. The field work methods used to obtain and analyse the demographic rates are provided. This includes a description of the use of miniature radio tags to track juvenile (post-fledging) survival and dispersal, and capture mark recapture analysis of an eight year dataset to estimate adult survival rates, taking into account environmental variation and density dependence. Age related reproductive rates were obtained from detailed nest surveys. Using these demographic rates (means and variances), and information on density dependence in survival and breeding, a simulation matrix model was developed using Matlab (The MathWorks, Inc.). The operation of this model and its outputs are explained in detail, with particular reference to the methods employed to incorporate both density dependent survival and reproduction and environmental and demographic stochasticity. This model is then used to illustrate how, under plausible conditions of density dependence and stochasticity, large discrepancies are obtained between the deterministic, density independent elasticities of the population growth rate (λ) and the stochastic, density dependent elasticities of the equilibrium population size, extinction probability and invasion exponent. Since the elasticities of λ are often used to guide the management of endangered species, these results are particularly relevant to workers in the field of rare species conservation. While the importance of including environmental variation in the form of stochastic population simulations seems to now be generally accepted, the role of density dependent population regulation is still infrequently considered. Since one of the most common causes of population decline is habitat destruction, leading to an increase in population density within the remaining areas of habitat, this omission may rarely be justified. It is recommended that when elasticity analysis is conducted as part of species conservation efforts, both density dependence and stochasticity are included. Failure to do so may result in the misguided management of endangered species.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Case of placental insufficiency and premature delivery in a Fontan pregnancy:physiological insights and considerations on risk stratification

Objectives The coexistence of two complex physiologies such as Fontan and pregnancy is still not fully understood. We aim to add a unique and essential knowledge to help our colleagues in the management of Fontan patients that undergo pregnancy as well as the fetus and the placenta perfusion.Methods and results We analyse the coexistence of Fontan and pregnancy physiology on a complex case of a woman with hypoplastic left heart syndrome palliated with a univentricular repair who became pregnant, delivered very prematurely and had atypical placental findings.Conclusion Histopathological analysis of the placenta could help us to refine the understanding of Fontan physiology adaptation during pregnancy, predict women and fetal outcomes as well as to plan a better pre-pregnancy status. However, further evidence is needed in order to reach a more solid and unified conclusion

Iron status and the acute post-exercise hepcidin response in athletes

This study explored the relationship between serum ferritin and hepcidin in athletes. Baseline serum ferritin levels of 54 athletes from the control trial of five investigations conducted in our laboratory were considered; athletes were grouped according to values 100 mg/L (SF\u3e100). Data pooling resulted in each athlete completing one of five running sessions: (1) 8x3 min at 85% vVO2peak; (2) 5x4 min at 90% vVO2peak; (3) 90 min continuous at 75% vVO2peak; (4) 40 min continuous at 75% vVO 2peak; (5) 40 min continuous at 65% vVO2peak. Athletes from each running session were represented amongst all four groups; hence, the mean exercise duration and intensity were not different (p\u3e0.05). Venous blood samples were collected pre-, post- and 3 h post-exercise, and were analysed for serum ferritin, iron, interleukin-6 (IL-6) and hepcidin-25. Baseline and post-exercise serum ferritin levels were different between groups (p0.05). Post-exercise IL-6 was significantly elevated compared to baseline within each group (p100;

Action research and democracy

This contribution explores the relationship between research and learning democracy. Action research is seen as being compatible with the orientation of educational and social work research towards social justice and democracy. Nevertheless, the history of action research is characterized by a tension between democracy and social engineering. In the social-engineering approach, action research is conceptualized as a process of innovation aimed at a specific Bildungsideal. In a democratic approach action research is seen as research based on cooperation between research and practice. However, the notion of democratic action research as opposed to social engineering action research needs to be theorized. So called democratic action research involving the implementation by the researcher of democracy as a model and as a preset goal, reduces cooperation and participation into instruments to reach this goal, and becomes a type of social engineering in itself. We argue that the relationship between action research and democracy is in the acknowledgment of the political dimension of participation: ‘a democratic relationship in which both sides exercise power and shared control over decision-making as well as interpretation’. This implies an open research design and methodology able to understand democracy as a learning process and an ongoing experiment

Time complexity of concurrent programs: a technique based on behavioural types

International audienceWe study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. Then, we define a translation function that takes behavioural types and makes the parallelism explicit into so-called cost equations , which are fed to an automatic off-the-shelf solver for obtaining the time complexity