An adaptivity hierarchy theorem for property testing

Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of adaptive testing algorithms, wherein each query may be determined by the answers received to prior queries, and their non-adaptive counterparts, in which all queries are independent of answers obtained from previous queries. In this work, we investigate the role of adaptivity in property testing at a finer level. We first quantify the degree of adaptivity of a testing algorithm by considering the number of "rounds of adaptivity" it uses. More accurately, we say that a tester is k-(round) adaptive if it makes queries in k+1 rounds, where the queries in the i'th round may depend on the answers obtained in the previous i-1 rounds. Then, we ask the following question: Does the power of testing algorithms smoothly grow with the number of rounds of adaptivity? We provide a positive answer to the foregoing question by proving an adaptivity hierarchy theorem for property testing. Specifically, our main result shows that for every n in N and 0 <= k <= n^{0.99} there exists a property Pi_{n,k} of functions for which (1) there exists a k-adaptive tester for Pi_{n,k} with query complexity tilde O(k), yet (2) any (k-1)-adaptive tester for Pi_{n,k} must make Omega(n) queries. In addition, we show that such a qualitative adaptivity hierarchy can be witnessed for testing natural properties of graphs

An Adaptivity Hierarchy Theorem for Property Testing

Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of adaptive testing algorithms, wherein each query may be determined by the answers received to prior queries, and their non-adaptive counterparts, in which all queries are independent of answers obtained from previous queries. In this work, we investigate the role of adaptivity in property testing at a finer level. We first quantify the degree of adaptivity of a testing algorithm by considering the number of "rounds of adaptivity" it uses. More accurately, we say that a tester is k-(round) adaptive if it makes queries in k+1 rounds, where the queries in the i\u27th round may depend on the answers obtained in the previous i-1 rounds. Then, we ask the following question: Does the power of testing algorithms smoothly grow with the number of rounds of adaptivity? We provide a positive answer to the foregoing question by proving an adaptivity hierarchy theorem for property testing. Specifically, our main result shows that for every n in N and 0 <= k <= n^{0.99} there exists a property Pi_{n,k} of functions for which (1) there exists a k-adaptive tester for Pi_{n,k} with query complexity tilde O(k), yet (2) any (k-1)-adaptive tester for Pi_{n,k} must make Omega(n) queries. In addition, we show that such a qualitative adaptivity hierarchy can be witnessed for testing natural properties of graphs

An adaptivity hierarchy theorem for property testing

Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of adaptive testing algorithms, wherein each query may be determined by the answers received to prior queries, and their non-adaptive counterparts, in which all queries are independent of answers obtained from previous queries. In this work, we investigate the role of adaptivity in property testing at a finer level. We first quantify the degree of adaptivity of a testing algorithm by considering the number of "rounds of adaptivity" it uses. More accurately, we say that a tester is k-(round) adaptive if it makes queries in k+1 rounds, where the queries in the i'th round may depend on the answers obtained in the previous i-1 rounds. Then, we ask the following question: Does the power of testing algorithms smoothly grow with the number of rounds of adaptivity? We provide a positive answer to the foregoing question by proving an adaptivity hierarchy theorem for property testing. Specifically, our main result shows that for every n in N and 0 <= k <= n^{0.99} there exists a property Pi_{n,k} of functions for which (1) there exists a k-adaptive tester for Pi_{n,k} with query complexity tilde O(k), yet (2) any (k-1)-adaptive tester for Pi_{n,k} must make Omega(n) queries. In addition, we show that such a qualitative adaptivity hierarchy can be witnessed for testing natural properties of graphs

Foundations for programming and implementing effect handlers

First-class control operators provide programmers with an expressive and efficient means for manipulating control through reification of the current control state as a first-class object, enabling programmers to implement their own computational effects and control idioms as shareable libraries. Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying operations and separating from their handling. This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect handlers as well as exploring the expressive power of effect handlers. The first strand develops a fine-grain call-by-value core calculus of a statically typed programming language with a structural notion of effect types, as opposed to the nominal notion of effect types that dominates the literature. With the structural approach, effects need not be declared before use. The usual safety properties of statically typed programming are retained by making crucial use of row polymorphism to build and track effect signatures. The calculus features three forms of handlers: deep, shallow, and parameterised. They each offer a different approach to manipulate the control state of programs. Traditional deep handlers are defined by folds over computation trees, and are the original con-struct proposed by Plotkin and Pretnar. Shallow handlers are defined by case splits (rather than folds) over computation trees. Parameterised handlers are deep handlers extended with a state value that is threaded through the folds over computation trees. To demonstrate the usefulness of effects and handlers as a practical programming abstraction I implement the essence of a small UNIX-style operating system complete with multi-user environment, time-sharing, and file I/O. The second strand studies continuation passing style (CPS) and abstract machine semantics, which are foundational techniques that admit a unified basis for implementing deep, shallow, and parameterised effect handlers in the same environment. The CPS translation is obtained through a series of refinements of a basic first-order CPS translation for a fine-grain call-by-value language into an untyped language. Each refinement moves toward a more intensional representation of continuations eventually arriving at the notion of generalised continuation, which admit simultaneous support for deep, shallow, and parameterised handlers. The initial refinement adds support for deep handlers by representing stacks of continuations and handlers as a curried sequence of arguments. The image of the resulting translation is not properly tail-recursive, meaning some function application terms do not appear in tail position. To rectify this the CPS translation is refined once more to obtain an uncurried representation of stacks of continuations and handlers. Finally, the translation is made higher-order in order to contract administrative redexes at translation time. The generalised continuation representation is used to construct an abstract machine that provide simultaneous support for deep, shallow, and parameterised effect handlers. kinds of effect handlers. The third strand explores the expressiveness of effect handlers. First, I show that deep, shallow, and parameterised notions of handlers are interdefinable by way of typed macro-expressiveness, which provides a syntactic notion of expressiveness that affirms the existence of encodings between handlers, but it provides no information about the computational content of the encodings. Second, using the semantic notion of expressiveness I show that for a class of programs a programming language with first-class control (e.g. effect handlers) admits asymptotically faster implementations than possible in a language without first-class control

