Search concepts
|
Selected filters
|
- 150 - 200 out of 164,904 results
Search results
-
Working paper
Computer Science Technical Report CSR-06-6: Data Management in Distributed Simulation of Complex Systems
Chen, D., Ewald, R., Theodoropoulos, G. & Oguara, T., 1 Jan 2006.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Report CSR-06-9: Probabilistic Mobile Ambients
Kwiatkowska, M., Norman, G., Parker, D. & Vigliotti, M., 1 Jan 2006.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports: Faster and Symbolic CTMC Model Checking
Katoen, JP., Kwiatkowska, M., Norman, G. & Parker, D., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Model Checking of Probabilistic Timed and Hybrid Systems (PhD Thesis)
Sproston, J., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Categorical and Kripke Semantics for Constructive S4 Modal Logic
Alechina, N., Mendler, M., De Pavia, V. & Ritter, E., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
Kwiatkowska, M., Norman, G. & Parker, D., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Automated Verification of a Randomized Byzantine Agreement Protocol
Kwiatkowska, M. & Norman, G., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Automatic Verification of a Randomized Distributed Consensus Protocol using Cadence SMV and PRISM
Kwiatkowska, M., Norman, G. & Segala, R., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Symbolic Computation of Maximal Probabilistic Reachability
Kwiatkowska, M., Norman, G. & Sproston, J., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2001: Relating Categorical Semantics for Intuitionistic Linear Logic
Maietti, M., Maneggia, P., Paiva, V. & Ritter, E., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Automatic Vertification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
Daws, C., Kwiatkowska, M. & Norman, G., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Reflective Architectures for Damage Tolerant Autonomous Systems
Kennedy, C. & Sloman, A., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Model Checking CSL Until Formulae with Random Time bounds
Kwiatkowska, M., Norman, G. & Pacheco, A., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: A Symbolic Out-of-Core Solution Method for Markov Models
Kwiatkowska, M., Mehmood, R., Norman, G. & Parker, D., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Measure of Irregularity for Finite Sequences of Real Numbers Using Approximate Entropy
Claridge, E. & Aribisala, BS., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Closed Reflective Networks: a Conceptual Framework for Intrusion-Resistant Autonomous Systems
Kennedy, C. & Sloman, A., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: AVoCS 2002 - Proceedings of the 2nd Workshop on Automated Vertification of Critical Systems 15-16 April, Birmingham United Kingdom
Norman, G., Kwiatkowska, M. & Guelev, D., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
Kwiatkowska, M., Norman, G. & Sproston, J., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Computer Science Technical Reports 2002: Validating a Monte Carlo Model of the Human Eye Fundus using Polynomial Regression
Claridge, E. & Espina, FO., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Conditional Cash Transfers on the Labor Market: Evidence from Young French Jobseekers
John, A., Aeberhardt, R., Chiodi, V., Crepon, B., Gaini, M. & Vicard, A., 1 Aug 2022, (Unpublished).Research output: Working paper/Preprint › Working paper
-
Conformational states control Lck switching between free and confined diffusion modes in T cells
Hilzenrat, G., Pandžić, E., Yang, Z., Nieves, D. J., Goyette, J., Rossy, J. & Gaus, K., 18 Oct 2018, bioRxiv.Research output: Working paper/Preprint › Working paper
Open AccessFile47 Downloads (Pure) -
Constitutional Analysis of the Health (Regulation of Termination of Pregnancy) Act 2018: Identifying Rights Violations and Suggesting Possible Legislative Reforms
Enright, M., 23 Apr 2023.Research output: Working paper/Preprint › Working paper
File55 Downloads (Pure) -
Convergence properties and compactifications
Leek, R., 15 May 2015, arXiv, p. 1, 12 p.Research output: Working paper/Preprint › Working paper
-
Coproduction through Experimentation: Interconnecting mediating instruments and linking climate change with the financial sector
Charnock, R., 2018, (In preparation).Research output: Working paper/Preprint › Working paper
-
Corruption, Religion and Moral Development
Marquette, H., 2010, Religion and Development Research Programme.Research output: Working paper/Preprint › Working paper
Open AccessFile674 Downloads (Pure) -
Corruption and collective action
Marquette, H. & Peiffer, C., 2015, Developmental Leadership Program, University of Birmingham, p. 1, 22 p.Research output: Working paper/Preprint › Working paper
Open AccessFile1123 Downloads (Pure) -
COST 719 WG3 Working Paper: The Use of GIS and icemiser to predict Winter Road Surface Temperatures in Poland
[No Value], N. V., Chapman, L. & Thornes, J., 1 Jan 2003.Research output: Working paper/Preprint › Working paper
-
CoSy Discussion Paper COSY-DP-0601: Orthogonal Recombinable Competences Acquired by Altricial Species
Sloman, A. & Chappell, J., 1 Jan 2006.Research output: Working paper/Preprint › Working paper
-
Counter-Extremism, PREVENT and the Extreme Right Wing: Lessons Learned and Future Challenges
Ögtem-Young, Ö. & Allen, C., 2019, Leicester: University of Leicester, p. 1, 8 p.Research output: Working paper/Preprint › Working paper
-
Creative differences? Measuring creative economy employment in the US and UK using microdata
Kemeny, T., Nathan, M. & O'Brien, D., 1 Aug 2018, Bonn: IZA – Institute of Labor Economics, 54 p. (IZA Discussion Paper Series; no. 11740).Research output: Working paper/Preprint › Working paper
-
CREES Research Papers in Russian and East European Studies, REES 03/01: Reformists Dis-United: the Dual Paths of Russian Liberalism
White, D., 1 Jun 2003.Research output: Working paper/Preprint › Working paper
-
CRIC Discussion Paper Series No 49: Do services matter for African economic development: An empirical exploration
Tomlinson, M. & Ndhlovu, T., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
CRIC Discussion Paper Series No 50: Measuring competence and knowledge using employee surveys: evidence using the British Skills Survey of 1997
Tomlinson, M., 1 Jan 2002.Research output: Working paper/Preprint › Working paper
-
Crime Reduction Research Series Paper 9: An Exploratory Evaluation of Restorative Justice Schemes
Doolin, K., Miers, D., Maguire, M., Goldie, S., Sharpe, K., Hale, C. & Netten, A., 2001, London: Home Office Publications, p. 1-194 + i-xiv, (Crime Reduction Research Series Paper 9 ).Research output: Working paper/Preprint › Working paper
-
CSESCE Working Papers, No 84: The Sustainability of Russia’s Energy Power: Implications for the Russian Economy
Hanson, P., 1 Dec 2007.Research output: Working paper/Preprint › Working paper
-
CSR-04-10: Single Parameter Recovery from Modelled Spectra: A comparision of spectral filter optimisation with standard multivariate approaches
Claridge, E. & O'Dwyer, M., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-11: A CSP Translation of Balsa Handshake Components
Wang, X., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-2: Symmetric M-tree
Sexton, A. & Swinbank, R., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-3: A Semantics for Reductive Logic and Proof-search
Pym, D. & Ritter, E., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-4: Analysing Timed properties of AODV with UPPAAL
Chiyangwa, S. & Kwiatkowska, M., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-7: Graph Representations for Program Evolution: an Overview
Montes, H. & Wyatt, J., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-8: Physics-Based Approach to Geometry-Insensitive Recovery of Quantitative Science Parameters from Images
Preece, SJ. & Claridge, E., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSR-04-9: Quantum Searching via Entanglement and Partial Diffusionn
Younes, A., Rowe, J. & Miller, J., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSRP-01-8: Learning methods outlines in proof planning
Jamnik, M., Kerber, M. & Benzmuller, C., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
CSRP-04-1: Metaphorical Reasoning with an Economical Set of Mappings
Wallington, A., Barnden, J., Glasbey, S. & Lee, M., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSRP-04-2: Open-Ended Metaphorical Reasoning, HCI and the ATT-Meta Approach
Barnden, J., Glasbey, S., Lee, M. & Wallington, A., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CSRP-04-3: Temporal Metaphors in Discourse
Glasbey, S., Barnden, J., Lee, M. & Wallington, A., 1 Jan 2004.Research output: Working paper/Preprint › Working paper
-
CURS Departmental Working Paper: The Development of the Privately Rented Sector in Birmingham over the Last Decade
Groves, R., 1 Jan 2001.Research output: Working paper/Preprint › Working paper
-
Damned if you do, damned if you don ’t: The challenges of including and comparing the children of immigran ts in European survey data
Lessard-Phillips, L., Galandini, S., de Valk, H. & Fibbi, R., 2015, NIDI, (Working Paper).Research output: Working paper/Preprint › Working paper
-
Data Collection Procedure Equivalence in International Business Research.
Chidlow, A., 1 Mar 2010.Research output: Working paper/Preprint › Working paper