Detecting squarefree numbers

We present an algorithm, based on the explicit formula for $L$-functions and conditional on GRH, for proving that a given integer is squarefree with little or no knowledge of its factorization. We analyze the algorithm both theoretically and practically, and use it to prove that several RSA challenge numbers are not squarefull.Comment: 31 pages, 3 figures, latest versio

SBMLToolbox: an SBML toolbox for MATLAB users

We present SBMLToolbox, a toolbox that facilitates importing and exporting models represented in the Systems Biology Markup Language (SBML) in and out of the MATLAB environment and provides functionality that enables an experienced user of either SBML or MATLAB to combine the computing power of MATLAB with the portability and exchangeability of an SBML model. SBMLToolbox supports all levels and versions of SBML

Organizing videogame metadata in CollectiveAccess

Local institutions need to organize information sets with complex information and attributes. Whether or not open source software has the ability to adequately provide a robust yet easy-to-use system for such institutions is a question raised frequently. To explore that question, a metadata schema created by the GAme MEtadata Research Group (GAMER) at the University of Washington was implemented in CollectiveAccess (CA), an open source cataloging software used by many organizations to manage digital collections, as a case study. As an organizational system, CA is appealing because it enables users to create metadata schema with relative ease. However, during implementation, issues emerged related to its potential as a long-term solution, including ease-of-use for both administrators and end-users. This poster explains and expands upon the issues encountered during the implementation process, focusing on how they might be resolved, and what the implications are for designing similar applications in the future

Systems Biology Markup Language (SBML) Level 2: Structures and Facilities for Model Definitions

Not applicabl

A CubeSat for Calibrating Ground-Based and Sub-Orbital Millimeter-Wave Polarimeters (CalSat)

We describe a low-cost, open-access, CubeSat-based calibration instrument that is designed to support ground-based and sub-orbital experiments searching for various polarization signals in the cosmic microwave background (CMB). All modern CMB polarization experiments require a robust calibration program that will allow the effects of instrument-induced signals to be mitigated during data analysis. A bright, compact, and linearly polarized astrophysical source with polarization properties known to adequate precision does not exist. Therefore, we designed a space-based millimeter-wave calibration instrument, called CalSat, to serve as an open-access calibrator, and this paper describes the results of our design study. The calibration source on board CalSat is composed of five "tones" with one each at 47.1, 80.0, 140, 249 and 309 GHz. The five tones we chose are well matched to (i) the observation windows in the atmospheric transmittance spectra, (ii) the spectral bands commonly used in polarimeters by the CMB community, and (iii) The Amateur Satellite Service bands in the Table of Frequency Allocations used by the Federal Communications Commission. CalSat would be placed in a polar orbit allowing visibility from observatories in the Northern Hemisphere, such as Mauna Kea in Hawaii and Summit Station in Greenland, and the Southern Hemisphere, such as the Atacama Desert in Chile and the South Pole. CalSat also would be observable by balloon-borne instruments launched from a range of locations around the world. This global visibility makes CalSat the only source that can be observed by all terrestrial and sub-orbital observatories, thereby providing a universal standard that permits comparison between experiments using appreciably different measurement approaches

Jet-Topography Interactions Affect Energy Pathways to the Deep Southern Ocean

In the Southern Ocean, strong eastward ocean jets interact with large topographic features, generating eddies that feed back onto the mean flow. Deep-reaching eddies interact with topography, where turbulent dissipation and generation of internal lee waves play an important role in the ocean's energy budget. However, eddy effects in the deep ocean are difficult to observe and poorly characterized. This study investigates the energy contained in eddies at depth, when an ocean jet encounters topography. This study uses a two-layer ocean model in which an imposed unstable jet encounters a topographic obstacle (either a seamount or a meridional ridge) in a configuration relevant to an Antarctic Circumpolar Current frontal jet. The authors find that the presence of topography increases the eddy kinetic energy (EKE) at depth but that the dominant processes generating this deep EKE depend on the shape and height of the obstacle as well as on the baroclinicity of the jet before it encounters topography. In cases with high topography, horizontal shear instability is the dominant source of deep EKE, while a flat bottom or a strongly sheared inflow leads to deep EKE being generated primarily through baroclinic instability. These results suggest that the deep EKE is set by an interplay between the inflowing jet properties and topography and imply that the response of deep EKE to changes in the Southern Ocean circulation is likely to vary across locations depending on the topography characteristics

The Engineering Academy : increasing access to engineering

The Engineering Academy (EA) is an integrated programme between the University of Strathclyde, partner colleges and industry to widen access to undergraduate degrees in engineering. A partnership model was developed where students successfully complete an enhanced HNC at a partner college before transferring to second year of their chosen undergraduate degree within the Faculty of Engineering. EA entry requirements are lower than direct entry applications. Additional contextual information based on postcode; the Scottish Index of Multiple Deprivation; schools with low progression to university; or time in care, is used in selection. The programme also aligns with and accepts adult learner applicants from the Scottish Wider Access Programme. Three enhanced HNC pathways: Chemical Engineering, Electronic and Electrical Engineering and General Engineering require bespoke student transition activities tailored to the engineering discipline. The presentation will follow the evolution of the EA programme model from its inception to current day. This will include changes in the programme management; the establishment of curriculum and subject working groups to review, refine and share teaching practice; and development of transition activities. The results of these show a successful transition model into undergraduate engineering degrees for students from a range of backgrounds

A laboratory study to estimate pore geometric parameters of sandstones using complex conductivity and nuclear magnetic resonance for permeability prediction

We estimate parameters from the Katz and Thompson permeability model using laboratory complex electrical conductivity (CC) and nuclear magnetic resonance (NMR) data to build permeability models parameterized with geophysical measurements. We use the Katz and Thompson model based on the characteristic hydraulic length scale, determined from mercury injection capillary pressure estimates of pore throat size, and the intrinsic formation factor, determined from multi-salinity conductivity measurements, for this purpose. Two new permeability models are tested, one based on CC data and another that incorporates CC and NMR data. From measurements made on forty-five sandstone cores collected from fifteen different formations, we evaluate how well the CC relaxation time and the NMR transverse relaxation times compare to the characteristic hydraulic length scale and how well the formation factor estimated from CC parameters compares to the intrinsic formation factor. We find: (1) the NMR transverse relaxation time models the characteristic hydraulic length scale more accurately than the CC relaxation time (R2 of 0.69 and 0.39 and normalized root mean square errors (NRMSE) of 0.16 and 0.20, respectively); (2) the CC estimated formation factor is well correlated with the intrinsic formation factor (NRMSE=0.23). We demonstrate that that permeability estimates from the joint-NMR-CC model (NRMSE=0.13) compare favorably to estimates from the Katz and Thompson model (NRMSE=0.074). This model advances the capability of the Katz and Thompson model by employing parameters measureable in the field giving it the potential to more accurately estimate permeability using geophysical measurements than are currently possible

Filling the Gaps with Public Policy: The Application of the Hague Convention Protocol in US Courts in the Absence of a Co-Signing State

This article will consider a possible avenue for filling \u27gaps\u27 when the 1980 Hague Abduction Convention or the 1996 Child Protection Convention do not apply in child custody/abduction cases. Specifically, it will explore utilizing internal US domestic relations law to facilitate the return of a child who has been abducted to the USA from a non-signatory country. To better illustrate the potential effects, the article will explore this \u27gap filler\u27 through the lens of a case study involving Japan, the most prominent first world country that is not yet a signatory to the Convention. The article also considers the implications for the international community