KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Bibliographic record card of CARISPLAN

Includes bibliography

Manual for use of the bibliographic record card

Includes bibliography

CARISPLAN procedure manual: for the use of the personal author record card

Manual de procedimiento para el uso de la tarjeta de registro de autores personales del Sistema de Información en Planificación para el Caribe (CARISPLAN).

CARISPLAN procedure manual: institutional author record card

Manual de procedimiento para el uso de la tarjeta de registro de autores institucionales del Sistema de Información en Planificación para el Caribe (CARISPLAN).

Arctic Report Card 2007: Tracking Recent Environmental Changes

Collectively, the observations indicate that the overall warming of the Arctic system continued in 2007. There are some elements that are stabilizing or returning to climatological norms. These mixed tendencies illustrate the sensitivity and complexity of the Arctic System. Atmosphere: Hot spot shifts toward Europe Ocean: North Pole Temperatures at depth returning to 1990s values Sea Ice: Summer extent at record minimum Greenland: Recent warm temperatures associated with net ice loss Biology: increasing tundra shrub cover and variable treeline advance; up to 80% declines in some caribou herds while goose populations double Land: Increase in permafrost temperatures The Arctic Report Card 2007 is introduced as a means of presenting clear, reliable and concise information on recent observations of environmental conditions in the Arctic, relative to historical time series records. It provides a method of updating and expanding the content of the State of the Arctic Report, published in fall 2006, to reflect current conditions. Material presented in the Report Card is prepared by an international team of scientists and is peer-reviewed by topical experts nominated by the US Polar Research Board. The audience for the Arctic Report Card is wide, including scientists, students, teachers, decision makers and the general public interested in Arctic environment and science. The web-based format will facilitate future timely updates of the content.

Evaluation of the colorimetric VITEK 2 card for identification of gram-negative nonfermentative rods: comparison to 16S rRNA gene sequencing

Ninety strains of a collection of well-identified clinical isolates of gram-negative nonfermentative rods collected over a period of 5 years were evaluated using the new colorimetric VITEK 2 card. The VITEK 2 colorimetric system identified 53 (59%) of the isolates to the species level and 9 (10%) to the genus level; 28 (31%) isolates were misidentified. An algorithm combining the colorimetric VITEK 2 card and 16S rRNA gene sequencing for adequate identification of gram-negative nonfermentative rods was developed. According to this algorithm, any identification by the colorimetric VITEK 2 card other than Achromobacter xylosoxidans, Acinetobacter sp., Burkholderia cepacia complex, Pseudomonas aeruginosa, and Stenotrophomonas maltophilia should be subjected to 16S rRNA gene sequencing when accurate identification of nonfermentative rods is of concern.

The Family Partners Credit Card: A Token Economy System Adapted for Intensive Family Preservation Services to Enable Families to Manage Difficult Behavior of Adolescents

Increasingly, families referred for Intensive Family Preservation Services have not experienced a crisis of maltreatment, focused on the parent; rather these families have children with chronic behavioral difficulties for which their parents lack the skills to cope. These are the same families whose children were formerly placed in residential programs. This paper presents The Family Partners Credit Card System, incorporating behavioral techniques developed to treat children in out-of-home placements into a family preservation model. Two case examples illustrate how the system has been modified to train biological or adoptive parents in parenting skills, enable them to teach their children pro-family behaviors, and reinforce new behaviors through a credit card that monitors an ongoing balance of credits and fines.

UHC Patient Safety Net® Progress To Date : An “A+” Report Card for JDH Staff!

Safety in Numbers It’s been eight months since we implemented UHC Patient Safety Net® (“PSN”) at John Dempsey Hospital, and we are delighted with its success. As you know, PSN is a web-based reporting tool for reporting patient safety-related events. Frontline staff are doing a great job entering data on patient care events. Here’s how PSN works:

Ernst von Possart, als: Card. Winchester, Rollenbild, in: Shakespeare: Heinrich VI

Signatur des Originals: S 36/F01539

El que crea que yo soy un vendedor de libros está mirando con un solo ojo : Aproximaciones al puesto de libros 'Hippie Card'

Fil: Roca Pamich, María Belén. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

El que crea que yo soy un vendedor de libros está mirando con un solo ojo : Aproximaciones al puesto de libros 'Hippie Card'

Fil: Roca Pamich, María Belén. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.