Sciweavers

1886 search results - page 223 / 378
» Verifying and Validating Simulation Models
Sort
View
ICRA
2009
IEEE
116views Robotics» more  ICRA 2009»
14 years 7 months ago
Kinematic analysis and optimal design of a 3T1R type parallel mechanism
In previous studies on 4-DOF parallel mechanisms with four sub-chains, only symmetric arrangement of those four chains connected to the top plate was considered. Such symmetric sha...
Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi
LPAR
2012
Springer
13 years 5 months ago
Lazy Abstraction with Interpolants for Arrays
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
Francesco Alberti, Roberto Bruttomesso, Silvio Ghi...
MICCAI
2009
Springer
15 years 11 months ago
Utero-Fetal Unit and Pregnant Woman Modeling Using a Computer Graphics Approach for Dosimetry Studies
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
Jérémie Anquez, Tamy Boubekeur, Laza...
BROADNETS
2007
IEEE
15 years 4 months ago
Modeling and analysis of worm interactions (war of the worms)
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
Sapon Tanachaiwiwat, Ahmed Helmy
ICC
2007
IEEE
179views Communications» more  ICC 2007»
15 years 4 months ago
Finite Queuing Model Analysis for Energy and QoS Tradeoff in Contention-Based Wireless Sensor Networks
In contention-based sensor networks, nodes compete to access a shared channel for data transmission and collision is a common challenge. For power conservation, periodical active/s...
Jun Luo, Ling-ge Jiang, Chen He