- 2011
- B. Devadas Acharya:
Supra-Hereditary Properties of Hypergraphs. Math. Comput. Sci. 5(1): 3-6 (2011) - Hirokazu Anai:
Foreword. Math. Comput. Sci. 5(3): 245-246 (2011) - Sylvie Boldo, Claude Marché:
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs. Math. Comput. Sci. 5(4): 377-393 (2011) - Bommanahal Basavanagoud, Keerthi G. Mirajkar:
On Plick Graphs with Coarseness Number One. Math. Comput. Sci. 5(1): 7-10 (2011) - François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination. Math. Comput. Sci. 5(3): 289-301 (2011) - Ljiljana Brankovic
, Ian M. Wanless:
Graceful Labelling: State of the Art, Applications and Future Directions. Math. Comput. Sci. 5(1): 11-20 (2011) - Roman Cada
, Evelyne Flandrin, Haiyan Kang:
A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs. Math. Comput. Sci. 5(1): 21-25 (2011) - Pranay Chaudhuri, Hussein Thompson:
Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks. Math. Comput. Sci. 5(1): 27-39 (2011) - Pieter Collins
, Milad Niqui, Nathalie Revol:
A Validated Real Function Calculus. Math. Comput. Sci. 5(4): 437-467 (2011) - Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. Math. Comput. Sci. 5(4): 469-497 (2011) - Georgios Fainekos
, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. Math. Comput. Sci. 5(4): 357-358 (2011) - Jean-Charles Faugère, Ye Liang:
Pivoting in Extended Rings for Computing Approximate Gröbner Bases. Math. Comput. Sci. 5(2): 179-194 (2011) - Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama:
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition. Math. Comput. Sci. 5(2): 209-221 (2011) - Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu:
Stochastic Arithmetic in Multiprecision. Math. Comput. Sci. 5(4): 359-375 (2011) - Hiroyuki Ichihara, Hirokazu Anai:
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems. Math. Comput. Sci. 5(3): 303-314 (2011) - Rikio Ichishima, Akito Oshima:
On Partitional and Other Related Graphs. Math. Comput. Sci. 5(1): 41-50 (2011) - Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. Math. Comput. Sci. 5(3): 315-334 (2011) - J. Jeba Jesintha, G. Sethuraman:
All Arbitrarily Fixed Generalized Banana Trees Are Graceful. Math. Comput. Sci. 5(1): 51-62 (2011) - Bert Jüttler
, Brian Moore
:
A Quadratic Clipping Step with Superquadratic Convergence for Bivariate Polynomial Systems. Math. Comput. Sci. 5(2): 223-235 (2011) - Sanjay Kumar Khattri
:
Optimal Eighth Order Iterative Methods. Math. Comput. Sci. 5(2): 237-243 (2011) - Shmuel T. Klein
, Dana Shapira
:
Huffman Coding with Non-Sorted Frequencies. Math. Comput. Sci. 5(2): 171-178 (2011) - Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang:
Stability Analysis for Discrete Biological Models Using Algebraic Methods. Math. Comput. Sci. 5(3): 247-262 (2011) - Susana-Clara López
, Francesc A. Muntaner-Batle, Miquel Rius-Font:
Super Edge-Magic Models. Math. Comput. Sci. 5(1): 63-68 (2011) - Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard:
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5(3): 263-288 (2011) - Yuri I. Manin, Matilde Marcolli
:
Error-Correcting Codes and Phase Transitions. Math. Comput. Sci. 5(2): 133-170 (2011) - Mirka Miller, Bharati Rajan, Joe Ryan:
Foreword. Math. Comput. Sci. 5(1): 1-2 (2011) - Rahnuma Islam Nishat
, Debajyoti Mondal, Md. Saidur Rahman
:
Visibility Drawings of Plane 3-Trees with Minimum Area. Math. Comput. Sci. 5(1): 119-132 (2011) - Allen O'Neal, Peter J. Slater:
An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread. Math. Comput. Sci. 5(1): 69-80 (2011) - Oudone Phanalasy, Mirka Miller, Costas S. Iliopoulos, Solon P. Pissis
, Elaheh Vaezpour:
Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs. Math. Comput. Sci. 5(1): 81-87 (2011) - Bharati Rajan, K. T. Sonia, Chris Monica M.:
Conditional Resolvability of Honeycomb and Hexagonal Networks. Math. Comput. Sci. 5(1): 89-99 (2011)