Enforcement and Compliance in Lima's Street Markets: The Origins and Consequences of Policy Incoherence toward Informal Traders

informal economy, taxation, law, government policy

Enforcement and compliance in Lima's street markets: the origins and consequences of policy incoherence toward informal traders

Almost twenty years have passed since researchers from the Institute for Liberty and Democracy in Peru showed how ‘bad laws’ impose disproportionate costs on those who choose formality. Although a multitude of conflicting regulations still precludes effective governance of informal trade in Lima, this paper argues that the sources of those conflicts are more diverse – though perhaps more tractable – than they might have been twenty years ago. Specifically, the paper identifies three sources of policy incoherence in Lima that contribute to persistent clashes between informal workers and policy makers: (1) the lack of definitional clarity in national and metropolitan-level legislation; (2) the absence of reliable mechanisms designed to resolve those definitional contradictions; and (3) a resulting lack of policy continuity over time within individual municipal administrations

Tracking defect-induced ferromagnetism in GaN:Gd

We report on the magnetic properties of GaN:Gd layers grown by molecular beam epitaxy (MBE). A poor reproducibility with respect to the magnetic properties is found in these samples. Our results show strong indications that defects with a concentration of the order of 10^19 cm^-3 might play an important role for the magnetic properties. Positron annihilation spectroscopy does not support the suggested connection between the ferromagnetism and the Ga vacancy in GaN:Gd. Oxygen co-doping of GaN:Gd promotes ferromagnetism at room temperature and points to a role of oxygen for mediating ferromagnetic interactions in Gd doped GaN

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change

Consequences of test use: a case study of employers’ voice on the social impact of English certification exit requirements in Taiwan

Background: This study investigates the social impact of a policy requiring university graduates to pass an English proficiency test by examining the consequences of test use in the workplace in Taiwan. Methods: Interviews were conducted with 19 business people in charge of recruiting potential employees in 17 industries across Taiwan. All these 19 employers hired the gratudes from a technological university in southern Taiwan. These interviews sought to discover the importance of English certification as an element of job hunting, the opinions of businesses regarding various certification tests, and their attitudes towards the exit requirement. Results and conclusions: Findings indicate that although these employers were favorably disposed towards this policy, only 13 % of them required English certificates as a hiring criterion. Another finding was that 53 % of employers regarded the certificates as evidence that applicants who possessed them were diligent and likely to be hard-working employees. These informants interpreted tests differently from testers, focusing on cultural notions of what personal qualities tests highlight rather than on language ability. Due to this and other factors, the impact of the test remained weak

Functional NIRS Measurement of Cytochrome-C-Oxidase Demonstrates a More Brain-Specific Marker of Frontal Lobe Activation Compared to the Haemoglobins

Functional near-infrared spectroscopy (fNIRS) is an increasingly common neuromonitoring technique used to observe evoked haemodynamic changes in the brain in response to a stimulus. The measurement is typically in terms of concentration changes of oxy- (∆HbO2) and deoxy- (∆HHb) haemoglobin. However, noise from systemic fluctuations in the concentration of these chromophores can contaminate stimulus-evoked haemodynamic responses, leading to misinterpretation of results. Short-separation channels can be used to regress out extracerebral haemodynamics to better reveal cerebral changes, significantly improving the reliability of fNIRS. Broadband NIRS can be used to additionally monitor concentration changes of the oxidation state of cytochrome-c-oxidase (∆oxCCO). Recent studies have shown ∆oxCCO to be a depth-dependent and hence brain-specific signal. This study aims to investigate whether ∆oxCCO can produce a more robust marker of functional activation. Continuous frontal lobe NIRS measurements were collected from 17 healthy adult volunteers. Short 1 cm source-detector separation channels were regressed from longer separation channels in order to minimise the extracerebral contribution to standard fNIRS channels. Significant changes in ∆HbO2 and ∆HHb were seen at 1 cm channels but were not observed in ∆oxCCO. An improvement in the haemodynamic signals was achieved with regression of the 1 cm channel. Broadband NIRS-measured concentration changes of the oxidation state of cytochrome-c-oxidase has the potential to be an alternative and more brain-specific marker of functional activation

Lessons from integrating behaviour and resource selection: activity-specific responses of African wild dogs to roads

Understanding how anthropogenic features affect species' abilities to move within landscapes is essential to conservation planning and requires accurate assessment of resource selection for movement by focal species. Yet, the extent to which an individual's behavioural state (e.g. foraging, resting, commuting) influences resource selection has largely been ignored. Recent advances in Global Positioning System (GPS) tracking technology can fill this gap by associating distinct behavioural states with location data. We investigated the role of behaviour in determining the responses of an endangered species of carnivore, the African wild dog Lycaon pictus, to one of the most widespread forms of landscape alteration globally: road systems. We collected high‐resolution GPS and activity data from 13 wild dogs in northern Botswana over a 2‐year period. We employed a step selection framework to measure resource selection across three behavioural states identified from activity data (high‐speed running, resting and travelling) and across a gradient of habitats and seasons, and compared these outputs to a full model that did not parse for behaviour. The response of wild dogs to roads varied markedly with both the behavioural and the landscape contexts in which roads were encountered. Specifically, wild dogs selected roads when travelling, ignored roads when high‐speed running and avoided roads when resting. This distinction was not evident when all movement data were considered together in the full model. When travelling, selection for roads increased in denser vegetative environments, suggesting that roads may enhance movement for this species. Our findings indicate that including behavioural information in resource selection models is critical to understanding wildlife responses to landscape features and suggest that successful application of resource selection analyses to conservation planning requires explicit examination of the behavioural contexts in which movement occurs. Thus, behaviour‐specific step selection functions offer a powerful tool for identifying resource selection patterns for animal behaviours of conservation significance

Data refinement for true concurrency

The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many systems (e.g., multi-core processors, real-time controllers) also exhibit truly concurrent behaviour, where multiple events can occur simultaneously. This paper presents data refinement defined in terms of an interval-based framework, which includes high-level operators that capture non-deterministic expression evaluation. By modifying the type of an interval, our theory may be specialised to cover data refinement of both discrete and continuous systems. We present an interval-based encoding of forward simulation, then prove that our forward simulation rule is sound with respect to our data refinement definition. A number of rules for decomposing forward simulation proofs over both sequential and parallel composition are developed

Isomorphisms of algebras of Colombeau generalized functions

We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the multiplicative linear functionals from the special algebra of Colombeau generalized functions on X to the ring of Colombeau generalized numbers. Up to multiplication with an idempotent generalized number, they are given by an evaluation map at a compactly supported generalized point on X.Comment: 10 page