10,105 Works

Zep Tepi Mathematics 101 - How Giza was probably designed

Ian Douglas
A mathematics course from the Zep Tepi era, where we plan and analyse a large building site, showing how the design mirrors the stars. A simple and elegant explanation of how Giza, with six main pyramids, was laid out, using √2, √3, √5, π and φ. The design incorporates the necessary elements for squaring the circle, area-wise. The design matches the heavens around 55.5k BCE. This could force a rethink of at least the history...

Cruise No. EMB 242, 14 July - 28 July 2020, Rostock - Rostock (Germany)

Joachim Kuss & Kathrin Fisch

The Swissuniversities EnhanceR Project

Sigve Haug
The EnhanceR project was conducted from 2017 - 2019 by a consortium of eight partners. The consortium consisted of the research IT units from the EPFL, ETHZ, University of Basel, Swiss Institute of Bioinformatics, Friedrich Miescher Institute, HES-SO, University of Bern and the University of Zurich. The project met most of its objectives, superseded expectations in several areas and was closed successfully. 93% of the total budget of 2.4 MCHF was exhausted. Remaining federal funds...

Recommendations towards cooperation between Australian and European research infrastructures

Meeri Kim
International cooperation in science and technology is an important part of addressing major global issues like climate change, infectious disease, food security and natural disasters. Research infrastructures (RIs) are organizations that enable scientists to use specific facilities, resources and services in order to accelerate scientific achievements, break boundaries and promote sustainable research. Fostering RI partnerships across borders has the potential to improve the efficiency and quality of research to tackle the many challenges faced by...

Collaborative Use Cases between SSH Open Marketplace and the Language Resource Switchboard and Virtual Collection Registry

Stefan Buddenbohm, Daan Broeder, Marthe Irene Eisner, Klaus Illmayer & Matej Durco
The CLARIN Language Resource Switchboard (LRS or Switchboard) serves as an established and valuable asset to provide the user with tools and services for their research data. Apart from looking at an already existing set of research data, moreover, many users would like to search for tools and services from the angle of the research method, a certain technology, interoperability or even just a research question, which calls for the SSH Open Marketplace (MP). The...

Evolution Education Questionnaire on Acceptance and Knowledge (EEQ) - Standardised and ready-to-use protocols to measure acceptance of evolution and knowledge about evolution in an international context

Anna Beniermann, Paul Kuschmierz, Rianne Pinxten, Tuomas Aivelo, Gustav Bohlin, Julia Solveig Brennecke, Umran Betul Cebesoy, Dragana Cvetković, Mirko Đorđević, Radka Marta Dvořáková, Momir Futo, Geamana Nicoleta, Konstantinos Korfiatis, Adam Lendvai, Athanasios Mogias, Silvia Paolucci, Maria Petersson, Barbara Pietrzak, Juris Porozovs, Giulia Realdon, Uroš Savković, Mircea Sofonea, Andrej Šorgo, Alexandru N. Stermin, Gregor Torkar … & Dittmar Graf
The lack of standardised assessment of evolutionary knowledge and acceptance of evolution across Europe makes comparisons between studies difficult. The Evolution Education Questionnaire on Acceptance and Knowledge (EEQ) was constructed to measure attitudes and understanding across Europe and beyond. We aimed to compile a brief instrument to allow for easy application in school and university. The target group of the EEQ was freshman university students who had just finished their secondary education. However, several components...

Aprendizagens perdidas devido à pandemia: Uma proposta de recuperação

B. P. Carvalho, P. Freitas, M. Herdade, S. Peralta & A. B. Reis
A evidência científica mostra perdas significativas de aprendizagens, particularmente nos alunos mais jovens e de famílias mais desfavorecidas durante os períodos de ensino a distância devidos à pandemia covid-19. Vários países propuseram, ou começaram já a implementar, medidas extraordinárias para mitigar estes efeitos, incluindo programas de tutorias, escolas de verão, prolongamento de horários letivos e fornecimento de recursos informáticos. Este documento propõe duas medidas imediatas, efetivas e temporárias, já testadas em outros sistemas de ensino...

