Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
9521
search results - page 250 / 1905
»
Compiling with continuations, continued
Sort
relevance
views
votes
recent
update
View
thumb
title
78
Voted
IJBC
2008
61
views
more
IJBC 2008
»
Continuation of Connecting orbits in 3D-ODES (I): Point-to-Cycle Connections
15 years 3 months ago
Download
www.bio.vu.nl
Eusebius J. Doedel, B. W. Kooi, G. A. K. van Voorn...
claim paper
Read More »
62
click to vote
IJBC
2008
54
views
more
IJBC 2008
»
A bifurcation Analysis of a 3D blowfly Model in Discrete and Continuous Time
15 years 3 months ago
Download
www.math.uni-bielefeld.de
Thorsten Hüls
claim paper
Read More »
139
click to vote
ENTCS
2006
119
views
more
ENTCS 2006
»
Trace Machines for Observing Continuous-Time Markov Chains
15 years 3 months ago
Download
www.inf.tu-dresden.de
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
claim paper
Read More »
76
click to vote
EOR
2006
48
views
more
EOR 2006
»
Maintenance of continuously monitored degrading systems
15 years 3 months ago
Download
coewww.rutgers.edu
Haitao Liao, Elsayed A. Elsayed, Ling-Yau Chan
claim paper
Read More »
96
Voted
FSS
2006
73
views
more
FSS 2006
»
Lattice-valued continuous convergence is induced by a lattice-valued uniform convergence structure
15 years 3 months ago
Download
eprints.ru.ac.za
Gunther Jäger
claim paper
Read More »
« Prev
« First
page 250 / 1905
Last »
Next »