The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs

Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-code plagiarism. In this paper, we present the tool Kato for supporting the detection of this kind of plagiarism in the area of answer-set programming (ASP). Currently, the tool is implemented for DLV programs but it is designed to handle other logic-programming dialects as well. We review the basic features of Kato, introduce its theoretical underpinnings, and discuss an application of Kato for plagiarism detection in the context of courses on logic programming at the Vienna University of Technology

Proposal for a Standard Representation of Two-Dimensional Gel Electrophoresis Data

The global analysis of proteins is now feasible due to improvements in techniques such as two-dimensional gel electrophoresis (2-DE), mass spectrometry, yeast two-hybrid systems and the development of bioinformatics applications. The experiments form the basis of proteomics, and present significant challenges in data analysis, storage and querying. We argue that a standard format for proteome data is required to enable the storage, exchange and subsequent re-analysis of large datasets. We describe the criteria that must be met for the development of a standard for proteomics. We have developed a model to represent data from 2-DE experiments, including difference gel electrophoresis along with image analysis and statistical analysis across multiple gels. This part of proteomics analysis is not represented in current proposals for proteomics standards. We are working with the Proteomics Standards Initiative to develop a model encompassing biological sample origin, experimental protocols, a number of separation techniques and mass spectrometry. The standard format will facilitate the development of central repositories of data, enabling results to be verified or re-analysed, and the correlation of results produced by different research groups using a variety of laboratory techniques

Upsetting the agenda: The clout of external focusing events in the European Council

Focusing events are sudden, striking large-scale occurrences that attract political attention. However, not all potential focusing events appear on the agenda. Combining data from multiple sources, this study conducts an analysis of the determinants of prioritisation of external focusing events in the European Council over a period longer than two decades. The results demonstrate that decisions regarding the placement of crises on the agenda are underscored by exogenous (humanitarian) and endogenous (geopolitical interest) considerations. Those events with a higher likelihood of agenda access include manmade incidents (versus natural disasters), events with larger death tolls and crises in the neighbourhood. Stronger competition between potential focusing events across time and space reduces the chances of access. The level of attention each event receives depends on purely strategic interests. Focusing events in neighbouring countries gain a higher portion of attention, as do occurrences in states having a larger trade exchange with the European Union. © 2015 Cambridge University Press

Expression of avian prickle genes during early development and organogenesis

Chicken homologues of prickle-1 (pk-1) and prickle-2 (pk-2) were isolated to gain insight into the extent of planar cell polarity signaling during avian embryogenesis. Bioinformatics analyses demonstrated homology and showed that pk-1 and pk-2 exhibited conserved synteny with ADAMTS20 and ADAMTS9, GON-related zinc metalloproteases. Expression of pk-1 and pk-2 was established during embryogenesis and early organogenesis, using in situ hybridization and sections of chicken embryos. At early stages, pk-1 was expressed in Hensen's node, primitive streak, ventral neural tube, and foregut. In older embryos, pk-1 transcripts were detected in dorsolateral epithelial somites, dorsomedial lip of dermomyotomes, and differentiating myotomes. Furthermore, pk-1 expression was seen in lateral body folds, limb buds, and ventral metencephalon. pk-2 was expressed in Hensen's node and neural ectoderm at early stages. In older embryos, pk-2 expression was restricted to ventromedial epithelial somites, except in the most recently formed somite pair, and limb bud mesenchyme

Joint inversions of three types of electromagnetic data explicitly constrained by seismic observations: results from the central Okavango Delta, Botswana