Person-Centered Outcome Metrology

This unique collection of chapters from world experts on person-centered outcome (PCO) measures addresses the following critical questions: Can individual experiences be represented in measurements that do not reduce unique differences to meaningless uniformity? How person-centric are PCO measures? Are PCO measurements capable of delivering the kind of quality assured quantification required for high-stakes decision making? Are PCO measures likely to support improved health care delivery? Have pivotal clinical studies failed to deliver treatments for diseases because of shortcomings in the PCO measures used? Are these shortcomings primarily matters of precision and meaningfulness? Or is the lack of common languages for communicating outcomes also debilitating to quality improvement, research, and the health care economy? Three key issues form an urgent basis for further investigation. First, the numbers generated by PCO measures are increasingly used as the central dependent variables upon which high stakes decisions are made. The rising profile of PCO measures places new demands for higher quality information from scale and test construction, evaluation, selection, and interpretation. Second, PCO measurement science has well-established lessons to be learned from those who have built and established the science over many decades. Finally, the goal in making a PCO measurement is to inform outcome management. As such, it is vitally important that key stakeholders understand that, over the last half century, developments in psychometrics have refocused measurement on illuminating clinically important individual differences in the context of widely reproduced patterns of variation in health and functioning, comparable scale values for quality improvement, and practical explanatory models. This book’s audience includes anyone interested in person-centered care, including healthcare researchers and practitioners, policy makers, pharmaceutical industry representatives, clinicians, patient advocates, and metrologists. This is an open access book

Person-Centered Outcome Metrology

This unique collection of chapters from world experts on person-centered outcome (PCO) measures addresses the following critical questions: Can individual experiences be represented in measurements that do not reduce unique differences to meaningless uniformity? How person-centric are PCO measures? Are PCO measurements capable of delivering the kind of quality assured quantification required for high-stakes decision making? Are PCO measures likely to support improved health care delivery? Have pivotal clinical studies failed to deliver treatments for diseases because of shortcomings in the PCO measures used? Are these shortcomings primarily matters of precision and meaningfulness? Or is the lack of common languages for communicating outcomes also debilitating to quality improvement, research, and the health care economy? Three key issues form an urgent basis for further investigation. First, the numbers generated by PCO measures are increasingly used as the central dependent variables upon which high stakes decisions are made. The rising profile of PCO measures places new demands for higher quality information from scale and test construction, evaluation, selection, and interpretation. Second, PCO measurement science has well-established lessons to be learned from those who have built and established the science over many decades. Finally, the goal in making a PCO measurement is to inform outcome management. As such, it is vitally important that key stakeholders understand that, over the last half century, developments in psychometrics have refocused measurement on illuminating clinically important individual differences in the context of widely reproduced patterns of variation in health and functioning, comparable scale values for quality improvement, and practical explanatory models. This book’s audience includes anyone interested in person-centered care, including healthcare researchers and practitioners, policy makers, pharmaceutical industry representatives, clinicians, patient advocates, and metrologists. This is an open access book

Proceedings of the International Conference on Human and Economic Resources

This volume consists of papers presented at First Coonference in Economics co-organized by Izmir Univeristy of Economics and the State University of New York at Cortland on May 24-25, 2006 in Izmir, Turkey. The theme of the conference is "Human and Economic Resources".Human and Economic Resources are high on the economic agenda of most leading economies. No doubt, this is due to the strong relationship between Human and Economic Resources and growth and welfare. Papers presented cover issues such as quality of basic education, improvement of labor market information and analysis, enhancing skills in key sectors including small and medium sized enterprises (SMEs), mobility of skilled persons, enhancing quality, productivity, efficiency of the labor force and the workplace, strengthening cooperation to support trade and investment liberalization.Globalization, international trade, developing countries

