The University of Birmingham

Lange, C. (Developer), Rowat, C. (Designer), Kerber, M. (Developer), Wenzel, M. (Developer), Caminati, M. (Developer), Mossakowski, T. (Developer) & Windsteiger, W. (Developer), 13 Jan 2013

Research output: Non-textual form › Software

2012

STACK v3.0

Sangwin, C. (Photographer) & Hunt, T. (Developer), 5 Jul 2012

Research output: Non-textual form › Software

2011

AyAlsoPlan - Bitstate Pruning for State-Based Planning on Massively Parallel Compute Clusters: Runner-up in the Seventh International Planning Competition (IPC2011) - deterministic multi-threaded track

Ernits, J.-P., Gretton, C. & Dearden, R., 1 Jun 2011

Research output: Non-textual form › Software

BEASTtools: Harrison DJT(L) et al. a suite of software tools for sound manipulation and transformation, supported by grant from Circles of Influence, available for free download November 2011

Harrison, D., 1 Nov 2011

Research output: Non-textual form › Software

The Privacy Dictionary: Licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License

Vasalou, A., Gill, A., Mazanderani, F., Papoutsi, C. & Joinson, A., 1 Jan 2011

Research output: Non-textual form › Software

2010

Autosub 6000 AUV mission script validator and automatic diagnosis model component generator: Implemented as a plugin to Eclipse IDE

Ernits, J.-P., 1 Jan 2010

Research output: Non-textual form › Software

Continued maintenance of and documentation for the Free Poplog system (includes incremental compilers for Pop-11, Common Lisp, Prolog, ML, along with libraries and documentation). Version 15.6.4 produced August 2010: School of Computer Science, University of Birmingham In collaboration with The University of Sussex Informatics Department and Centre for Research in Cognitive Science

Sloman, A., 1 Jan 2010

Research output: Non-textual form › Software

Dragmath

Sangwin, C. (Photographer) & Billingsley, A. (Developer), 10 Oct 2010

Research output: Non-textual form › Software

Piccard Diagnosis Workbench: A model-based diagnosis system development environment. Current implementation includes support for Livingstone 2. Implemented as a plugin to Eclipse IDE

Ernits, J.-P., 1 Jan 2010

Research output: Non-textual form › Software

2009

BEASTMulchLib: BEASTmulchLib is a SuperCollider class library designed for use in the creation, processing and presentation of complex multichannel signal chains. Objects include sources, matrix routers and mixers, and sound processors and spatialisers. The latter are based on a simple user-extensible plugin architecture. Many classes have elegant GUI representations

Wilson, S., 1 Jan 2009

Research output: Non-textual form › Software

BEASTmulch System: BEASTmulch System is a software tool for the presentation of electroacoustic music over multichannel systems. Designed primarily with a classic 'live diffusion' model in mind, it is nevertheless flexible enough to be adapted for a number of purposes, and can support input and output configurations of arbitrary complexity (i.e. live inputs, soundfiles with varying numbers of channels, etc.)

Wilson, S., 1 Jan 2009

Research output: Non-textual form › Software

Documentation and continued maintenance of the Free Poplog system including incremental compilers for Pop-11, Common Lisp, Prolog, and ML with libraries and documentation: School of Computer Science, University of Birmingham in collaboration with the Informatics Department and Centre for Research in Cognitive Science, University of Sussex

Sloman, A., 1 Jan 2009

Research output: Non-textual form › Software

gNovelty+-version 2.0: Stochastic Local Search for Boolean Satisfiability: Second place in the "Random Instances" category of the 2009 international SAT competition

Pham, D. & Gretton, C., 22 Mar 2009

Research output: Non-textual form › Software

gNovelty+-version 2.0-T: Multi-Threaded Stochastic Local Search for Boolean Satisfiability: Winner of the threaded "Random Instances" category of the 2009 international SAT competition

Pham, D. & Gretton, C., 1 Jan 2009

Research output: Non-textual form › Software

ramsey-upper-limit.lisp: n/a

Rowat, C. & Kerber, M., 1 Apr 2009

Research output: Non-textual form › Software

2006

Quasigroup benchmarks for SMT solvers: The Satisfiability Modulo Theories Library - SMT-LIB

Sorge, V., 1 Jan 2006

Research output: Non-textual form › Software

X1 Suite of FORTRAN codes: for the Hessenberg eigenvalue problem. To be inlcuded in the next release of LAPACK

Mathias, R., Byers, R. & Braman, K., 1 Jan 2006

Research output: Non-textual form › Software

2005

Additions to Free Poplog Web site: Poplog is a large multi-language software development for teaching and research in AI and Cognitive Science. It includes the SimAgent toolkit developed here. Version 15.6 was produced during 2005

Sloman, A., 1 Jan 2005

Research output: Non-textual form › Software

American Society of Micorobiology: Autotransporters E. coli and Salmonella

Henderson, I. & Nataro, J., 1 Jan 2005

Research output: Non-textual form › Software

New quasigroup benchmarks. Online Journal on Satisfiability, Boolean Modeling and Computation. 16 August 2005: Benchmark set for SAT solvers

Sorge, V., 1 Jan 2005

Research output: Non-textual form › Software

2004

Additions to Free Poplog Web site, 2004: Poplog is a large multi-language softwear development for teaching and research in AI and Cognitive Science. It includes the SimAgent toolkit developed here at the University of Birmingham

Sloman, A., 1 Jan 2004

Research output: Non-textual form › Software

Developing Number 2: n/a

Fielder, B., Hewitt, D. & Wigley, A., 1 Oct 2004

Research output: Non-textual form › Software

The University of Birmingham

Research output

Search results