The Okavango Delta of northern Botswana is one of the world's largest inland deltas or megafans. To obtain information on the character of sediments and basement depths, audiomagnetotelluric (AMT), controlled-source audiomagnetotelluric (CSAMT) and central-loop transient electromagnetic (TEM) data were collected on the largest island within the delta. The data were inverted individually and jointly for 1-D models of electric resistivity. Distortion effects in the AMT and CSAMT data were accounted for by including galvanic distortion tensors as free parameters in the inversions. By employing Marquardt-Levenberg inversion, we found that a 3-layer model comprising a resistive layer overlying sequentially a conductive layer and a deeper resistive layer was sufficient to explain all of the electromagnetic data. However, the top of the basal resistive layer from electromagnetic-only inversions was much shallower than the well-determined basement depth observed in high-quality seismic reflection images and seismic refraction velocity tomograms. To resolve this discrepancy, we jointly inverted the electromagnetic data for 4-layer models by including seismic depths to an interface between sedimentary units and to basement as explicit a priori constraints. We have also estimated the interconnected porosities, clay contents and pore-fluid resistivities of the sedimentary units from their electrical resistivities and seismic P-wave velocities using appropriate petrophysical models. In the interpretation of our preferred model, a shallow∼40 m thick freshwater sandy aquifer with 85-100 Ωm resistivity, 10-32 per cent interconnected porosity and <13 per cent clay content overlies a 105-115m thick conductive sequence of clay and intercalated salt-water-saturated sands with 15-20 Ωm total resistivity, 1−27 per cent interconnected porosity and 15-60 per cent clay content. A third∼60 m thick sandy layer with 40-50 Ωm resistivity, 10-33 per cent interconnected porosity and <15 per cent clay content is underlain by the basement with 3200-4000 Ωm total resistivity. According to an interpretation of helicopter TEM data that cover the entire Okavango Delta and borehole logs, the second and third layers may represent lacustrine sediments from Paleo Lake Makgadikgadi and a moderately resistive freshwater aquifer comprising sediments of the recently proposed Paleo Okavango Megafan, respectivel

Fate of drugs during wastewater treatment

This is the post-print version of the final paper published in TrAC Trends in Analytical Chemistry. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2013 Elsevier B.V.Recent trends in the determination of pharmaceutical drugs in wastewaters focus on the development of rapid multi-residue methods. This review addresses recent analytical trends in drug determination in environmental matrices used to facilitate fate studies. Analytical requirements for further fate evaluation and tertiary process selection and optimization are also discussed.EPSRC, Northumbrian Water, Anglian Water, Severn Trent Water, Yorkshire Water, and United Utilities

Investigating if Dr. Pepper TEN is a \10\ for men

The objective was to investigate taste preference for Dr Pepper TEN and Diet Dr Pepper and consumers\u27 willingness to purchase Dr Pepper TEN after viewing the product\u27s commercial. A taste preference test was conducted using 168 students at Clemson University during fall 2013. An online survey developed using Qualtrics consisted of items for demographics, taste preference and consumer behavior after viewing a Dr Pepper TEN commercial. One and two sample proportion Z tests were performed and chi-squared tests were used for testing associations. The majority (overall, males and females) preferred the taste of Dr Pepper TEN (p-value\u3c0.001). There was no evidence of a difference in the proportion of males and females who preferred the taste of Dr Pepper TEN (p-value=0.2546). There was no evidence of an association between gender and likelihood of purchasing Dr Pepper TEN after seeing the commercial (p-value\u3c0.25). The results give doubt to the \just for women\ claim of the advertisements

Surface code quantum computing by lattice surgery

In recent years, surface codes have become a leading method for quantum error correction in theoretical large scale computational and communications architecture designs. Their comparatively high fault-tolerant thresholds and their natural 2-dimensional nearest neighbour (2DNN) structure make them an obvious choice for large scale designs in experimentally realistic systems. While fundamentally based on the toric code of Kitaev, there are many variants, two of which are the planar- and defect- based codes. Planar codes require fewer qubits to implement (for the same strength of error correction), but are restricted to encoding a single qubit of information. Interactions between encoded qubits are achieved via transversal operations, thus destroying the inherent 2DNN nature of the code. In this paper we introduce a new technique enabling the coupling of two planar codes without transversal operations, maintaining the 2DNN of the encoded computer. Our lattice surgery technique comprises splitting and merging planar code surfaces, and enables us to perform universal quantum computation (including magic state injection) while removing the need for braided logic in a strictly 2DNN design, and hence reduces the overall qubit resources for logic operations. Those resources are further reduced by the use of a rotated lattice for the planar encoding. We show how lattice surgery allows us to distribute encoded GHZ states in a more direct (and overhead friendly) manner, and how a demonstration of an encoded CNOT between two distance 3 logical states is possible with 53 physical qubits, half of that required in any other known construction in 2D.Comment: Published version. 29 pages, 18 figure