Qualitative Process Theory

Objects move, collide, flow, bend, heat up, cool down, stretch, compress and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand common sense physical reasoning and make programs that interact with the physical world as well as people do we must understand qualitative reasoning about processes, when they will occur, their effects, and when they will stop. Qualitative Process theory defines a simple notion of physical process that appears useful as a language in which to write dynamical theories. Reasoning about processes also motivates a new qualitative representation for quantity in terms of inequalities, called quantity space. This report describes the basic concepts of Qualitative Process theory, several different kinds of reasoning that can be performed with them, and discusses its impact on other issues in common sense reasoning about the physical world, such as causal reasoning and measurement interpretation. Several extended examples illustrate the utility of the theory, including figuring out that a boiler can blow up, that an oscillator with friction will eventually stop, and how to say that you can pull with a string but not push with it. This report also describes GIZMO, an implemented computer program which uses Qualitative Process theory to make predictions and interpret simple measurements. The represnetations and algorithms used in GIZMO are described in detail, and illustrated using several examples.

A Model for Deliberation, Action, and Introspection

This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as deciding what other actions to take. A design for the architecture of reasoning programs is proposed. This architecture involves self-consciousness, intentional actions, deliberate adaptations, and a form of decision-making based on dialectical argumentation. A program based on this architecture inspects itself, describes aspects of itself, and uses this self-reference and these self-descriptions in making decisions and taking actions. The program's mental life includes awareness of its own concepts, beliefs, desires, intentions, inferences, actions, and skills. All of these are represented by self-descriptions in a single sort of language, so that the program has access to all of these aspects of itself, and can reason about them in the same terms.

Understanding Simple Picture Programs

What are the characteristics of the process by which an intent is transformed into a plan and then a program? How is a program debugged? This paper analyzes these questions in the context of understanding simple turtle programs. To understand and debug a program, a description of its intent is required. For turtle programs, this is a model of the desired geometric picture. a picture language is provided for this purpose. Annotation is necessary for documenting the performance of a program in such a way that the system can examine the procedures behavior as well as consider hypothetical lines of development due to tentative debugging edits. A descriptive framework representing both causality and teleology is developed. To understand the relation between program and model, the plan must be known. The plan is a description of the methodology for accomplishing the model. Concepts are explicated for translating the global intent of a declarative model into the local imperative code of a program. Given the plan, model and program, the system can interpret the picture and recognize inconsistencies. The description of the discrepancies between the picture actually produced by the program and the intended scene is the input to a debugging system. Repair of the program is based on a combination of general debugging techniques and specific fixing knowledge associated with the geometric model primitives. In both the plan and repairing the bugs, the system exhibits an interesting style of analysis. It is capable of debugging itself and reformulating its analysis of a plan or bug in response to self-criticism. In this fashion, it can qualitatively reformulate its theory of the program or error to account for surprises or anomalies.

Automatic Analysis of the Logical Structure of Programs

This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole. It does not address the issue of how complex data structures are built up from simpler ones, nor the relationships between data structures and the operations performed on them.

Structure and Interpretation of Computer Programs

"The Structure and Interpretation of Computer Programs" is the entry-level subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical Engineering or in Computer Science, as one fourth of the "common core curriculum," which also includes two subjects on circuits and linear systems and a subject on the design of digital systems. We have been involved in the development of this subject since 1978, and we have taught this material in its present form since the fall of 1980 to approximately 600 students each year. Most of these students have had little or no prior formal training in computation, although most have played with computers a bit and a few have had extensive programming or hardware design experience. Our design of this introductory Computer Science subject reflects two major concerns. First we want to establish the idea that a computer language is not just a way of getting a computer to perform operations, but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute. Secondly, we believe that the essential material to be addressed by a subject at this level, is not the syntax of particular programming language constructs, nor clever algorithms for computing particular functions of efficiently, not even the mathematical analysis of algorithms and the foundations of computing, but rather the techniques used to control the intellectual complexity of large software systems.

Protocol of capillary isoelectric focusing to separate extremely acidic and basic proteins