Culture and Development in a Globalizing World

Using recent research on development projects around the world, this book argues that culture has become an explicit tool and framework for development discourse and practice. Providing a theoretical and empirically informed critique, this informative book includes conceptual overviews and case studies on topics such as: development for indigenous people natural resource management social capital and global markets for Third World music post-apartheid South Africa cultural difference in the USA’s late capitalism. The editor concludes by evaluating the outcomes of development’s ‘cultural turn’, proposing a framework for future work in this field. By combining case studies from both ‘Third World’ and ‘First World’ countries, the book, ideal for those in the fields of geography, culture and development studies, raises innovative questions about the ‘transferability’ of notions of culture across the world, and the types of actors involved

Sustainable development in South Africa through research in the National System of Innovation.

Doctor of Administration. University of KwaZulu-Natal, Westville 2014.This research examined the role of research commercialisation for Sustainable Development (SD) in South African National System of Innovation (NSI) within the context of public administration. The introduction has provided the research objectives, problem statement and the research questions. It should be noted that the theoretical perspective served as a ‘reference dictionary’ that informs the rest of the research, the literature has also examined the role of research commercialisation for SD in the African region from an international perspective. Further, the pragmatic research design adopted provides the basis for undertaking mixed-method research, namely: quantitative followed by qualitative, supplemented by secondary documents and the methodological data analysis triangulation technique has facilitated the achievement of a ‘whole greater than the sum of the parts’. In addition, the research methodology assessed the role of higher education institutions (HEIs) research commercialisation for SD. The findings identifying the HEIs as an important source of research for SD resulting in the findings showed that the HEIs face considerable constraints that hinder research commercialisation for SD, which include human resource capacity gaps, infrastructure and funding. The findings also identified HEIs-private sector collaboration as an important alternative avenue for research commercialisation for SD as a consequence the recommendations proposed that improving research commercialisation for SD should be high among the triple helix policy agenda. Finally, the recommendations also emphasised the importance of consolidating NSI gains, including efficiency in disseminating research results, efficient exploitation of new knowledge and technology transfer, leveraging the central role of the private sector in the NSI, effective application of intellectual property rights, broadening NSI actors’ participation, simplification of policies and procedures and efficiency of allocation of funding

The Community and Neighborhood Impacts of Local Foreclosure Responses: A Case Study of Cuyahoga County, Ohio

The U.S.-American foreclosure crisis and related economic crises have had severe and wide-reaching effects for the global economy, homeowners, and municipalities alike. These negative changes led to federal, state, regional, and local responses intended to prevent and mitigate foreclosures. As of yet, no research has examined the community- and neighborhood-level impacts of local foreclosure responses. This research seeks to determine the economic, physical, social, and political changes that resulted from these responses. A mixed methods case study of Cuyahoga County, Ohio, home to Cleveland, was used to identify local level foreclosure responses—i.e. those carried out at the county level and below—and their effects. The qualitative component was comprised of semi-structured stakeholder interviews, including local governmental representatives, advocacy groups, and neighborhood representatives. Two community subcases were investigated in depth to further examine the mechanisms and effects of foreclosure responses. The quantitative component supplements the qualitative component by means of a quantile regression model that examines relationships between foreclosure responses and changes in property value at the Census tract level, used to approximate communities. The model integrates data for the entire county and estimates coefficients at various quantiles of the dependent variable, which uncovers variations in the associations between the variables along the dependent variable’s distribution. That is, with quantile regression it is possible to determine whether foreclosure responses have different effects depending on community conditions. The results indicate that the national and local context are of particular importance when responding to the foreclosure crisis. Lackluster national level responses necessitated creative and innovative responses at the local level. The Cleveland region is characterized a weak housing market and its concomitant vacancy and abandonment problems. Thus, post-foreclosure responses that deal with blighted property are essential. A wide variety of foreclosure responses took place in Cuyahoga County, in the form of systems reform, foreclosure prevention, targeting, property acquisition and control, legal efforts, and community- and neighborhood-level efforts. Several strategies used in these responses emerged as themes: targeting, addressing blight, strengthening the social fabric, planning for the future, building institutions and organizational capacity, and advocacy. Physical and economic impacts are closely linked and are brought about especially by responses using targeting and blight reduction strategies. Social impacts, such as increased identification with, investment in, and commitment to the community occurred as the result of responses that used the strategies of strengthening the social fabric and planning a shared future for the community. Finally, the strategies of building institutions and organizational capacity and advocacy resulted in increased political power in the form of more local control and additional resources for neighborhoods and communities. These results provide deeper insight into the effects of the foreclosure crisis and local responses to it on neighborhoods and communities. This case study identifies the importance of targeting, blight removal, strengthening social bonds, planning for a shared future, increasing organizational capacity, and advocacy in addressing the foreclosure crisis on the community and neighborhood levels, especially in weak housing market cities where need far outstrips the available resources