179566 research outputs found
Sort by
Adaptive CHERI Compartmentalization for Heterogeneous Accelerators
No full textThis software provides an automated flow to generate CHERI-enabled heterogenous system with a wrapper named CapChecker.Cheng, J. (2025). Adaptive CHERI Compartmentalization for Heterogeneous Accelerators. Zenodo. https://doi.org/10.5281/zenodo.1510092
desihub/fastspecfit: 3.1.5
No full textFastSpecFit version 3.1.5.Moustakas, Dirk Scholte, Biprateep Dey, Benjamin Alan Weaver, Ashod Khederlarian, & Stephen Bailey. (2025). desihub/fastspecfit: 3.1.5 (3.1.5). Zenodo. https://doi.org/10.5281/zenodo.1509701
FIGURES 55–65 in An integrative taxonomic approach to describe Andricus pseudomultiplicatus sp. nov. and establish new synonymies in Andricus Hartig, 1840 (Hymenoptera: Cynipidae: Cynipini)
No full textFIGURES 55–65. Andricus pseudomultiplicatus sp. nov. sexual female. 55, pronotum (anterodorsal view); 56, mesosoma (ventral view); 57, forewing; 58, hindwing; 59, propleuron (frontal view); 60, metascutellum and propodeum (posterodorsal view); 61, metasoma (lateral view); 62, fore tarsus; 63, mid tarsus; 64, hind tarsus; 65, ventral spine of hypopygium (ventral view). Scale bar: 100 µm.Sottile, S., Nicholls, J. A., Stone, G. N., & Cerasa, G. (2025). FIGURES 55–65 in An integrative taxonomic approach to describe Andricus pseudomultiplicatus sp. nov. and establish new synonymies in Andricus Hartig, 1840 (Hymenoptera: Cynipidae: Cynipini). In Zootaxa (Vol. 5609, Number 4, pp. 451–478). Zenodo. https://doi.org/10.5281/zenodo.1521537
FIGURES 33–41. Andricus multiplicatus Giraud, 1859 in An integrative taxonomic approach to describe Andricus pseudomultiplicatus sp. nov. and establish new synonymies in Andricus Hartig, 1840 (Hymenoptera: Cynipidae: Cynipini)
No full textFIGURES 33–41. Andricus multiplicatus Giraud, 1859 (sexual male, deposited in MSNG and determined by Gustav L. Mayr). 33, habitus; 34–36, head (frontal, ventral and dorsal views); 37, mesopleuron (lateral view); 38, mesosoma and metasoma (dorsal view); 39, proximal antennal segments; 40, details of mesoscutal sculpture (dorsal view); 41, metascutellum and propodeum (posterodorsal view). Scale bar: 200 µm, unless labeled otherwise.Sottile, S., Nicholls, J. A., Stone, G. N., & Cerasa, G. (2025). FIGURES 33–41. Andricus multiplicatus Giraud, 1859 in An integrative taxonomic approach to describe Andricus pseudomultiplicatus sp. nov. and establish new synonymies in Andricus Hartig, 1840 (Hymenoptera: Cynipidae: Cynipini). In Zootaxa (Vol. 5609, Number 4, pp. 451–478). Zenodo. https://doi.org/10.5281/zenodo.1521536
fmi-faim/faim-ipa: faim-ipa-0.13.0
No full textA collection of Image Processing and Analysis (IPA) functions used at the Facility for Advanced Imaging and Microscopy (FAIM)Tim-Oliver Buchholz, Jan Eglinger, Joel Lüthi, Flurin Sturzenegger, Jesko Wagner, & Allyson Quinn Ryan. (2025). fmi-faim/faim-ipa: faim-ipa-0.13.0 (faim-ipa-0.13.0). Zenodo. https://doi.org/10.5281/zenodo.1501809
Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'
No full textThis is the research artifact attached to the research paper 'Efficient Formal Verification for Quantum Error Correcting Programs'. Corresponding to the paper, the artifact consists of two modules: a verified QEC verifier developed in Coq, and a Python-based tool designed to automate the verification for quantum error correcting programs. The source codes and documentation of the verified QEC verifier are located in dirac-project-veriQEC.zip. Due to memory limit issues, we cannot provide a pre-packaged docker image because the excessively large amount of image (estimated size >16 G). We provide a dockerfile for reviewers to build by themselves. Indeed, we recommend that reviewers follow the instructions in the README to locally configure Opam and the Coq dependencies. The materials and documentation of the Python-based tool Veri-qec are located in Veri-qec.zip. We provide a detailed documentation, along with source codes and all evaluation results that support the claims in the paper. In addition we provide a docker container docker-veriqec.tar. Reviewers can choose to either directly load this docker container or build from the Dockerfile we provide in source codes.Huang, Q., Zhou, L., Fang, W., Zhao, M., & Ying, M. (2025). Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'. Zenodo. https://doi.org/10.5281/zenodo.1503921
Global sensitivity analysis for investigation of bacterial physiology in complex media with FBA-PRCC
No full textThis dataset was created by the use of FBA-PRCC approach, which is based on sampling flux space and global sensitivity analysis (GSA), for analysis of the GEM FBA solution space in the nutrient-rich environment. We identify two new modes of interaction between species and metabolites: attraction and avoidance, and propose the way of their use. We have shown that sensitivity coefficients provide additional information about the behavior of the bacteria in the nutrient-rich environment in comparison to standard knockouts, FVA and CoPE-FBA analysis.Sorokin, A., & goryanin, . igor . (2025). Global sensitivity analysis for investigation of bacterial physiology in complex media with FBA-PRCC (1.0) [Data set]. Zenodo. https://doi.org/10.5281/zenodo.1497809
Interannual to Multidecadal variability in Denitrification and Biogenic Silica in the Gulf of California during the late Pleistocene
No full textTitle: Interannual to Multidecadal variability in Denitrification and Biogenic Silica in the Gulf of California during the late Pleistocene. Authors * Pichevin, Laetitia, Email: [email protected], Web: University of Edinburgh * Massimo, Bollasina, Email: [email protected], Web: University of Edinburgh * Alexandra, Nederbragt, Email: [email protected], Web: Cardiff University * Ganeshram, Raja, Email: [email protected], Web: University of Edinburgh Abstract: Nitrogen Isotopic signal (permil) and biogenic silica concentration (weight %) in individually sampled, yearly laminations from Marion Dufresne Calyspo Piston Core MD02-2515 and CASQ core MD02-2517 (Holocene) retrieved from the Guaymas basin, Gulf of Califronia (27°29.01N; 112°04.46W; 881m water depth) in 2002. The data covers 10 annually resolved sections spanning around 200 years each, across the last Glacial-Interglacial cycle (MIS3 to Holocene). The sediment cores were retrieved as part of the IMAGES program during the MONA (North American Margins) cruise on board the Marion Dufresne in 2002. The aim of the data collection was to document interannual to multidecadal variability in denitrification and productivity to understand the natural variability in North-Eastern Pacific deoxygenation and its climatic causes over the late Pleistocene. Methods:The isotopic composition of sedimentary nitrogen (d15N, ‰) was measured by Continuous Flow-Isotope Ratio Mass Spectrometry (CF-IRMS) using a CE instrument NA2500 elemental analyser directly coupled to a VG Isotech Prism mass spectrometer at the University of Edinburgh, School of Geosciences. The determination of the opal content (%) by the molybdate-blue spectrophotometry was adapted from Mortlock and Froelich (1989). References Mortlock, R.A. and P.N. Froelich, A Simple Method for the Rapid-Determination of Biogenic Opal in Pelagic Marine-Sediments. Deep-Sea Research Part a-Oceanographic Research Papers, 1989. 36(9): p. 1415-1426. Pichevin, L.E., Bollasina, M., Nederbragt, A.J. et al. North Atlantic temperature control on deoxygenation in the northern tropical Pacific. Nat Commun 15, 7919 (2024). https://doi.org/10.1038/s41467-024-52197-6 File descriptions: Excel table containing yearly Nitrogen Isotopes (permil) and Biogenic Sillica (weight %) data from 10 annually resolved sections from Calyspo Piston Core MD02-2515 and CASQ core MD02-2517 (Holocene) retrieved from the Guaymas basin, Gulf of Califronia (27°29.01N; 112°04.46W; 881m water depth. Sections III and 2 are of Holocene age (years listed from younger to older), sections 9 and 10 are during the Bolling/Allerod, sections 17 and 26 are from the last glacial period, section 45, 46, 47 and 50 are from Marine Isotopic Stage (MIS) 3.Pichevin, L. (2025). Interannual to Multidecadal variability in Denitrification and Biogenic Silica in the Gulf of California during the late Pleistocene [Data set]. In North Atlantic temperature control on deoxygenation in the northern tropical Pacific. (Vol. 15, p. 7919). Zenodo. https://doi.org/10.5281/zenodo.1481178
Student views of curriculum research
No full text## Access ## This dataset is held in the Edinburgh DataVault, directly accessible only to authorised University of Edinburgh staff. External users may request access to a copy of the data by contacting the Principal Investigator, Contact Person or Data Manager named on this page. Requests for access will not necessarily be granted. University of Edinburgh users who wish to have direct access should consult the information about retrieving data from the DataVault at: https://www.ed.ac.uk/is/research-support/datavaultCurriculum Transformation Project related research into UoE students' views of the term curriculum and their role in the curriculum. 155 respondents in 2021
Managing free-roaming domestic dog populations using surgical sterilisation: a randomised controlled trial
No full textFree-roaming domestic dogs (FRDs) are among the most abundant carnivores on earth and have coexisted with humans for over 15,000 years, yet increases in negative interactions and the transmission of zoonotic diseases, precipitates calls for population management. Despite significant investment in FRD sterilisation in India, where rabies is endemic, there is limited evidence of its impact on reducing FRD population sizes. Therefore, robust evaluation of the effectiveness of fertility control programmes is necessary. To address this, we implemented a Before After Control Intervention (BACI) framework in the first multi-site randomised controlled trial for the sterilisation of FRDs. We conducted single intensive sterilisation campaigns in five areas, achieving female sterilisation coverages of 58–66%. We observed a decrease in puppies and lactating females and a reduction in residents’ reports of barking, a common problem associated with FRDs. There were no significant differences in adult FRD counts between intervention and control sites during the 2-year follow-up. However, unmeasured immigration into and emigration out of study areas may have confounded counts. One-off, albeit intense, sterilisation campaigns in open populations require substantial investment and are unlikely to reduce population size in isolation, though there may be some reduction in problematic behaviours and improved animal welfare
Access Repository Dashboard
Do you manage Edinburgh Research Explorer? Access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard!