Items where Subject is "G000 Computing and Mathematical Sciences > G100 Mathematics"

B

Babar, A, Cox, K., Tosic, V, Bleistein, S and Verner, J. (2008) Integrating B-SCP and MAP to Manage the Evolution of Strategic IT Requirements Information and Software Technology, 50 . pp. 815-831.

Babar, A, Zowghi, D, Cox, K. and Tosic, V (2008) Exploring Alternative Integration Mechanisms for Requirements Modelling Techniques: Map and B-SCP In: 23rd ACM Symposium on Applied Computing, track on Requirements Engineering - ACM, SAC-RE 2008, 16-20 March 2008, Fortaleza, Brazil.

Babar, A, Zowghi, D, Cox, K., Tosic, V, Bleistein, S and Verner, J. (2008) Problem Frames and Business Strategy Modelling In: 3rd international workshop on Applications and advances of problem frames , 10 May 2008, Leipzig, Germany.

Barbaiani, M., Bibire, C., Dassow, J., Delaney, A., Fazekas, S., Ionescu, M., Liu, G., Lodhi, A. and Nagy, B. (2006) The power of programmed grammars with graphs from various classes Journal of applied mathematics and computing, 22 . pp. 21-38. ISSN 1598-5865

Bosworth, R. (2004) Automatic proofs for scalecharts In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin; London, pp. 227-230. ISBN 9783540212683

Bottoni, P, Cordasco , G., De Chiara, R, Fish, A. and Scarrano, V. (2011) Personalised Resource Categorisation Using Euler Diagrams, End-User Development In: IS-EUD'11 Proceedings of the Third international conference on End-user development, 7-10 June, 2011.

Bottoni, P and Fish, A. (2011) A Visual Language for Temporal Specifications Based on Spider Diagrams ECEASST, 41 . pp. 1-14. ISSN ISSN 1863-2122

Bottoni, P, Fish, A. and Parisi-Presicce, F. (2010) Preserving constraints in horizontal model transformations In: Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, March 20-21 2010, Paphos, Cyprus.

Burton, J. (2008) Diagrammatic Reasoning and Enhanced Static Constraints In: European Summer School for Logic, Language and Information, 4-15 August, 2008, Hamburg, Germany.

Burton, J. (2008) Diagrams and Intuitive Formal Specifications In: Visual Languages and HumanCentric Computing 2008 VLHCC 2008 IEEE Symposium on (2008) , 2008.

Burton, J. (2011) Generalized Constraint Diagrams: The Classical Decision Problem in a Diagrammatic Reasoning System Doctoral thesis, University of Brighton.

Burton, J. (2008) Types and Programs from Euler Diagrams Lecture Notes in Computer Science, 5223 .

Burton, J., Stapleton, G. and Hamie, A. (2009) Transforming Constraint Diagrams Visual Languages and Logic, CEUR Series, 510 . pp. 62-80.

C

Chapman, P., McKinna, J. and Urban, C. (2008) Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics , 31 July - 1 August, 2011, Birmingham, UK.

Chapman, P., Stapleton, G., Howse, J. and Oliver, I. (2011) Deriving Sound Inference Rules for Concept Diagrams In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Chappell, D. (2010) Convolution quadrature Galerkin method for the exterior Neumann problem of wave equation In: Proceedings of the Tenth International Conference on Integral Methods in Science and Engineering, 7-10 July 2008, Santander, Spain.

Chappell, D., Harris, P., Henwood, D. and Chakrabarti, R. (2006) A stable boundary element method for modelling transient acoustic radiation The journal of the acoustical society of America, 120 (1). pp. 74-80. ISSN 0001-4966

Chappell, D., Harris, P.J., Henwood, D. and Chakrabarti, R. (2008) Transient acoustic radiation from a thin spherical elastic shell Integral Methods in Science and Engineering: Techniques and Applications . pp. 47-54.

Chen, K. and Harris, P. (2001) Efficient preconditioners for iterative solution of the boundary element equations for the three-dimensional Helmholtz problem Applied numerical mathematics, 36 (4). pp. 475-489. ISSN 0168-9274

Chen, Ke, Cheng, Jin and Harris, Paul J (2009) A new study of the Burton and Miller method for the solution of a 3D Helmholtz problem IMA journal of applied mathematics . (In Press)

Clark, R, Fish, A., Garrett, C. and Howse, J. (2011) Developing a Rigorous Bottom-up Modular Static Failure Modelling Methdology In: 6th IET International Conference on System Safety, 2011 , 22 September, 2011, Birmingham, UK. (In Press)

