The New Zealand Jury

In New Zealand, the recent history of the jury has been one of fairly steady decline. This is particularly so of the civil jury, which has become virtually extinct with little realistic prospect of revival

Deuce: A Lightweight User Interface for Structured Editing

We present a structure-aware code editor, called Deuce, that is equipped with direct manipulation capabilities for invoking automated program transformations. Compared to traditional refactoring environments, Deuce employs a direct manipulation interface that is tightly integrated within a text-based editing workflow. In particular, Deuce draws (i) clickable widgets atop the source code that allow the user to structurally select the unstructured text for subexpressions and other relevant features, and (ii) a lightweight, interactive menu of potential transformations based on the current selections. We implement and evaluate our design with mostly standard transformations in the context of a small functional programming language. A controlled user study with 21 participants demonstrates that structural selection is preferred to a more traditional text-selection interface and may be faster overall once users gain experience with the tool. These results accord with Deuce's aim to provide human-friendly structural interactions on top of familiar text-based editing.Comment: ICSE 2018 Paper + Supplementary Appendice

A Pyrrole-Based Triazolium-Phane with Nh and Cationic Ch Donor Groups as a Receptor for Tetrahedral Oxyanions that Functions in Polar Media

The pyrrole-based triazolium-phane 1(4+)center dot 4BF(4)(-) has been prepared via the tetraalkylation of a macrocycle originally prepared via click chemistry. It displays a high selectivity for tetrahedral oxyanions relative to various test monoanions and trigonal planar anions in mixed polar organic-aqueous media. This selectivity is solvent dependent and is less pronounced in acetonitrile. Theoretical calculations were carried out in with the chloride anion in an effort to understand the influence of solvent on the intrinsic hydrogen bonding ability of the donor groups (pyrrole N-H, benzene C-H and triazolium C-H). The host-guest interactions between receptor 1(4+)center dot 4BF(4)(-) and representative tetrahedral oxyanions were further analysed by H-1 NMR spectroscopy, and the findings proved consistent with the differences in the intrinsic strength of the various H-bond donor groups inferred from the electronic structure calculations carried out in methanol, namely that (CH)(+)-anion interactions are less important in an energetic sense than neutral CH-anion interactions in polar media. Single crystal X-ray diffraction analyses of the mixed salts 1(4+)center dot HP2O73-center dot BF4- and 31(4+)center dot 4H(2)PO(4)(-)center dot 8BF(4)(-) confirmed that receptor 1(4+) can bind the pyrophosphate and phosphate anions in the solid state.Cai, Jiajia, Benjamin P. Hay, Neil J. Young, Xiaoping Yang, and Jonathan L. Sessler. "A pyrrole-based triazolium-phane with NH and cationic CH donor groups as a receptor for tetrahedral oxyanions that functions in polar media." Chemical Science 4, no. 4 (Jan., 2013): 1560-1567.Chemistr

Distinguishing the “Truly National” From the “Truly Local”: Customary Allocation, Commercial Activity, and Collective Action

This Essay makes two claims about different methods of defining the expanse and limits of the Commerce Clause. My first claim is that approaches that privilege traditional subjects of state regulation are unworkable and undesirable. These approaches are unworkable in light of the frequency with which the federal government and the states regulate the same subject matter in our world of largely overlapping federal and state legislative jurisdiction. The approaches are undesirable because the question of customary allocation is unrelated to the principal reason why Congress possesses the power to regulate interstate commerce: solving collective action problems involving multiple states. These problems are evident in the way that some federal judges invoked regulatory custom in litigation over the constitutionality of the minimum coverage provision in the Patient Protection and Affordable Care Act. The areas of health insurance and health care are not of exclusive state concern, and it is impossible to lose—or to win—a competition requiring skillful lawyers or judges to describe them as more state than federal, or more federal than state. Nor is it most important what the answer is. More promising are the approaches that view congressional authority as turning on either commercial activity or collective action problems facing the states. My second claim is that these two approaches have advantages and disadvantages, and that the choice between them exemplifies the more general tension between applying rules and applying their background justifications. I have previously defended a collective action approach to Article I, Section 8. My primary purpose in this Essay is to clarify the jurisprudential stakes in adopting one method or the other and to identify the problems that advocates of each approach must address

Intelligent and Dynamic Permission Model for User Permissions

A permission model is described that provides a set of user modifiable default application permissions for user devices. A user interface enables the user to easily observe services and permissions being utilized by various apps and to update permission settings. Upon request, the user can grant permissions not granted by default at app initialization. With user consent, user actions to grant or deny access are logged to provide telemetry data regarding the user’s app usage patterns. App telemetry data from multiple user devices of consenting users are aggregated and combined with data obtained from app sources. The collected data are provided to a classification model that returns a parameterized vector representation of the confidence of available permissions. App permissions are granted based on the confidence value meeting a predetermined threshold

Interrogating glacier mass balance response to climatic change since the Little Ice Age: reconstructions for the Jotunheimen region, southern Norway

Developing a long‐term understanding of the cryosphere is important in the study of past climatic change. Here we used a nested approach combining diverse instrumental (monthly meteorological data from four weather stations, as well as gridded data) and proxy data (based on blue intensity measurements from local tree ring records) to create a reconstruction of past summer temperature for the central Jotunheimen area in southern Norway. This record was then used to reconstruct annual glacier mass balance from 1962, the start of the yearly measurements, back to 1722, immediately prior to the regional Little Ice Age maximum. Our reconstruction of the ‘average’ Jotunheimen cumulative glacier mass balance is based on three representative glaciers (Storbreen, Hellstugubreen and Gråsubreen) that were synthesized into one composite record which we term ‘Gjennomsnittsbreen’ (‘mean glacier’ in Norwegian) to filter out localized controls on the behaviour of individual glaciers. While not ignoring the role of precipitation on glacier mass balance, our reconstruction demonstrates that glaciers in this region exhibit a strong summer temperature control and appear to have been declining more or less continuously since the mid‐18th century. However, it also shows that this long‐term trend of overall retreat in Jotunheimen is punctuated by relatively short‐lived periods of neutral or occasionally positive glacier mass balance, signifying periods of stillstand or small‐scale glacier advance. These periods or ‘events’ in our reconstruction were compared with an independent record of 12 moraine‐building events developed using lichenometry. A minimum of 10 of the moraine‐building events identifiable in our reconstruction were also identifiable in the lichenometric data which affords confidence in the performance of our interrogative model. A critical implication of this successful glacier mass balance reconstruction based on just summer temperature is that for Jotunheimen – in contrast to Norwegian maritime glaciers further to the west – there is no need (as was proposed in some previous studies) to invoke large, prolonged increases in winter snowfall to explain glacier advances, not even for events such as the Little Ice Age

Approximation Algorithms for the Joint Replenishment Problem with Deadlines

The Joint Replenishment Problem (JRP) is a fundamental optimization problem in supply-chain management, concerned with optimizing the flow of goods from a supplier to retailers. Over time, in response to demands at the retailers, the supplier ships orders, via a warehouse, to the retailers. The objective is to schedule these orders to minimize the sum of ordering costs and retailers' waiting costs. We study the approximability of JRP-D, the version of JRP with deadlines, where instead of waiting costs the retailers impose strict deadlines. We study the integrality gap of the standard linear-program (LP) relaxation, giving a lower bound of 1.207, a stronger, computer-assisted lower bound of 1.245, as well as an upper bound and approximation ratio of 1.574. The best previous upper bound and approximation ratio was 1.667; no lower bound was previously published. For the special case when all demand periods are of equal length we give an upper bound of 1.5, a lower bound of 1.2, and show APX-hardness