Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics in Computer Science, Volume 5
Volume 5, Number 1, March 2011
- Mirka Miller, Bharati Rajan, Joe Ryan:
Foreword. 1-2 - B. Devadas Acharya:
Supra-Hereditary Properties of Hypergraphs. 3-6 - Bommanahal Basavanagoud, Keerthi G. Mirajkar:
On Plick Graphs with Coarseness Number One. 7-10 - Ljiljana Brankovic
, Ian M. Wanless:
Graceful Labelling: State of the Art, Applications and Future Directions. 11-20 - Roman Cada, Evelyne Flandrin, Haiyan Kang:
A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs. 21-25 - Pranay Chaudhuri, Hussein Thompson:
Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks. 27-39 - Rikio Ichishima, Akito Oshima:
On Partitional and Other Related Graphs. 41-50 - J. Jeba Jesintha, G. Sethuraman:
All Arbitrarily Fixed Generalized Banana Trees Are Graceful. 51-62 - Susana-Clara López, Francesc A. Muntaner-Batle, Miquel Rius-Font:
Super Edge-Magic Models. 63-68 - Allen O'Neal, Peter J. Slater:
An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread. 69-80 - Oudone Phanalasy, Mirka Miller, Costas S. Iliopoulos, Solon P. Pissis, Elaheh Vaezpour:
Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs. 81-87 - Bharati Rajan, K. T. Sonia, Chris Monica M.:
Conditional Resolvability of Honeycomb and Hexagonal Networks. 89-99 - Indra Rajasingh, Micheal Arockiaraj:
Linear Wirelength of Folded Hypercubes. 101-111 - Kiki A. Sugeng, Joseph F. Ryan:
Clique Vertex Magic Cover of a Graph. 113-118 - Rahnuma Islam Nishat, Debajyoti Mondal, Md. Saidur Rahman:
Visibility Drawings of Plane 3-Trees with Minimum Area. 119-132
Volume 5, Number 2, June 2011
- Yuri I. Manin, Matilde Marcolli:
Error-Correcting Codes and Phase Transitions. 133-170 - Shmuel T. Klein, Dana Shapira:
Huffman Coding with Non-Sorted Frequencies. 171-178 - Jean-Charles Faugère, Ye Liang:
Pivoting in Extended Rings for Computing Approximate Gröbner Bases. 179-194 - Mingfu Zhu, Guangran Jiang, Shuhong Gao:
Solving the 100 Swiss Francs Problem. 195-207 - Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama:
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition. 209-221 - Bert Jüttler, Brian Moore:
A Quadratic Clipping Step with Superquadratic Convergence for Bivariate Polynomial Systems. 223-235 - Sanjay Kumar Khattri:
Optimal Eighth Order Iterative Methods. 237-243
Volume 5, Number 3, September 2011
- Hirokazu Anai:
Foreword. 245-246 - Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang:
Stability Analysis for Discrete Biological Models Using Algebraic Methods. 247-262 - Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard:
Embedding of Biological Regulatory Networks and Property Preservation. 263-288 - François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination. 289-301 - Hiroyuki Ichihara, Hirokazu Anai:
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems. 303-314 - Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai:
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. 315-334 - Gabriel Dos Reis, Bjarne Stroustrup:
A Principled, Complete, and Efficient Representation of C++. 335-356
Volume 5, Number 4, December 2011
- Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. 357-358 - Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu:
Stochastic Arithmetic in Multiprecision. 359-375 - Sylvie Boldo, Claude Marché:
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs. 377-393 - Stephen F. Siegel, Timothy K. Zirkel:
TASS: The Toolkit for Accurate Scientific Software. 395-426 - Stephen F. Siegel, Timothy K. Zirkel:
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing. 427-435 - Pieter Collins, Milad Niqui, Nathalie Revol:
A Validated Real Function Calculus. 437-467 - Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans:
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata. 469-497
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
