Gender inequities in portuguese state administration: how expressive feminization and facilitating laws are not enough to guarantee effective gender equity at public work

Comunicação apresentada na 69th ASPA Anual Conference, em Dalas, Texas de 7 a 11 de março de 2008

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Relève en médecine interne générale: enjeux et perspectives [Perspectives and challenges to guarantee training and renewal in general internal medicine]

Training new doctors in general internal medicine represents a challenge. This requires to define future needs, which result from interest that are not necessarily convergent between patients, doctors, insurers and politicians. Problems related to medical demography in Switzerland, with the ageing of the population, the increase in health care costs and the place of Switzerland within the European Community require the implementation of specific objectives to train new physicians in general internal medicine. The success of these opportunities depends on social factors, political choices and choices from physician's association. In this article we will approach these challenges by formulating some proposals--nonexhaustive--in order to guarantee sufficient renewal in general internal medicine.

Events That Guarantee Your Right To Buy Medicare Supplement Insurance, March 2007

You have a six-month open enrollment period when you are enrolled in Medicare Part B for the first time at age 65 or older. The six-month period begins the date your Medicare Part B begins. During your open enrollment period: • You cannot be turned down for any plan (A-L) being sold in Iowa. • You cannot be charged a higher premium based on your health. • You will not have a waiting period before benefits are paid for pre-existing health conditions IF you had previous health insurance coverage, AND you apply within 63 days of the end of previous health insurance, AND you were covered for at least 6 months under that health plan.

Are 10 min of seating enough to guarantee stable haemoglobin and haematocrit readings for the athlete's biological passport?

Haemoglobin (Hb) and haematocrit (Hct) are measured as indirect markers of doping in athletes. We studied the effect of posture on these parameters in a typical antidoping setting. Venous blood samples were obtained from nine endurance athletes (six males, three females) and nine control subjects (six males, three females) immediately and after 5, 10, 15, 20 and 30 min after having adopted a seated position from normal daily activity. Hb (CV 0.72%) and Hct (CV 0.87%) were determined using an automated cell counter, plasma volume changes were calculated. Differences between the time points, gender and groups were calculated using a mixed-model procedure. Significant changes were observed in the first 10 min after sitting down but no further changes were noted between 10 and 30 min. Mean directional change for Hb and Hct between 0 min and the average of the period from 10 to 30 min was -2.4% (-0.35 g/dl) for Hb and -2.7% (-1.2%) for Hct. Plasma volume increased accordingly. Neither group nor gender had significant effects. Under typical conditions encountered during blood testing in doping control, a period of 10 min in a seated position is sufficient for the vascular volumes to re-equilibrate and to adapt to the new posture.

Complete Analysis of Configuration Rules to Guarantee Reliable Network Security Policies

Peer-reviewed

Room temperature aging to guarantee microbiological safety of Brazilian artisan Canastra cheese

Canastra cheese is one of the oldest and most traditional cheeses made from raw milk in Brazil. However, this type of practice may have severe consequences for human health. According to the current legislation, any cheese made from raw milk must be aged for at least 60 days. Traditionally, Canastra cheese is consumed after different ripening periods, but consumers usually prefer those that are aged less than eight days. This study aimed to evaluate the effects of physicochemical and microbiological parameters, with emphasis on the pathogenic microbiota regulated by law, on cheese aged at room temperature and under refrigeration. Cheese samples were collected from eight different cheese producers located in the Serra da Canastra region twice a year (rainy and dry seasons) and analyzed with 8, 15, 22, 29, 36, and 64 days of ripening. Room temperature aging effectively reduced pathogens, reaching the total count established by law in 22 days, regardless of the season. However, ripening under refrigeration, it was ineffective in reducing the Staphylococcus aureus counts to the legislation limits, even after 64 days. Therefore, Canastra cheese should be ripened for at least 22 days at room temperature in order to fulfill the safety regulatory limits.