Cordasco , G., De Chiara, R and Fish, A. (2011) Efficient on-line algorithms for Euler diagram region computation Computational Geometry: Theory and Applications, 44 . pp. 52-68.

Cox, K., Niazi, M. and Verner, J. (2009) An Empirical Study of Sommerville and Sawyers Requirements Engineering Practices IET Software, 3 (5). pp. 339-355. ISSN 1751-8806

D

Dai, H. (2011) Exact Monte Carlo simulation for fork-join networks Advances in Applied Probability, 43 (2).

Dai, H. and Fu, B. (2011) A polar coordinate transformation for estimating bivariate survival functions with randomly censored and truncated data Journal of Statistical Planning and Inference (142). pp. 248-262.

Delaney, A., Taylor, J. and Thompson, S. (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages In: Diagrammatic Representation and Inference 5th International Conference Diagrams 2008 (2008) , 19-21 September, 2008, Herrsching, Germany.

F

Fish, A. (2010) Euler Diagram Transformations In: 9th International Workshop on Graph Transformation and Visual Modeling Techniques, March 20-21 2010, Paphos, Cyprus.

Fish, A. and Bottoni, P (2010) Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information In: 6th International Conference on the Theory and Application of Diagrams, 9-11th August 2010, Portland, Oregon.

Fish, A. and Flower, J. (2008) Euler Diagram Decomposition Diagrammatic Representation and Inference, Lecture Notes in Computer Science, 5223 .

Fish, A., Flower, J. and Howse, J. (2005) The semantics of augmented constraint diagrams Journal of visual languages and computing, 16 (6). pp. 541-573. ISSN 1045-926X

Fish, A. and Keyman, E. (2006) Jones polynomial invariants Journal of knot theory and its ramifications, 15 (3). pp. 339-350. ISSN 0218-2165

Fish, A., Khazaei, B. and Roast, C. (2011) User-comprehension of Euler diagrams Journal of visual languages and computing, 22 (5). pp. 340-354.

Fish, A. and Masthoff, J. (2005) Do monkeys like elephants or do elephants watch monkeys? An empirical study into the default reading of constraint diagrams Technical Report. University of Brighton.

Flower, J., Fish, A. and Howse, J. (2008) Euler Diagram Generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694.

Flower, J. and Howse, J. (2002) Generating Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture notes in computer science, 2317/2003 . Springer-Verlag, Berlin, Germany, pp. 61-75. ISBN 03029743

Flower, J., Howse, J. and Taylor, J. (2002) Nesting in Euler diagrams Electronic notes in theoretical computer science, 72 (3). pp. 93-102. ISSN 1571-0661

Flower, J., Howse, J. and Taylor, J. (2002) A visual framework for modelling with heterogeneous notations, technical note In: Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia. IEEE Computer Society, pp. 71-73. ISBN 0769516440

Flower, Jean, Howse, J. and Taylor, J. (2004) Nesting in Euler diagrams: syntax, semantics and construction Journal of software and systems modeling, 3 (1). pp. 55-67. ISSN 1619-1374

G

Garner, R. and Taylor, J. (2009) Discrete Mathematics: Proofs, Structures and Applications (3rd Edition) Boca Raton. ISBN 1439812802

Gil, J., Howse, J. and Tulchinsky, E. (2002) Positive semantics of projections in Venn-Euler diagrams Journal of visual languages and computing, 13 (2). pp. 197-227. ISSN 1045-926X

H

Harris, P.J. (2003) An investigation into the use of the boundary integral method to model the motion of a single gas or vapour bubble in a liquid Engineering analysis with boundary elements, 28 (4). pp. 325-332. ISSN 0955-7997

Harris, P.J. (2011) On methods for evaluating a class of highly oscillatory integral In: Proceedings of the 8th UK Conference on Boundary Integral Methods, 4-5 July, 2011, University of Leeds, UK.

Harris, P.J. and Chappell, D. (2009) A Burton and Miller inverse boundary element method for near-field acoustic holography The Journal of the Acoustical Society of America (JASA), 126 (1). pp. 149-157.

Harris, P.J. and Chen, K. (2003) On efficient preconditioners for iterative solution of a Galerkin boundary element equation for the three-dimensional exterior Helmholtz problem Journal of computational and applied mathematics, 156 (2). pp. 303-318. ISSN 0377-0427

Harris, P.J. and Hardwidge, C (2008) The mathematical modelling of syringomyelia In: The Ninth International Conference on Integral Methods in Science and Engineering, July 23-27, 2006, Niagara Falls, Ontario, Canada.

Harris, P.J. and Hardwidge, C (2010) A porous finite element model of the motion of the spinal cord In: Tenth International Conference on Integral Methods in Science and Engineering.

Harris, Paul J and Chen, Ke (2009) An efficient method for evaluating the integral of a class of highly oscillatory functions Journal of computational and applied mathematics . (In Press)

Hawkins, S.C., Chen, K. and Harris, P.J. (2007) On the influence of the wavenumber on compression in a wavelet boundary element method for the Helmholtz equation International journal of numerical analysis and modeling, 4 (1). pp. 48-62. ISSN 1705-5105

Hawkins, S.C., Chen, K. and Harris, P.J. (2005) An operator splitting preconditioner for matrices arising from a wavelet boundary element method for the Helmholtz equation International journal of wavelets, multiresolution and information processing, 3 (4). pp. 601-620. ISSN 0219-6913

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) On diagram tokens and types Diagrammatic representation and inference: second international conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings, 2317/2002 . pp. 76-90. ISSN 0302-9743 (Print) 1611-3349 (Online)

