3,796 research outputs found
Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
No full textThe Event-B method is a formal approach for modelling systems in safety-, and business-critical, domains. Initially, system specification takes place at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. Our aim has been to develop a novel approach for generating code, for concurrent programs, from Event-B. We formulated the approach so that it integrates well with the existing Event-B methodology and tools. In this paper we introduce a tasking extension for Event-B, with Tasking and Shared Machines. We make use of refinement, decomposition, and the extension, to structure projects for code generation for multitasking implementations. During the modelling phase decomposition is performed; decomposition reduces modelling complexity and makes proof more tractable. The decomposed models are then extended with sufficient information to enable generation of code. A task body describes a task’s behaviour, mainly using imperative, programming-like constructs. Task priority and life-cycle (periodic, triggered, etc.) are also specified, but timing aspects are not modelled formally. We provide tool support in order to validate the practical aspects of the approach
Recommended from our members
The democratic constitution ::experimentalism and interpretation /
No full textThe Supreme Court is seen today as the ultimate arbiter of the Constitution. Once the Court has spoken, it is the duty of the citizens and their elected officials to abide by its decisions. But the conception of the Supreme Court as the final interpreter of constitutional law took hold only relatively recently. Drawing on the pragmatic ideals characterised by Charles Sanders Peirce, John Dewey, Charles Sabel, and Richard Posner. Brian E. Butler shows how this conception is inherently problematic for a healthy democracy. Butler offers an alternative democratic conception of constitutional law, 'democratic experimentalism', and applies it in a thorough reconstruction of Supreme Court cases across the centuries
Black Noir Signifies More Than Just a 'Simple Parallel': A Response to Brian E. Butler
No full textThis is a response to: Brian E. Butler (2010) ‘Blackness is Noir: Flory's Philosophical Investigation of the Black Noir Genre in Film’, a review of Dan Flory (2008) Philosophy, Black Film, Film Noir. University Park, PA: The Pennsylvania State University Press.http://www.film-philosophy.com/index.php/f-p/article/view/195/19
Recommended from our members
The democratic constitution ::experimentalism and interpretation /
No full text"The Supreme Court is seen today as the ultimate arbiter of the Constitution. Once the Court has spoken, it is the duty of the citizens and their elected officials to abide by its decisions. But the conception of the Supreme Court as the final interpreter of constitutional law took hold only relatively recently. Drawing on the pragmatic ideals characterized by Charles Sanders Peirce, John Dewey, Charles Sabel, and Richard Posner. Brian E. Butler shows how this conception is inherently problematic for a healthy democracy. Butler offers an alternative democratic conception of constitutional law, "democratic experimentalism," and applies it in a thorough reconstruction of Supreme Court cases across the centuries, such as Brown v. Board of Education, Citizens United v. Federal Election Commission, Lucas v. South Carolina Coastal Council, and Lochner v. New York. In contrast to the traditional tools and conceptions of legal analysis that see the law as a formally unique and separate type of practice, democratic experimentalism combines democratic aims and experimental practice. Butler also suggests other directions jurisprudential roles could take: for example, adjudication could be performed by primary stakeholders with better information. Ultimately, Butler argues persuasively for a move away from the current absolute centrality of courts toward a system of justice that emphasizes local rule and democratic choice."--Publisher's website
The question of gendered voice in some contemporary Irish novels by Brian Moore and John McGahern
Get PDFThis thesis questions the use of the 'voice' metaphor in contemporary Irish cultural studies in order to examine
the ways in which gendered identities are constructed in some Irish Catholic communities in twentieth-century
Ireland. With reference to novels by Brian Moore and
John McGahern as well as to Judith Butler's theories of performativity and citational practices, it argues that gendered identities are constructed through the repetitive citation of hegemonic cultural discourses. This thesis
focuses on the ways in which gendered identities are produced and maintained through the citation of the official discourses of the Catholic Church and the State as
well as the more mundane discourses related to popular nationalism and the family.
The first two chapters concentrate on novels whose protagonists are trying to construct powerful identities in urban Irish society through the manipulation of gendered discourses. The discussion of Moore's The Lonely Passion of Judith Hearne identifies some of the strategies through which conventional Irish women's voices are constructed
and questions the validity of the category of 'authentic' women's voices. In the chapter relating to McGahem's The
Pornographer, the powerful, abstract male voice is exposed as a performative construct which is sustained only through the abjection of those elements which disrupt the narrator's performance of masculinity.
The remaining chapters concentrate on the use of idealised images such as those of the 'woman-as-nation' and the iconised mother in novels by Moore and McGahem. Moore's The
Mangan Inheritance provides the basis for a discussion of whether or not voices attributed to women in texts by Irish men can be read in ways that disrupt the apparent authority of Irish men's voices. This thesis discusses the issues
raised when men participate in the deconstruction
of idealised images of Irish women. The final chapter examines the processes through which conventional identities are discursively constructed and maintained in two novels by John McGahem: The Dark and Amongst Women. This thesis contends that through the strategic
redeployment of those voices attributed to idealised images of Irish women, voices which are conventionally regarded
as silent, patriarchal gendered identities can be destabilised or displaced
Botulinum neurotoxin for head and neck disorders/ [edited by] Andrew Blitzer, Brian E. Benson, Diana N. Kirke
No full textIncludes bibliographical references and index"Senior author Dr. Andrew Blitzer is an internationally renowned pioneer on the use of botulinum neurotoxin for functional disorders, with unparalleled expertise on this topic. Joined by co-editors Brian Benson and Diana Kirke, with multidisciplinary contributors, Botulinum Neurotoxin for Head and Neck Disorders Second Edition fills a gap in the medical literature. The unique textbook focuses on the use of botulinum neurotoxins for functional disorders of the head and neck, though with some aesthetic indications. The second edition reflects the latest advances and understanding of existing and emerging applications for botulinum neurotoxins, including new treatment paradigms, revised pharmacology, and an updated review of the literature in all chapters. Twenty superbly illustrated chapters cover the management of hyperfunctional, pain, and hypersecretory syndromes of the head and neck. Hyperfunctional motor disorders are discussed in chapters focused on blepharospasm, facial dystonia, Meige syndrome, oromandibular dystonia, spasmodic dysphonia (laryngeal dystonia), and cervical dystonia. Specific treatment approaches for pain are addressed in chapters on migraine and chronic daily tension headaches, temporomandibular disorders, and trigeminal neuralgia. The treatment of autonomic nervous system disorders is covered in chapters dedicated to Frey syndrome, facial hyperhydrosis, and sialorrhea"--Pharmacology of Botulinum Neurotoxins / Muna I. Bitar, Nikita Kohli, Maya Samman, and Andrew Blitzer -- Botulinum Neurotoxin for Blepharospasm / Amit Patel, Andrew Blitzer, and Boris L. Bentsianov -- Botulinum Neurotoxin for Facial Dystonia / Scott M. Rickert, Amy P. Wu, and Andrew Blitzer Botulinum -- Neurotoxin for Meige Syndrome / Niv Mor and Andrew Blitzer -- Botulinum Neurotoxin for Oromandibular Dystonia / Daniel Novakovic and Ajay E. Chitkara -- Botulinum Neurotoxin for Spasmodic Dysphonia / Phillip C. Song, Lucian Sulica, and Andrew Blitzer -- Botulinum Neurotoxin for Cervical Dystonia / Tanya K. Meyer, Joel Guss, and Ronda E. Alexander -- Botulinum Neurotoxin for Hemifacial Spasm and Facial Synkinesis / Lesley French Childs, Daniel Novakovic, and Scott R. Gibbs -- Botulinum Neurotoxin for Hyperfunctional Facial Lines / Brian E. Benson, Diana N. Kirke, and Andrew Blitzer -- Botulinum Neurotoxin for Upper and Lower Esophageal Spasm / Nwanmegha Young and Brian E. Benson -- Botulinum Neurotoxin for Palatal Myoclonus / Ajay E. Chitkara, Catherine F. Sinclair, and Daniel Novakovic -- Botulinum Neurotoxin for Temporomandibular Disorders, Masseteric Hypertrophy, and Cosmetic Masseter Reduction / Michael Z. Lerner and Andrew Blitzer -- Botulinum Neurotoxin Therapy in the Laryngopharynx / Craig H. Zalvan, Phillip C. Song, Nwanmegha Young, and Andrew Blitzer -- Botulinum Neurotoxin for Migraine / Rachel Kaye, Jerome Schwartz, Brian E. Benson, and William J. Binder -- Botulinum Neurotoxin for Chronic Tension Headache / Nwanmegha Young and Brian E. Benson -- Botulinum Neurotoxin for Trigeminal Neuralgia / Elizabeth Guardiani, Andrew Blitzer, Lesley French Childs, and Ronda E. Alexander -- Botulinum Neurotoxin for Frey's Syndrome / Rachel Kaye, Andrew Blitzer, and Brian E. Benson -- Botulinum Neurotoxin for Facial Hyperhidrosis / Diana N. Kirke, Daniel Novakovic, and Andrew Blitzer -- Botulinum Neurotoxin for Sialorrhea / Brianna K. Crawley, Scott M. Rickert, Senja Tomovic, and Andrew Blitzer -- Botulinum Neurotoxin for Radiation-Induced Spasm and Pain / Diana N. Kirke, Brian E. Benson, and Tanya K. Meyer1 online resourc
"Making New Connections": interview with Brian Chikwava
No full textThis is an interview with Brian Chikwava, the author of critically-acclaimed *Harare North* (2009)
Tyrosine-derived nanoparticles for the topical treatment of psoriasis
No full textAt the New Jersey Center for Biomaterials, a potential topical psoriasis therapy consisting of tyrosine-derived polymeric micelles (TyroSpheres™) with encapsulated drug has been developed. These TyroSpheres™ are composed of copolymers with hydrophobic blocks of oligomers of desaminotyrosyl tyrosine esters and diacids and hydrophilic blocks of poly(ethylene glycol). Encapsulated drugs include a vitamin D3 analogue, betamethasone dipropionate, and paclitaxel. Drug-loaded TyroSpheres™ offer: 1) reproducible particle sizes, 2) control of drug release rates, 3) enhancement of drug stability, 4) increased solubility by high encapsulation capacity, 5) lack of short-term cytotoxicity, and 6) the ability to improve drug delivery into the skin. Additionally, TyroSpheres™ can be incorporated into an elegant viscous formulation for skin application with no impact on homogeneity, release, or skin distribution. Analysis has revealed that TyroSpheres™ are stable for up to 4 months, significantly limiting their shelf-life potential. By implementing a rational design, research on the preparation of a dry formulation of TyroSpheresTM has been undertaken, resulting in a fully re-constitutable formulation that has demonstrated complete stability to date (6 months). A two year-long stability study has been initiated to track the properties of this formulation over time. TyroSpheres™ address the requirements of a pharmaceutically acceptable skin drug delivery carrier and offer potential in the treatment of psoriasis since they allow delivery of difficult to uptake drugs to skin strata where the disease originates.Ph. D.Includes bibliographical referencesby Brian E. Kilfoyl
- …
