Result 1 to 20 of 32 total
Adaptive multiresolution analysis based on anisotropic triangulations. (English)
Math. Comput. 81, No. 278, 789-810 (2012).
1
Graph transformations for object-oriented refinement. (English)
Formal Asp. Comput. 21, No. 1-2, 103-131 (2009).
2
Modelling and proof of a tree-structured file system in Event-B and Rodin. (English)
Liu, Shaoying (ed.) et al., Formal methods and software engineering. 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27‒31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88193-3/pbk). Lecture Notes in Computer Science 5256, 25-44 (2008).
3
The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations. (English)
Sci. Comput. Program. 72, No. 3, 71-135 (2008).
4
Pharmacophore knowledge refinement method in the chemical structure space. (English)
Corruble, Vincent (ed.) et al., Discovery science. 10th international conference, DS 2007, Sendai, Japan, October 1‒4, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75487-9/pbk). Lecture Notes in Computer Science 4755. Lecture Notes in Artificial Intelligence, 243-247 (2007).
5
Adaptive finite volume method for distributed non-smooth parameter identification. (English)
Inverse Probl. 23, No. 4, 1659-1676 (2007).
6
Issues in adaptive mesh refinement implementation. (English)
Electron. J. Differ. Equ. 2007, Conf. 15, 141-151, electronic only (2007).
7
A two-stage algorithm for identification of nonlinear dynamic systems. (English)
Automatica 42, No. 7, 1189-1197 (2006).
8
Action refinement applied to late decisions. (English)
Formal Asp. Comput. 18, No. 2, 211-230 (2006).
9
Refinement of actions for real-time concurrent systems with causal ambiguity. (English)
Acta Inf. 42, No. 6-7, 389-418 (2006).
10
Hierarchical FCM in a stepwise discovery of structure in data. (English)
Soft Comput. 10, No. 3, 244-256 (2006).
11
Action refinement for real-time concurrent processes with urgency. (English)
J. Comput. Sci. Technol. 20, No. 4, 514-525 (2005).
12
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement. (English)
J. Comput. Sci. Technol. 19, No. 6, 828-839 (2004).
13
Asynchronous fast adaptive composite-grid methods for elliptic problems: theoretical foundations. (English)
SIAM J. Numer. Anal. 42, No. 1, 130-152 (2004).
14
Refinement of comparative-modeling structures by multicanonical molecular dynamics. (English)
Genome Inform. Online 14, 484-485 (2003).
15
Geometric data structures for refinement based on skeleton. (Spanish)
Rev. Int. Métod. Numér. Cálc. Diseño Ing. 19, No. 1, 89-109 (2003).
16
Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing. (English)
Theor. Comput. Sci. 234, No.1-2, 59-84 (2000).
17
Software abstractions and computational issues in parallel structured adaptive mesh methods for electronic structure calculations. (English)
Baden, Scott B. (ed.) et al., Structured adaptive mesh refinement (SAMR) grid methods. Proceedings of a special IMA workshop, Minneapolis, MN, USA, March 12-13, 1997. New York, NY: Springer. IMA Vol. Math. Appl. 117, 75-95 (2000).
18
Refining temporal reference in event structures. (English)
Notre Dame J. Formal Logic 37, No.1, 71-83 (1996).
19
Integrating Heuristic Knowledge and Optimization Models for Communication Network Design. (English)
IEEE Transactions on Knowledge and Data Engineering 05, No.06, 999-1017 (1993).
20
Result 1 to 20 of 32 total
Start
Contact
Print
General Help
