24 citations found. Retrieving documents...
Rosen H. Kenneth. Discrete Mathematics and Its Applications. McGraw-Hill, New York, NY, third edition, 1988.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Determination Of An Optimised Set Of Possible Resources.. - Emmanuelle Vivier Michel   (Correct)

....and N All(R 1,2) NNAll(R 1,1) then : All(R,N) # ) 1, i All (2) Next, using (2) and Pascal s identity, 1) can be proved after developments by recurrence on any positive integers N and R. For the sake of simplification, the proof is not detailed in this paper as it can be found in [1]. So if N active users of a R resources system are considered, the number of possible allocations at each decision time is: All(R,N) C It gives for the first values of R and N: Table 1: S (R,N) All(R,N) 2 23456 7 8 9 3 3 6 10 15 21 28 36 45 4 410203556 84 120 165 5 5 15 35 70 126 210 ....

Kenneth H.Rosen, Discrete Mathematics and its applications (Third Edition), McGraw-Hill, Inc, International Editions, Mathematics Series 1995.


Semantic Dimensions in the Field of Reporting Verbs - Bergler (1993)   (Correct)

.... delete the pairs that would have a double arrow, i.e. pairs (a,b) b,a) Then we delete all pairs that can be inferred in the hierarchy, i.e. if we have (a,b) and (b,c) and (a,c) we can delete (a,c) The resulting graph is much simpler and corresponds to a Hasse diagram for partial orderings [ Rosen, 1991, p. 390 ff ] while not complete, the resulting graph in Figure 3 allows for easier categorization. We can distinguish three subhierarchies in the OED, rooted in state, make known, and contradict. The state hierarchy, again, largely contains words that presuppose the complement, the make known ....

K.H. Rosen. Discrete Mathematics and Its Applications. McGraw-Hill, Inc., New York, 1991.


Isabelle HOL - The Tutorial - Nipkow, Paulson (2001)   (2 citations)  (Correct)

....Higher Order Logic. We introduce HOL step by step following the equation HOL = Functional Programming Logic. We do not assume that the reader is familiar with mathematical logic but that (s)he is used to logical and set theoretic notation, such as covered in a good discrete math course [23]. In contrast, we do assume that the reader is familiar with the basic concepts of functional programming [4, 11, 21, 24] Although this tutorial initially concentrates on functional programming, do not be misled: HOL can express most mathematical concepts, and functional programming is just one ....

Kenneth H. Rosen. Discrete Mathematics and Its Applications. McGrawHill, 1998.


An Euler-Path-Based Multicasting Model for Wormhole-Routed.. - Tseng, Yang, Juang (1996)   (1 citation)  (Correct)

....(nodes) and edge set E to communication links. Each undirected edge (u;v) consists of two directed links hu;vi and hv; ui, which can transmit data independently. An Euler path in G (if any) is an undirected path that traverses each edge of G exactly once (and thus each node once or more) Lemma 1 [17] A graph is Eulerian iff one of the following conditions holds true: a) all nodes have even degrees, or (b) all nodes, except exactly two nodes, have even degrees. Fig. 1(a) shows a system graph with an Euler path from f to d. The graph in Fig. 1(b) is not Eulerian as there are more than two ....

....is not Eulerian as there are more than two odd degree nodes. As a convention, we denote an Euler path a by a sequence of nodes [a 1 ; a 2 ; a n ] where each a i ; i = 1: n, is a node. Finding an Euler path is a simple job in graph theory, while finding a Hamiltonian path is NPcomplete [17]. Our model can be applied to any system graph G= V;E) which contains an Eulerian subgraph G 0 = V;E 1 ) We will use any Euler path a in G 0 as a basis to avoid communication deadlock, and use links in E 2 = E Gamma E 1 as shortcuts to accelerate the multicasting. Definition 1 Let a = a ....

K. H. Rosen. Discrete Mathematics and its Applications. McGrawHill, New York, 1995.


An Euler-Path-Based Multicasting Model for Wormhole-Routed.. - Tseng, Yang, Juang (1996)   (1 citation)  (Correct)

