Sciweavers

1818 search results - page 169 / 364
» Granularity-Adaptive Proof Presentation
Sort
View
100
Voted
CORR
2008
Springer
76views Education» more  CORR 2008»
15 years 3 months ago
Measurement of Large Forces and Deflections in Microstructures
Properties of typical MEMS materials have been widely investigated. Mechanical properties of MEMS structures depend not only on the bulk material properties, but also structural fa...
Kai Axel Hals, Einar Halvorsen, Xuyuan Chen
137
Voted
EKAW
2010
Springer
15 years 2 months ago
Representing, Proving and Sharing Trustworthiness of Web Resources Using Veracity
The World Wide Web has evolved into a distributed network of web applications facilitating the publication of information on a large scale. Judging whether such information can be ...
Grégoire Burel, Amparo Elizabeth Cano, Matt...
FFA
2010
84views more  FFA 2010»
15 years 2 months ago
Additive functions for number systems in function fields
Let Fq be a finite field with q elements and p ∈ Fq[X, Y ]. In this paper we study properties of additive functions with respect to number systems which are defined in the rin...
Manfred G. Madritsch, Jörg M. Thuswaldner
116
Voted
FSS
2010
97views more  FSS 2010»
15 years 2 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald
129
Voted
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
15 years 2 months ago
Optimal coverage of a known arbitrary environment
— The problem of coverage of known space by a mobile robot has many applications. Of particular interest is providing a solution that guarantees the complete coverage of the free...
Raphael Mannadiar, Ioannis M. Rekleitis