• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,792
Next 10 →

Is public expenditure productive?

by David Alan Aschauer - JOURNAL OF MONETARY ECONOMICS , 1989
"... This paper considers the relationship between aggregate productivity and stock and flow government-spending variables. The empirical results indicate that (i) the nonmilitary public capital stock is dramatically more important in determining productivity than is either the flow of nonmilitary or mil ..."
Abstract - Cited by 937 (2 self) - Add to MetaCart
This paper considers the relationship between aggregate productivity and stock and flow government-spending variables. The empirical results indicate that (i) the nonmilitary public capital stock is dramatically more important in determining productivity than is either the flow of nonmilitary

Global burden of cardiovascular diseases: part I: general considerations, the epidemiologic transition, risk factors, and impact of urbanization. Circulation

by Salim Yusuf, Dphil Srinath Reddy, Md Stephanie Ôunpuu, Phd Sonia An
"... Abstract—This two-part article provides an overview of the global burden of atherothrombotic cardiovascular disease. Part I initially discusses the epidemiologic transition which has resulted in a decrease in deaths in childhood due to infections, with a concomitant increase in cardiovascular and ot ..."
Abstract - Cited by 420 (5 self) - Add to MetaCart
Abstract—This two-part article provides an overview of the global burden of atherothrombotic cardiovascular disease. Part I initially discusses the epidemiologic transition which has resulted in a decrease in deaths in childhood due to infections, with a concomitant increase in cardiovascular

Symbolic Model Checking with Partitioned Transition Relations

by J. R. Burch, E. M. Clarke, D. E. Long , 1991
"... We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs. This method can be applied to both synchronous and asynchronous circuits. The times necessary to verify a synchronous pipeline and an asynchronous ..."
Abstract - Cited by 181 (17 self) - Add to MetaCart
We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs. This method can be applied to both synchronous and asynchronous circuits. The times necessary to verify a synchronous pipeline

Was the Industrial Revolution Inevitable? Economic Growth over the Very Long Run

by Charles I. Jones - Advances in Macroeconomics , 2001
"... This paper studies a growth model that is able to match two key facts of economic history. First, for thousands of years, the average standard of leaving seems to have risen very little, despite increases in the level of technology and large increases in the level of the popula-tion. Second, after t ..."
Abstract - Cited by 179 (1 self) - Add to MetaCart
thousands of years of little change, the level of per capita consumption has increased dramatically in less than two cen-turies. Quantitative analysis of the model highlights the importance of increases in the productivity with which a given population produces new ideas as crucial to the observed

Jails: Confining the omnipotent root

by Poul-henning Kamp, Robert N. M. Watson - In Proc. 2nd Intl. SANE Conference , 2000
"... The traditional UNIX security model is simple but inexpressive. Adding fine-grained access control improves the expressiveness, but often dramatically increases both the cost of system management and implementation complexity. Inenvironments with a more complex management model, with delegation of s ..."
Abstract - Cited by 144 (4 self) - Add to MetaCart
The traditional UNIX security model is simple but inexpressive. Adding fine-grained access control improves the expressiveness, but often dramatically increases both the cost of system management and implementation complexity. Inenvironments with a more complex management model, with delegation

Verification Tools for Finite-State Concurrent Systems

by E. Clarke, O. Grumberg, D. Long
"... Temporal logic model checking is an automatic technique for verifying finite-state concurrent systems. Specifications are expressed in a propositional temporal logic, and the concurrent system is modeled as a state-transition graph. An efficient search procedure is used to determine whether or not t ..."
Abstract - Cited by 130 (3 self) - Add to MetaCart
or not the state-transition graph satisfies the specification. When the technique was first developed ten years ago, it was only possible to handle concurrent systems with a few thousand states. In the last few years, however, the size of the concurrent systems that can be handled has increased dramatically

Punitive sanctions and the transition rate from welfare to work

by Gerard J. Van Den Berg - Journal of Labor Economics , 2004
"... In the Netherlands, the average exit rate out of welfare is dramatically low. Most welfare recipients have to comply with guidelines on job search effort that are imposed by the welfare agency. If they do not, then a sanction in the form of a temporary benefit reduction can be imposed. This article ..."
Abstract - Cited by 77 (10 self) - Add to MetaCart
In the Netherlands, the average exit rate out of welfare is dramatically low. Most welfare recipients have to comply with guidelines on job search effort that are imposed by the welfare agency. If they do not, then a sanction in the form of a temporary benefit reduction can be imposed. This article

ASIFT: A NEW FRAMEWORK FOR FULLY AFFINE INVARIANT IMAGE COMPARISON

by Jean-michel Morel, Guoshen Yu
"... Abstract. If a physical object has a smooth or piecewise smooth boundary, its images obtained by cameras in varying positions undergo smooth apparent deformations. These deformations are locally well approximated by affine transforms of the image plane. In consequence the solid object recognition pr ..."
Abstract - Cited by 132 (4 self) - Add to MetaCart
is feasible with no dramatic computational load. A two-resolution scheme further reduces the ASIFT complexity to about twice that of SIFT. A new notion, the transition tilt, measuring the amount of distortion from one view to another is introduced. While an absolute tilt from a frontal to a slanted view

Returns to Human Capital Under the Communist Wage Grid and During the Transition to a Market Economy.” Prague: CERGE-EI Discussion Paper #29/99

by Daniel Munich, Katherine Terrell , 1999
"... Under communism, wages were set according to a centrally-determined wage grid. We use micro data on men to estimate returns to human capital under the communist wage grid and during the transition to a market economy. We use data from the Czech Republic because it maintained the grid until the end o ..."
Abstract - Cited by 96 (7 self) - Add to MetaCart
of the communist regime. We demonstrate that for decades the communist wage grid maintained extremely low rate of return on education, but that the return increased dramatically and equally in all ownership categories of firms during the transition. We also show that (a) men’s wageexperience profile was concave

A simple model for complex dynamical transitions in epidemics

by David J. D. Earn, Pejman Rohani, Benjamin M. Bolker, Bryan T. Grenfell - Science , 2000
"... Dramatic changes in patterns of epidemics have been observed throughout this century. For childhood infectious diseases such as measles, the major transitions are between regular cycles and irregular, possibly chaotic epidemics, and from regionally synchronized oscillations to complex, spatially inc ..."
Abstract - Cited by 64 (12 self) - Add to MetaCart
Dramatic changes in patterns of epidemics have been observed throughout this century. For childhood infectious diseases such as measles, the major transitions are between regular cycles and irregular, possibly chaotic epidemics, and from regionally synchronized oscillations to complex, spatially
Next 10 →
Results 1 - 10 of 1,792
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University