Arbitration under the regulations on the guarantee of new residential buildings in Quebec

Dans ma mémoire, j’ai discuté les concepts d’arbitrage comme méthode de résolution d’un litige et par après, je donne un court historique de l’acceptation d’arbitrage au Québec. Le Chapitre I étudie la structure des règlements du R.B.Q., qui est un gendre d’arbitrage obligatoire institutionnelle, et j’inclus les diverses procédures dans ce système d’arbitrage. La sécurité offert par le plan de garantie règle par le R.B.Q. est discuté dans le Chapitre II en autant qu’il est relié avec le system d’arbitrage R.B.Q., y compris la structure du plan et le contenu de la sécurité. Chapitre III parle des recours disponible aux Bénéficiares ainsi que les avantages et désavantages de l’arbitrage sous les Règlements du R.B.Q. Un court étude comparative de quatre autres juridictions est recherché en Chapitre IV, incluant notre voisin, Ontario, les Etats-Unis et on croise dans les juridictions de Royaume Unie et Allemagne. En conclusion, j’établis que notre système d’arbitrage sous le Règlement protéges notre publique plus que d’autres juridictions. Je suggère des améliorations au système, par contre, incluant l’agrandissement du plan de garantie, l’ajout des pouvoirs donnés aux arbitres américains et ensuite d’intègré un système d’arrêt semblable aux Royaumes Unis.

A Study of Credit Guarantee Fund Trust for Micro and Small Enterprises with particular reference to Bank of Baroda in state of Kerala

While the quantum of advances from the public sector banks (PSBs) to the MSEs has increased over the years in absolute terms, from Rs.46, 045 crore in March 2000 to Rs.1, 85,208 crore in March 2009, the share of the 7credit to the MSE sector in the Net Bank Credit (NBC) has declined from 12.5 per cent to 10.9 per cent. Similarly, there has been a decline in the share of micro sector as a percentage of Net Bank Credit (NBC) from 7.8 per cent in March 2000 to 4.9% in March 2009. (TKA.Nair, 2010)9.The major reasons for low availability of bank finance to this sector are high risk perception of the banks in lending to MSEs and high transaction costs in processing of loan applications of MSEs. The problem is more serious for micro enterprises requiring small loans and the first generation entrepreneursThe thesis studies the divergence in guidelines by, CGTMSE, RBI & Bank of Baroda on collateral free lending and analyses the awareness of MSE about CGTMSE lending. The researcher tries to assess the problems faced by borrowers in availing advance under CGTMSE from Bank of Baroda, Kerala.

Constitutional judges (guarantee of the Constitution and responsibility)

My aim in this paper is to propose a reflection on the position and the importance that the constitutional judge has in the legal systems of contemporary constitutionalism. The figure of the judge responsible of protecting the Constitution is a key institution, without which we cannot understand the laws of constitutional democracies, their current lines of development, and the guarantee of rights and freedoms that constitute the normative core of these systems. Moreover, the reflection on the exercise of the powers of the judge, its scope and its justification is an important part of contemporary legal discussion, still relevant, albeit not exclusively - in the field of legal philosophy. The object of attention of my reflection is the judge who has the power of judicial review, in a scheme of defense of the Constitution, regardless the specific ways of this defense.

Fundamental Right to Freedom of Conscience without Objection? Some Notes for its Recognition as a Fundamental Guarantee

Conscientious objection is defined as the ability to depart from statutory mandates because of intimate convictions based on ethical or religious convictions. A discussion of this issue presents the conflict between the idea of a State concerned with the promotion of individual rights or the protection of general interests and an idea of law based on the maintenance of order and against a view of the law as a means to claim the protection of minimum conditions of the person. From this conflict is drawn the possibility to argue whether conscientious objection should be guaranteed as a fundamental right of freedom of conscience or as a statutory authority legislatively conferred upon persons. This paper sets out a discussion around the two views so as to develop a position that is more consistent with the context of social and constitutional law.