• No results found

A type and effect system for expression costs

A Generic Type-and-Effect System

A Generic Type-and-Effect System

... generic effect system presented in this paper could be ex- tended in a number of ways to increase ...standard type soundness using our strategy and then to prove a relationship between the ...

12

A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages

A Type and Effect System for Deterministic Parallelism in Object-Oriented Languages

... a type and effect system for ensuring deterministic se- mantics in a concurrent object-oriented ...Our system pro- vides several new capabilities over previous work, including sup- port for ...

11

A Type and Effect System for Atomicity

A Type and Effect System for Atomicity

... The expression synchronized e 1 e 2 is evaluated in a manner similar to Java’s synchronized statement: the subexpression e 1 is eval- uated first, and should yield an object, whose lock is then acquired; the ...

12

CiteSeerX — A type and effect system for atomicity

CiteSeerX — A type and effect system for atomicity

... The expression synchronized e 1 e 2 is evaluated in a manner similar to Java’s synchronized statement: the subexpression e 1 is eval- uated first, and should yield an object, whose lock is then acquired; the ...

12

A Type-and-Effect System for Object Initialization

A Type-and-Effect System for Object Initialization

... Objects under initialization are dangerous when used without care, therefore the access to them should be controlled. Scopability imposes discipline on accessing uninitialized objects. If we regard uninitialized objects ...

28

A type-and-effect system for asynchronous, typed events

A type-and-effect system for asynchronous, typed events

... Via the register expression, the effect of a handler is put inside the reg effect while with the T- ANNOUNCE and t , this embedded effect is extracted from the reg effect to be exercise[r] ...

14

The Maryland Hospital Regulation System and Its Effect on Hospital Pricing and Costs

The Maryland Hospital Regulation System and Its Effect on Hospital Pricing and Costs

... education costs, trauma costs, case mix, disproportionate share, and partial differences in capital ...labor costs that are outside of the hospital’s ...education costs. There are incremental ...

37

The effect of exogenous in vitro expression of wild type and mutant JAK2 in erythroblast progenitors

The effect of exogenous in vitro expression of wild type and mutant JAK2 in erythroblast progenitors

... gene expression analysis and therefore gene expression is based on the RPKM of all expressed exons or junctions in the samples, taking into account the total read counts for expressed exons, their sequence ...

267

Adaptive Interval Type-2 Fuzzy Inference System for Facial Expression Recognition

Adaptive Interval Type-2 Fuzzy Inference System for Facial Expression Recognition

... its type-1 counterpart, we use a 5-fold cross valida- tion technique with the same data partitions as T1- ...the system output while each row shows the desired ...

13

Six Weeks Resistance Training Effect on FTO Expression in 
Type II Diabetes Rats

Six Weeks Resistance Training Effect on FTO Expression in Type II Diabetes Rats

... In this experimental study, eighteen 10 weeks old male wistar rats (220 ± 30 g), procured from the institutional animal house facility were used for all the experiments and after induction of T2DM were randomly divided ...

7

Effect of pyrethroid insecticides on gene expression in the mammalian central nervous system

Effect of pyrethroid insecticides on gene expression in the mammalian central nervous system

... that Type I and Type II pyrethroids do not produce equivalent effects on gene transcription in the rat frontal cortex following behaviorally equipotent ...The expression of a large number of ...

235

Effect of splenectomy on type-1/type-2 cytokine gene expression in a patient with adult idiopathic thrombocytopenic purpura (ITP)

Effect of splenectomy on type-1/type-2 cytokine gene expression in a patient with adult idiopathic thrombocytopenic purpura (ITP)

... The pathological immune activity seems to decrease over time after splenectomy, as reflected by the lower Th1/Th2 ratio that is indicative of the degree of immune polariza- tion. This may be explained by reduced ...

5

Effect of irrigation system type on profitability of Eucalyptus (Eucalyptus globulus) plantations

Effect of irrigation system type on profitability of Eucalyptus (Eucalyptus globulus) plantations

... irrigation system was profitable at eight years harvest age at the three prices of pulp wood evaluated, obtaining a NPV of US$ 14, 502, and 989 ha 1 for the prices US$ 26, 29, and 32 m 3 ssc and a discount rate ...

9

EFFECT OF OBESTATIN ON CARDIOVASCULAR SYSTEM IN TYPE II DIABETIC RAT MODEL

EFFECT OF OBESTATIN ON CARDIOVASCULAR SYSTEM IN TYPE II DIABETIC RAT MODEL

... and Type II Diabetes induced groups (n=10) In which heart rate and blood pressure were recorded before and after OB (100 Mg/kg body weight) injection , In vitro experiments subdivided into normal (n= 10) and ...

17

Migration of Type III Secretion System Transcriptional Regulators Links Gene Expression to Secretion

Migration of Type III Secretion System Transcriptional Regulators Links Gene Expression to Secretion

... Until now, no direct connection between the processes of T3SS gene expression regulation and T3SS protein secretion by employing the same protein components was established. In this work, we show that in ...

16

Tissue Gene Expression of Renin-Angiotensin System in Human Type 2 Diabetic Nephropathy

Tissue Gene Expression of Renin-Angiotensin System in Human Type 2 Diabetic Nephropathy

... renin-angiotensin system (RAS) by high glucose, mechanical stress and proteinuria has been implicated in the major changes associated with diabetic nephropathy ...the system with angiotensin converting ...

22

Regulation of porcine circovirus type 2-like particles expressed in baculovirus expression system

Regulation of porcine circovirus type 2-like particles expressed in baculovirus expression system

... suitable expression system to ...protein expression. A prominent characteristic of this expression system is the expression of viral structural proteins that can spontane- ously ...

8

The Effect of Earning Transparency on Debt Costs

The Effect of Earning Transparency on Debt Costs

... debt costs, information transparency Introduction Following recent financial notorieties, investors’ reliability to the financial reporting system has been weakened and the earning transparency is ...

5

CiteSeerX — Effect of Prenatal Stress on Expression of glutathione System in neonatal Rat Brain

CiteSeerX — Effect of Prenatal Stress on Expression of glutathione System in neonatal Rat Brain

... Thus, we hypothesize that the formation of glutathione system during development is related to the changes in the levels of free radicals. Hence this knowledge is of importance as this will provide the basis for ...

7

Type and Effect Systems

Type and Effect Systems

... the type system; in this way types are not only used for analysing the behaviours of programs but also for enforcing the absence of certain kinds of dynamic ...of type systems is to associate types ...

23

Show all 10000 documents...

Related subjects