Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Myth and Society: Functions, Uses, and Abuses of Myth in Society

In this work, I will discuss the integral role that myth has in society and then, after presenting several examples of this thesis, I will examine how the integral nature of myth lends itself to certain societal abuses. These abuses often result in unjust social constructs that eventually become attributed to the myth. I would like to proceed in defense of myth; that is, that these constructs are not to be attributed to the myths themselves, rather, society has taken myth and applied it to suit its purposes, ignoring the context in which the myths originated. Hopefully this will raise society's current attitudes toward myth to a level of respect, and will also help to clear myth of its reputation as the origin of injustice and domination.

Otto Klitgord and Andrew Clauson

Otto Klitogord (left) is depicted awarding the Hon. Andrew Clauson (right) with membership in TPS - June 26, 1952. Otto Klitgord was the first president of the New York City College of Technology. He was named director of the New York State Institute of Applied Arts and Sciences when it was formed in the 1946 and became president in the 1950s when the administration was reorganized. Klitgord served until 1960, making his tenure as president the longest in City Tech's history.

Otto Klitgord and Lawrence J. Jarvie

Otto Klitgord (left) and Lawrence Jarvie (right) are pictured at a college dinner. Otto Klitgord was the first president of the New York City College of Technology. He was named director of the New York State Institute of Applied Arts and Sciences when it was formed in the 1946 and became president in the 1950s when the administration was reorganized. Klitgord served until 1960, making his tenure as president the longest in City Tech's history.

Otto Klitgord and Major Benjamin Namm

Otto Klitgord is depicted giving Benjamin H. Namm, chairman of the college's Board of Trustees a degree. Otto Klitgord was the first president of the New York City College of Technology. He was named director of the New York State Institute of Applied Arts and Sciences when it was formed in the 1946 and became president in the 1950s when the administration was reorganized. Klitgord served until 1960, making his tenure as president the longest in City Tech's history.

Space Window*: an exhibition devoted to Man in Space and Space in Art

Call for submissions to participate in a show in the Bell Gallery, List Art Building at Brown University. Co-sponsored by the RI State Council on the Arts and the Providence Inner City Arts Association.

Murais modernos de Newton Navarro e Dorian Gray

This research aims to study wall paitings created by artists Newton Navarro and Dorian Gray, installed in public buildings of modern architecture, in Natal/RN from 1950 to 1970. The subject is seen by focusing on its concepts and characterization, linked to the ideia of integration of the arts and the meaning of modern mural painting in Brasil. The study presents an analyses of those paitings considering themes, techiniques and dimensions, comparing the solutions of local artists with brasilian muralist painters, particularly the work of Cândido Portinari. Registers of artistic works show a view of the inclusion of arts in modern architecture in the city

Um estudo sobre a apreciação do raciocínio matemático na formação inicial de professores

The present work focused on developing teaching activities that would provide to the student in initial teacher training, improving the ability of mathematical reasoning and hence a greater appreciation of the concepts related to the golden section, the irrational numbers, and the incommensurability the demonstration from the reduction to the nonsensical. This survey is classified itself as a field one which data collection were inserted within a quantitative and qualitative approach. Acted in this research, two classes in initial teacher training. These were teachers and employees of public schools and local governments, living in the capital, in Natal Metropolitan Region - and within the country. The empirical part of the research took place in Pedagogy and Mathematics courses, IFESP in Natal - RN. The theoretical and methodological way construction aimed to present a teaching situation, based on history, involving mathematics and architecture, derived from a concrete context - Andrea Palladio s Villa Emo. Focused discussions on current studies of Rachel Fletcher stating that the architect used the golden section in this village construction. As a result, it was observed that the proposal to conduct a study on the mathematical reasoning assessment provided, in teaching and activity sequences, several theoretical and practical reflections. These applications, together with four sessions of study in the classroom, turned on to a mathematical thinking organization capable to develop in academic students, the investigative and logical reasoning and mathematical proof. By bringing ancient Greece and Andrea Palladio s aspects of the mathematics, in teaching activities for teachers and future teachers of basic education, it was promoted on them, an improvement in mathematical reasoning ability. Therefore, this work came from concerns as opportunity to the surveyed students, thinking mathematically. In fact, one of the most famous irrational, the golden section, was defined by a certain geometric construction, which is reflected by the Greek phrase (the name "golden section" becomes quite later) used to describe the same: division of a segment - on average and extreme right. Later, the golden section was once considered a standard of beauty in the arts. This is reflected in how to treat the statement questioning by current Palladio s scholars, regarding the use of the golden section in their architectural designs, in our case, in Villa Emo

Evolution of representation of the hands in plastic arts

A interação entre arte e ciência foi intensa durante o Renascimento, sofrendo declínio nos anos posteriores com retomada significativa no século XX, principalmente com o uso de técnicas de identificação, datação de obras de arte e o desenvolvimento de novos materiais. O relacionamento entre artes plásticas e Cirurgia da Mão mantêm-se intenso , sendo freqüente o uso de reproduções artísticas da mão nas ilustrações de textos científicos. Objetivando compreender o papel da mão nas artes plásticas, reproduções de obras de artes (esculturas e pinturas) representativas de vários estilos ou períodos da história da arte foram analisadas com enfoque no estudo das mãos. Detalhes anatômicos, relacionamento com outras estruturas do corpo humano, papel na composição e aspectos simbólicos das mãos foram estudados no contexto histórico e artístico de obras de arte do período paleolítico (pré-história) até o século XX. A representação da mão nas artes plásticas está diretamente relacionada ao estilo ou período da obra e à capacidade individual de interpretação e execução do artista.

Differentiation in Selection of Dicots and Grasses by the Leaf-Cutter Ants Atta capiguara, Atta laevigata and Atta sexdens rubropilosa

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Differences in mushroom bodies morphogenesis in workers, queens and drones of Apis mellifera: Neuroblasts proliferation and death

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The correlation between thermal comfort in buildings and fashion products

This article is about thermal comfort in the wearable product. The research correlates fashion and architecture, in so far as it elects the brise soleil - an architectural element capable of regulating temperature and ventilation inside buildings - as a study referential, in trying to transpose and adapt its mechanisms to the wearable apparel.