ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 7,105 of 1,394,228
|
|
Results 1 - 20 of 7,105
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
A computer microworld to introduce students to probability
|
|
July 1994
|
|
Journal of Computers in Mathematics and Science Teaching
, Volume 13 Issue 2
|
|
Publisher: Association for the Advancement of Computing in Education
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
|
|
|
2
|
|
Incorporating gene functions as priors in model-based clustering of microarray gene expression data
|
|
April 2006
|
|
Bioinformatics
, Volume 22 Issue 7
|
|
Publisher: Oxford University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 4 |
|
|
Motivation: Cluster analysis of gene expression profiles has been widely applied to clustering genes for gene function discovery. Many approaches have been proposed. The rationale is that the genes with the same biological function or involved ...
|
|
3
|
|
4
|
|
Localization of age-dependent anti-crowding populations
|
|
March 1995
|
|
Quarterly of Applied Mathematics
, Volume LIII Issue 1
|
|
Publisher: American Mathematical Society
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
Keywords: age-dependence, diffusion, populations
|
|
5
|
|
Traffic control in ATM networks
|
|
October 1994
|
|
Computer Networks and ISDN Systems
, Volume 27 Issue 1
|
|
Publisher: Elsevier Science Publishers B. V.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
Keywords: (L,M,T) mechanism, ATM, congestion control, leaky bucket, traffic control
|
|
6
|
|
7
|
|
A decidable propositional probabilistic dynamic logic
|
|
December 1983
|
|
STOC '83: Proceedings of the fifteenth annual ACM symposium on Theory of computing
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(675.43 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 13, Downloads (Overall): 160, Citation Count: 3 |
|
|
A propositional version of Feldman and Harel's Pr (DL) is defined, and shown to be decidable. The logic allows propositional-level formulas involving probabilistic programs, and contains full real-number theory for dealing ...
|
|
8
|
|
Probabilistic independence with respect to upper and lower conditional probabilities assigned by Hausdorff outer and inner measures
|
|
December 2007
|
|
International Journal of Approximate Reasoning
, Volume 46 Issue 3
|
|
Publisher: Elsevier Science Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
Upper and lower conditional probabilities are defined by Hausdorff outer and inner measures, when the conditioning events have positive and finite Hausdorff outer and inner measures in their dimension, otherwise, when the conditioning events have Hausdorff ...
Keywords: Conditional independence, Hausdorff outer and inner measures, Independence, Strong independence, Upper and lower conditional probabilities
|
|
9
|
|
A queue management algorithm for fair bandwidth allocation
|
|
June 2007
|
|
Computer Communications
, Volume 30 Issue 9
|
|
Publisher: Butterworth-Heinemann
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
In this paper, a stateless active queue management algorithm called ''PUNSI'' which aims to achieve fair bandwidth allocation in congested routers is proposed. This algorithm prevents unresponsive flows from dominating available bandwidth shared with ...
Keywords: Packet scheduling, Stateless information, Unresponsive flows
|
|
10
|
|
11
|
|
12
|
|
Symbolic Evaluation of Total Transition Probabilities in Kinetic Systems; Potential Applications
|
|
December 1997
|
|
Journal of Scientific Computing
, Volume 12 Issue 4
|
|
Publisher: Plenum Press
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
The significance and possible applications of conditional “total” transition probability expressions tij, earlier defined and shown to be basic properties of physical kinetic systems, are reviewed and discussed. A program ...
Keywords: Kinetic systems, conditional probabilities, ordinary differential equations, stiff systems, symbolic evaluation
|
|
13
|
|
A fuzzy measure algebra as a metric space
|
|
May 1996
|
|
Fuzzy Sets and Systems
, Volume 79 Issue 3
|
|
Publisher: Elsevier North-Holland, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
Keywords: convex metric space, fuzzy probability measure algebra, fuzzy probability measure space, nonatomic measure algebra
|
|
14
|
|
FEC for satellite data communications: towards robust design
|
|
December 2004
|
|
AIC'04: Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications
|
|
Publisher: World Scientific and Engineering Academy and Society (WSEAS)
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
This paper describes the salient features of designing a robust forward error correction coding scheme for satellite data communications and considers various such schemes suitable for a short message application.
Keywords: carrier to noise ratio, forward error correction, probability of error, short message service
|
|
15
|
|
Bounded-Depth Frege Lower Bounds for Weaker Pigeonhole Principles
|
|
February 2005
|
|
SIAM Journal on Computing
, Volume 34 Issue 2
|
|
Publisher: Society for Industrial and Applied Mathematics
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
We prove a quasi-polynomial lower bound on the size of bounded-depth Frege proofs of the pigeonhole principle $PHP^{m}_n$ where $m= (1+1/{\polylog n})n$. This lower bound qualitatively matches the known quasi-polynomial-size bounded-depth Frege proofs ...
Keywords: pigeonhole principle, propositional proof complexity
|
|
16
|
|
Topics in statistical oceanography
|
|
December 1996
|
|
Stochastic modelling in physical oceanography
|
|
Publisher: Birkhauser Boston Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
17
|
|
Sequential sampling techniques for algorithmic learning theory
|
|
December 2005
|
|
Theoretical Computer Science
, Volume 348 Issue 1
|
|
Publisher: Elsevier Science Publishers Ltd.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
A sequential sampling algorithm or adaptive sampling algorithm is a sampling algorithm that obtains instances sequentially one by one and determines from these instances whether it has already seen enough number of instances for achieving a given task. ...
Keywords: Chernoff bound, Hoeffding bound, adaptive learning algorithm, adaptive sampling, sequential sampling
|
|
18
|
|
Stochastic discrete optimization
|
|
June 1992
|
|
SIAM Journal on Control and Optimization
, Volume 30 Issue 3
|
|
Publisher: Society for Industrial and Applied Mathematics
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 32 |
|
|
|
Keywords: Markov chain, Monte Carlo simulation, discrete parameters, global optimization, stochastic optimization
|
|
19
|
|
Markov queueing system with finite buffer and negative customers affecting the queue end
|
|
June 2007
|
|
Automation and Remote Control
, Volume 68 Issue 6
|
|
Publisher: Plenum Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
A multiserver queueing system with finite buffer, Markov input flow, and Markov (general) service process of all customers on servers with the number of process states and intensities of inter-phase transitions depending on the number of customers in ...
Keywords: 02.50.Ga
|
|
20
|
|
Combined application of SDL-92, OMT, MSC and TTCN
|
|
January 1996
|
|
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
|
|
Publisher: Chapman & Hall, Ltd.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
Keywords: MSC, OMT, QOS, SDL, TTCN, V5 interface, automata, testing
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder
Publisher Site