Sciweavers

1522 search results - page 47 / 305
» Supporting Dynamic Process Specifications Using Communicatio...
Sort
View
BMCBI
2011
14 years 4 months ago
A Platform for Processing Expression of Short Time Series (PESTS)
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
Anshu Sinha, Marianthi Markatou
RTCSA
1999
IEEE
15 years 2 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
PROCEDIA
2010
103views more  PROCEDIA 2010»
14 years 4 months ago
Towards generating optimised finite element solvers for GPUs from high-level specifications
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
Graham R. Markall, David A. Ham, Paul H. J. Kelly
AIME
2011
Springer
13 years 9 months ago
Intelligent Configuration of Social Support Networks Around Depressed Persons
Helping someone who is depressed can be very important to the depressed person. When someone is experiencing depression, he or she frequently feels all alone. A number of supportiv...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur
ELPUB
1999
ACM
15 years 2 months ago
Online Publishing as a Support for Scholarly Communication in Dynamic Knowledge Communities
Internet based services, particularly asynchronous communication services, offer an environment suited to the rise of knowledge communities. Knowledge communities, or invisible co...
Ana Alice Baptista, Elóy Rodrigues, Altamir...