Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
2,130
Mfold web server for nucleic acid folding and hybridization prediction
- Nucleic Acids Res
, 2003
"... The abbreviated name,‘mfold web server’,describes a number of closely related software applications available on the World Wide Web (WWW) for the prediction of the secondary structure of single stranded nucleic acids. The objective of this web server is to provide easy access to RNA and DNA folding ..."
Abstract
-
Cited by 1992 (0 self)
- Add to MetaCart
The abbreviated name,‘mfold web server’,describes a number of closely related software applications available on the World Wide Web (WWW) for the prediction of the secondary structure of single stranded nucleic acids. The objective of this web server is to provide easy access to RNA and DNA folding
A Bayesian Framework for the Analysis of Microarray Expression Data: Regularized t-Test and Statistical Inferences of Gene Changes
- Bioinformatics
, 2001
"... Motivation: DNA microarrays are now capable of providing genome-wide patterns of gene expression across many different conditions. The first level of analysis of these patterns requires determining whether observed differences in expression are significant or not. Current methods are unsatisfactory ..."
Abstract
-
Cited by 491 (6 self)
- Add to MetaCart
-test or fold methods, and partly compensate for the lack of replication. Availability: The approach is implemented in a software called Cyber-T accessible through a Web interface at www.genomics.uci.edu/software.html. The code is available as Open Source and is written in the freely available statistical
System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
- Proceedings of the 16th International Conference on Automated Deduction (CADE-16
, 1999
"... . Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It relies on the LF type theory and the judgments-as-types methodology for specification [HHP93], a constraint logic programming interp ..."
Abstract
-
Cited by 357 (54 self)
- Add to MetaCart
platforms. The current version (1.2) is distributed with a complete manual, example suites, a tutorial in the form of on-line lecture notes [Pfe], and an Emacs interface. Source and binary distributions are accessible via the Twelf home page http://www.cs.cmu.edu/~twelf. 1 The Twelf System The Twelf
BrainWeb: Online Interface to a 3D MRI Simulated Brain Database
- NeuroImage
, 1997
"... Introduction: The increased importance of automated computer techniques for anatomical brain mapping from MR images and quantitative brain image analysis methods leads to an increased need for validation and evaluation of the effect of image acquisition parameters on performance of these procedures ..."
Abstract
-
Cited by 283 (3 self)
- Add to MetaCart
, online on WWW, a set of realistic simulated brain MR image volumes (Simulated Brain Database, SBD) that allows the above issues to be examined in a controlled, systematic way. Methods: The 3D simulated MR images are generated by varying specific imaging parameters and artifacts in an MRI simulator
A WWW Interface to a Theorem Prover for Modal Logic
- Department of Computer Science, University of York
, 1996
"... This paper describes a WWW interface to a theorem prover for normal modal logics for client-server transactions. The server includes the implementation of the theorem prover, which is based on KE and a generalization of Fitting's prefixed tableaux, and a front-end which uses a library for im ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
This paper describes a WWW interface to a theorem prover for normal modal logics for client-server transactions. The server includes the implementation of the theorem prover, which is based on KE and a generalization of Fitting's prefixed tableaux, and a front-end which uses a library
Guidelines for designing user interface software
, 1986
"... Approved for public release; distribution unlimited. The body of this document is in the public domain Table of contents and index © 1998 Userlab Inc. www.userlab.com 1-800-295-6354 Contact us for additional copies ..."
Abstract
-
Cited by 204 (0 self)
- Add to MetaCart
Approved for public release; distribution unlimited. The body of this document is in the public domain Table of contents and index © 1998 Userlab Inc. www.userlab.com 1-800-295-6354 Contact us for additional copies
Characterizing Browsing Strategies in the World-Wide Web
- Computer Networks and ISDN Systems
, 1995
"... This paper presents the results of a study conducted at Georgia Institute of Technology that captured client-side user events of NCSA's XMosaic. Actual user behavior, as determined from clientside log file analysis, supplemented our understanding of user navigation strategies as well as provide ..."
Abstract
-
Cited by 278 (4 self)
- Add to MetaCart
as provided real interface usage data. Log file analysis also yielded design and usability suggestions for WWW pages, sites and browsers. The methodology of the study and findings are discussed along with future research directions. Keywords Hypertext Navigation, Log Files, User Modeling Introduction
JetWeb: a WWW interface and database for Monte Carlo tuning and validation
, 2003
"... A World Wide Web interface to a Monte Carlo validation and tuning facility is described. The aim of the package is to allow rapid and reproducible comparisons to be made between detailed measurements at highenergy physics colliders and general physics simulation packages. The package includes a rela ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
A World Wide Web interface to a Monte Carlo validation and tuning facility is described. The aim of the package is to allow rapid and reproducible comparisons to be made between detailed measurements at highenergy physics colliders and general physics simulation packages. The package includes a
Performance of RDBMS-WWW Interfaces under Heavy Workload 1
"... Abstract: The WWW is currently considered as the most promising and rapidly evolving software platform for the deployment of applications in wide area networks as well as enterprise intranets. Interfacing legacy systems like RDBMS to the WWW has become a very important issue to the computing industr ..."
Abstract
- Add to MetaCart
Abstract: The WWW is currently considered as the most promising and rapidly evolving software platform for the deployment of applications in wide area networks as well as enterprise intranets. Interfacing legacy systems like RDBMS to the WWW has become a very important issue to the computing
Results 1 - 10
of
2,130
