The Unintended Consequences of Enhancing Gun Penalties: Shooting Down the Commerce Clause and Arming Federal Prosecutors

The objective of this work is to derive an MIQP solver tailored for MPC. The MIQP solver is built on the branch and bound method, where QP relaxations of the original problem are solved in the nodes of a binary search tree. The difference between the subproblems is often small and therefore it is interesting to be able to use a previous solution as a starting point in a new subproblem. This is referred to as a warm start of the solver. Because of its good warm start properties, a dual active set QP method was chosen. The method is tailored for MPC by solving a part of the KKT system using a Riccati recursion, which makes the computational complexity of the QP iterations grow linearly with the prediction horizon. Simulation results are presented both for the QP solver itself and when it is incorporated as a part of the MIQP solver. In both cases the computational complexity is significantly reduced compared to if a primal active set solver not utilizing structure is used

EC Maritime Transport Policy and Regulation

When designing robust controllers, H-infinity synthesis is a common tool touse. The controllers that result from these algorithms are typically of very high order, which complicates implementation. However, if a constraint on the maximum order of the controller is set, that is lower than the order of the (augmented) system, the problem becomes nonconvex and it is relatively hard to solve. These problems become very complex, even when the order of the system is low. The approach used in this work is based on formulating the constraint onthe maximum order of the controller as a polynomial (or rational) equation.This equality constraint is added to the optimization problem of minimizingan upper bound on the H-innity norm of the closed loop system subjectto linear matrix inequality (LMI) constraints. The problem is then solvedby reformulating it as a partially augmented Lagrangian problem where theequality constraint is put into the objective function, but where the LMIsare kept as constraints. The proposed method is evaluated together with two well-known methodsfrom the literature. The results indicate that the proposed method hascomparable performance in most cases, especially if the synthesized con-troller has many parameters, which is the case if the system to be controlledhas many input and output signals

Luminosities of High-Redshift Objects in an Accelerating Universe

The results from the Supernova Cosmology Project indicate a relation between cosmic distance and redshift that corresponds to an accelerating Universe, and, as a consequence, the presence of an energy component with negative pressure. This necessitates a re-evaluation of such astrophysical luminosities that have been derived through conventional redshift analyses of, e.g., gamma-ray bursts and quasars. We have calculated corrected luminosity distances within two scenarios; the standard one with a non-zero cosmological constant, and the more recently proposed ``quintessence'', with a slowly evolving energy-density component. We find luminosity corrections from +30 to -40 per cent for redshifts with $z=0 - 10$. This finding implicates that the SCP data do not, by themselves, require a revision of the current, rather qualitative modeling of gamma-ray bursts and quasar properties.Comment: RevTeX, 4 pages, 2 postscript figures, submitted to PR

Sometimes the Silence Can Be like the Thunder: Access to Pharmaceutical Data at the FDA

Those committed to the free exchange of scientific information have long complained about various restrictions on access to the FDA\u27s pharmaceutical data and the resultant restrictions on open discourse. A review of open-government procedures and litigation at the FDA demonstrates that the need for transparency at the agency extend well beyond the reach of any clinical trial registry

SZZ Unleashed: An Open Implementation of the SZZ Algorithm -- Featuring Example Usage in a Study of Just-in-Time Bug Prediction for the Jenkins Project

Numerous empirical software engineering studies rely on detailed information about bugs. While issue trackers often contain information about when bugs were fixed, details about when they were introduced to the system are often absent. As a remedy, researchers often rely on the SZZ algorithm as a heuristic approach to identify bug-introducing software changes. Unfortunately, as reported in a recent systematic literature review, few researchers have made their SZZ implementations publicly available. Consequently, there is a risk that research effort is wasted as new projects based on SZZ output need to initially reimplement the approach. Furthermore, there is a risk that newly developed (closed source) SZZ implementations have not been properly tested, thus conducting research based on their output might introduce threats to validity. We present SZZ Unleashed, an open implementation of the SZZ algorithm for git repositories. This paper describes our implementation along with a usage example for the Jenkins project, and conclude with an illustrative study on just-in-time bug prediction. We hope to continue evolving SZZ Unleashed on GitHub, and warmly invite the community to contribute

Introducing Agile Principles and Management to a Library Organization

Libraries are pressured to adapt to changing conditions due to user demands, behavior, emerging technologies and a need for cost-efficient solutions. Software companies have turned to agile development to stay competitive and to deliver working solutions in a short timeframe. Agile processes are built upon co-operation, iterative workflows and delivering working solutions with a high business value. Agile development and management in an agile organization constitutes a controlled framework of principles with a promise to ensure that the organization focuses on the right things and is able to adapt to new needs. The Library at Chalmers University of Technology in Sweden introduced agile software development in 2011 as a part of the work with the institutional repository. Following the success of introducing Scrum to system developers the formation of cross-disciplinary teams for other projects involved librarians. One of the projects for a cross-disciplinary team was to develop a brand new website. Drawing upon the experience of Scrum and with a focus on User Experience design (UX) the team was able to define an agile methodology involving different competences at the library. As other projects formed and adopted the principles of Scrum and agile the methodology spread throughout the library organization as it was re-organized. Managing an agile oriented organization can be challenging. Senior management has been forced to work with allocating resources, input to prioritization, sprint planning and judging business value thus forcing a transparency to appear in the organization and exposing its operations. Chalmers Library is still exploring the possibilities and challenges of working with agile development and management. It is an iterative and evolving process, but the benefits far outweigh the drawbacks as the organization can learn and respond to change, re-prioritize how resources are allocated, avoid knowledge silos, build strong teams and identify uncertainties early. As of January 1st 2014 the library organization changed and introduced agile principles throughout all operations

Microstructure and viscosity of in vitro-digested rye and wheat food products

Understanding rye and wheat digestion is vital for evaluating impacts on nutrient availability and glycaemic responses. This study investigated the disintegration of processed high-fibre rye foods and refined wheat products during simulated intestinal digestion, aiming to link product characteristics with nutrient liberation. The overarching aim was to elucidate how these rye products contribute to the observed benefits in human intervention studies, particularly regarding satiety, weight loss, and metabolism.Analysis included four wholegrain rye products and three refined wheat products, spanning yeast-fermented breads and un-leavened cereal products. Microstructure examination revealed larger, partially intact digesta particles in wholegrain rye products after 120 min of digestion, alongside more aggregated and less degraded starch granules compared to refined wheat bread. Fermented rye bread exhibited greater degradation of subaleurone cell wall fragments than un-fermented rye bread. Viscosity assessments indicated lower viscosity for wheat products than for rye products, with yeast-fermented soft rye bread and rye crispbread showing notably lower viscosity than unfermented rye products. Post-digestion carbohydrate analysis uncovered higher glucose and maltose release during digestion for wheat products. PCA analysis confirmed negative correlations between glucose and maltose release and rye products, characterized by larger post-digestion bolus particles and higher dietary fibre. The elevated cell wall content in rye products acted as a protective barrier for starch granules, mitigating swelling and amylose release, explaining the observed viscosity differences between wheat and rye products and potentially influencing starch digestibility. Consequently, rye products undergo slower and less complete digestion than wheat, aligning with findings from human intervention studies