Result 1 to 20 of 112 total
A metaphoric trajectory data warehouse for olympic athletefollow-up. (English)
Concurrency Comput. Pract. Exp. 24, No. 13, 1497-1512 (2012).
1
Model partitions and compact test case suites. (English)
Int. J. Found. Comput. Sci. 23, No. 1, 147-172 (2012).
2
The word problem for $ω$-terms over DA. (English)
Theor. Comput. Sci. 412, No. 46, 6556-6569 (2011).
3
Idempotent-generated semigroups and pseudovarieties. (English)
Proc. Edinb. Math. Soc., II. Ser. 54, No. 3, 545-568 (2011).
4
Representations of the free profinite object over $\bold{DA}$. (English)
Int. J. Algebra Comput. 21, No. 5, 675-701 (2011).
5
Prioritizing information technology service investments under uncertainty (English)
IEEE Transactions on Network and Service Management 8, No. 3, 259-273 (2011).
6
A business-driven IT services improvement model (English)
Integrated Network Management, 1095-1102 (2011).
7
Generating invariants for non-linear hybrid systems by linear algebraic methods. (English)
Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 373-389 (2010).
8
Topological flow structures and stir mixing for steady flow in a peripheral bypass graft with uncertainty. (English)
Int. J. Numer. Methods Biomed. Eng. 26, No. 7, 926-953 (2010).
9
A 3D non-Newtonian fluid-structure interaction model for blood flow in arteries. (English)
J. Comput. Appl. Math. 234, No. 9, 2783-2791 (2010).
10
A hybrid model for a multiproduct pipeline planning and scheduling problem. (English)
Constraints 15, No. 2, 151-189 (2010).
11
A GRASP strategy for a more constrained school timetabling problem. (English)
Int. J. Oper. Res. 7, No. 2, 152-170 (2010).
12
A 3D non-Newtonian fluid-structure interaction model for blood flow in arteries (English)
J. Computational Applied Mathematics 234, No. 9, 2783-2791 (2010).
13
Integrating ontologies based on P2P mappings (English)
IEEE Transactions on Systems, Man, and Cybernetics, Part A 40, No. 5, 1071-1082 (2010).
14
Duality for poset codes (English)
IEEE Transactions on Information Theory 56, No. 7, 3180-3186 (2010).
15
Value-driven IT service portfolio selection under uncertainty (English)
NOMS, 416-423 (2010).
16
A method for validating the compliance of business processes to business rules (English)
SAC, 145-149 (2010).
17
Generating invariants for non-linear hybrid systems by linear algebraic methods (English)
SAS, 373-389 (2010).
18
Business-driven design of infrastructures for IT services. (English)
J. Netw. Syst. Manag. 17, No. 4, 422-456 (2009).
19
INTEGRALL: a database and search engine for integrons, integrases and gene cassettes. (English)
Bioinformatics 25, No. 8, 1096-1098 (2009).
20
Result 1 to 20 of 112 total
Start
Contact
Print
General Help
