Kollektive Identitaeten in Ostmitteleuropa : Polen, Tschechien und Ungarn und die Integration der Europaeischen Union.

Krossa, A. S., 2005, Berlin: Wissenschaftlicher Verlag Berlin.

Research output: Working paper › Other

Nature: Who Knows?

Ellis, R., Grove-White, R., Vogel, J. & Waterton, C., 2005, Peterboroug, UK.

Research output: Working paper › Other

Gramsci as a theorist of social and economic development.

Jessop, R. D., 2005, DEMOLOGOS, 21 p.

Research output: Working paper › Other

The periodisation of capitalist economic and social development.

Jessop, R. D., 2005, DEMOLOGOS.

Research output: Working paper › Other

The regulation approach on economic and social development.

Jessop, R. D., 2005, DEMOLOGOS.

Research output: Working paper › Other

Europe’s ‘Others’ Young People, Islam and European Identity.

Condor, S., 2004, 4 p.

Research output: Working paper › Other

Probing Technology with Technology Probes

Fitton, D., Cheverst, K., Rouncefield, M. & Dix, A., 2004, -.

Research output: Working paper › Other

QCA Geometry Report.

Faux, G. & Chetwynd, A. G., 2003.

Research output: Working paper › Other

Un Dialogo entre Saberes: lecciones aprendidas de investigación participativa con pueblos indígenas(Translated Title: A dialogue between indigenous and academic knowledge: Lesson learning from participatory research with indigenous peoples)

Ellis, R., 06/2002, La Paz, Bolivia: Department for international development (DFID).

Research output: Working paper › Other

Pathologies of network societies.

Dillon, M., 2001, DERA Report, 83 p.

Research output: Working paper › Other

Globalisation and the future of the nation state

Jessop, R. D., 2001.

Research output: Working paper › Other

