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

Article

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 (7-8). pp. 815-831. ISSN 0950-5849

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

Bottoni, P. and Fish, A. (2011) A visual language for temporal specifications based on spider diagrams Electronic Communications of the EASST, 41 . pp. 1-14. ISSN 1863-2122

Burton, J. (2008) Types and programs from Euler diagrams Lecture Notes in Computer Science, 5223 . pp. 357-359. ISSN 0302-9743

Burton, J., Stapleton, G. and Hamie, A. (2009) Transforming constraint diagrams Proceedings of the Second International Workshop on Visual Languages and Logic (VLL 09), 510 . pp. 62-80. ISSN 1613-0073

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

Chen, K., Cheng, J. and Harris, P.J. (2009) A new study of the Burton and Miller method for the solution of a 3D Helmholtz problem IMA Journal of Applied Mathematics, 74 (2). pp. 163-177. ISSN 0272-4960

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

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

Cox, K., Niazi, M. and Verner, J. (2009) Empirical study of Sommerville and Sawyer's requirements engineering practices IET Software, 3 (5). pp. 339-355. ISSN 1751-8806

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

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 (1). pp. 248-262. ISSN 0378-3758

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. ISSN 1045-926X

Flower, J., Fish, A. and Howse, J. (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926X

Flower, J., Howse, J. and Taylor, J. (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

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-1366

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

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. 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, 126 (1). pp. 149-157. ISSN 0001-4966

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, 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, 230 (2). pp. 443-442. ISSN 0377-0427 (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 (ijwmip), 3 (4). pp. 601-620. ISSN 0219-6913

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) On diagram tokens and types DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference . 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. and Schuman, S. (2005) Precise visual modelling: a case study Software and Systems Modeling, 4 (3). pp. 310-325. ISSN 1619-1366

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. ISSN 1382-3256

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. ISSN 0963-9314

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. ISSN 1045-926X

Stapleton, G., Howse, J., Rodgers, P. and Zhang, L. (2008) Generating Euler diagrams from existing layouts Electronic Communications of the EASST, 13 . ISSN 1863-2122

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. ISSN 1045-926X

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 Physics of Fluids , 20 (2). ISSN 1089-7666

Turner, M. R. (2007) Far downstream analysis for the Blasius boundary-layer stability problem Quarterly Journal of Mechanics and Applied Mathematics, 60 (3). pp. 255-274. ISSN 0033-5614

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. ISSN 0022-1120

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 Journal of Fluid Mechanics, 593 . pp. 255-279. ISSN 0022-1120

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. ISSN 0022-1120

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. ISSN 0022-1120

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

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. ISSN 1469-7645

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

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 Physics of Fluids, 21 (6). ISSN 1089-7666

Book

Glanville, Ranulph and Sweeting, Ben, eds. (2011) Cybernetics: Art, Design, Mathematics - A Meta-Disciplinary Conversation: Papers from the 2010 Conference of the American Society for Cybernetics Kybernetes, 40 (7/8). Emerald. ISBN 978-1-78052-364-4

Garner, R. and Taylor, J. (2009) Discrete mathematics: Proofs, structures and applications (3rd Edition) Boca Raton. ISBN 1439812802

Book Section

UNSPECIFIED (2010) An Ontology Based Approach for Supporting Business IT Alignment In: Veres, C, Sampson, J, Cox, K., Bleistein, S and Verner, J., eds. Complex Intelligent Systems and Their Applications. Springer Optimization and Its Applications (41). Springer. ISBN 9781441916365

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

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

Fish, A. and Flower, J. (2008) Euler diagram decomposition In: Diagrammatic representation and inference. Lecture Notes in Computer Science, 5223 . Springer, pp. 28-44. ISBN 978-3-540-87729-5

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 . Springer-Verlag, Berlin, Germany, pp. 61-75. ISBN 03029743

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

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)

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

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 9783540212683

Conference or Workshop Item

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.

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, 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.

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.

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)

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.

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.

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 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.

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., 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.

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.

Nicholson, J. (2011) A theory of classes from the theoretical foundations of LePUS3 In: 13th International Conference on Formal Engineering Methods, 25-28th October, 2011, Durham, UK.

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.

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. (2008) Spider Diagrams Augmented with Constants; A Complete System In: 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 4-6 September, 2008, Boston, USA.

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 2009. (Submitted)

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., 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.

Urbas, M., Jamnik, M., Stapleton, G. and Flower, J. (2012) Speedith: a diagrammatic reasoner for spider diagrams In: Diagrams 2012. (Submitted)

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.

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.

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.

Monograph

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.

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)

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., 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)

Thesis

Burton, J. (2011) Generalized constraint diagrams; the classical decision problem in a diagrammatic reasoning system Doctoral thesis, University of Brighton.

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