Works matching IS 00985589 AND DT 2003 AND VI 29 AND IP 6

Results: 13

Ghrelin enhances appetite and increases food intake in humans.

Published in:: IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 5992
Publication type:: Article

Developmental Changes in the Hormonal Identity of Gonadotroph Cells in the Rhesus Monkey Pituitary Gland.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 2934, doi. 10.1210/jc.2002-021001

By:

MEERAN, DAWUD;
URBANSKI, HENRYK F.;
GREGORY, SUSAN J.;
TOWNSEND, JULIE;
TORTONESE, DOMINGO J.

Publication type:

Article

Mechanism of Cortisol/Progesterone Antagonism in the Regulation of 15-Hydroxyprostaglandin Dehydrogenase Activity and Messenger Ribonucleic Acid Levels in Human Chorion and Placental Trophoblast Cells at Term.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 2922, doi. 10.1210/jc.2002-021710

By:

PATEL, FALGUNI A.;
FUNDER, JOHN W.;
CHALLIS, JOHN R. G.

Publication type:

Article

Response to "Comments on 'On Object Systems and Behavioral Inheritance'"

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 576

By:

Kupferman, Orna;
Harel, D.

Publication type:

Article

Comments on "On Object Systems and Behavioral Inheritance"

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 576, doi. 10.1109/TSE.2003.1205185

By:

Chen, Jinghong Cox;
Jiau, Hewijin Christine

Publication type:

Article

Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 572, doi. 10.1109/TSE.2003.1205184

By:

Sobel, Ann E. Kelley;
Clarkson, Michael R.

Publication type:

Article

Comments on "Formal Methods Application: An Empirical Tale of Software Development"

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 567, doi. 10.1109/TSE.2003.1205183

By:

Berry, Daniel M.;
Tichy, Walter F.

Publication type:

Article

Tool Support for Testing Concurrent Java Components.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 555, doi. 10.1109/TSE.2003.1205182

By:

Long, Brad;
Hoffman, Daniel;
Strooper, Paul

Publication type:

Article

Modeling Software Bidding Risks.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 542, doi. 10.1109/TSE.2003.1205181

By:

Kitchenham, Barbara;
Pickard, Lesley M.;
Linkman, Stephen;
Jones, Peter W.

Publication type:

Article

Model-Checking Algorithms for Continuous-Time Markov Chains.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 524, doi. 10.1109/TSE.2003.1205180

By:

Baier, Christel;
Haverkort, Boudewijn;
Hermanns, Holger;
Katoen, Joost-Pieter

Publication type:

Article

Heuristic Search + Local Model Checking in Selective mu-Calculus.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 510, doi. 10.1109/TSE.2003.1205179

By:

Santone, Antonella

Publication type:

Article

Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 495, doi. 10.1109/TSE.2003.1205178

By:

Tonella, Paolo

Publication type:

Article

An Empirical Study of Speed and Communication in Globally Distributed Software Development.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 481, doi. 10.1109/TSE.2003.1205177

By:

Herbsleb, James D.;
Mockus, Audria

Publication type:

Article