The meta-object facility typed

The Object Managment Group’s Meta-Object Facility (MOF) is a semiformal approach to writing models and metamodels (models of models). The MOF was developed to enable systematic model/metamodel interchange and integration. The approach is problematic, unless metamodels are correctly specified: an error in a metamodel specification will propagate throughout instantiating models and final model implementations. An important open question is how to develop provably correct metamodels. This paper outlines a solution to the question, in which the MOF metamodelling approach is formalized within constructive type theory.

Wolves in sheeps' clothing: Creationist manipulation of Kansas science standards

So the question that animates this paper is this: what happens when a state's education policy seeks to make popular social and religious values a central part of its education standards in direct confrontation with the Establishment Clause of the First Amendment of the U.S. Constitution? I will try to answer that question in three ways. First, I will examine the tactics used in the manipulation of curricula to reflect social and religious values, with special focus on the Kansas case. Second, I will try to ascertain the determinants of success in these efforts; under what conditions are movements to impose creation science on public school curricula likely to succeed, and when to fail? Third, I will try to place these struggles over educational curricula, and between religion and science, in broader context, focusing on what they tell us about the nature of public policy making in the contemporary United States.

Decision rules and information provision: monitoring versus manipulation

The paper focuses on the organization of institutions designed to resolve disputes between two parties, when some information is not veriable and decision makers may have vested preferences. It shows that the choice of how much discretional power to grant to the decision maker and who provides the information are intrinsically related. Direct involvement of the interested parties in the supply of information enhances monitoring over the decision maker, although at the cost of higher manipulation. Thus, it is desirable when the decision maker is granted high discretion. On the contrary, when the decision maker has limited discretional power, information provision is better assigned to an agent with no direct stake. The analysis helps to rationalize some organizational arrangements that are commonly observed in the context of judicial and antitrust decision-making.

Evidence of eligibility manipulation for conditional cash transfer programs

This paper assesses whether eligibility for conditional cash transfer programs have been manipulated, as well as the impact of this phenomenon on time allocation within households. To perform this analysis, we use data from the 2006 PNAD (Brazilian national household survey) and investigate the eligibility manipulation for the Bolsa Família (Family Stipend) program during this time period. The program assists families with a monthly per capita income of around R$120.00 (US$60.00). By applying the tests developed by McCrary (2008), we find suggestive evidence that individuals manipulate their income by voluntarily reducing their labor supply in order to become eligible to the program. Moreover, the reduction in labor supply is greater among women, especially single or divorced mothers. This evidence raises some concern about the unintended consequences related to the eligibility criteria utilized by Bolsa Família, as well as the program’s impact on individuals living in extreme poverty.

Decision rules and information provision : monitoring vs manipulation

We analyze the contractual design problem of a principal who delegates decision-making and information provision. The principal faces two tasks: he has to decide the level of discretion to be granted to the decision-maker and to establish who is in charge of supplying the information. We show that these two choices are intrinsically related. When the decision-maker is granted high discretion, information provision is optimally delegated to the parties directly affected by the decision. Conversely, when the decision-maker enjoys little discretion, it is more desirable to rely on a third impartial agent. The paper helps rationalize some organizational arrangements that are commonly observed in the context of judicial and antitrust decision-making.

Strategic manipulation of empirical tests

Theories can be produced by individuals seeking a good reputation of knowledge. Hence, a significant question is how to test theories anticipating that they might have been produced by (potentially uninformed) experts who prefer their theories not to be rejected. If a theory that predicts exactly like the data generating process is not rejected with high probability then the test is said to not reject the truth. On the other hand, if a false expert, with no knowledge over the data generating process, can strategically select theories that will not be rejected then the test can be ignorantly passed. These tests have limited use because they cannot feasibly dismiss completely uninformed experts. Many tests proposed in the literature (e.g., calibration tests) can be ignorantly passed. Dekel and Feinberg (2006) introduced a class of tests that seemingly have some power of dismissing uninformed experts. We show that some tests from their class can also be ignorantly passed. One of those tests, however, does not reject the truth and cannot be ignorantly passed. Thus, this empirical test can dismiss false experts.We also show that a false reputation of knowledge can be strategically sustained for an arbitrary, but given, number of periods, no matted which test is used (provided that it does not reject the truth). However, false experts can be discredited, even with bounded data sets, if the domain of permissible theories is mildly restricted.

