Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

PARAM

Known as: PARAM 10000 
PARAM is a series of supercomputers designed and assembled by the Centre for Development of Advanced Computing (C-DAC) in Pune, India. The latest… Expand
Wikipedia

Related topics

Related topics

19 relations
AIXBenchmark (computing)ByteClos network
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
PARAM: A Model Checker for Parametric Markov Models
We present PARAM 1.0, a model checker for parametric discrete-time Markov chains (PMCs) PARAM can evaluate temporal properties of… Expand
  • figure 2
Highly Cited
2006
Highly Cited
2006
Limited Information Goodness-of-fit Testing in Multidimensional Contingency Tables
We introduce a family of goodness-of-fit statistics for testing composite null hypotheses in multidimensional contingency tables… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Highly Cited
2006
Highly Cited
2006
Evaluation of an intrinsic and a specific vulnerability assessment method in comparison with groundwater salinisation and nitrate contamination levels in two agricultural regions in the south of…
The applicability of two vulnerability assessment methods in evaluating the impact of agricultural activities on groundwater… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Highly Cited
2003
Highly Cited
2003
EXPERIMENTAL INVESTIGATION OF FRP-STRENGTHENED RC BEAM-COLUMN JOINTS
The results of a comprehensive experimental program, aimed at providing a fundamental understanding of the behavior of shear… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Highly Cited
1998
Highly Cited
1998
Quantal Response Equilibria for Extensive Form Games
This article investigates the use of standard econometric models for quantal choice to study equilibria of extensive form games… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Highly Cited
1998
Highly Cited
1998
The Semantics of Constraint Logic Programs
Abstract The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework… Expand
Highly Cited
1995
Highly Cited
1995
A Robust Technique for Matching two Uncalibrated Images Through the Recovery of the Unknown Epipolar Geometry
Abstract This paper proposes a robust approach to image matching by exploiting the only available geometric constraint, namely… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1993
Highly Cited
1993
Trajectory tracking for unicycle-type and two-steering-wheels mobile robots
Through two different approaches, this report proposes two general controllers for unicycle-type and two-steering-wheels mobile… Expand
Highly Cited
1991
Highly Cited
1991
Where the Really Hard Problems Are
It is well known that for many NP-complete problems, such as K-Sat, etc., typical cases are easy to solve; so that… Expand
  • figure 3
Highly Cited
1985
Highly Cited
1985
Properties of Goethites of Varying Crystallinity
Goethites were synthesized from ferrihydrite in 0.7 M KOH between 4° and 90°C. As temperatures increased, the goethite crystals… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE