Sciweavers

152 search results - page 29 / 31
» Towards the Explanation of Workflows
Sort
View
JASIS
2008
123views more  JASIS 2008»
13 years 5 months ago
Democratic theory in library information science
: A recent article by Joseph Buschman regrets that democratic theory is an unfinished idea. The argument appears to assume an essential relationship between library information sci...
Michael K. Buckland
OOPSLA
2010
Springer
13 years 3 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
IDA
2009
Springer
13 years 3 months ago
Estimating Hidden Influences in Metabolic and Gene Regulatory Networks
We address the applicability of blind source separation (BSS) methods for the estimation of hidden influences in biological dynamic systems such as metabolic or gene regulatory net...
Florian Blöchl, Fabian J. Theis
CORR
2011
Springer
194views Education» more  CORR 2011»
13 years 12 days ago
Polarized Montagovian Semantics for the Lambek-Grishin calculus
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
Arno Bastenhof
NHM
2010
131views more  NHM 2010»
13 years 5 days ago
A mathematical model for dynamic wettability alteration controlled by water-rock chemistry
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...
Steinar Evje, Aksel Hiorth