Rapport d'étape de Portage avril 2016

Le rapport qui suit résume ce qui a été accompli dans le cadre de Portage depuis son adoption le printemps dernier. Un document distinct décrit les scénarios des orientations futures qui seront présentés au comité directeur de Portage et aux administrateurs de l’ABRC aux fins de discussions en avril 2016. Le diagramme du cadre du réseau Portage (Annexe B) donne un aperçu des mandats du réseau au moyen d’un modèle de cycle de vie des...

Mise à jour Portage février 2017

Chuck Humphrey
Voici une mise à jour résumée des activités de Portage depuis l’AGA de l’ABRC de 2016, structurée sur quatre domaines de rapport : travail contractuel, activités concernant le réseau d’experts, participation de partenariats, et le plan d’entreprise 2017 et 2018 de Portage.

Rapport d'étape de Portage pour la période de janvier 2017 à mars 2017

Chuck Humphrey, Shahira Khair & Julie Morin
Le rapport d’étape suivant résume les activités et les réalisations de Portage au premier trimestre de 2017 correspondant aux objectifs décrit dans le Plan d’entreprise de Portage : 2017 et 2018 et fournit une mise à jour des activités et des communications de Portage pendant cette période.

Exploring networks-on-chip for FPGAs

Rosemary M. Francis
Developments in fabrication processes have shifted the cost ratio between wires and transistors to allow new trade-offs between computation and communication. Rising clock speeds have lead to multi-cycle cross-chip communication and pipelined buses. It is then a small step from pipelining to switching and the development of multi-core networked systems-on-chip. Modern FPGAs are also now home to complex systems-on-chip. A change in the way we structure the computation demands a change in the way we...

Minimally supervised dependency-based methods for natural language processing

Marek Rei
This work investigates minimally-supervised methods for solving NLP tasks, without requiring explicit annotation or training data. Our motivation is to create systems that require substantially reduced effort from domain and/or NLP experts, compared to annotating a corresponding dataset, and also offer easier domain adaptation and better generalisation properties. We apply these principles to four separate language processing tasks and analyse their performance compared to supervised alternatives. First, we investigate the task of detecting the scope...

Bluespec Extensible RISC Implementation: BERI Software reference

Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann & Jonathan Woodruff
The BERI Software Reference documents how to build and use FreeBSD on the Bluespec Extensible RISC Implementation (BERI) developed by SRI International and the University of Cambridge. The reference is targeted at hardware and software programmers who will work with BERI or BERI-derived systems.

Sentiment analysis of scientific citations

Awais Athar
While there has been growing interest in the field of sentiment analysis for different text genres in the past few years, relatively less emphasis has been placed on extraction of opinions from scientific literature, more specifically, citations. Citation sentiment detection is an attractive task as it can help researchers in identifying shortcomings and detecting problems in a particular approach, determining the quality of a paper for ranking in citation indexes by including negative citations in...

Resourceful: fine-grained resource accounting for explaining service variability

Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice & Andy Hopper
Increasing server utilization in modern datacenters also increases the likelihood of contention on physical resources and unexpected behavior due to side-effects from interfering applications. Existing resource accounting mechanisms are too coarse-grained for allowing services to track the causes of such variations in their execution. We make the case for measuring resource consumption at system-call level and outline the design of Resourceful, a system that offers applications the ability of querying this data at runtime with...

Program equivalence in functional metaprogramming via nominal Scott domains

Steffen Loesch
A prominent feature of metaprogramming is to write algorithms in one programming language (the meta-language) over structures that represent the programs of another programming language (the object-language). Whenever the object-language has binding constructs (and most programming languages do), we run into tedious issues concerning the semantically correct manipulation of binders. In this thesis we study a semantic framework in which these issues can be dealt with automatically by the meta-language. Our framework takes the user-friendly...

Automatic facial expression analysis

