Results 1  10
of
1,241
Exercises
, 2010
"... 1. Every irreducible monomial ideal is of the form mb = 〈x bi i  bi ≥ 1 〉 for some vector b ∈ Nn, and these ideals are partially ordered by inclusion (see Exercise 3.6). (a) Given a monomial ideal I, show that there are only finitely many irreducible monomial ideals that are minimal among those con ..."
Abstract
 Add to MetaCart
1. Every irreducible monomial ideal is of the form mb = 〈x bi i  bi ≥ 1 〉 for some vector b ∈ Nn, and these ideals are partially ordered by inclusion (see Exercise 3.6). (a) Given a monomial ideal I, show that there are only finitely many irreducible monomial ideals that are minimal among those
Exercises
, 2008
"... There is a pile of n ∈ Z + matches on the table. Players in turn pick 1, 2 or 3 matches until no matches remain. The player who at this time has an odd number of matches wins the game. (i) Who wins the game for n = 15? When the game starts, both players possess an even number of matches, namely 0. I ..."
Abstract
 Add to MetaCart
strategy exists in such state. For l ≥ 4, the number of matches to pick was determined by referencing the table columns for l − 1, l − 2 and l − 3. Arrows a, b and c indicate how this is done. For example, arrow a assumes the active player possesses an even number of matches, while l = 7 matches
C152 Laboratory Exercise 3
, 2014
"... The goal of this laboratory assignment is to allow you to conduct a variety of experiments in the Chisel simulation environment. You will be provided a complete implementation of a speculative out–of–order processor. Students will run experiments on it, analyze the design, and make recommendations ..."
Abstract
 Add to MetaCart
The goal of this laboratory assignment is to allow you to conduct a variety of experiments in the Chisel simulation environment. You will be provided a complete implementation of a speculative out–of–order processor. Students will run experiments on it, analyze the design, and make recommendations for future devel
Whom You Know Matters: Venture Capital Networks and Investment Performance,
 Journal of Finance
, 2007
"... Abstract Many financial markets are characterized by strong relationships and networks, rather than arm'slength, spotmarket transactions. We examine the performance consequences of this organizational choice in the context of relationships established when VCs syndicate portfolio company inv ..."
Abstract

Cited by 138 (8 self)
 Add to MetaCart
to make the concept of centrality more precise. 3 Consider the network illustrated in In graph theory, a network such as the one illustrated in 6 Networks are not static. Relationships may change, and entry to and exit from the network may change each actor's centrality. We therefore construct our
Infl uence of body temperature on the development of fatigue during prolonged exercise in the heat
 J. Appl. Physiol
, 1999
"... Nielsen. Influence of body temperature on the development of fatigue during prolonged exercise in the heat. J. Appl. Physiol. 86(3): 1032–1039, 1999.—We investigated whether fatigue during prolonged exercise in uncompensable hot environments occurred at the same critical level of hyperthermia when ..."
Abstract

Cited by 58 (5 self)
 Add to MetaCart
Nielsen. Influence of body temperature on the development of fatigue during prolonged exercise in the heat. J. Appl. Physiol. 86(3): 1032–1039, 1999.—We investigated whether fatigue during prolonged exercise in uncompensable hot environments occurred at the same critical level of hyperthermia when
The physiology of bottlenose dolphins (Tursiops truncatus): heart rate, metabolic rate and plasma lactate during exercise
 Journal of Experimental Biology
, 1993
"... Despite speculation about the swimming efficiency of cetaceans, few studies have investigated the exercise physiology of these mammals. In view of this, we examined the physiological responses and locomotor energetics of two exercising adult T u r s i o p s t r u n c a t u s. Oxygen consumption, hea ..."
Abstract

Cited by 68 (2 self)
 Add to MetaCart
Despite speculation about the swimming efficiency of cetaceans, few studies have investigated the exercise physiology of these mammals. In view of this, we examined the physiological responses and locomotor energetics of two exercising adult T u r s i o p s t r u n c a t u s. Oxygen consumption
Effect of exercise hemoconcentration and hyperosmolality on exercise responses
 J Appl Physiol
, 1988
"... tion and hyperosmolality on exercise responses. J. Appl. Physiol. 65(Z): 519~524,1988.We investigated the effects of a decrease in plasma volume (PV) and an increase in plasma osmolality during exercise on circulatory and thermoregulatory responses. Six subjects cycled at65 % of their maximum O2 u ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
uptake in a warm environment (3O”C, 40 % relative humidity). After 30 min of control (C) exercise (no infusion), PV decreased 13.0%, or 419 t 106 (SD) ml, heart rate (HR) increased to 167 & 3 beats/ min, and esophageal temperature (TBLI) rose to 38.19 t 0.09 “C (SE). During infusion studies (INF
Acid–base and ion balance, metabolism, and their interactions after exhaustive exercise in fish
 Journal of Experimental Biology
, 1991
"... In fish, exhaustive exercise stress differs from steadystate aerobic exercise in causing (1) a depletion of glycogen, creatine phosphate (CP) and ATP reserves and an accumulation of lactate and metabolic acid (H^) in white muscle; (2) blood respiratory and metabolic acidoses {Pcch a n d Hm elevatio ..."
Abstract

Cited by 54 (2 self)
 Add to MetaCart
elevations, respectively); (3) marked ionic and fluid volume disturbances; and (4) a surge in plasma catecholamines. During recovery, the smaller fast component (20%) of excess postexercise oxygen consumption (EPOC) is explained by CP and ATP resynthesis and aerobic demands, but the larger slow component
Verifying Two Lines of C with Why3: an Exercise in Program Verification
"... This article details the formal verification of a 2line C program that computes the number of solutions to the nqueens problem. The formal proof of (an abstraction of) the C code is performed using the Why3 tool to generate the verification conditions and several provers (AltErgo, CVC3, Coq) to ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
This article details the formal verification of a 2line C program that computes the number of solutions to the nqueens problem. The formal proof of (an abstraction of) the C code is performed using the Why3 tool to generate the verification conditions and several provers (AltErgo, CVC3, Coq
Mathematical comparison of combat computer models to exercise data
 Mathl. Comput. Modelling
, 1991
"... The powerful techniques of modern nonlinear statistical mechanics are used to compare battalionscale combat computer models (including simulations and wargames) to exercise data. This is necessary if largescale combat computer models are to be extrapolated with confidence to develop battlemanagem ..."
Abstract

Cited by 36 (33 self)
 Add to MetaCart
management, C 3 and procurement decisionaids, and to improve training. This modeling approach to battalionlevel missions is amenable to reasonable algebraic and/or heuristic approximations to drive higherechelon computer models. Each data set is fit to several candidate shorttime probability distributions
Results 1  10
of
1,241