The High Court on crime in 2014: Outcomes and jurisprudence

This article examines the Australian High Court decisions in 2014 which relate to criminal matters. This systematic analysis of all High Court judgments commenced in this Journal in 2010 and is now undertaken annually. The article explains the principles that derive from these cases and identifies jurisprudential themes from the decisions. It also sets outthe significance of the cases and the possible wider consequences of the decisions.

Optimal design of traffic signal controller using neural networks and fuzzy logic systems

This paper aims at optimally adjusting a set of green times for traffic lights in a single intersection with the purpose of minimizing travel delay time and traffic congestion. Neural network (NN) and fuzzy logic system (FLS) are two methods applied to develop intelligent traffic timing controller. For this purpose, an intersection is considered and simulated as an intelligent agent that learns how to set green times in each cycle based on the traffic information. The training approach and data for both these learning methods are similar. Both methods use genetic algorithm to tune their parameters during learning. Finally, The performance of the two intelligent learning methods is compared with the performance of simple fixed-time method. Simulation results indicate that both intelligent methods significantly reduce the total delay in the network compared to the fixed-time method.

Linear functional state bounding for perturbed time-delay systems and its application

This paper considers time-delay systems with bounded disturbances. We study a new problem of finding an upper bound of an absolute value function of any given linear functional of the state vector starting from the origin of the system. Based on the Lyapunov-Krasovskii method combining with the recent Wirtinger-based integral inequality that has just been proposed by Seuret & Gouaisbaut (2013. Wirtinger-based integral inequality: application to time-delay systems. Automatica, 49, 2860-2866), sufficient conditions for the existence of an upper bound of the function are derived. The obtained results are shown to be more effective than those adapted from the existing works on reachable set bounding. Furthermore, the obtained results are applied to refine existing ellipsoidal bounds of the reachable sets. The effectiveness of the obtained results is illustrated by two numerical examples.

On backwards and forwards reachable sets bounding for perturbed time-delay systems

Linear systems with interval time-varying delay and unknown-but-bounded disturbances are considered in this paper. We study the problem of finding outer bound of forwards reachable sets and inter bound of backwards reachable sets of the system. Firstly, two definitions on forwards and backwards reachable sets, where initial state vectors are not necessary to be equal to zero, are introduced. Then, by using the Lyapunov-Krasovskii method, two sufficient conditions for the existence of: (i) the smallest possible outer bound of forwards reachable sets; and (ii) the largest possible inter bound of backwards reachable sets, are derived. These conditions are presented in terms of linear matrix inequalities with two parameters need to tuned, which therefore can be efficiently solved by combining existing convex optimization algorithms with a two-dimensional search method to obtain optimal bounds. Lastly, the obtained results are illustrated by four numerical examples.

Congestion pricing and active transport - evidence from five opportunities for natural experiment

Congestion pricing schemes have been implemented in cities worldwide as a means of addressing externalities associated with inefficient price signals in transport systems. Limited evidence exists however on the secondary impacts of these schemes, which may include both environmental and health benefits associated with a resultant reduction in motor vehicle usage. There is increasing recognition that transport behaviours may play a role as opportunistic population level targets to reduce physical inactivity. Yet limited evidence currently exists on the effectiveness of transport interventions, such as congestion pricing schemes, for improving physical activity levels.This study aims to examine the physical activity effects of congestion pricing, with the health benefits of physical activity well established. Congestion pricing schemes implemented internationally were considered as 'natural experiments' and evidence of modal shift from vehicle to active forms of transport or physical activity effect was reviewed. Twelve studies were included from a search of peer-reviewed and 'grey' literature, with overall evidence for a physical activity or modal shift effect considered weak. The quality of the available evidence was also considered to be low.This is not to say that congestion pricing schemes may not have important secondary physical activity related health benefits. Instead, this review highlights the paucity of evidence that has been collected from real-world implementation of congestion pricing schemes. Given the growing recognition of the importance of distal mediators and determinants of health and the need for an 'all-of-government' approach more and better quality evidence of effectiveness of transport interventions for a broad range of outcomes, including health, is required. Significant barriers to the collection of such evidence exist, with strategies for overcoming some of these barriers identified. Only with a better understanding of the full range of potential health impacts can transport policy be fully utilised as a tool for population health.

Discrete inequalities based on multiple auxiliary functions and their applications to stability analysis of time-delay systems

Abstract
This paper presents new discrete inequalities for single summation and double summation. These inequalities are based on multiple auxiliary functions and include the Jensen discrete inequality and the discrete Wirtinger-based inequality as special cases. An application of these discrete inequalities to analyse stability of linear discrete systems with an interval time-varying delay is studied and a less conservative stability condition is obtained. Three numerical examples are given to show the effectiveness of the obtained stability condition.

Automatic layout generation of static CMOS circuits targeting delay and power

The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

Sacredness of the constitutional text and interpretative heresy: the Brazilian Supreme Court decision on same-sex civil unions

The paper provides a close lecture of the arguments and methods of legal construction, employed in the extensive individual opinions written by the Justices of the Brazilian Supreme Court in the case which authorized the same sex civil union. After tracing an outline of the legal problem and his possible solutions, we analyze the individual opinions, showing their methodological syncretism, the use of legal methods and arguments in a contradictory way as well the deficiencies in the reasoning. The Justices use legal arguments, but do not meet the requirements of rationality in the decision-making. We have a rhetorical attempt that aims to satisfy the public opinion than to offer a comprehensive and coherent solution according the normative elements of the Brazilian Federal Constitution of 1988.

Information mining and visualization of data from the Brazilian Supreme Court (STF): a case study

EMAp - Escola de Matemática Aplicada

Delay discounting: concepts and measures

Delay discounting, one element which underlies decision-making, can be defined as the depreciation of the value of a reward related to the time that it takes to be released. High rates of delay discounting are found in subjects who are willing to forgo greater rewards available only after some length of time and who show a preference for smaller rewards that are available immediately. Widely used as a measure of impulsiveness, delay discounting can be evaluated using experimental tasks. The present review evaluated tasks of delay discounting, their features, measures of evaluation and anomalies, and some variables that can affect delay discounting results and applications in the study of individual and intra-individual differences.

Sliding mode for detection and accommodation of computation time delay fault

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Possible New Syndrome: Left Ventricular Noncompaction, Partial Agenesis of the Corpus Callosum, and Developmental Delay in a Brazilian Child

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)