A new set-up was constructed for capillary isoelectric focusing (CIEF) involving a sampling capillary as a bypass fixed to the separation capillary. Sample solutions were subjected to a previously established pH gradient from the sample capillary. Besides performing conventional CIEF, the separation of ampholytic compounds with isoelectric points (p/s) beyond the pH gradient was carried out on this system. This method was termed as pH gradient driven electrophoresis (PGDE) and the basic mathematical expressions were derived to express the dynamic fundamentals. Proteins such as lysozyme, cytochrome C, and pepsin with p/s higher than 10 or below 3 were separated in a pH gradient provided by Pharmalyte (pH 3-10). Finally, this protocol convincingly exhibited its potential in the separation of a solution of chicken egg white.

Electrochromatographic evaluation of a silica monolith capillary column for separation of basic pharmaceuticals

A silica-based monolithic capillary column was prepared via a sol-gel process. The continuous skeleton and large through-pore structure were characterized by scanning electron microscopy (SEM). The native silica monolith has been successfully employed in the electrochromatographic separation of beta-blockers and alkaloids extracted from traditional Chinese medicines (TCMs). Column efficiencies greater than 250000 plates/m for capillary electrochromatography (CEC) separation of basic compounds were obtained. It was observed that retention of basic pharmaceuticals on the silica monolith was mainly contributed by a cation-exchange mechanism. Other retention mechanisms including reversed-phase and normal-phase mechanisms and electrophoresis of basic compounds also played a role in separation. A comparison of the differences between CEC and capillary zone electrophoresis (CZE) separation was also discussed.

Checklists for grading object-oriented CS1 programs: concepts and misconceptions

Sanders, K. and Thomas, L. 2007. Checklists for grading object-oriented CS1 programs: concepts and misconceptions. In Proceedings of the 12th Annual SIGCSE Conference on innovation and Technology in Computer Science Education (Dundee, Scotland, June 25 - 27, 2007). ITiCSE '07. ACM, New York, NY, 166-170

Radio i jego miejsce w życiu codziennym. Studium odbioru stacji radiowych w Polsce po 1989 roku. Analiza i interpretacja badań jakościowych

Wydział Historyczny: Instytut Etnologii i Antropologii Kulturowej

Wykluczenie społeczne wyzwaniem dla współczesnego świata

Społeczeństwo, w którym egzystuje współczesny człowiek, jest nie tyle trudne, ile bardzo złożone. Dlatego też wielu ludzi nie radzi sobie z różnymi problemami natury osobistej i społecznej. Wielu z nich doświadcza wykluczenia społecznego definiowanego jako efekt różnego rodzaju upośledzeń społecznych, wobec czego jednostka lub grupa nie może w pełni uczestniczyć w życiu gospodarczym, społecznym, ekonomicznym i politycznym społeczeństwa, do którego należy. Podmiotem wykluczenia społecznego jest przede wszystkim jednostka, która na drodze realizacji własnego humanitas została wykluczona w sposób przez siebie zawiniony lub doznała wykluczenia z powodu niewłaściwej polityki państwa. Do najważniejszych problemów lokujących się w obrębie wykluczenia autor zalicza: niepełnosprawność, bezrobocie, bezdomność, uzależnienia, samotność i ubóstwo. Scharakteryzowano przywołane powyżej obszary wykluczenia oraz podjęto próbę wskazania sposobów pomocy jednostkom, które stały się ofiarami wykluczenia. Podstawową instytucją pomagającą tym osobom jest pomoc społeczna, której pierwszym i podstawowym celem jest ulepszanie życia społecznego. Ważne miejsce zajmują w niej pracownicy socjalni, którzy jako jednostki wykształcone i kompetentne mogą wpływać na lepsze życie człowieka. Niestety, współcześnie nie zawsze w wystarczający sposób zaspokajane są podstawowe potrzeby zagubionych osób. Najsilniej dotykają one grupy i jednostki najsłabsze. Wskutek owych braków w polityce społecznej oraz w jej przedmiotowych zakresach: w polityce ludnościowej, rodzinnej, edukacyjnej, mieszkaniowej, polityce podziału dochodu, zabezpieczenia społecznego, zatrudnienia, następuje erozja najsłabszych ogniw systemu społecznego. Konieczne zatem wydaje się otwarcie polityki państwa na różne problemy społeczne, nie zawsze zawinione przez jednostkę, ale przez system, w którym się ona znalazła.

DSpace Basic Tutorial

PDF of powerpoint slides presented at DSUG 2007 Roma

Patient Retention in Antiretroviral Therapy Programs in Sub-Saharan Africa: A Systematic Review

Paper published in PLoS Medicine in 2007.