3680 search results - page 107 / 736 » cases 2010 |
168
click to vote
NHM
2010
15 years 29 days ago
2010
We present different ways, coming from Finite Volume or Mixed Finite Element frameworks, to discretize convection terms in Hybrid Finite Volume, Mimetic Finite Difference and Mixed...
151
click to vote
JOTA
2010
15 years 29 days ago
2010
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
158
click to vote
ISAMI
2010
15 years 4 months ago
2010
Trading is widely recognized as a stressful profession. Taking decisions under stress negatively affects both, the finances and the health of the trader. Providing support to incre...
145
click to vote
ENTCS
2002
15 years 6 months ago
2002
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
174
click to vote
MEMICS
2010
15 years 29 days ago
2010
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer leve...