....Throughout, we assume G to be connected. An Euler path in G (if any) is an undirected path that traverses each edge of G exactly once (and thus each node once or more) A graph is said to be Eulerian if it contains an Euler path. The following lemma is well known in graph theory. Lemma 1 [25] A graph is Eulerian iff one of the following conditions holds true: a) all nodes have even degrees, or (b) all nodes, except exactly two nodes, have even degrees. In the above lemma, when condition (a) holds, the path in fact forms a circuit. Otherwise, the Euler path must start from and end ....

....not Eulerian as there are more than two odd degree nodes. As a convention, we denote an Euler path ff by a sequence of nodes [ff 1 ; ff 2 ; ff n ] where each ff i ; i = 1: n, is a node. Finding an Euler path is a simple job in graph theory, while finding a Hamiltonian path is NP complete [25]. Given any system graph G containing an Euler path ff = ff 1 ; ff 2 ; ff n ] suppose a node s wants to multicast a message M to a set of destination 8 Figure 1: a) A system graph containing an Euler path ff = f; a; b; f; g; b; c; g; h; c; d; h; i; e; d] and (b) a system graph which ....

[Article contains additional citation context not shown here]

K. H. Rosen. Discrete Mathematics and its Applications. McGraw-Hill, New York, 1995.


Computer Science Report to the CUPM Curriculum.. - (ed.), Astrachan, .. (1999)   (Correct)

....needed for CS, but taught by the mathematics department. In fact, many CS departments consider these topics so important that they offer their own courses covering them. Some of these courses bear titles like Discrete Structures or Computational Structures. e.g. see [Epp 95, Gersting 99, Rosen 99] for a sampling of contemporary discrete mathematics texts. # ) 0 ) # ( 1 We think both theoretical understanding and computational skill are important. Computational ....

Kenneth Rosen. Discrete Mathematics and its Applications, Fourth Edition, McGraw-Hill, 1999


Extending Rosetta: The Embedding of a Programming Language - Ågotnes (1998)   (Correct)

....of a language. Thus the specification is straightforward, but for many languages the implementation of a scanner can be complex. Regular languages are recognized by finite state machines, or finite automata (Kleene s theorem) Finite automata are mathematical formulations of algorithms, see e.g. [Ros96] for formal descriptions. Fortunately, software tools are available to cope with the complexity of creating finite automata. One such tool is the scanner generator Lex 8 [LMB92] Lex takes a set of regular expressions as input, and outputs the source code that implements a finite automata that ....

Kenneth H. Rosen. Discrete Mathematics and its Applications. McGraw-Hill, Inc., third edition, 1996.


Enumerating A 3 (2) Blueprints, and an Application - Abramson, Bennett (1998)   (Correct)

....oe (1 1 ) 1 1 , and ff( oe (1 0 2 1 ) 1 0 2 1 . By Lemma 5, ff = for some 2 X and (fl) fl. Since Psi is a group, ffi oe = j for some j 2 X. Hence fl = j where j satisfies (2 1) Since there exist efficient algorithms for producing permutations (in [Rosen 1991, p. 284] for example) this theorem together with such an algorithm provides a way of enumerating all the blueprints of A 2 (p) where p is a prime. The following corollary provides a count for the number of A 2 (p) blueprints: Corollary 7. The number of blueprints for the A 2 (p) building ....

K. Rosen, Discrete mathematics and its applications, 2nd ed., McGraw-Hill, New York, 1991.


A Euler-Path-Based Multicasting Model for Wormhole-Routed.. - Yu-Chee Tseng (1996)   (1 citation)  (Correct)

....Throughout, we assume G to be connected. A Euler path in G (if any) is an undirected path that traverses each edge of G exactly once (and thus each node once or more) A graph is said to be Eulerian if it contains a Euler path. The following lemma is well known in graph theory. Lemma 1 [13] A graph is Eulerian iff one of the following conditions holds true: a) all nodes have even degrees, and (b) all nodes, except exactly two nodes, have even degrees. In the above lemma, when condition (a) holds, the path in fact forms a circuit. Otherwise, the Euler path must start from and end ....

....a Euler path from f to d. The graph in Fig. 1(b) is not Eulerian as there are more than two odd degree nodes. As a convention, we denote a Euler path ff by a sequence of nodes [ff 1 ; ff 2 ; ff n ] where each ff i ; i = 1: n, is a node. Finding a Euler path is a simple job in graph theory [13]. Given any system graph G containing a Euler path ff = ff 1 ; ff 2 ; ff n ] suppose a node s wants to multicast a message M to a set of destination nodes D V . We can develop a simple multicast algorithm as follows. Procedure Basic( 1) Find any index i; 1 i n, such that ff i = ....

