Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
286
Measurements of the Eectiveness of Dust Control on Cut-o Saws Used in the Construction Industry1
"... Materials used in the construction industry frequently contain large quantities of silica. When they are cut or shaped with power tools considerable respirable dust can be produced. Three dust control systems for use with cut-o saws have been evaluated on site: wet dust suppression using mains wate ..."
Abstract
- Add to MetaCart
Materials used in the construction industry frequently contain large quantities of silica. When they are cut or shaped with power tools considerable respirable dust can be produced. Three dust control systems for use with cut-o saws have been evaluated on site: wet dust suppression using mains
Modeling and Querying Biomolecular Interaction Networks
- Theoretical Computer Science
, 2003
"... We introduce a formalism to represent and analyze protein-protein and protein-DNA interaction networks. We illustrate the expressivity of this language, by proposing a formal counterpart of Kohn's compilation on the mammalian cell cycle control. This e#ectively turns an otherwise static kno ..."
Abstract
-
Cited by 82 (0 self)
- Add to MetaCart
the mammalian cell cycle control and show the e#ectiveness of symbolic model checking tools to evaluate CTL queries in this context.
Projective Reconstruction and Invariants from Multiple Images
, 1994
"... This paper in vestigates projective reco n#k ruction of geometric con figuration s seen in two or more perspective views,an d the computation of projective in varian ts of these con figuration s from their images. A basic tool in this in vestigation is the fun#6 men tal matrix which describes the ..."
Abstract
-
Cited by 95 (9 self)
- Add to MetaCart
This paper in vestigates projective reco n#k ruction of geometric con figuration s seen in two or more perspective views,an d the computation of projective in varian ts of these con figuration s from their images. A basic tool in this in vestigation is the fun#6 men tal matrix which describes
Kinestatic Analysis Of Serial And Parallel Robot Manipulators Using Grassmann-Cayley Algebra
, 2000
"... : In this paper the statics and the instantaneous kinematics of serial and parallel robot manipulators are studied. A projective interpretation of the concepts of twist, wrench, twist space and wrench space { based on the concept of extensor { is presented and a description of the dualistic relation ..."
Abstract
-
Cited by 7 (3 self)
- Add to MetaCart
relation between twist and wrench spaces of serial and parallel robot manipulators is given in terms of the Grassmann-Cayley algebra. The importance of this algebra is that its join and meet operators are very eective tools for joining and intersecting the linear subspaces involved in the kinestatic
Metaheuristics as Robust and Simple Optimization Tools
- In Proc. IEEE International Conf. Evolutionary Computation
, 1996
"... One of the attractive features of recent metaheuristics is in its robustness and simplicity. To investigate this direction, the single machine scheduling problem is solved by various metaheuristics, such as random multistart local search (MLS), genetic algorithm (GA), simulated annealing (SA) and ta ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
) and tabu search (TS), using rather simple inside operators. The results indicate that: (1) simple implementation of MLS is usually competitive with (or even better than) GA, (2) GA combined with local search is quite eective if longer computational time is allowed, and its performance is not sensitive
Human-Readable Machine-Veriable Proofs for Teaching Constructive Logic
"... Abstract. A linear syntax for natural deduction proofs in rst-order in-tuitionistic logic is presented, which has been an eective tool for teach-ing logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs on the ..."
Abstract
- Add to MetaCart
Abstract. A linear syntax for natural deduction proofs in rst-order in-tuitionistic logic is presented, which has been an eective tool for teach-ing logic. The proof checking algorithm is also given, which is the core of the tutorial proof checker Tutch. This syntax is then extended to proofs
Effective Feature Analysis for Tool Selection
"... The ESSI PIE ITALO project aims at improving the component test phase for object oriented software. The main steps of the project include the selection of a support tool and the set up of an experiment to quantify the eects of its adoption. Tool selection was performed according to the DESMET [3] g ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
] guidelines for feature analysis. Since the choice of a good support tool is crucial for the success of the whole project, the feature analysis was performed so as to be extremely eective, i.e. able to give the maximum discrimination at the minimum cost. During each step of the feature analysis (feature
Entropy as a fixed point
"... We study complexity and information and introduce the idea that while complexity is relative to a given class of processes, information is process independent: Information is complexity relative to the class of all conceivable processes. In essence, the idea is that information is an extension of ..."
Abstract
-
Cited by 6 (2 self)
- Add to MetaCart
to such a large class of processes that it becomes an eective tool for analyzing phenomena in a wide range of disciplines. We test
Dynamical Modelling of Vowel Sounds as a Synthesis Tool
"... Speech synthesis can be produced using manyvaried techniques from formant#parametric synthesis to concatenation approaches. This paper presentsanovel technique , based on the nonlinear dynamics of speech rather than than the time or frequency domain representations. It is demonstrated that the te ..."
Abstract
- Add to MetaCart
that the technique can be implemented e#ectively and used to produce high quality synthesised speech .
Invariant Inference for Static Checking: An Empirical Evaluation
- In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002
, 2002
"... Static checking can verify the absence of errors in a program, but often requires written annotations or speci cations. As a result, static checking can be dicult to use eectively: it can be dicult to determine a speci cation and tedious to annotate programs. Automated tools that aid the annotatio ..."
Abstract
-
Cited by 62 (16 self)
- Add to MetaCart
Static checking can verify the absence of errors in a program, but often requires written annotations or speci cations. As a result, static checking can be dicult to use eectively: it can be dicult to determine a speci cation and tedious to annotate programs. Automated tools that aid
Results 1 - 10
of
286
