782 research outputs found
Decision Procedure for Entailment of Symbolic Heaps with Arrays
This paper gives a decision procedure for the validity of en- tailment of
symbolic heaps in separation logic with Presburger arithmetic and arrays. The
correctness of the decision procedure is proved under the condition that sizes
of arrays in the succedent are not existentially bound. This condition is
independent of the condition proposed by the CADE-2017 paper by Brotherston et
al, namely, one of them does not imply the other. For improving efficiency of
the decision procedure, some techniques are also presented. The main idea of
the decision procedure is a novel translation of an entailment of symbolic
heaps into a formula in Presburger arithmetic, and to combine it with an
external SMT solver. This paper also gives experimental results by an
implementation, which shows that the decision procedure works efficiently
enough to use
Integrating Macroeconomics and Corporate Finance in Executive Education
Executive education is increasingly using team teaching and an integrated approach to curriculum development and delivery. We outline one example of how economic policy and basic finance concepts can be connected. Specifically, we utilize a simple model to illustrate the impact that monetary and fiscal policy, via interest rate and tax rate changes, can have on the growth capacity and dividend paying capacity of the firm
Primary Election Systems and Candidate Deviation
The purpose of this paper is to analyze the effect of primary voting systems on the ability of agent-representatives to deviate within the median voter model. While conclusions are consistent with the results found in Gerber and Morton (1998), this paper extends their analysis by including the role played by electoral security and the extant incentives that accompany it. The results presented herein make 2 important contributions to the literature. First, while the report has been consistent with the literature in maintaining that deviation is driven by ideology, these results reflect that institutional arrangements also allow for deviation. Second, the measurement combining ADA and ACU scores reduces the potential of liberal bias or conservative bias by combining these scores into the determination of the dependent variable. Results suggest that more open primaries produce candidates with positions that are closer to those of the median voter. If blanket primaries encourage broader electoral participation by voters, the resulting median voter in such primaries will more closely resemble the median voter in the entire constituency.Election
Corruption and Voter Turnout: Evidence from the US States
The literature on voter turnout focuses on the determinants of the electorate’s vote supply. There is growing recognition, however, that the demanders of votes—candidates, political parties, and interest groups—have strong incentives to invest resources in mobilizing support on Election Day. The authors test the hypothesis that corruption rents increase the value of holding public office and, hence, elicit greater demand-side effort in building winning coalitions. Analyzing a pooled time-series data set of public officials convicted of misusing their offices between 1979 and 2005, we find, after controlling for other influential factors, that governmental corruption raises voter turnout rates in gubernatorial elections
Internal Anisotropy of Collision Cascades
We investigate the internal anisotropy of collision cascades arising from the
branching structure. We show that the global fractal dimension cannot give an
adequate description of the geometrical structure of cascades because it is
insensitive to the internal anisotropy. In order to give a more elaborate
description we introduce an angular correlation function, which takes into
account the direction of the local growth of the branches of the cascades. It
is demonstrated that the angular correlation function gives a quantitative
description of the directionality and the interrelation of branches. The power
law decay of the angular correlation is evidenced and characterized by an
exponent and an angular correlation length different from the radius of
gyration. It is demonstrated that the overlapping of subcascades has a strong
effect on the angular correlation.Comment: RevteX, 8 pages, 6 .eps figures include
Corruption and Voter Participation: Evidence from the U.S. States
Abstract: The literature on voter turnout focuses on the determinants of the electorate's vote supply. There is growing recognition, however, that the demanders of votes -candidates, political parties and interest groups -have strong incentives to invest resources in mobilizing support on Election Day. We test the hypothesis that corruption rents increase the value of holding public office and, hence, elicit greater demand-side effort in building winning coalitions. Analyzing a panel dataset of public officials convicted of misusing their offices between 1977 and 2005, we find, after controlling for other influential factors, that governmental corruption raises voter turnout rates in gubernatorial elections. JEL Classifications: D72, K4, H
Clinical phenotype and contagiousness of early breakthrough SARS-CoV-2 infections after BNT162b2 COVID-19 mRNA vaccine: A parallel cohort study in healthcare workers
What Developers Want and Need from Program Analysis: An Empirical Study
Program Analysis has been a rich and fruitful field of research for many decades, and countless high quality program analysis tools have been produced by academia. Though there are some well-known examples of tools that have found their way into routine use by practitioners, a common challenge faced by researchers is knowing how to achieve broad and lasting adoption of their tools. In an effort to understand what makes a program analyzer most attractive to developers, we mounted a multi-method investigation at Microsoft. Through interviews and surveys of developers as well as analysis of defect data, we provide insight and answers to four high level research questions that can help researchers design program analyzers meeting the needs of software developers.
First, we explore what barriers hinder the adoption of program analyzers, like poorly expressed warning messages. Second, we shed light on what functionality developers want from analyzers, including the types of code issues that developers care about. Next, we answer what non-functional characteristics an analyzer should have to be widely used, how the analyzer should fit into the development process, and how its results should be reported. Finally, we investigate defects in one of Microsoft's flagship software services, to understand what types of code issues are most important to minimize, potentially through program analysis
Defining best practices in the management of geothermal exploration data
International audienceThe objective of this work is to define best practices in the management of geothermal exploration data. This study builds on a questionnaire to survey the geothermal data management practices in mature geothermal markets. The inquiry targeted public Regulatory entities with overview of geothermal resources as well as public and private developers. Topics covered in the questionnaire range from the country status to the database set up. The questionnaire focused on the specifications, usage and investments required for installing/maintaining information systems capable of managing exploration data. In addition, information on the different regulatory frameworks and company policies for managing/sharing exploration data has been gathered to identify the requirements imposed on the design of information systems. The responses were analyzed to identify commonalities in data management practices. They reveal that installing an Information System (IS) is the best practice to systematically and securely manage exploration data. They also provide recommendations with respect to the regulatory framework, data types, data collection methodologies, data storage, data quality control, data accessibility and dissemination, IS architecture, financial investments and human resources required to develop a state-of-the art IS. These results will guide the design of future technical assistance programs for beneficiaries of World Bank support to geothermal exploration activities and it is our belief that they will be beneficial for the geothermal sector at large
- …