Search concepts
|
Selected filters
|
- 2,000 - 2,050 out of 47,465 results
Search results
-
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Kinder, J., Zuleger, F. & Veith, H., 2009, Proc. 10th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2009). Springer, p. 214-228Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile833 Downloads (Pure) -
An abstract model of service discovery and binding
Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 433-463 31 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile176 Downloads (Pure) -
An abyssal carbonate compensation depth overshoot in the aftermath of the Palaeocene-Eocene Thermal Maximum
Penman, D. E., Turner, S. K., Sexton, P. F., Norris, R. D., Dickson, A. J., Boulila, S., Ridgwell, A., Zeebe, R. E., Zachos, J. C., Cameron, A., Westerhold, T. & Röhl, U., 25 Jul 2016, In: Nature Geoscience. 9, p. 575-580 6 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile107 Downloads (Pure) -
An Access-Control Framework for WS-BPEL
Paci, F., Bertino, E. & Crampton, J., 2008, In: International Journal of Web Services Research. 5, 3, p. 20-43 24 p.Research output: Contribution to journal › Article › peer-review
-
An Access Control Framework for WS-BPEL Processes
Paci, F., Bertino, E. & Crampton, J., 2009, Web Services Research for Emerging Applications: Discoveries and Trends. Zhang, L-J. (ed.). Information Science Reference, p. 492-515 24 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
An Accounting Minefield
McSweeney, B., 1984, In: Financial Times World Accounting Report. DecemberResearch output: Contribution to journal › Article › peer-review
-
'An Account of Denmark: with Francogallia and Some Considerations for the Promoting of Agriculture, by Robert Molesworth': the first modern edition of the major political and economic writings of Sir Robert Molesworth (1650-1725), heavily annotated with a lengthy research-based introduction
Champion, J. (ed.), 2011, Indianapolis: Liberty Fund. 394 p. (The Thomas Hollis Library)Research output: Book/Report › Scholarly edition
-
An Accumulation of Absences: The collector of theatrical ephemera
Smith, E., 2014, (Unpublished).Research output: Contribution to conference › Paper
-
An Accurate Cutter-head Geometry for the CNC Face milling of Hypoid Gears
Wasif, M., Chen, Z. C., Hasan, S. M. & Iqbal, S. A., 2013.Research output: Contribution to conference › Paper › peer-review
-
Anachronism in recent moral philosophy
Whistler, D., 2017, In: Philosophy and Rhetoric. 50, 3, p. 247-271 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile28 Downloads (Pure) -
'Anacreon Redivivus': A Study of Anacreontic Translation in Mid-Sixteenth-Century France
O'Brien, J., 1995, Ann Arbor: Harvester Wheatsheaf and University of Michigan Press.Research output: Book/Report › Book
-
An ACT self-help intervention for adults with a visible difference in appearance: A randomized controlled study,
Powell, L. D., Vasiliou, V. S. & Thompson, A. R., 2023, In: Body Image. 47Research output: Contribution to journal › Article › peer-review
Open Access -
An adaptive multi-agent system for task reallocation in a MapReduce job
Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.Research output: Contribution to journal › Article › peer-review
Open AccessFile36 Downloads (Pure) -
An Adaptive Totally Ordered Multicast Protocol that Tolerates Partitions
Chockler, G., 1997Research output: Thesis › Master's Thesis
-
An Added Dimension of the Mind', review article on Maria Couto, Graham Greene: On the Frontier: Politics and Religion in the Novels; and Daphna Erdinast-Vulcan, Graham Greene's Childless Fathers
Gibson, A., 1989, In: Review of English Studies. 38, p. 273-78Research output: Contribution to journal › Article › peer-review
-
An additional GerE-controlled gene encoding an abundant spore coat protein from Bacillus subtilis
Sacco, M., Ricca, E., Losick, R. & Cutting, S., 1 Jan 1995, (E-pub ahead of print) In: Journal of Bacteriology. 177, 2, p. 372-377 6 p.Research output: Contribution to journal › Article › peer-review
-
An Aesthetics of Past-Present Relations in the Experience of Late 20th- and Early 21st-Century Art Music
Wilson, S., 2013, (Unpublished) 289 p.Research output: Thesis › Doctoral Thesis
File3099 Downloads (Pure) -
An AfroReggae Explosion: Reimagining the Value of Quality, Profit, and the Global Market in the Development of Applied Performance
Spowage, C., 2011, In: Platform Journal of Performing Arts. 5, 2, p. 69 89 p., 5.2.Research output: Contribution to journal › Article › peer-review
-
'An Afterlife in Memory': Commemoration and its Effects in a Late Medieval Parish
Burgess, C., 21 May 2009, The Church, The Afterlife and the Fate of the Soul: Papers read at the 2007 Summer Meeting and the 2008 Winter Meeting of the Ecclesiastical History Society. Clarke, P. & Claydon, T. (eds.). The Boydell Press, p. 196-217 22 p. (Studies in Church History; vol. 45).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
An agenda for creative practice in the new mobilities paradigm
Barry, K., Southern, J., Baxter, T., Blondin, S., Booker, C., Bowstead, J., Butler, C., Dillon, R., Ferguson, N., Filipska, G., Hieslmair, M., Hunt, L., Lanchenko, A., Johnson, P., Keane, J., Koszolko, M. K., Qualmann, C., Rumsby, C., Oliveira, C. S., Schleser, M., & 5 others , 26 Nov 2022, (E-pub ahead of print) In: Mobilities. 18, 3, p. 349-373 25 p.Research output: Contribution to journal › Article › peer-review
Open Access -
An Agent Architecture for Concurrent Bilateral Negotiations
Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
File343 Downloads (Pure) -
An agent development framework based on social positions
Lekeas, G. & Stathis, K., 2004, p. 5461-5466. 6 p.Research output: Contribution to conference › Paper › peer-review
-
An Agent Development Framework based on Social Positions
Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An agile approach to language modelling and development
Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.Research output: Contribution to journal › Article › peer-review
-
An AHP and Fuzzy AHP Multifactor Decision Making Approach for Technology and Supplier Selection in the High-Functionality Textile Industry
Coronado Mondragon, A., Mastrocinque, E., Tsai, J-F. & Hogg, P., 1 Aug 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 4, p. 1112-1125 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile82 Downloads (Pure) -
Anakrisis and the Framing of Strategies of Argumentation in Athenian Public Trials
Kremmydas, C., 1 May 2018, Use and Abuse of Law in the Athenian Courts. Carey, C., Giannadaki, I. & Griffith-Williams, B. (eds.). Leiden: Brill, p. 110-131 22 p. (Mnemosyne, Supplements; vol. 419).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
An Algebra for the Detection and Prediction of Malicious Activity in Concurrent Systems
Mcevoy, R. & Wolthusen, S. D., May 2010, Proceedings of the 2010 Fifth International Conference on Systems (ICONS 2010). IEEE Computer Society Press, p. 125-133Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Algebraic Approach to the Analysis of Constrained Workflow Systems
Crampton, J., 2004, Proceedings of 3rd Workshop on Foundations of Computer Security (FCS'04). p. 61-74 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An algebraic characterisation of complexity for valued constraints
Cohen, D., Cooper, M. & Jeavons, P., 2006, p. 107-121.Research output: Contribution to conference › Paper
-
An Algebraic Characterization of Tractable Constraints
Jeavons, P. G. & Cohen, D. A., 1995, p. 633-642.Research output: Contribution to conference › Paper
-
An Algebraic Framework for Cipher Embeddings
Cid, C., Murphy, S. & Robshaw, M. J. B., 2005, Proceedings of Cryptography and Coding, 10th IMA International Conference, 2005. Smart, N. (ed.). Springer, Vol. 3796. p. 278-289 12 p. (Lecture Notes in Computer Science; vol. 3796).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile95 Downloads (Pure) -
An algebraic semantics of event-based architectures
Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In: Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.Research output: Contribution to journal › Article › peer-review
-
An Algebraic Theory of Complexity for Discrete Optimisation
Cohen, D. A., Cooper, M. C., Creed, P., Jeavons, P. G. & Živný, S., 2013, In: SIAM Journal on Computing. 42, 5, p. 1915-1939 24 p.Research output: Contribution to journal › Article › peer-review
-
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Algorithm for Efficient Geometric Secret Sharing
Martin, K. M. & Jackson, W-A., 1998, In: Utilitas Mathematica. 54, p. 127-150 24 p.Research output: Contribution to journal › Article › peer-review
-
An algorithm for finding connected convex subgraphs of an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., 2007, p. 69-82. 14 p.Research output: Contribution to conference › Paper › peer-review
-
An algorithm for finding input-output constrained convex sets in an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A., May 2012, In: Journal of Discrete Algorithms. 13, p. 47-58 12 p.Research output: Contribution to journal › Article › peer-review
-
An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.Research output: Contribution to journal › Article › peer-review
-
An Algorithm for the SAT Problem for Formulae of Linear Length
Wahlström, M., 2005, ESA. p. 107-118 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Alien Concept? The Continuity of Anti-Alienism in British Society before 1940
Cesarani, D., 1993, The Internment of Aliens in Twentieth Century Britain. Cesarani, D. & Kushner, T. (eds.). London: Frank Cass, p. 25-42Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Análisis preliminar de la ciclicidad en la sección continental FP-1 (Plioceno-Pleistoceno, Cuenca de Guadix, Cordillera Bética)
Pla Pueyo, S., Viseras, C., Soria, J. M., Garcés, M. & Arribas, A., 2008, In: Geogaceta. 44, p. 215-218 4 p.Translated title of the contribution :Preliminar analysis of the cyclicity in the FP-1 continental section (Pliocene-Pleistocene, Guadix Basin, Betic Cordillera) Research output: Contribution to journal › Article › peer-review
-
An Allegory: Flute, Oboe, Clarinet, Bassoon, Percussion (one player) – Marimba & Snare Drum, Violin, Viola, Cello, Double Bass
Bunce, G., Feb 2009Research output: Non-textual form › Composition
-
Analogical Reasoning and Cyber Security
Betz, D. & Stevens, T., Apr 2013, In: Security Dialogue. 44, 2, p. 147-164 18 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile366 Downloads (Pure) -
Analog models of restraining stepovers in strike-slip fault systems
Bonora, M. & McClay, K., Feb 2001, In: AAPG Bulletin. 85, 2, p. 233-260 28 p.Research output: Contribution to journal › Article › peer-review
-
Analogue
Squire, R., Searles-Adey, P. & Jensen, R. B., 2019, Society and SpaceResearch output: Other contribution
Open Access -
Analogue modelling of inverted domino‐style basement fault systems
Jagger, L. & McClay, K., Feb 2018, In: Basin Research. 30, S1, p. 363-381 19 p.Research output: Contribution to journal › Article › peer-review
-
Analogue modelling of pyroclastic density current deposition
Rowley, P., 2010, (Unpublished) University of London. 298 p.Research output: Thesis › Doctoral Thesis
File486 Downloads (Pure) -
Analogue models of delta systems above ductile substrates
Dooley, T., Zamora, G. & McClay, K., 2003, In: Alluvial Fans: Geomorphology, Sedimentology, Dynamics. 216, p. 411-428 18 p.Research output: Contribution to journal › Article › peer-review
-
Analogy and authority in cyberterrorism discourse: An analysis of global news media coverage
Jarvis, L., Macdonald, S. & Whiting, A., 20 Apr 2016, In: Global Society. 30, 4, p. 605-623 18 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Downloads (Pure) -
Analyses of the Salt Wash fluvial system; Quantification of a distributive fluvial system in the Late Jurassic Morrison Formation, SW USA
Owen, A., 12 Jun 2014, (Unpublished) 576 p.Research output: Thesis › Doctoral Thesis
File501 Downloads (Pure)