DOCSLIB.ORG

Kent Academic Repository Full Text Document (Pdf)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Kent Academic Repository Full Text Document (Pdf) Kent Academic Repository Full text document (pdf) Citation for published version Freitas, Leonardo (2002) JACK: A process algebra implementation in Java. Other masters thesis, Centro de Informatica, Universidade Federal de Pernambuco. DOI Link to record in KAR https://kar.kent.ac.uk/13806/ Document Version UNSPECIFIED Copyright & reuse Content in the Kent Academic Repository is made available for research purposes. Unless otherwise stated all content is protected by copyright and in the absence of an open licence (eg Creative Commons), permissions for further reuse of content should be sought from the publisher, author or other copyright holder. Versions of research The version in the Kent Academic Repository may differ from the final published version. Users are advised to check http://kar.kent.ac.uk for the status of the paper. Users should always cite the published version of record. Enquiries For any further enquiries regarding the licence status of this document, please contact: [email protected] If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided at http://kar.kent.ac.uk/contact.html UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE INFORMÁTICA PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO LEONARDO FREITAS “JACK: A proc e ss alge bra impleme ntation in Java" ESTE TRABALHO FOI APRESENTADO À PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO DO CENTRO DE INFORMÁTICA DA UNIVERSIDADE FEDERAL DE PERNAMBUCO COMO REQUISITO PARCIAL PARA OBTENÇÃO DO GRAU DE MESTRE EM CIÊNCIA DA COMPUTAÇÃO. ORIENTADOR(A): Augusto César Alves Sampaio RECIFE, ABRIL/2002 Abstract The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it difficult to repeat test scenarios. Concurrency has proved to be a fascinating subject and there are many subtle distinctions which one can make. This dissertation presents an approach for constructing concurrent programs using a set of process algebra constructs (for CSP) implemented as an object-oriented framework in Java called JACK; it stands for Java Architecture with CSP kernel. The main objective of the framework is an implementation of process algebra constructs that provides, as naturally as possible, the algebraic idiom as an extension to this concurrent object-oriented programming language. By naturally, we mean a design and implementation that provide the process abstraction as if it were included in the Java language itself (i.e. embedded in the Java language as an extension package). JACK is a framework that implements a process algebra. A process algebra is a formal language that has notations for describing and reasoning about reactive systems. It implements a modern version of the Hoare’s Communication Sequential Process (CSP) formalism. The framework is provided as a Java extension package that supplies CSP operators embedded in the Java language. The library is struc- tured using UML, role modeling for framework design and construction, and make use of design patterns and pattern languages. Furthermore, JACK follows some of the most important software engenieering practices to build frameworks and as a result its design achievies important properties like reusability, simplicity, expres- sive power, modularity, extensibility, and so forth. JACK is provided as a gray-box (white, and black-box) framework tailored to run CSP specifications in Java; it can also be used to model unified specifications like Circus and CSP-OZ, that combines CSP with Z. The implementation is built using separation of concerns in a way that is highly beneficial to class-based design of frameworks. This work empathizes the use of design patterns and pattern languages to properly build frameworks, achieve desired software engineering properties and software quality requirements. The user of the JACK framework is able to describe its process specification in Java, either in CSP or in a combined algebra one, like in CSP-OZ or in Circus. i Resumo A constru¸c˜ao de programas concorrentes ´ede natureza complexa principalmente por conta do n˜ao-determinismo herdado da sua forma de execu¸c˜ao, o que dificulta a repeti¸c˜ao de cen´arios de teste. Concorrˆencia tem provado ser um tema fascinante existindo muitas sutis distin¸c˜oes que podem ser feitas. Esta disserta¸c˜ao apresenta uma proposta para constru¸c˜ao de programas concorrentes utilizando um conjunto de constru¸c˜oes de ´algebra de processos (para CSP) implementadas como uma ar- quitetura orientada a objetos em Java chamada JACK. O principal objetivo da arquitetura ´ea implementa¸c˜ao de construtores de ´algebra de processos que forne¸ca, da maneira mais natural poss´ivel, o idioma alg´ebrico como uma extens˜ao desta linguagem de programa¸c˜ao concorrente e orientada a objetos. Por natural, entede-se um projeto e implementa¸c˜ao que forne¸ca a abstra¸c˜ao de processo como se ele estivesse inclu´ido em Java como um pacote de extens˜ao. JACK ´euma arquitetura que implementa uma ´algebra de processos. Uma ´algebra de processos ´euma linguagem formal que possui nota¸c˜ao para descri¸c˜ao e racioc´inio sobre sistemas reativos. Ela implementa uma vers˜ao moderna do for- malismo Communication Sequential Process (CSP) desenvolvido por Hoare. A ar- quitetura est´adispon´ivel como um pacote de Java que provˆeoperadores de CSP para esta linguagem. A biblioteca ´eestruturada utilizando UML e modelo de pap´eis para projeto e constru¸c˜ao de arquiteturas, fazendo uso de padr˜oes e linguagens de projeto. Al´em disso, JACK segue algumas dos mais importantes pr´aticas em engenharia de software para constru¸c˜ao de arquiteturas, e, como um resultado, seu projeto possui importantes propriedades como reusabilidade, simplicidade, poder de express˜ao, modularidade, extensibilidade, etc. JACK ´edisponibilizada como uma arquitetura gray-box (white, e black-box) constru´ida para rodar especifica¸c˜oes CSP em Java. Ela pode ainda ser utilizada para modelar especifica¸c˜oes unificadas como Circus e CSP-OZ, que combinam CSP com Z. A implementa¸c˜ao ´econstruida utilizando separa¸c˜ao de facetas de uma forma altamente ben´efica para o projeto de arquitetura baseado em classes. Este trabalho enfatiza o uso de padr˜oes e linguagens de projeto para construir arquiteturas de forma adequada, alcan¸cando propriedades de engenharia de software e requisitos de qualidade desejados. iii Acknowledgments ao outro Outro encarnado em n´os mesmos e que n˜ao sabemos como lidar (...). This dissertation is dedicated to the death of Dum and the rebirth of Dede and her metamorphose tramp. I have two main group of people to acknowledge. One that provides me full proof technical support, and another one that gives enough courage and psychological incentive (and presure) to continue. Each group plays a specific and necessary role in this disseration work, without them, it would not be possible to happen. In the first main group I must distinguish my supervisors Augusto Sampaio and Ana Cavalcanti for their competent technical and personal support for the completeness of this work. I like you very much! Despite this, I believe that the most important person that have influenced my academic route at a whole is my great friend Adolfo Duran. Without his initial trust in my work and operational incentive to follow that academic path, I would not be there. I cannot forget to mention another important person in my academic life: Jos´eAugustp Suruagy Monteiro; he was the first one that trusted in my work and gave me operational support and incentive to continue in this area. Behind the scenes, there are also more people that helped a lot in many other technical details like Alexandre Motta, Orlando Campos, Adalberto Cajueiro, and some other department university fellows. Their valuable opinions and discussions were very important. I would also like to thanks Professor Jim Woodcock, Augusto Sampaio, and Ana Cavalcanti for their encouragement in continue my dissertation work as PhD thesis on the same research field — tools for formal methods. Professor Peter Mosses gives me helpfull support in an Action Semantic research related to this work. A special thanks must be given to Jaqueira’s reacecourse (a beautiful place here in Recife that I run everyday); the most important ideas of this dissertation were perceived there. Finally, I must mention CAPES, a brazilian state organization that gives financial support for my technical research at UFPE. The second group have the most important people in my life. I must thank v my mother and godmother for their emotional support and important phylosofical discussion about life, poetry, and psychoanalysis. I would like to thank my father for their operational and practical support, and also for his complete trust in my capacity even when I did not. Other important persons must be mentioned. Helson Ramos and Espa¸coMoebius, for the valuable discussions about psychoanalysis and the analytical style of life at a whole. Adolfo Duran and Caio Mattos, for their complete friendship. Orlando Campos, for his serenity and tranquillity in the time that we have acquaintance her in Recife. Katiana Barauna, for her initial emotional support here in Recife and during some personal problems in Salvador. To Bolildos guys, my old group of friends from Salvador, specially mentioning Mario, for his tranquility and security; Bolildo and Borela for their determination and hilarious behaviour; Mira, for his organization; Zinho, for our interesting discussions about social human way of life; Clˆo, for his blind friendship, even when I was not worthy of it. To Virginea and Nina, for their emotional support and admiration about me and my analytical way of life. Finally, for the other important people that I have forgot to mention, please, receive my apologizes. I must say that, despite of many technical, personal and emotional problems during this work, it was worthwhile.
Load more

