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

Up a level
Export as [feed] RSS
Group by: Creators | Item Type
Jump to: A | B | C | D | F | G | H | K | L | N | O | P | R | S | T | V | W | Y
Number of items at this level: 91.

A

ALI, NOUR and Babar, Muhammad Ali (2009) Modeling service oriented architectures of mobile applications by extending SoaML with ambients In: Proceedings of the 35th euromicro conference on software engineering and advanced applications, Patras, 27-29 August 2009.

B

BURTON, JAMES (2008) Diagrams and intuitive formal specifications In: Proceedings of the 2008 IEEE symposium on visual languages and human-centric computing, 2008, Herrsching am Ammersee, Germany, 15-19 September, 2008.

BURTON, JAMES (2008) Types and programs from Euler diagrams In: Diagrams '08: 5th international conference on diagrammatic representation and inference, Herrsching, Germany, 19-21 September, 2008.

BURTON, JAMES, STAPLETON, GEM and HAMIE, ALI (2009) Transforming constraint diagrams In: Proceedings of the VLL 2009 workshop on visual languages and logic as part of the 2009 IEEE symposium on visual languages and human centric computing VL/HCC 09, Corvallis, Oregon, USA, 20 September, 2009.

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, Abdul, COX, KARL, Tosic, Vladimir, Bleistein, Steven and Verner, June (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

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.

Bosworth, R. (2004) Automatic proofs for scalecharts In: Proceedings of the third international conference, diagrams 2004, Cambridge, UK, 22-24 March, 2002.

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

Bottoni, Paulo, Cordasco, Gennaro, De Chiara, Rosario, FISH, ANDREW and Scarano, Vittorio (2011) Personalised resource categorisation using euler diagrams In: Proceedings of the Third international conference on End-user development, IS-EUD'11, 7-10 June, 2011, Torre Canne (BR), Italy.

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.

C

CHAPMAN, PETER, McKinna, James and Urban, Christian (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, July 28 - August 1, 2008.

CHAPMAN, PETER, STAPLETON, GEM and DELANEY, AIDAN (2013) On the expressiveness of second-order spider diagrams Journal of Visual Languages and Computing, 24 (5). pp. 327-349. ISSN 1045-926X

CHAPMAN, PETER, STAPLETON, GEM, HOWSE, JOHN and Oliver, Ian (2011) Deriving sound inference rules for concept diagrams In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

COX, KARL, Niazi, Mahmood and Verner, June (2009) Empirical study of Sommerville and Sawyer's requirements engineering practices IET Software, 3 (5). pp. 339-355. ISSN 1751-8806

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.J., Henwood, D. and Chakrabarti, R. (2008) Transient acoustic radiation from a thin spherical elastic shell In: Constanda, C. and Potapenko, S., eds. Integral Methods in Science and Engineering: Techniques and Applications. Birkhauser, Boston, pp. 47-54. ISBN 9780817646707

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

Clark, R., FISH, ANDREW, GARRETT, CHRISTOPHER and HOWSE, JOHN (2011) Developing a rigorous bottom-up modular static failure modelling methdology In: Proceedings of the 6th international conference on system safety, 2011, Birmingham, UK, 20-22 September, 2011.

Cordasco, Gennaro, De Chiara, Rosario and FISH, ANDREW (2011) Efficient on-line algorithms for Euler diagram region computation Computational Geometry, 44 (1). pp. 52-68. ISSN 0925-7721

D

DAI, HONGSHENG (2011) Exact Monte Carlo simulation for fork-join networks Advances In Applied Probability, 43 (2). ISSN 0001-8678

DAI, HONGSHENG 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

DELANEY, AIDAN, TAYLOR, JOHN and Thompson, Simon (2008) Spider diagrams of order and a hierarchy of star-free regular languages In: Proceedings of the 5th international conference on the theory and application of diagrams, Herrsching, Germany, 19-21 September, 2008.

DELANEY, AIDAN, Barbaiani, Madalina, Bibire, Cristina, Dassow, Jürgen, Fazekas, Szilárd, Ionescu, Mihai, Liu, Guangwu, Lodhi, Atif and Nagy, Benedek (2006) The power of programmed grammars with graphs from various classes Journal of Applied Mathematics and Computing, 22 (1-2). pp. 21-38. ISSN 1598-5865

F

FISH, ANDREW, Flower, Jean and HOWSE, JOHN (2005) The semantics of augmented constraint diagrams Journal of Visual Languages and Computing, 16 (6). pp. 541-573. ISSN 1045-926X

FISH, ANDREW, Khazaei, Babak and Roast, Chris (2011) User-comprehension of Euler diagrams Journal of Visual Languages and Computing, 22 (5). pp. 340-354. ISSN 1045-926X

FISH, ANDREW and Keyman, Ebru (2006) Jones polynomial invariants Journal of Knot Theory and Its Ramifications, 15 (3). pp. 339-350. ISSN 0218-2165

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

Flower, Jean, FISH, ANDREW and HOWSE, JOHN (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926X

Flower, Jean and HOWSE, JOHN (2002) Generating Euler diagrams In: Proceedings of the 2nd International Conference, Diagrams 2002, Callaway Gardens, GA, USA, 18-20 April, 2002.

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2004) Nesting in Euler Diagrams: syntax, semantics and construction Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

Flower, Jean, HOWSE, JOHN, TAYLOR, JOHN and Kent, Stuart (2002) A visual framework for modelling with heterogeneous notations In: IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02), Arlington, VA, USA, 3-6 September, 2002.

G

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

Gil, Joseph (Yossi), HOWSE, JOHN and Tulchinsky, Elena (2002) Positive semantics of projections in Venn-Euler diagrams Journal of Visual Languages and Computing, 13 (2). pp. 197-227. ISSN 1045-926X

Glanville, Ranulph and Sweeting, Ben (2011) Cybernetics: art, design, mathematics - a meta-disciplinary conversation: papers from the 2010 conference of the American Society for Cybernetics [Edited Collections]

H

HOWSE, JOHN, Molina, Fernando, Shin, Sun-Joo and TAYLOR, JOHN (2002) On diagram tokens and types In: Proceedings of the Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18–20, 2002.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (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), Corvallis, Oregon, USA, 20-24 September, 2009.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (2010) Levels of syntax for Euler diagram logics In: Handbook of the World Congress and Summer School on Universal Logic, Monte Estoril, Lisbon, Portugal, 18-25 April, 2010.

HOWSE, JOHN, STAPLETON, GEM, Taylor, Kerry and CHAPMAN, PETER (2011) Visualizing ontologies: a case study In: Proceedings of the 10th International Semantic Web Conference, Part I, Bonn, Germany, October 23-27, 2011.

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. (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 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, 7-10 July 2008, Santander, Spain.

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. 433-442. ISSN 0377-0427

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

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

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.

Howse, J. and Schuman, S. (2005) Precise visual modelling: a case study Software and Systems Modeling, 4 (3). pp. 310-325. ISSN 1619-1366

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

K

Kitchenham, Barbara, Al-Khilidar, M., Ali Babar, M., Berry, M., COX, KARL, Keung, J., Kurniawati, F., Staples, M., Zhang, J. and Zhu, L. (2008) Evaluating guidelines for reporting empirical software engineering studies Empirical Software Engineering, 13 (1). pp. 97-121. ISSN 1382-3256

L

Lim, Soo Ling, Ishikawa, Fuyuki, Platon, Eric and COX, KARL (2008) Towards agile service-oriented business systems: a directive-oriented pattern analysis approach In: IEEE international conference on services computing, Honolulu, Hawaii, 8-11 July, 2008.

Lim, Soo Ling, Platon, Eric and COX, KARL (2008) Synthesis of actor dependency and business motivation for service requirements In: Proceedings of the 32nd annual IEEE International Computer Software and Applications Conference, Turku, Finland, 28 July - 1 August, 2008.

N

NICHOLSON, JONATHAN (2011) A theory of classes from the theoretical foundations of LePUS 3 In: Proceedings of the 13th International Conference on Formal Engineering Methods, Durham, UK, 25-28 October 2011.

Niazi, Mahmood, COX, KARL and Verner, June (2008) A measurement framework for assessing the maturity of requirements engineering process Software Quality Journal, 16 (2). pp. 213-235. ISSN 0963-9314

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, 25-29 October 2009, Chantilly, VA, USA.

Oliver, Ian, HOWSE, JOHN, STAPLETON, GEM, Nuutila, Esko and Torma, Seppo (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the 5th Australasian Ontology Workshop, Melbourne, Australia, 1 December, 2009.

P

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

R

Rodgers, Peter, Flower, Jean, STAPLETON, GEM and HOWSE, JOHN (2009) Some results for drawing area-proportional Venn3 with convex curves In: Proceedings of the 13th International Conference on Information Visualisation, IV 2009, Barcelona, Spain, 15-17 July, 2009.

S

STAPLETON, GEM, HOWSE, JOHN, Rodgers, Peter and Zhang, Leishi (2008) Generating Euler diagrams from existing layouts In: Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, 15-19 September, 2008.

STAPLETON, GEM and Rodgers, Peter (2011) Drawing Euler diagrams with circles and ellipses In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

STAPLETON, GEM, Rodgers, Peter and HOWSE, JOHN (2011) A general method for drawing area-proportional Euler diagrams Journal of Visual Languages and Computing, 22 (6). pp. 426-442. ISSN 1045-926X

STAPLETON, GEM, TAYLOR, JOHN, Thompson, Simon and HOWSE, JOHN (2009) The expressiveness of spider diagrams augmented with constants Journal of Visual Languages and Computing, 20 (1). pp. 91-98. ISSN 1045-926X

STAPLETON, GEM (2007) Euler diagram reasoning University of Brighton, University of Brighton, Brighton, UK.

STAPLETON, GEM (2007) How to use Edith: the Euler diagram theorem prover University of Brighton, University of Brighton, Brighton, UK.

STAPLETON, GEM (2008) Spider diagrams augmented with constants: a complete system In: Proceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 4-6 September, 2008, Boston, USA, 4-6 September, 2008.

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.

Solís, Carlos and ALI, NOUR (2011) A semantic wiki based on spatial hypertext Journal of Universal Computer Science, 17 (7). pp. 1043-1059. ISSN 0948-695X

Stapleton, G., Delaney, A., Rodgers, P. and Plimmer, B. (2011) Recognising sketches of Euler diagrams augmented with graphs In: Visual Languages and Computing, September 2011, Florence, Italy.

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 21-22 April 2009, Liverpool, UK.

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

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

T

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

V

Veres, Csaba, Sampson, Jennifer, Bleistein, Steven, COX, KARL and Verner, June (2009) Using semantic technologies to enhance a requirements engineering approach for alignment of IT with business strategy In: Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, 2009, 16-19 March 2009, Fukuoka, Japan, 16-19 March, 2009.

Veres, C., Sampson, J., COX, KARL, Bleistein, S. and Verner, J. (2010) An ontology based approach for supporting business IT alignment In: Xhafa, Fatos, Barolli, Leonard and Papajorgji, Petraq J., eds. Complex Intelligent Systems and Their Applications. Springer Optimization and Its Applications (41). Springer, New York, pp. 21-42. ISBN 9781441916365

W

Wang, Mengdi, Plimmer, Beryl, Schmeider, Paul, STAPLETON, GEM, Rodgers, Peter and DELANEY, AIDAN (2011) SketchSet: creating Euler diagrams using pen or mouse In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

Y

Yamamoto, Shuichiro, Ibe, Komon, Verner, June, COX, KARL and Bleistein, Steven (2009) Actor relationship analysis for the i* framework In: Proceedings of the 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy, 6-10 May, 2009.

This list was generated on Fri Oct 31 05:50:18 2014 GMT.