Sciweavers

2878 search results - page 473 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
TCAD
2008
90views more  TCAD 2008»
15 years 6 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
AEI
2004
114views more  AEI 2004»
15 years 6 months ago
Physical concept ontology for the knowledge intensive engineering framework
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
Masaharu Yoshioka, Yasushi Umeda, Hideaki Takeda, ...
AVI
2008
15 years 8 months ago
Eulr: a novel resource tagging facility integrated with Flickr
We have developed a novel information storage and display structure called EulerView, which can be used for the systematic management of tagged resources. The storage model is a n...
Rosario De Chiara, Andrew Fish, Salvatore Ruocco
BMCBI
2007
185views more  BMCBI 2007»
15 years 6 months ago
GEDI: a user-friendly toolbox for analysis of large-scale gene expression data
Background: Several mathematical and statistical methods have been proposed in the last few years to analyze microarray data. Most of those methods involve complicated formulas, a...
André Fujita, João Ricardo Sato, Car...
BMCBI
2010
125views more  BMCBI 2010»
15 years 6 months ago
Haplotype allelic classes for detecting ongoing positive selection
Background: Natural selection eliminates detrimental and favors advantageous phenotypes. This process leaves characteristic signatures in underlying genomic segments that can be r...
Julie Hussin, Philippe Nadeau, Jean-Françoi...