Search Results

There are 9066 results for: content related to: Formal passive testing of timed systems: theory and tools

  1. Goal-oriented adaptive refinement for phase field modeling with finite elements

    International Journal for Numerical Methods in Engineering

    Volume 94, Issue 4, 27 April 2013, Pages: 418–440, R. Mahnken

    Article first published online : 14 MAR 2013, DOI: 10.1002/nme.4464

  2. A comparison of estimators to evaluate the discriminatory power of time-to-event models

    Statistics in Medicine

    Volume 31, Issue 23, 15 October 2012, Pages: 2588–2609, Matthias Schmid and Sergej Potapov

    Article first published online : 25 JUL 2012, DOI: 10.1002/sim.5464

  3. Notes on Metric Independent Analysis of Classical Fields

    Mathematical Methods in the Applied Sciences

    Volume 36, Issue 5, 30 March 2013, Pages: 497–566, Reuven Segev

    Article first published online : 13 AUG 2012, DOI: 10.1002/mma.2610

  4. An explicit residual-type error estimator for Q1-quadrilateral extended finite element method in two-dimensional linear elastic fracture mechanics

    International Journal for Numerical Methods in Engineering

    Volume 90, Issue 9, 1 June 2012, Pages: 1118–1155, T. Gerasimov, M. Rüter and E. Stein

    Article first published online : 10 APR 2012, DOI: 10.1002/nme.3363

  5. Efficient delivery-guaranteed geographic routing in 3D wireless sensor networks with holes

    Wireless Communications and Mobile Computing

    Bing-Hong Liu, Yuan-Po Cheng and Chien-Hong Wen

    Article first published online : 28 JAN 2014, DOI: 10.1002/wcm.2464

  6. New bounding techniques for goal-oriented error estimation applied to linear problems

    International Journal for Numerical Methods in Engineering

    Volume 93, Issue 13, 30 March 2013, Pages: 1345–1380, P. Ladevèze, F. Pled and L. Chamoin

    Article first published online : 21 DEC 2012, DOI: 10.1002/nme.4423

  7. Long-Lived Consumers, Intertemporal Bundling and Collusion

    The Journal of Industrial Economics

    Volume 59, Issue 4, December 2011, Pages: 609–629, James D. Dana Jr and Yuk-Fai Fong

    Article first published online : 19 DEC 2011, DOI: 10.1111/j.1467-6451.2011.00464.x

  8. On the assessment of passive devices for structural control via real-time dynamic substructuring

    Structural Control and Health Monitoring

    Volume 19, Issue 8, December 2012, Pages: 701–722, J. M. Londoño, G. Serino, D. J. Wagg, S. A. Neild and A. J. Crewe

    Article first published online : 12 JUL 2011, DOI: 10.1002/stc.464

  9. Semi-implicit numerical modeling of axially symmetric flows in compliant arterial systems

    International Journal for Numerical Methods in Biomedical Engineering

    Volume 28, Issue 2, February 2012, Pages: 257–272, Vincenzo Casulli, Michael Dumbser and Eleuterio F. Toro

    Article first published online : 13 SEP 2011, DOI: 10.1002/cnm.1464

  10. Probing the nuclear and circumnuclear activity of NGC 1365 in the infrared

    Monthly Notices of the Royal Astronomical Society

    Volume 425, Issue 1, 1 September 2012, Pages: 311–324, A. Alonso-Herrero, M. Sánchez-Portal, C. Ramos Almeida, M. Pereira-Santaella, P. Esquej, S. García-Burillo, M. Castillo, O. González-Martín, N. Levenson, E. Hatziminaoglou, J. A. Acosta-Pulido, J. I. González-Serrano, M. Pović, C. Packham and A. M. Pérez-García

    Article first published online : 3 AUG 2012, DOI: 10.1111/j.1365-2966.2012.21464.x

  11. Multiphase double-porosity homogenization for perimeter functionals

    Mathematical Methods in the Applied Sciences

    Volume 35, Issue 5, 30 March 2012, Pages: 598–620, Margherita Solci

    Article first published online : 6 MAR 2012, DOI: 10.1002/mma.1600

  12. ZTE imaging with enhanced flip angle using modulated excitation

    Magnetic Resonance in Medicine

    Konrad Schieban, Markus Weiger, Franciszek Hennel, Andreas Boss and Klaas P. Pruessmann

    Article first published online : 19 SEP 2014, DOI: 10.1002/mrm.25464

  13. Chemical Potential-Based Analysis for the Oxidation Kinetics of Si and SiC Single Crystals

    Journal of the American Ceramic Society

    Volume 96, Issue 9, September 2013, Pages: 2926–2934, Rishi Raj

    Article first published online : 19 JUN 2013, DOI: 10.1111/jace.12464

  14. Selective Combination of Visual and Thermal Imaging for Resilient Localization in Adverse Conditions: Day and Night, Smoke and Fire

    Journal of Field Robotics

    Volume 30, Issue 4, July/August 2013, Pages: 641–666, Christopher Brunner, Thierry Peynot, Teresa Vidal-Calleja and James Underwood

    Article first published online : 24 MAY 2013, DOI: 10.1002/rob.21464

  15. Effect of external electrostatic field on the stability of β sheet structures


    Volume 101, Issue 8, August 2014, Pages: 861–870, Pei-Kun Yang

    Article first published online : 26 MAY 2014, DOI: 10.1002/bip.22464

  16. You have full text access to this OnlineOpen article
    Representation errors and retrievals in linear and nonlinear data assimilation

    Quarterly Journal of the Royal Meteorological Society

    Peter Jan van Leeuwen

    Article first published online : 27 NOV 2014, DOI: 10.1002/qj.2464

  17. Viscous dissipation in plastic pipe extrusion

    Polymer Engineering & Science

    Volume 53, Issue 10, October 2013, Pages: 2205–2218, Chanyut Kolitawong, A. Jeffrey Giacomin and Udomkiat Nontakaew

    Article first published online : 8 MAR 2013, DOI: 10.1002/pen.23464

  18. Additive models for conditional copulas


    Volume 3, Issue 1, 2014, Pages: 300–312, Avideh Sabeti, Mian Wei and Radu V. Craiu

    Article first published online : 6 OCT 2014, DOI: 10.1002/sta4.64

  19. Empirical comparison study of approximate methods for structure selection in binary graphical models

    Biometrical Journal

    Volume 56, Issue 2, March 2014, Pages: 307–331, Vivian Viallon, Onureena Banerjee, Eric Jougla, Grégoire Rey and Joel Coste

    Article first published online : 16 DEC 2013, DOI: 10.1002/bimj.201200253

  20. Single threshold optimization and a novel double threshold scheme for non-line-of-sight identification

    International Journal of Communication Systems

    Volume 27, Issue 10, October 2014, Pages: 2156–2165, Shixun Wu, Jiping Li and Shouyin Liu

    Article first published online : 13 NOV 2012, DOI: 10.1002/dac.2464