Recommended publications
  • Sociedade Brasileira De Cardiologia • ISSN-0066-782X • Volume 104, Nº 2, February 2015
    www.arquivosonline.com.br Sociedade Brasileira de Cardiologia • ISSN-0066-782X • Volume 104, Nº 2, February 2015 Figure 1 – Ilustration of cell interactions during atheroma formation. Page 170 Editorial Fatty Acid and Cholesterol Concentrations in Usually Consumed The representativeness of the Arquivos Brasileiros de Cardiologia for Fish in Brazil Brazilian Cardiology Science Assessment of Myocardial Infarction by Cardiac Magnetic Resonance Special Article Imaging and Long-Term Mortality Multivariate Analysis for Animal Selection in Experimental Research Review Article Original Articles Microparticles as Potential Biomarkers of Cardiovascular Disease Reproducibility of left ventricular mass by echocardiogram in the Letter to the Editor ELSA-Brasil Acute Effects of Continuous Positive Airway Pressure on Pulse Pressure in CHF Relationship between Neutrophil-To-Lymphocyte Ratio and Electrocardiographic Ischemia Grade in STEMI Sudden Cardiac Death in Brazil: A Community-Based Autopsy Series Eletronic Pages (2006-2010) Clinicoradiological Session Impact of Light Salt Substitution for Regular Salt on Blood Pressure of Case 2/2015 A 33-Year-Old Woman with Double Right Ventricular Hypertensive Patients Chamber and Ventricular Septal Defect Effects of Ischemic Postconditioning on the Hemodynamic Parameters Case Report and Heart Nitric Oxide Levels of Hypothyroid Rats Giant Left Atrial Thrombus with Double Coronary Vascularization Neural Mechanisms and Delayed Gastric Emptying of Liquid Induced Image Through Acute Myocardial Infarction in Rats Mitral
    [Show full text]
  • Arvedon, Sessler Win Mixed on Score Change
    Friday, March 18, 2011 Volume 54, Number 8 Daily Bulletin NABC National Tournament • Louisville • March 10-20, 2011 54th Spring North American Bridge Championships Editors: Brent Manley and Dave Smith Arvedon, Sessler win No. 1 seed falls In Vanderbilt Mixed on score change The top-seeded Team Monaco, with four Just as they had apparently lost out on members of last year’s winning squad, are on the Wednesday night to a score correction, Lloyd sidelines today after being trounced by the original Arvedon and Carolyn Sessler were returned to first No. 17 seed, captained by Seymon Deutsch. They place in the Rockwell Mixed Pairs on Thursday by ousted the top seed 151-87. another score change. The No. 2 seed, Nick Nickell, had to rally in The pair in first place when everyone went to the fourth quarter for a 108-105 victory, while No. bed on Wednesday – Gail Greenberg and Jeff Hand 3 John Diamond cruised against No. 14 Richard – dropped to second. Schwartz. No. 4 James Cayne routed original No. The original margin of victory for Arvedon and 20 Barbara Sonsini. Sessler was four-tenths of a matchpoint. It appeared The No. 5 seed, led by Aubrey Strul, was that Greenberg and Hand had won by sixth-tenths. ousted by Joe Grue, originally seeded No. 21, and The new standings put Arvedon-Sessler back in No. 7 Carolyn Lynch was defeated by No. 22 Mary first by their original margin. Ann Berg. The winners were playing together for the first As this issue went to press, one match – Meng time in about five years.
    [Show full text]
  • President's Report 2015
    PRESIDENT’S REPORT 2015 AUDACIOUS, AGILE, ASPIRING & AIMING TABLE OF CONTENTS MESSAGE FROM THE CHAIRMAN 05 06 MESSAGE FROM THE PRESIDENT PRESIDENT'S EXECUTIVE COMMITTEE 11 PRESIDENTIAL INAUGURATION 12 OF DR. CYNTHIA TENIENTE-MATSON AGILE: FIRST-TIME 32 MILESTONES AUDACIOUS: OUTSTANDING ACHIEVEMENTS COLLEGE OF ARTS & SCIENCES COLLEGE OF BUSINESS 42 COLLEGE OF EDUCATION & HUMAN DEVELOPMENT UNIVERSITY LIBRARY • OFFICE OF GRADUATE STUDIES & RESERACH AIMING: PATHWAYS 64 TO SUCCESS TEXAS A&M-SAN ANTONIO FOUNDATION • MILITARY EMBRACING ASPIRING: 76 IN THE COMMUNITY Dear Jaguar Community, It would be hard to overstate the Texas A&M-San Antonio is fundamentally changing the progress made by Texas A&M University- higher education landscape in San Antonio. By 2030, the San Antonio since Cynthia Teniente- state is aiming to have 60 percent of the 25- to 34-year old Matson arrived last January to serve as workforce hold a post-secondary credential. This can only interim president. As we mark her one- be achieved by getting more traditionally underserved year anniversary with the institution, and first-generation students into college and making sure it is appropriate to take a moment to they graduate with high-quality degrees and little to no reflect on some of these changes. debt. In San Antonio, no institution can do this better than When Dr. Matson arrived, Texas A&M-San Antonio was – as it Texas A&M-San Antonio. had been since becoming a standalone university in 2009 – Under Dr. Matson’s leadership, we fully anticipate that the exclusively an upper-division university serving juniors and university will become a model not just for the region and seniors.
    [Show full text]
  • 7Th Cir. 2020)
    OCTOBER TERM 2020 No. _____ _______________________________ IN THE SUPREME COURT OF THE UNITED STATES _______________________________ ALFRED BOURGEOIS, Petitioner, v. T.J. WATSON, Warden, USP-Terre Haute, and UNITED STATES OF AMERICA, Respondents. ______________________________ On Petition for Writ of Certiorari to the United States Court of Appeals for the Seventh Circuit __________________ APPENDIX TO PETITION FOR A WRIT OF CERTIORARI VOLUME I ______________________________ --- CAPITAL CASE --- EXECUTION SCHEDULED FOR DECEMBER 11, 2020 Victor J. Abreu * Katherine Thompson Peter Williams Federal Community Defender Office for the Eastern District of Pennsylvania 601 Walnut Street, Suite 545 West Philadelphia, PA 19106 (215) 928-0520 [email protected] *Counsel of record for Petitioner, and Member of the Bar of the Supreme Court TABLE OF CONTENTS Volume I of II Opinion, Bourgeois v. Watson, 977 F.3d 620 (7th Cir. 2020) ..........................PA001 Order Granting Motion for Stay of Execution, Bourgeois v. Superintendent, 2:19- cv-992-JMS-DLP (S.D. Ind. March 10, 2020) .................................................PA017 Order Granting Motion for Stay of Execution, Bourgeois v. Superintendent, 2:19- cv-992-JMS-DLP (S.D. Ind. March 10, 2020) .................................................PA030 Order Denying Respondent’s Motion to Reconsider and Motion For Leave to File Surreply, Bourgeois v. Superintendent, 2:19-cv-992-JMS-DLP (S.D. Ind. May 27, 2020) ................................................................................................................ PA032 Memorandum and Order Denying Motion for Relief Pursuant to 28 U.S.C. § 2255, United States v. Bourgeois, 2:02-cr-216 (S.D. Tex. May 19, 2011) ................PA037 Order Denying Petitioner’s Motion for an Order Authorizing a Successive 28 U.S.C. §2255, In re Bourgeois, No.
    [Show full text]
  • PASADENA INDEPENDENT SCHOOL DISTRICT Meeting of The
    PASADENA INDEPENDENT SCHOOL DISTRICT Meeting of the Board of Trustees Tuesday, January 19, 2010, at 6:00 P.M. AGENDA The Pasadena Independent School District Board of Trustees Personnel Committee will meet in Room L101 of the Administration Building, 1515 Cherrybrook, Pasadena, Texas on Tuesday, January 19, 2010, at 6:00 P.M. I. Convene in a Quorum and Call to Order; Invocation; Pledge of Allegiance II. Adjournment to closed session pursuant to Texas Government Code Section 551.074 for the purpose of considering the appointment, employment, evaluation, reassignment, duties, discipline or dismissal of a public officer, employee, or to hear complaints or charges against a public officer or employee. III. Reconvene in Open Session IV. Adjourn The Pasadena Independent School District Board of Trustees Policy Committee will meet in the Board Room of the Administration Building, 1515 Cherrybrook, Pasadena, Texas on Tuesday, January 19, 2010, at 6:00 P.M. I. Convene into Open Session II. Discussion regarding proposed policies III. Adjourn 1 The Board of Trustees of the Pasadena Independent School District will meet in regular session at the conclusion of any committee meetings on Tuesday, January 19, 2010, in the Board Room of the Administration Building, 1515 Cherrybrook, Pasadena, Texas. A copy of items on the agenda is attached. I. Convene in a Quorum and Call to Order THE SUBJECTS TO BE DISCUSSED OR CONSIDERED OR UPON WHICH ANY FORMAL ACTION MIGHT BE TAKEN ARE AS FOLLOWS: II. First Order of Business Section II 1. Adjournment to closed session
    [Show full text]
  • DOCUMENT RESUME AUTHOR Poinsett, Alex the Role of Sports In
    DOCUMENT RESUME ED 407 376 SP 037 291 AUTHOR Poinsett, Alex TITLE The Role of Sports in Youth Development. Report of a meeting convened by Carnegie Corporation of New York (March 18, 1996) . INSTITUTION Carnegie Corp. of New York, N.Y. PUB DATE Mar 96 NOTE 210p. PUB TYPE Collected Works Proceedings (021) EDRS PRICE MF01/PC09 Plus Postage. DESCRIPTORS Academic Achievement; *Adolescents; *Athletics; Elementary Secondary Education; *Health Promotion; High Risk Students; *Physical Education; Physical Fitness; *Sport Psychology IDENTIFIERS Strength Training ABSTRACT This document summarizes a conference on the potential impact of sports on at-risk youngsters. More than 40 scholars and practitioners met to explore the role that sports programs play in promoting academic success, health and fitness, responsible social behaviors, and self-confidence, and ways that such programs could be expanded to reach those most in need. David A. Hamburg reported on the Carnegie Corporation's work in the area of youth development. James P. Comer discussed risk and opportunity in adolescence, the important role athletics can play in teaching personal discipline and perseverance, and the lack of training for persons working with young people. Robert L. John reviewed the developmental stages of early adolescence and the challenges health providers face in promoting young people's health. Reginald Clark explored the educational, social, and emotional needs of adolescents and how sports programs' improve or hinder educational outcomes. Further discussion covered the Skillman Foundation Michigan report (1995), barriers to young people's participation in sport, and creating the structures among foundations, municipal governments, and federal agencies to continue to identify and address youth needs on an ongoing basis.
    [Show full text]
  • Sociedade Brasileira De Cardiologia • ISSN-0066-782X • Volume 101, Nº 5, November 2013
    www.arquivosonline.com.br Sociedade Brasileira de Cardiologia • ISSN-0066-782X • Volume 101, Nº 5, November 2013 Fig. 1 - Mitral regurgitation assessment using four echocardiographic methods in a patient with idiopathic dilated cardiomyopathy. A) Mitral regurgitation jet area measurement showing an area of 9.01 cm2; B) Vena contracta measurement (0.40 cm), in; C/D) Magnified image of the measure of hemisphere radius, maximum velocity and VTI for calculation of effective regurgitant orifice area and regurgitant volume. In this patient, the effective regurgitant orifice area was 0.14 cm2 and the regurgitant volume was 23.8 ml. Page. 459 Editorial Criteria for Mitral Regurgitation Classification were inadequate for Myocardial Delayed Enhancement by Cardiac Magnetic Resonance Dilated Cardiomyopathy Imaging in Pulmonary Arterial Hypertension: A Marker of Disease Severity Review Article Original Articles Antithrombotic Strategy in the Three First Months following Miniaturized Self-Expanding Drug-Eluting Stent in Small-Caliber Bioprosthetic Heart Valve Implantation Coronary Arteries: Late Effectiveness Case Report Does the Aging Process Significantly Modify the Mean Heart Rate? Acute Coronary Syndromes in 2011 and 2012 Serum Adiponectin and Cardiometabolic Risk in Patients with Acute Sports Events and Acute Coronary Syndrome: Possible Confounding Coronary Syndromes Factors and Bias Left Ventricular Synchrony and Function in Pediatric Patients with Definitive Pacemakers Eletronic Pages Risk of Ionizing Radiation in Women of Childbearing Age undergoing
    [Show full text]
  • Derby Fever Rich Racing for Older Horses Roy Brooks Age Is Relative South Texas the Cradle of Great Runners
    J J JUNE 2012 Q-RACING JOURNAL ≤U R N A DERBY FEVER RICH RACING FOR OLDER HORSES ROY BROOKS AGE IS RELATIVE L SOUTH TEXAS THE CRADLE OF GREAT RUNNERS CONTENTS - 2012 STATISTICS racing FEATURES 8 ≤uarter Paths: Joe Moore 60 Race Leaders by Category By Richard Chamberlain The son of a foundation sire carried on the name. 62 Grade 3 and Ungraded Stakes Charts 12 ≤uarter Chatter 16 Making Runners 68 Grade 1 and Grade 2 Stakes Charts By Richard Chamberlain Follow along with 2-year-olds on the track. 70 Leading Sires by Money Earned Part of a continuing series 71 Leading Sires by Winners 20 Lofty Alibi By Andrea Caudill BP Cartels Alibi cashes in the Heritage Place Futurity. 72 Leading Sires by 2-Year-Old Money Earned 24 Cold Invitational By Andrea Caudill 73 Leading Sires by 2-Year-Old Cold Cash 123 dominates a tough field in Winners the Remington Park Invitational Championship. journal 28 Ruidoso Runners 74 Leading Sires by Distances By Andrea Caudill PJ Chick In Black wins the Ruidoso 79 Leading First-, Second- Futurity, Executive Brass wins the Derby. and Third-Year Sires 34 Roy Brooks By Richard Chamberlain 82 Leading Broodmare Sires by Simple is as simple does. Money Earned 42 Ontario Onward 83 Leading Broodmare Sires by By Richard Chamberlain 2-Year-Old Money Earned The sky hasn’t fallen in Ontario. Not yet, anyway. 84 Leading Dams by Money Earned 46 Derby Fever By Denis Blake Lucrative purses for 3-year-olds are catching 85 Leading Horses by Money Earned the attention of owners and trainers.
    [Show full text]
  • 15World Bridge Series
    TH WORLD BRIDGE S E R I E S ORLANDO, FLORIDA | 21ST SEPTEMBER - 6TH OCTOBER 2018 15Editor: Brent Manley • Co-Editors: Barry Rigal, Brian Senior Daily Bulletin Journalists: David Bird, Jos Jacobs, Ron Tacchi • Lay-out Editor: Monica Kümmel Issue No. 8 Friday, 28th September 2018 LOTS OF ACTION AS TEAMS FINALISTS DETERMINED Our beautiful and smiling ladies from the reception desk, Jan Martel, Vicky Chediak, Johanna Kowalczyk, Branca Grguric, Gildana Caputo, Silvia Valentini and Fernanda Joanitti are there for you every day from 9 a.m. The six finalists for the Open, Women’s and Senior teams were determined on Friday with no shortage of drama. The championship matches, starting today, feature Zimmermann versus Lavazza in the Open Teams, Baker versus Smith in the Women’s and Milner versus China Evertrust in the Seniors. In the Open Teams (Rosenblum Cup), the Pierre Zimmermann team was behind 105-82 with one set to play but outscored the Warren Spector squad 39-12 over the final 14 boards to win 121-117. They will face the powerful Lavazza squad, 149-91 winners over the Alexander Allfrey team. In the Women’s Teams (McConnell Cup), Lynn Baker and company led all the way against the Irene Baroni team, winning 189-130. Baker will play against the Nicola Smith team for the championship. Smith trailed by 28 after three sets and was down 2 IMPs with a set to play but won the final set 21-17 to advance. The Senior Teams (Rand Cup) final will feature the Reese Milner team against Contents China Evertrust, who shrugged off an early deficit to charge into the final with a BBO Schedule .
    [Show full text]
  • 11841 Tables WBF Officials: 'We Can'
    Sunday, August 11, 2013 Volume 85, Number 10 Daily Bulletin 85th North American Bridge Championships Editors: Brent Manley and Paul Linxwiler WBF officials: ‘We can’t rest’ Polish team rallies in effort to promote youth bridge for Spingold berth Looking back on the Rona said the WBF was vs Grue 3rd World Youth Open especially grateful to ACBL The Polish team calling themselves Bridge 24, Bridge Championships, District 7 and the Mid- trailing by 22 IMPs with a quarter to go, stormed two of the central figures Atlanta Bridge Conference. from behind with a 69-32 set against the Andrew in the organization of the With Barbara Heller Gromov squad to make it to the final of the Spingold eight-day championship coordinating the effort, Knockout Teams. say that, despite some ups those two entities supplied Bridge 24 will face the team captained by Joe and downs, the tournament all the food, entertainment Grue, 138-105 winners over Richard Schwartz and in Atlanta was successful. and other amenities for the company. In the end, they said, competitors. Originally seeded at No. 39, Bridge 24 is Jacek the outcome is judged The Atlanta Kalita, Michael Nowosadski, Rafal Jagniewski and by whether the players championship Wojciech Gawel. Kalita has been regular at NABCs Gianarrigo Rona Ata Aydin enjoyed the experience. was organized with in recent years, but the others are not well known on “The players are having a good time,” said the cooperation and this side of the Atlantic. World Bridge Federation President Gianarrigo Rona support of the ACBL and the United States Bridge Gromov played with Aleksander Dubinin, with two days to go in the tournament.
    [Show full text]
  • Final Program
    FINAL PROGRAM MINNEAPOLIS CONVENTION CENTER, MINNEAPOLIS, MN WWW.ASESCIENTIFICSESSIONS.ORG DISEASE BASED FOCUS ON THE ROLE OF ECHO IN DIAGNOSIS AND GUIDING THERAPY Please Visit Booth 715 To place an order, call 1-800-299-3431 or visit www.definityimaging.com Please Visit Booth 715 To place an order, call 1-800-299-3431 or visit www.definityimaging.com 515835-1211 to-left cardiac shunts phospholipid-encapsulated microspheres (Table 6.1 Cont’d) All activated can bypass the pulmonary particle-filtering mechanisms and DEFINITY® directly enter the arterial circulation resulting in microvascular (N=1716) occlusion and ischemia. In an animal study utilizing intra- ® Central and peripheral nervous arterial administration of activated DEFINITY , microsphere system disorder 54 (3.1) trapping was seen in small arterioles <15 µm, especially at branch points and in capillaries at all doses tested, including Headache 40 (2.3) doses directly applicable to those used in humans. An animal Dizziness 11 (0.6) FOR INTRAVENOUS USE study utilizing intravenous administration did not result in arterial microvascular obstruction presumably because of Gastrointestinal system 31 (1.8) BRIEF SUMMARY filtering by the lungs. Do not administer DEFINITY® by intra- Nausea 17 (1.0) arterial injection [see CONTRAINDICATIONS]. Please See Full Prescribing Information available at Vascular (extracardiac) disorders 19 (1.1) www.definityimaging.com for additional information. High Ultrasound Mechanical Index: Flushing 19 (1.1) High ultrasound mechanical index values may cause WARNING: SERIOUS CARDIOPULMONARY REACTIONS microsphere cavitation or rupture and lead to ventricular N=Sample size 1716 subjects who received activated ® Serious cardiopulmonary reactions, including fatalities, arrhythmias. Additionally, end-systolic triggering with high DEFINITY have occurred uncommonly during or following perflutren- mechanical indices has been reported to cause ventricular n=Number of subjects reporting at least one Adverse containing microsphere administration [See WARNINGS arrhythmias.
    [Show full text]
  • National Programsamerican Folklife Center, Children's Literature
    DOCUMENT RESUME ED 286 534 IR 052 149 TITLE Annual Report of the Librarian of Congress, 1986. For the Fiscal Year Ending September 30, 1986. INSTITUTION Library of Congress, Washington, D.C. PUB DATE 87 NOTE 234p.; For the 1985 report, see ED 273 292; for the summary report for 1986, see IR 052 150. rVAILABLE FROMSuperintendent of Documents, U.S. Government Printing Office, Washington, DC 20402. PUB TYPE Books (010) -- Reports - Descriptive (141) EDRS PRICE MF01/PC10 Plus Postage. DESCRIPTORS Annual Reports; Cataloging; Copyrights; *Federal Programs; Information Science; Law Libraries; Library Administration; *Library Services; Library Statistics; *National Libraries; Program Descriptions; *Research Libraries IDENTIFIERS Congressional Research Service; Copyright Office; *Library of Congress ABSTRACT Fiscal year activities are summarized for seven organizational areas of the Library of Congress: (1) Administration--Office of the Librarian and Management Services; (2) National ProgramsAmerican Folklife Center, Children's Literature Center, Educational Liaison Office, Exhibits Office, Federal Library and Information Center Committee, Information Office, National Library Service for the Blind and Physically Handicapped, and Publishing Office; (3) Congressional Research Service, including examples of help provided in congressional deliberations concerning a number of major issues dealt with in the second session of the 99th Congress; (4) ?rocessing Services--cataloging, acquisitions and overseas operations, bibliographic products and services,
    [Show full text]