The Federal Circuit: A Model for Reform?

Are our federal courts organized suitably to perform their mission of assuring coherent administration of our national law? Maybe not. The senior author of this Article, along with many others, argued to the contrary forty years ago. Now, experience with the United States Court of Appeals for the Federal Circuit tends to confirm that an alternative structure of the federal judiciary could better serve the need for coherent national law, and without serious adverse consequences. Perhaps, therefore, it is now time for Congress to reconsider the matter. We here suggest the possibility that the United States replicate the structure of the appellate courts of the Federal Republic of Germany, which, like the Federal Circuit, are specialized to assure coherent and consistent interpretation of that nation’s laws. Advances in technology have greatly reduced the need for the traditional regionalization of the federal appellate process, so that the model supplied by the Federal Circuit may offer new hope that our national law could be administered with substantially greater coherence and efficiency than the present system of conflicted circuits allows

PCA-RECT: An Energy-efficient Object Detection Approach for Event Cameras

We present the first purely event-based, energy-efficient approach for object detection and categorization using an event camera. Compared to traditional frame-based cameras, choosing event cameras results in high temporal resolution (order of microseconds), low power consumption (few hundred mW) and wide dynamic range (120 dB) as attractive properties. However, event-based object recognition systems are far behind their frame-based counterparts in terms of accuracy. To this end, this paper presents an event-based feature extraction method devised by accumulating local activity across the image frame and then applying principal component analysis (PCA) to the normalized neighborhood region. Subsequently, we propose a backtracking-free k-d tree mechanism for efficient feature matching by taking advantage of the low-dimensionality of the feature representation. Additionally, the proposed k-d tree mechanism allows for feature selection to obtain a lower-dimensional dictionary representation when hardware resources are limited to implement dimensionality reduction. Consequently, the proposed system can be realized on a field-programmable gate array (FPGA) device leading to high performance over resource ratio. The proposed system is tested on real-world event-based datasets for object categorization, showing superior classification performance and relevance to state-of-the-art algorithms. Additionally, we verified the object detection method and real-time FPGA performance in lab settings under non-controlled illumination conditions with limited training data and ground truth annotations.Comment: Accepted in ACCV 2018 Workshops, to appea

Data-flow analyses as effects and graded monads

In static analysis, two frameworks have been studied extensively: monotone data-flow analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks, their relationship has remained unclear. Here we show that monotone data-flow analyses can be encoded as effect systems in a uniform way, via algebras of transfer functions. This helps to answer questions about the most appropriate structure for general effect algebras, especially with regards capturing control-flow precisely. Via the perspective of capturing data-flow analyses, we show the recent suggestion of using effect quantales is not general enough as it excludes non-distributive analyses e.g., constant propagation. By rephrasing the McCarthy transformation, we then model monotone data-flow effects via graded monads. This provides a model of data-flow analyses that can be used to reason about analysis correctness at the semantic level, and to embed data-flow analyses into type systems.Trinity College, Cambridge (Internal Graduate Scholarship) EPSRC grant EP/T013516/

Effect systems revisited—control-flow algebra and semantics

Effect systems were originally conceived as an inference-based program analysis to capture program behaviour—as a set of (representations of) effects. Two orthogonal developments have since happened. First, motivated by static analysis, effects were generalised to values in an algebra, to better model control flow (e.g. for may/must analyses and concurrency). Second, motivated by semantic questions, the syntactic notion of set- (or semilattice-) based effect system was linked to the semantic notion of monads and more recently to graded monads which give a more precise semantic account of effects. We give a lightweight tutorial explanation of the concepts involved in these two threads and then unify them via the notion of an effect-directed semantics for a control-flow algebra of effects. For the case of effectful programming with sequencing, alternation and parallelism—illustrated with music—we identify a form of graded joinads as the appropriate structure for unifying effect analysis and semantics

Coeffects: A calculus of context-dependent computation

The notion of context in functional languages no longer refers just to variables in scope. Context can capture additional properties of variables (usage patterns in linear logics; caching requirements in dataflow languages) as well as additional resources or properties of the execution environment (rebindable resources; platform version in a cross-platform application). The recently introduced notion of coeffects captures the latter, whole-context properties, but it failed to capture fine-grained per-variable properties. We remedy this by developing a generalized coeffect system with annotations indexed by a coeffect shape. By instantiating a concrete shape, our system captures previously studied flat (whole-context) coeffects, but also structural (per-variable) coeffects, making coeffect analyses more useful. We show that the structural system enjoys desirable syntactic properties and we give a categorical semantics using extended notions of indexed comonad. The examples presented in this paper are based on analysis of established language features (liveness, linear logics, dataflow, dynamic scoping) and we argue that such context-aware properties will also be useful for future development of languages for increasingly heterogeneous and distributed platforms

Incorporating Financial Accounting Research Into The Accounting Curriculum

The purpose of this paper is to describe a process of integrating the use of accounting research into the existing financial accounting curriculum in an effort to meet CPA exam research requirements as well as to improve critical thinking, written and oral communication skills, documentation and support, and analysis

A global review of legal protection mechanisms for the management of surf breaks

Legal protection has become essential for managing the world\u27s surf breaks much as it has for other marine and coastal protected areas. This paper presents the first systematic review of global developments in this field. We used a keyword literature search and thematic content analysis to characterise legal protection mechanisms that are designed for surf breaks or have been specifically applied to address surf break protection needs. They are currently found in six countries, protect over 500 surf breaks, and include examples of single-location mechanisms (e.g., Malibu in USA, Punta de Lobos in Chile) and national-level protection mechanisms addressing multiple surf breaks (e.g., New Zealand and Peru). Across all examples we identified 63 discrete themes that can be drawn upon to design and communicate protection measures and present these in a typology that highlights contributing ideas. Thematic analysis identified a major distinction between process and outcome-based requirements. More comprehensive protections can be recognised by attention to a wider range of threat classes and in the detail provided for decision support, with the two ideally working together to identify the minimum assessment requirements for development proposals. Variation in levels of protection is a key topic for consideration as is the process by which locations are identified or qualified for legal protections to apply. There is also a need to evaluate the effectiveness of provisions already in place, carrying with it the need for outcomes-based monitoring which is currently rare

Static stretching of the hamstring muscle for injury prevention in football codes: a systematic review

Purpose: Hamstring injuries are common among football players. There is still disagreement regarding prevention. The aim of this review is to determine whether static stretching reduces hamstring injuries in football codes. Methods: A systematic literature search was conducted on the online databases PubMed, PEDro, Cochrane, Web of Science, Bisp and Clinical Trial register. Study results were presented descriptively and the quality of the studies assessed were based on Cochrane’s ‘risk of bias’ tool. Results: The review identified 35 studies, including four analysis studies. These studies show deficiencies in the quality of study designs. Conclusion: The study protocols are varied in terms of the length of intervention and follow-up. No RCT studies are available, however, RCT studies should be conducted in the near future

BISC: Binary SubComplexes in proteins database

Binary subcomplexes in proteins database (BISC) is a new protein–protein interaction (PPI) database linking up the two communities most active in their characterization: structural biology and functional genomics researchers. The BISC resource offers users (i) a structural perspective and related information about binary subcomplexes (i.e. physical direct interactions between proteins) that are either structurally characterized or modellable entries in the main functional genomics PPI databases BioGRID, IntAct and HPRD; (ii) selected web services to further investigate the validity of postulated PPI by inspection of their hypothetical modelled interfaces. Among other uses we envision that this resource can help identify possible false positive PPI in current database records. BISC is freely available at http://bisc.cse.ucsc.edu