Object modeling for user-centered development and user interface design: the wisdom approach

João Bernardo de Sena Esteves Falcão e Cunha

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Investigação do papel modulador do Haloperidol sobre os níveis de proteínas relacionadas à plasticidade e preferência por objetos novos em camudongos

Dopamine (DA) is known to regulate both sleep and memory formations, while sleep plays a critical role in the consolidation of different types of memories. We believe that pharmacological manipulation of dopaminergic pathways might disrupt the sleep-wake cycle, leading to mnemonic deficits, which can be observed in both behavioral and molecular levels. Therefore, here we investigated how systemic injections of haloperidol (0.3 mg/kg), immediately after training in dark and light periods, affects learning assessed in the novel object preference test (NOPT) in mice. We also investigated the hippocampal levels of the plasticity-related proteins Zif-268, brain-derived neurotrophic factor (BDNF) and phosphorylated Ca2+/calmodulin-dependent protein kinases II (CaMKII-P) in non-exposed (naïve), vehicle-injected controls and haloperidol-treated mice at 3, 6 and 12 hours after training in the light period. Haloperidol administration during the light period led to a subsequent impairment in the NOPT. In contrast, preference was not observed during the dark period neither in mice injected with haloperidol, nor in vehicle-injected animals. A partial increase of CaMKII-P in the hippocampal field CA3 of vehicle-injected mice was detected at 3h. Haloperidol-treated mice showed a significant decrease in the dentate gyrus of CaMKII-P levels at 3, 6 and 12h; of Zif-268 levels at 6h, and of BDNF levels at 12h after training. Since the mnemonic effects of haloperidol were only observed in the light period when animals tend to sleep, we suggest that these effects are related to REM sleep disruption after haloperidol injection

Folha de São Paulo: o diário oficial do grande irmão

This project wants to analyze the newspaper like a collective organic intellectual thing, and its action like a conservator integral journalism, it makes it looks like a politics block. In this case, the newspaper inserts itself in a process to support the dominated fundamental class. In the same time, it searches to disqualify politically, using the news and the opinion, the sprouting of against-hegemony even untimely and distant in the historical time. Facing this proposal we take as study object the FOLHA DE S. PAULO, nowadays the most representative agency of the great conservative press. Our theoretical reference takes as base the Gramsci organic intellectual formularizations, hegemony, position´s war, integral journalism and private device of hegemony. We allow ourselves, in a subsidiary way to the Gramsci basement, using the novel 1984 written by George Orwell, as a method to explicit, in a comparative way, the manipulation of the reality by the newspaper in its activity of collective organic intellectual. The ideology is the heuristic connection point to make convergence between reality and fiction. For the intended evidences we develop analysis of the daily covering about two great accidents occurred in 2007: The landslide of part of the workmanships of the tunnel of the Companhia do Metropolitano de São Paulo-Metrô (line yellow 4). And the flying disaster involving the airbus of Transportes Aéreos Meridionais-TAM, flight 3054, also in that state. In the first accident we find endorsement of the newspaper to the São Paulo´s government, in the person of the politician actor José Serra (PSDB), representative of the conservative forces and responsible for the workmanships of the Subway, to who it tried to distance politically of the fact. In the second event, the opposition to the politician actor Luis Inácio Luis Lula da Silva and his politics block, the PT, as a possibility against-hegemonic contested, being the mentioned actor appointed as responsible for the occurrence. However, the newspaper says that it is independent and direct, and this direct action comes from the environment. In this environment, the diversity of conceptions of world would guide the publishing work, making the FOLHA DE S. PAULO to take it as a reference for the intended objective, hiding the politics block militancy