Women and Disability. (Women's Studies Network (UK) Association Newsletter, 36)

Thomas, C., 08/2000, Women's Studies Network (UK) Association, 7 p.

Research output: Working paper › Other

Combating environmental degradation around a national park : a human fence in Mozambique.

Convery, I. T., Howell, D., Schwarz, A., Zohlo, R. & Zucula, P., 2000, Newcastle Upon Tyne: University of Northumbria.

Research output: Working paper › Other

Violence against social care workers supporting people with learning difficulties : a review.

Emerson, E. & Hatton, C., 2000, Lancaster: University of Lancaster.

Research output: Working paper › Other

The role of faith communities in alleviating poverty : an historical perspective.

Mullett, M. A. A., 2000.

Research output: Working paper › Other

Current law statutes annotated.

Rowe, P., 2000, London: Armed Force discipline Act, 2000, 9 p.

Research output: Working paper › Other

Memorandum of Foreign affairs committee, appendix 28 (1-9).

Rowe, P., 2000, London: House of Commons, Foreign Affairs Committee, Fourth Report Kosovo.

Research output: Working paper › Other

An ethnographic study of the organisation and management of intake and duty work.

Regan, S., 1999, London Borough of Tower Hamlets.

Research output: Working paper › Other

Bigger is better: using the British National Corpus for undergraduate term papers

Tottie, G., Hoffmann, S. & Lehmann, H. M., 1999, (Unpublished).

Research output: Working paper › Other

Una Etnografía del Pueblo Tsimane.

Ellis, R. & Araoz, G., 1998, La Paz, Bolivia.

Research output: Working paper › Other

Development of Questionnaires for Teachers to Assess ICT Skills.

Passey, D., 1998, London: BT.

Research output: Working paper › Other

Technologies de l'information et de la communication: besoins curriculaires et changement institutional.

Passey, D., 1998, Paris: Recherche et Formation, INRP.

Research output: Working paper › Other

The School of the Future - 2000 and Beyond: A School Odyssey.

Passey, D., 1998, Swindon: British Computer Society.

Research output: Working paper › Other

Specification for a quality management framework at departmental level.

Burge, S. E., Tannock, J. D. T. & Jackson, N., 1996, Engineering Professors Council.

Research output: Working paper › Other

Early days : the effects of incorporation on adult basic education in England and Wales.

Hamilton, M., 1994, Lancaster: Lancaster University Centre for the Study of Education & Training.

Research output: Working paper › Other

Weakly Supervised Co-training with Swapping Assignments for Semantic Segmentation

Yang, X., Rahmani, H., Black, S. & Williams, B. M., 27/02/2024, Arxiv.

Research output: Working paper › Preprint

Fishing for complements

Angeleri Hugel, L., Pauksztello, D. & Vitoria, J., 22/02/2024, (Unpublished).

Research output: Working paper › Preprint

Rational inattention: A new theory of neurodivergent information seeking

Jones, S. D., Jones, M., Koldewyn, K. & Westermann, G., 21/02/2024, (Accepted/In press).

Research output: Working paper › Preprint

CodeAgent: Collaborative Agents for Software Engineering

Tang, D., Chen, Z., Kim, K., Song, Y., Tian, H., Ezzini, S., Huang, Y., Klein, J. & Bissyande, T. F., 15/02/2024, Arxiv.

Research output: Working paper › Preprint

Donaldson-Thomas invariants for the Bridgeland-Smith correspondence

Williams, N., 18/01/2024, (Unpublished).

Research output: Working paper › Preprint

Simple tilts of length hearts and simple-minded mutation

Broomhead, N., Coelho Guardado Simoes, R., Pauksztello, D. & Woolf, J., 01/2024, (Unpublished).

Research output: Working paper › Preprint

Just-in-Time Security Patch Detection -- LLM At the Rescue for Data Augmentation

Tang, X., Chen, Z., Kim, K., Tian, H., Ezzini, S. & Klein, J., 1/12/2023.

Research output: Working paper › Preprint

First operation of an ALICE OROC operated in high pressure Ar-CO$_{2}$ and Ar-CH$_{4}$

Ritchie-Yates, A., Deisting, A., Barker, G., Boyd, S., Brailsford, D., Chen-Wishart, Z., Cremonesi, L., Dunne, P., Eeles, J., Hamilton, P., Kaboth, A. C., Khan, N., Klustová, A., Monroe, J., Nowak, J., Singh, P., Waldron, A. V., Walding, J., Warsame, L., Wascko, M. O., & 1 othersXiotidis, I., 29/11/2023, (Accepted/In press).

Research output: Working paper › Preprint

Towards interpretable-by-design deep learning algorithms

Angelov, P., Kangin, D. & Zhang, Z., 19/11/2023, Arxiv.

Research output: Working paper › Preprint

AfriMTE and AfriCOMET: Empowering COMET to Embrace Under-resourced African Languages

Wang, J., Adelani, D. I., Agrawal, S., Rei, R., Briakou, E., Carpuat, M., Masiak, M., He, X., Bourhim, S., Bukula, A., Mohamed, M., Olatoye, T., Mokayede, H., Mwase, C., Kimotho, W., Yuehgoh, F., Aremu, A., Ojo, J., Muhammad, S. H., Osei, S., & 37 othersOmotayo, A-H., Chukwuneke, C., Ogayo, P., Hourrane, O., Anigri, S. E., Ndolela, L., Mangwana, T., Mohamed, S. A., Hassan, A., Awoyomi, O. O., Alkhaled, L., Al-Azzawi, S., Etori, N. A., Ochieng, M., Siro, C., Njoroge, S., Muchiri, E., Kimotho, W., Momo, L. N. W., Abolade, D., Ajao, S., Adewumi, T., Shode, I., Macharm, R., Iro, R. N., Abdullahi, S. S., Moore, S. E., Opoku, B., Akinjobi, Z., Afolabi, A., Obiefuna, N., Ogbu, O. R., Brian, S., Otiende, V. A., Mbonu, C. E., Sari, S. T. & Stenetorp, P., 16/11/2023, Arxiv.

Research output: Working paper › Preprint

Online Multivariate Changepoint Detection: Leveraging Links With Computational Geometry

Pishchagina, L., Romano, G., Fearnhead, P., Runge, V. & Rigaill, G., 2/11/2023, Arxiv.

Research output: Working paper › Preprint

Patch-CLIP: A Patch-Text Pre-Trained Model

Tang, X., Chen, Z., Ezzini, S., Tian, H., Klein, J. & Bissyande, T. F., 19/10/2023.

Research output: Working paper › Preprint

Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

Calvert, K., Nishiyama, K. & Pandžić, P., 7/10/2023.

Research output: Working paper › Preprint

The heart fan of an abelian category

Broomhead, N., Pauksztello, D., Ploog, D. & Woolf, J., 4/10/2023, (Unpublished).

Research output: Working paper › Preprint

Steenrod operations via higher Bruhat orders

Laplante-Anfossi, G. & Williams, N. J., 28/09/2023.

Research output: Working paper › Preprint

The LOFAR Two-Metre Sky Survey (LoTSS): VI. Optical identifications for the second data release

Hardcastle, M. J., Horton, M. A., Williams, W. L., Duncan, K. J., Alegre, L., Barkus, B., Croston, J. H., Dickinson, H., Osinga, E., Röttgering, H. J. A., Sabater, J., Shimwell, T. W., Best, P. N., Botteon, A., Brüggen, M., Drabent, A., Gasperin, F. D., Gürkan, G., Hajduk, M., Hale, C. L., & 27 othersHoeft, M., Jamrozy, M., Kunert-Bajraszewska, M., Kondapally, R., Magliocchetti, M., Mahatma, V. H., Mostert, R. I. J., Pajdosz-Śmierciak, U., Petley, J., Pierce, J. C. S., Prandoni, I., Schwarz, D. J., Shulewski, A., Siewert, T. M., Stott, J. P., Tang, H., Vaccari, M., Desbled, S., Goyal, A., Gonano, V., Hanset, M., Kurtz, W., Mielle, L., Molloy, C. S., Roth, R., Terentev, I. A. & Torres, M., 30/08/2023, (Accepted/In press) Arxiv.

Research output: Working paper › Preprint

Measurement of the Positive Muon Anomalous Magnetic Moment to 0.20 ppm

Muon g-2, 11/08/2023.

Research output: Working paper › Preprint

Moment tracking and their coordinate transformations for macroparticles with an application to plasmas around black holes

Warwick, A. & Gratus, J., 2/08/2023, Arxiv.

Research output: Working paper › Preprint

Hyperbolic Code Retrieval: A Novel Approach for Efficient Code Search Using Hyperbolic Space Embeddings

Tang, X., Chen, Z., Ezzini, S., Tian, H., Song, Y., Klein, J. & Bissyande, T. F., 1/08/2023.

Research output: Working paper › Preprint

Learning to Represent Patches

Tang, X., Tian, H., Chen, Z., Pian, W., Ezzini, S., Kader Kabore, A., Habib, A., Klein, J. & Bissyande, T. F., 1/08/2023.

Research output: Working paper › Preprint

Multilevel Semantic Embedding of Software Patches: A Fine-to-Coarse Grained Approach Towards Security Patch Detection

Tang, X., Chen, Z., Ezzini, S., Tian, H., Song, Y., Klein, J. & Bissyande, T. F., 1/08/2023.

Research output: Working paper › Preprint

Assessing Energy and Climate Effects of Digitalization: Methodological Challenges and Key Recommendations

Bremer, C., Kamiya, G., Bergmark, P., Coroamă, V. C., Masanet, E. & Lifset, R., 10/07/2023.

Research output: Working paper › Preprint

CoinEM: Tuning-Free Particle-Based Variational Inference for Latent Variable Models

Sharrock, L., Dodd, D. & Nemeth, C., 24/05/2023.

Research output: Working paper › Preprint

Learning Rate Free Bayesian Inference in Constrained Domains

Sharrock, L., Mackey, L. & Nemeth, C., 24/05/2023.

Research output: Working paper › Preprint

AfriQA: Cross-lingual Open-Retrieval Question Answering for African Languages

Ogundepo, O., Gwadabe, T. R., Rivera, C. E., Clark, J. H., Ruder, S., Adelani, D. I., Ezeani, I., Chukwuneke, C., Dossou, B. F. P., Abdou, A. DIOP., Sikasote, C., Hacheme, G., Buzaaba, H., Mabuya, R., Osei, S., Emezue, C., Kahira, A. N., Muhammad, S. H., Oladipo, A., Owodunni, A. T., & 32 othersTonja, A. L., Shode, I., Asai, A., Ajayi, T. O., Siro, C., Arthur, S., Adeyemi, M., Ahia, O., Anuoluwapo, A., Awosan, O., Opoku, B., Ayodele, A., Otiende, V., Mwase, C., Sinkala, B., Rubungo, A. N., Ajisafe, D. A., Onwuegbuzia, E. F., Mbow, H., Niyomutabazi, E., Mukonde, E., Lawan, F. I., Ahmad, I. S., Alabi, J. O., Namukombo, M., Chinedu, M., Phiri, M., Putini, N., Mngoma, N., Amuok, P. A., Iro, R. N. & Adhiambo, S., 11/05/2023, Arxiv.

Research output: Working paper › Preprint

MasakhaNEWS: News Topic Classification for African languages

Adelani, D. I., Chukwuneke, C. I., Masiak, M., Azime, I. A., Alabi, J. O., Tonja, A. L., Mwase, C., Ogundepo, O., Dossou, B. F. P., Oladipo, A., Nixdorf, D., Emezue, C. C., al-azzawi, S. S., Sibanda, B. K., David, D., Ndolela, L., Mukiibi, J., Ajayi, T. O., Ngoli, T. M., Odhiambo, B., & 42 othersMbonu, C. E., Owodunni, A. T., Obiefuna, N. C., Muhammad, S. H., Abdullahi, S. S., Yigezu, M. G., Gwadabe, T., Abdulmumin, I., Bame, M. T., Awoyomi, O. O., Shode, I., Adelani, T. A., Kailani, H. A., Omotayo, A-H., Adeeko, A., Abeeb, A., Aremu, A., Samuel, O., Siro, C., Kimotho, W., Ogbu, O. R., Fanijo, S., Ojo, J., Awosan, O. F., Guge, T. K., Sari, S. T., Nyatsine, P., Sidume, F., Yousuf, O., Oduwole, M., Kimanuka, U., Tshinu, K. P., Diko, T., Nxakama, S., Johar, A. T., Gebre, S., Mohamed, M., Mohamed, S. A., Hassan, F. M., Mehamed, M. A., Ngabire, E. & Stenetorp, P., 19/04/2023.

Research output: Working paper › Preprint

Model Checking Access Control Policies: A Case Study using Google Cloud IAM

Gouglidis, A., Kagia, A. & Hu, V. C., 29/03/2023, Arxiv.

Research output: Working paper › Preprint

The African Stopwords project: curating stopwords for African languages

Emezue, C., Nigatu, H., Chukwuneke, C., Thinwa, C., Zhou, H., Muhammad, S., Louis, L., Abdulmumin, I., Oyerinde, S., Ajibade, B., Samuel, O., Joshua, O., Onwuegbuzia, E., Emezue, H., Ige, I. A., Tonja, A. L., Dossou, B. F. P., Etori, N. A., Emmanuel, M. C., Yousuf, O., & 2 othersAina, K. & David, D., 21/03/2023, Arxiv.

Research output: Working paper › Preprint

Automatic Locally Stationary Time Series Forecasting with application to predicting U.K. Gross Value Added Time Series under sudden shocks caused by the COVID pandemic

Killick, R., Knight, M. I., Nason, G. P., Nunes, M. A. & Eckley, I. A., 14/03/2023.

Research output: Working paper › Preprint

Topological transitions with continuously monitored free fermions

Kells, G., Meidan, D. & Romito, A., 13/03/2023, SciPost Foundation.

Research output: Working paper › Preprint

A survey of congruences and quotients of partially ordered sets

Williams, N. J., 7/03/2023.

Research output: Working paper › Preprint

A geometric perspective on the $τ$-cluster morphism category

Schroll, S., Tattar, A., Treffinger, H. & Williams, N. J., 23/02/2023.

Research output: Working paper › Preprint

Preferential Subsampling for Stochastic Gradient Langevin Dynamics

Putcha, S., Nemeth, C. & Fearnhead, P., 23/02/2023, (Accepted/In press) Proceedings of Machine Learning Research, (Artificial Intelligence and Statistics; vol. 206).

Research output: Working paper › Preprint

A closer look at high-energy X-ray-induced bubble formation during soft tissue imaging

Xian, R. P., Brunet, J., Huang, Y., Wagner, W. L., Lee, P. D., Tafforeau, P. & Walsh, C. L., 14/02/2023, (Unpublished) bioRxiv.

Research output: Working paper › Preprint

A structural view of maximal green sequences

Gorsky, M. & Williams, N. J., 20/01/2023.

Research output: Working paper › Preprint

ICARUS at the Fermilab Short-Baseline Neutrino Program -- Initial Operation

ICARUS Collaboration, 20/01/2023.

Research output: Working paper › Preprint

Improving Power by Conditioning on Less in Post-selection Inference for Changepoints

Carrington, R. & Fearnhead, P., 13/01/2023, Arxiv.

Research output: Working paper › Preprint

Designing an Optimal LSST Deep Drilling Program for Cosmology with Type Ia Supernovae

The LSST Dark Energy Science Collaboration, 11/01/2023.

Research output: Working paper › Preprint

The Entoptic Field Camera as Metaphor-Driven Research-through-Design with AI Technologies

Benjamin, J., Biggs, H., Berger, A., Rukanskaitė, J., Heidt, M., Merrill, N., Pierce, J. & Lindley, J., 2023, (Accepted/In press).

Research output: Working paper › Preprint

Two families of Dirac-like operators for Drinfeld's Hecke algebra

Calvert, K., 23/12/2022.

Research output: Working paper › Preprint

The tensorial representation of the distributional stress-energy quadrupole and its dynamics

Gratus, J. & Talaganis, S., 7/11/2022, Arxiv.

Research output: Working paper › Preprint

DUNE Offline Computing Conceptual Design Report

DUNE Collaboration, Blake, A., Brailsford, D., Cross, R., Mouster, G., Nowak, J. & Ratoff, P., 28/10/2022.

Research output: Working paper › Preprint

Detecting A Single Change-point

Fearnhead, P. & Fryzlewicz, P., 13/10/2022, Arxiv.

Research output: Working paper › Preprint

LancasterAQ: A High Resolution Street Level Dataset of Ultrafine Particles

Amos, M., Booker, D., Duncan, R., Gouldsbrough, L., Pinder, T., Young, P. & Carter, J., 3/10/2022, EarthArXiv.

Research output: Working paper › Preprint

Pragmatism or Politicism: Local Officials’ Decision Making in Social Policy Experimentation

Wang, Y., 16/09/2022, SSRN Working Paper.

Research output: Working paper › Preprint

Differential cross section measurement of charged current $ν_{e}$ interactions without final-state pions in MicroBooNE

MicroBooNE Collaboration, Blake, A., Devitt, A., Nowak, J., Patel, N. & Thorpe, C., 9/09/2022, Arxiv.

Research output: Working paper › Preprint

The relationship between smartphone use and smartphone addiction: an examination of logged and self-reported behaviour in a pre-registered, two-wave sample

James, R., Jackson, H. & Hitcham, L., 29/08/2022, PsyArXiv, 44 p.

Research output: Working paper › Preprint

Triangulations of prisms and preprojective algebras of type $A$

Iyama, O. & Williams, N. J., 27/08/2022.

Research output: Working paper › Preprint

Personalising knowledge assessments to remove compensation and thereby improve preparation for safe practice - developing content adaptive progress testing

Burr, S. A., Kisielewska, J., Zahra, D., Hodgins, I., Robinson, I., Millin, P., Gale, T., Santos, N. & Pêgo, J. M. G. M., 23/08/2022, (Unpublished) ResearchSquare.

Research output: Working paper › Preprint

SwISS: A Scalable Markov chain Monte Carlo Divide-and-Conquer Strategy

Vyner, C., Nemeth, C. & Sherlock, C., 8/08/2022.

Research output: Working paper › Preprint

The centre of the Dunkl total angular momentum algebra

Calvert, K., Martino, M. D. & Oste, R., 22/07/2022, Arxiv.

Research output: Working paper › Preprint

Modelling Populations of Interaction Networks via Distance Metrics

Bolt, G., Lunagómez, S. & Nemeth, C., 20/06/2022.

Research output: Working paper › Preprint

Red blood cell dynamics in extravascular biological tissues modelled as canonical disordered porous media

Zhou, Q., Schirrmann, K., Doman, E., Chen, Q., Singh, N., Selvaganapathy, P. R., Bernabeu, M. O., Jensen, O. E., Juel, A., Chernyavsky, I. L. & Krüger, T., 19/06/2022, bioRxiv.

Research output: Working paper › Preprint

Distances for Comparing Multisets and Sequences

Bolt, G., Lunagómez, S. & Nemeth, C., 17/06/2022, Arxiv.

Research output: Working paper › Preprint

Euclid preparation: XX. The Complete Calibration of the Color-Redshift Relation survey: LBT observations and data release

Euclid Collaboration, 3/06/2022, (Accepted/In press).

Research output: Working paper › Preprint

A stochastic game framework for patrolling a border

Darlington, M., Glazebrook, K. D., Leslie, D. S., Shone, R. & Szechtman, R., 20/05/2022, Arxiv.

Research output: Working paper › Preprint

Topology-dependence of propagation mechanisms in the production network

Molnár, E. & Csala, D., 18/05/2022, Arxiv.

Research output: Working paper › Preprint

Speaker knowledgeability and informativity inferences

Rees, A., Reksnes, V. R. S. & Rohde, H., 12/04/2022.

Research output: Working paper › Preprint

The International Linear Collider: Report to Snowmass 2021

International Linear Collider Global Design Effort, 15/03/2022, Arxiv.

Research output: Working paper › Preprint

Multivariate sensitivity analysis for a large-scale climate impact and adaptation model

Oyebamiji, O., Nemeth, C., Harrison, P., Dunford, R. & Cojocaru, G., 24/01/2022, Arxiv.

Research output: Working paper › Preprint

Electrophysiological evidence for a Whorfian double dissociation of categorical perception across two languages

Casaponsa, A., García-Guerrero, M. A., Martinez, A., Ojeda, N., Thierry, G. & Athanasopoulos, P., 2022.

Research output: Working paper › Preprint

A Personalized Smartphone-Delivered Just-in-time Adaptive Intervention (JitaBug) to Increase Physical Activity in Older Adults: Mixed Methods Feasibility Study (Preprint)

Mair, J. L., Hayes, L. D., Campbell, A. K., Buchan, D. S., Easton, C. & Sculthorpe, N., 3/11/2021, JMIR PUBLICATIONS, INC.

Research output: Working paper › Preprint

Apple Tasting Revisited: Bayesian Approaches to Partially Monitored Online Binary Classification

Grant, J. A. & Leslie, D. S., 29/09/2021, Arxiv.

Research output: Working paper › Preprint

Gaussian Processes on Hypergraphs

Pinder, T., Turnbull, K., Nemeth, C. & Leslie, D., 3/06/2021.

Research output: Working paper › Preprint

The two higher Stasheff-Tamari orders are equal

Williams, N. J., 2/06/2021, EMS Press.

Research output: Working paper › Preprint

Efficient and Generalizable Tuning Strategies for Stochastic Gradient MCMC

Coullon, J., South, L. & Nemeth, C., 27/05/2021, Arxiv.

Research output: Working paper › Preprint

Robust Bayesian Nonparametric Variable Selection for Linear Regression

Cabezas, A., Battiston, M. & Nemeth, C., 23/05/2021.

Research output: Working paper › Preprint

The Power of Wearables: Is it Time to Use Commercially Available Activity Tracker Data Retrospectively to Understand Population Physical Activity Patterns?

Mair, J., Campbell, A., Hayes, L. & Sculthorpe, N., 26/01/2021, SSRN Working Paper, 9 p.

Research output: Working paper › Preprint

The first higher Stasheff-Tamari orders are quotients of the higher Bruhat orders

Williams, N. J., 18/12/2020.

Research output: Working paper › Preprint

The Effects of an 8-weeks in-season Loaded Plyometric Exercise by Elastic Band Training Program on the Peak Power, Strength, and Throwing Velocity of Junior Male Handball Players

Aloui, G., Hermassi, S., Bragazzi, NL., Hammami, M., Cherni, Y., Gaamouri, N., Shephard, RJ., Hayes, LD. & Chelly, MS., 5/10/2020, Preprints.

Research output: Working paper › Preprint

New interpretations of the higher Stasheff--Tamari orders

Williams, N. J., 24/07/2020.

Research output: Working paper › Preprint

The combinatorics of tensor products of higher Auslander algebras of type $A$

McMahon, J. & Williams, N. J., 18/01/2020.

Research output: Working paper › Preprint

Proving soundness of combinatorial Vickrey auctions and generating verified executable code

Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

Research output: Working paper › Preprint

Yet another proof of Goedel's completeness theorem for first-order classical logic

Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

Research output: Working paper › Preprint

An upper bound on the number of zeros of a piecewise polinomial function

Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

Research output: Working paper › Preprint