Tadas Baltrusaitis
Humans spend a large amount of their time interacting with computers of one type or another. However, computers are emotionally blind and indifferent to the affective states of their users. Human-computer interaction which does not consider emotions, ignores a whole channel of available information. Faces contain a large portion of our emotionally expressive behaviour. We use facial expressions to display our emotional states and to manage our interactions. Furthermore, we express and read emotions in...

Who Polices the Police?

, Ian Scott & Masha Lisitsyna

I/O Optimisation and elimination via partial evaluation

Christopher S.F. Smowton
Computer programs commonly repeat work. Short programs go through the same initialisation sequence each time they are run, and long-running servers may be given a sequence of similar or identical requests. In both cases, there is an opportunity to save time by re-using previously computed results; however, programmers often do not exploit that opportunity because to do so would cost development time and increase code complexity. Partial evaluation is a semi-automatic technique for specialising programs...

Higher-order proof translation

Nikolai Sultana
The case for interfacing logic tools together has been made countless times in the literature, but it is still an important research question. There are various logics and respective tools for carrying out formal developments, but practitioners still lament the difficulty of reliably exchanging mathematical data between tools. Writing proof-translation tools is hard. The problem has both a theoretical side (to ensure that the translation is adequate) and a practical side (to ensure that the...

Efficient multivariate statistical techniques for extracting secrets from electronic devices

Marios O. Choudary
In 2002, Suresh Chari, Rao Josyula and Pankaj Rohatgi presented a very powerful method, known as the ‘Template Attack’, to infer secret values processed by a microcontroller, by analysing its power-supply current, generally known as its ‘side-channel leakage’. This attack uses a profiling step to compute the parameters of a multivariate normal distribution from the leakage of a training device, and an attack step in which these parameters are used to infer a secret value...

Access contracts: a dynamic approach to object-oriented access protection

Janina Voigt
In object-oriented (OO) programming, variables do not contain objects directly but addresses of objects on the heap. Thus, several variables can point to the same object; we call this aliasing. Aliasing is a central feature of OO programming that enables efficient sharing of objects across a system. This is essential for the implementation of many programming idioms, such as iterators. On the other hand, aliasing reduces modularity and encapsulation, making programs difficult to understand, debug...

Web data knowledge extraction

Juan M. Tirado, Ovidiu Serban, Qiang Guo & Eiko Yoneki
A constantly growing amount of information is available through the web. Unfortunately, extracting useful content from this massive amount of data still remains an open issue. The lack of standard data models and structures forces developers to create ad-hoc solutions from scratch. The advice of an expert is still needed in many situations where developers do not have the correct background knowledge. This forces developers to spend time acquiring the necessary background from the expert....

HasGP: A Haskell library for Gaussian process inference

Sean B. Holden
HasGP is a library providing supervised learning algorithms for Gaussian process (GP) regression and classification. While only one of many GP libraries available, it differs in that it represents an ongoing exploration of how machine learning research and deployment might benefit by moving away from the imperative/object-oriented style of implementation and instead employing the functional programming (FP) paradigm. HasGP is implemented in Haskell and is available under the GPL3 open source license.

Recomputation-based data reliability for MapReduce using lineage

Sherif Akoush, Ripduman Sohan & Andy Hopper
Ensuring block-level reliability of MapReduce datasets is expensive due to the spatial overheads of replicating or erasure coding data. As the amount of data processed with MapReduce continues to increase, this cost will increase proportionally. In this paper we introduce Recomputation-Based Reliability in MapReduce (RMR), a system for mitigating the cost of maintaining reliable MapReduce datasets. RMR leverages record-level lineage of the relationships between input and output records in the job for the purposes of...

Registration Year

  • 2021

Resource Types

  • Report


  • UNSW Sydney
  • Open Society Foundations
  • University of Technology of Compiègne
  • University of Virginia
  • University of Kentucky
  • King's College London
  • Western Sydney University
  • Lyrasis
  • Acatech
  • University of Sydney