Howse, J., Molina, F., Taylor, J., Kent, S. and Gil, J. (2001) Spider diagrams: a diagrammatic reasoning system Journal of visual languages and computing, 12 (3). pp. 299-324. ISSN 1045-926X

Howse, J., Rodgers, P. and Stapleton, G. (2009) Automated Diagram Drawing In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA. (Submitted)

Howse, J., Rodgers, P. and Stapleton, G. (2009) Changing Euler Diagram Properties by Edge Transformation of Euler Dual Graphs In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), 20-24 September 2009, Corvallis, Oregon.

Howse, J., Rodgers, P. and Stapleton, G. (2010) Levels of Syntax in Euler Diagram Logics In: World Congress and Summer School on Universal Logic.

Howse, J. and Schuman, S. (2005) Precise visual modelling: a case study Software and systems modeling journal, 4 (3). pp. 310-325. ISSN 1619-1366 (Print) 1619-1374 (Online)

Howse, J., Schuman, S., Stapleton, G. and Oliver, I. (2009) Diagrammatic Formal Specification of a Configuration Control Platform In: 2009 Refinement Workshop, 3rd November 2009, Eindhoven.

Howse, J., Stapleton, G., Taylor, K and Chapman, P. (2011) Visualizing Ontologies: A Case Study In: International Semantic Web Conference, 2011, Bonn, Germany.

K

Kent, S. and Howse, J. (2002) Constraint trees In: Object modeling with the OC: the rationale behind the object constraint language. Lecture notes in computer science, 2263/2002 . Springer, pp. 427-430. ISBN 0302-9743 (Print) 1611-3349 (Online)

Kitchenham, B, Al-Kilidar, H, Ali Babar, M, Berry, M, Cox, K., Keung, J, Kurniawati, F, Staples, M, Zhang, J and Zhu, L (2008) Evaluating Guidelines for Reporting Empirical Software Engineering Studies Empirical Software Engineering Journal, 13 (1). pp. 97-121.

L

Lim, S.L., Ishikawa, E, Platon, E and Cox, K. (2008) Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach In: IEEE International Conference on Services Computing, 8-11 July 2008, Honolulu, Hawaii.

Lim, S.L., Platon, E and Cox, K. (2008) Synthesis of Actor Dependency and Business Motivation for Service Requirements In: Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International , 28 July - 1 August 2008, Turku, Finland.

N

Niazi, M., Cox, K. and Verner, J. (2008) A Measurement Framework for Assessing the Maturity of Requirements Engineering Process Software Quality Journal, 16 (2). pp. 213-235.

O

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A Proposed Diagrammatic Logic for Ontology Specification and Visualization In: International Semantic Web Conference, 2009.

Oliver, O, Howse, J., Stapleton, G., Nuutlia, S and Torma, S (2009) Visualizing and Specifying Ontologies using Diagrammatic Logics In: Proceedings of the Australasian Ontology Workshop, 1 December 2009, Melbourne, Australia.

P

Parramore, K. and Watsham, T. (2004) Mathematical foundations of risk management In: The professional risk manager's handbook: a comprehensive guide to current theory and best practices. Professional Risk Managers International Association, U.S.. ISBN 0976609703

S

Sazhin, S.S., Shishkova, I.N., Elwardany, A.E., Gusev, I.G. and Heikal, M.R. (2011) Modelling of droplet heating and evaporation: recent results and unsolved problems In: 5th International Workshop on Multi-Rate Processes and Hysteresis (MURPHYS 2010), 31 May - 3 June, 2010, Pecs, Hungary.

Stapleton, G. (2007) Euler diagram reasoning Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2007) How to use Edith: the Euler diagram theorem prover Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis Technical Report. University of Brighton.

Stapleton, G., Delaney, A., Rodgers, P. and Plimmer, B. (2011) Recognising Sketches of Euler Diagrams Augmented with Graphs Journal of Visual Languages and Computing . pp. 279-284.

Stapleton, G., Howse, J., Rodgers, P. and Zhang, L. (2008) Generating Euler Diagrams from Existing Layouts ECEASST . ISSN ISSN 1863-2122

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) What can spider diagrams say? In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 112-127. ISBN 0302-9743 (Print) 1611-3349 (Online)

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems Technical Report. University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. and Rodgers, P. (2011) Drawing Euler Diagrams with Circles and Ellipses In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Stapleton, G., Rodgers, P. and Howse, J. (2011) A General Method for Drawing Area-Proportional Euler Diagrams Journal of Visual Languages and Computing, 22 (6). pp. 426-442.

Stapleton, G., Rodgers, P., Howse, J. and Flower, J. (2009) Some Results for Drawing Area-Proportional Venn-3 with Convex Curves In: Information Visualisation, 2009 13th International Conference , 15-17 July 2009 , Barcelona.

T

Turner, M R, Gilbert, A. D. and Bassom, A. B. (2008) Neutral modes of a two-dimensional vortex and their link to persistent cat's eyes Phys. Fluids, 20 (2).

Turner, M. R. (2007) Far downstream analysis for the Blasius boundary-layer stability problem QJMAM, 60 (3). pp. 255-274.

Turner, M. R. (2005) Numerical and asymptotic approaches to boundary-layer receptivity and transition. PhD thesis, University of East Anglia.

Turner, M. R., Bassom, A. P. and Gilbert, A. D. (2009) Diffusion and the formation of vorticity staircases in randomly strained two-dimensional vortices Journal of Fluid Mechanics, 638 . pp. 49-72.

Turner, M. R. and Gilbert, A. D. (2007) Linear and nonlinear decay of cat's eyes in two-dimensional vortices, and the link to Landau poles J. Fluid Mech., 593 . pp. 255-279.

Turner, M. R. and Gilbert, A. D. (2009) Spreading of two-dimensional axisymmetric vortices exposed to a rotating strain field. Journal of Fluid Mechanics, 630 . pp. 155-177.

Turner, M. R. and Gilbert, A. D. (2008) Thresholds for the formation of satellites in two--dimensional vortices. Journal of Fluid Mechanics, 614 . pp. 381-405.

Turner, M. R., Gilbert, A. D. and Thuburn, J. (2008) Effective diffusion of scalar fields in a chaotic flow. Physics of Fluids, 20 (10).

Turner, M. R. and Hammerton, P. W. (2009) Analysis of the unstable Tollmien-Schlichting mode on bodies with a rounded leading edge using the parabolized stability equation Journal of Fluid Mechanics, 623 . pp. 167-185.

Turner, M. R. and Hammerton, P. W. (2006) Asymptotic receptivity and the Parabolized Stability Equation: a combined approach to boundary layer transition J. Fluid Mech., 562 . pp. 355-381.

Turner, M. R., Thuburn, J. and Gilbert, A. D. (2009) The influence of periodic islands in the flow on a scalar tracer in the presence of a steady source Phys. Fluids, 21 (6).

V

Veres, C, Sampson, J, Bleistein, S, Cox, K. and Verner, J. (2009) Using Semantic Technologies to Enhance a Requirements Engineering Approach for Alignment of IT with Business Strategy In: International Conference 2009 on Complex, Intelligent and Software Intensive Systems, 16-19 March 2009, Fukuoka, Japan.

W

Wang, M, Plimmer, B., Schmieder, P., Stapleton, G., Rodgers, P. and Delaney, A. (2011) SketchSet: Creating Euler Diagrams using Pen or Mouse In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Y

Yamamoto, S, Ibe, K, Verner, J. and Cox, K. (2009) Actor Relationship Analysis for the i* Framework In: 11th International Conference on Enterprise Information Systems, 6-10 May 2009, Milan, Italy.