Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 52 results
Sort by: relevance publication year

ESTIMATES FOR ELLIPTIC SYSTEMS FOR COMPOSITE MATERIAL

PROCEEDINGS ARTICLE published June 2004 in Abstract and Applied Analysis

Authors: L. NIRENBERG

https://doi.org/10.1142/9789812702548_0014 Actions

GRADIENT ESTIMATES FOR MEAN CURVATURE SYSTEMS

PROCEEDINGS ARTICLE published June 2004 in Abstract and Applied Analysis

Authors: MU-TAO WANG

https://doi.org/10.1142/9789812702548_0025 Actions

Accurate solution estimates for nonlinear nonautonomous vector difference equations

JOURNAL ARTICLE published 2004 in Abstract and Applied Analysis

Research funded by Comisión Nacional de Investigación Científica y Tecnológica (1.030.460)

Authors: Rigoberto Medina | M. I. Gil'

https://doi.org/10.1155/s1085337504306184 Actions

Deciding Extensions of the Theories of Vectors and Bags

BOOK CHAPTER published 2008 in Lecture Notes in Computer Science

Authors: Patrick Maier

https://doi.org/10.1007/978-3-540-93900-9_21 Actions

Asymptotic Energy Estimates for Nonlinear Petrovsky Plate Model Subject to Viscoelastic Damping

JOURNAL ARTICLE published 2012 in Abstract and Applied Analysis

Research funded by National Natural Science Foundation of China (11201258,ZR2011AM008,ZR2011AQ006,ZR2012AM010,J09LA04,XJ201114)

Authors: Xiuli Lin | Fushan Li

https://doi.org/10.1155/2012/419717 Actions

Estimates for the green function and existence of positive solutions for higher-order elliptic equations

JOURNAL ARTICLE published 2006 in Abstract and Applied Analysis

Authors: Imed Bachar

https://doi.org/10.1155/aaa/2006/89491 Actions

On the existence of weak solutions for the initial-boundary value problem in the Jeffreys model of motion of a viscoelastic medium

JOURNAL ARTICLE published 2004 in Abstract and Applied Analysis

Research funded by Russian Foundation for Basic Research (01-01-00425,VZ-010-0)

Authors: D. A. Vorotnikov | V. G. Zvyagin

https://doi.org/10.1155/s1085337504401018 Actions

Compositional and Lightweight Dependent Type Inference for ML

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: He Zhu | Suresh Jagannathan

https://doi.org/10.1007/978-3-642-35873-9_19 Actions

Dynamical Behavior and Stability Analysis in a Hybrid Epidemiological-Economic Model with Incubation

JOURNAL ARTICLE published 2014 in Abstract and Applied Analysis

Research funded by National Natural Science Foundation of China (61104003,61273008,61104093,20110042120016,F2011501023,N120423009,XNK201301)

Authors: Chao Liu | Wenquan Yue | Peiyong Liu

https://doi.org/10.1155/2014/639405 Actions

Research on Third-Party Collecting Game Model with Competition in Closed-Loop Supply Chain Based on Complex Systems Theory

JOURNAL ARTICLE published 2014 in Abstract and Applied Analysis

Research funded by National Natural Science Foundation of China (61273231,20130032110073)

Authors: Junhai Ma | Yuehong Guo

https://doi.org/10.1155/2014/750179 Actions

Model Checking for Object Specifications in Hidden Algebra

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Dorel Lucanu | Gabriel Ciobanu

https://doi.org/10.1007/978-3-540-24622-0_10 Actions

Approximate Probabilistic Model Checking

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Thomas Hérault | Richard Lassaigne | Frédéric Magniette | Sylvain Peyronnet

https://doi.org/10.1007/978-3-540-24622-0_8 Actions

Static Analysis versus Software Model Checking for Bug Finding

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Dawson Engler | Madanlal Musuvathi

https://doi.org/10.1007/978-3-540-24622-0_17 Actions

Model Checking Polygonal Differential Inclusions Using Invariance Kernels

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Gordon J. Pace | Gerardo Schneider

https://doi.org/10.1007/978-3-540-24622-0_11 Actions

Completeness and Complexity of Bounded Model Checking

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Edmund Clarke | Daniel Kroening | Joël Ouaknine | Ofer Strichman

https://doi.org/10.1007/978-3-540-24622-0_9 Actions

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: John Hatcliff | Matthew B. Dwyer

https://doi.org/10.1007/978-3-540-24622-0_16 Actions

Debugging Process Algebra Specifications

BOOK CHAPTER published 2015 in Lecture Notes in Computer Science

Authors: Gwen Salaün | Lina Ye

https://doi.org/10.1007/978-3-662-46081-8_14 Actions

Construction of a Semantic Model for a Typed Assembly Language

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Gang Tan | Andrew W. Appel | Kedar N. Swadi | Dinghao Wu

https://doi.org/10.1007/978-3-540-24622-0_4 Actions

Stabilizing Floating-Point Programs Using Provenance Analysis

BOOK CHAPTER published 2017 in Lecture Notes in Computer Science

Authors: Yijia Gu | Thomas Wahl

https://doi.org/10.1007/978-3-319-52234-0_13 Actions

Automatic Inference of Class Invariants

BOOK CHAPTER published 2004 in Lecture Notes in Computer Science

Authors: Francesco Logozzo

https://doi.org/10.1007/978-3-540-24622-0_18 Actions
Feedback: support@crossref.org