K. H. Rosen. Discrete Mathematics and its Applications. McGraw-Hill, New York, 1995.


Greedy Algorithms for Minimum Spanning Tree - Greenberg (1998)   Self-citation (Rosen)   (Correct)

....results in a solution. Here we present similar greedy algorithms due to Prim [ and Kruskal [ respectively, for the problem: find a min weight spanning tree. Graham [ gives a history of the problem, which originated with the work of Czekanowski in 1909. The material here is based on Rosen [1]. The Algorithms We are given a connected graph, G = V; E] with n vertices and m edges with nonnegative weights, w(e i ) We first sort the edges such that w(e 1 ) w(em ) This takes O(m log m) time. The output is a spanning tree, T , whose total weight is a minimum. For each ....

K.H. Rosen. Discrete Mathematics and Its Applications. McGraw-Hill, New York, NY, third edition, 1995. 3


Selection of Clinical Trials: . . . - Nikiforou   (Correct)

No context found.

Rosen H. Kenneth. Discrete Mathematics and Its Applications. McGraw-Hill, New York, NY, third edition, 1988.


Selection of Patients for Clinical Trials: An.. - Fink, Kokku..   (Correct)

No context found.

Rosen H. Kenneth. Discrete Mathematics and Its Applications. McGraw-Hill, New York, NY, third edition, 1988.


Enumeration Of Inequivalent Irreducible Goppa Codes - John Ryan And   (Correct)

No context found.

Rosen Kenneth H., Discrete Mathematics and Its Applications, McGraw-Hill 1999.


A Fast and Efficient Nearly-Optimal Adaptive Fano Coding Scheme - Rueda, Oommen   (Correct)

No context found.

K. Rosen, Discrete Mathematics and Its Applications. McGrawHill, 5th. ed., 2002.


Enumeration Of Inequivalent Irreducible Goppa Codes - John Ryan And (2004)   (Correct)

No context found.

Rosen Kenneth H., Discrete Mathematics and Its Applications, McGraw-Hill 1999.


Mechanism Design for Online Real-Time Scheduling - Porter (2004)   (3 citations)  (Correct)

No context found.

K. Rosen, Discrete mathematics and its applications, 2nd ed., McGraw-Hill, Inc., 1995.


Amorphous Shape Mapping - Frost (2004)   (Correct)

No context found.

Kenneth H. Rosen. Discrete Mathematics and Its Applications. WCB/McGraw-Hill, 4 edition, 1999.


Generic Directed Acyclic Graphs - Generic Dags Tze   (Correct)

No context found.

Rosen, K. H. Discrete Mathematics and Its Application. 4th ed.


Varieties of Mathematical Prose - Bagchi, Wells (1998)   (Correct)

No context found.

Kenneth Rosen. Discrete Mathematics and its Applications (2nd edition). McGraw-Hill, 1991. 20


Using Booleanized Data To Discover Better Relationships .. - Imberman, Domanski..   (Correct)

No context found.

Rosen, K. H. 1995. Discrete Mathematics and Its Applications, McGraw-Hill, Inc SAS Institute Inc, 1989. SAS/STAT User's Guide, Version 6, Fourth Edition Volumes 1 and 2, SAS Institute Inc.


Unique Sink Orientations of Cubes - Szabo, Welzl (2001)   (Correct)

No context found.

KENNETH H. ROSEN. Discrete Mathematics and its Applications, McGraw-Hill (1999).


Modelling and Analysis of Railway Network Control Logic using.. - Janczura (1998)   (Correct)

No context found.

K. H. Rosen. Discrete Mathematics and its Applications. Random House, 1988.


SCHOOL OF COMPUTING SCIENCES 31455 Software Development.. - Subject Outline Subject   (Correct)

No context found.

K. H. Rosen, Discrete Mathematics and its Applications, Third edition, McGraw-Hill, Inc, 1995.


Varieties of Mathematical Prose - Bagchi, Wells (1997)   (Correct)

No context found.

Kenneth Rosen. Discrete Mathematics and its Applications (2nd edition). McGraw-Hill, 1991.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC