This Note proposes such a consistent approach, arguing that courts in international extradition cases should focus on the accused's risk of flight rather than on the presence or absence of specific "special circumstances." Part I briefly discusses the international extradition process and outlines the important societal and individual interests at stake in the bail decision. Part II discusses the origin and evolution of the judicial approaches to bail in international extradition cases and demonstrates the inconsistency in the lower courts' treatment. Part III suggests an approach for making bail decisions in international extradition cases. It argues that the determinative factor in the bail decision should be the accused's risk of flight, not the presence of specific "special circumstances." Part III also shows that the burden of proof in the bail decision is properly on the accused, and it argues that the standard for bail should be more stringent after the accused has been determined extraditable.
Abstract : This volume examines the problems involved in integrating information systems currently in use in a large decentralized international organization. It is divided into three parts. The first part, A Conceptual Model for Integrated Autonomous Processing, highlights the fact that the technical strategy was modulated by three key conflicting organizational forces - autonomy, integration, and evolution. A conceptual system architecture has been developed to provide a technological message-oriented and data-oriented response to meet the organizational needs. The second part, Gaining Strategic Advantage Through Composite Information Systems, identified critical success factors for the successful deployment of Composite Information Systems (CIS) ideas and techniques. For this environment, a data-driven strategy offers the best chances for successful development of a modular and flexible infrastructure suited to the decentralized and highly autonomous structure of the organization. The third part, Integrating Systems for Financial Institutions Services Using Composite Information Systems, analyzes the three key organizational forces in greater detail. Autonomy, for example, is examined in terms of hardware control, operational control, transaction control, software control, data control, and management control. The forces of integration and evolution are also decomposed in a similar vein. The case study reveals that the operations of the organization can be improved by more foresight in certain areas. Keywords: Knowledge Based integrated information systems engineering(KBIISE). (KR)
Membranes of cellular organelles and plasma membranes of some type of cells are not accessible to the high‐resolution recordings that the conventional patch‐clamp technique allows. However, when these purified membranes are dehydrated together with small lipid vesicles and hydrated again, cell‐size vesicles (5–100 μm diameter) are obtained, on which single‐channel recordings are possible. This approach, which has been proven successful with about ten different membrane preparations of varied origin, is further illustrated with two examples. First, a known conductivity of the sarcoplasmic reticulum membrane is compared with data obtained by using other techniques. Second, a new sodium current, present at purified postsynaptic membranes from the Torpedo electric organ, is described.
A hierarchy of probabilistic complexity classes generalizing NP has recently emerged in the work of [Ba], [GMR], and [GS]. The IP hierarchy is defined through the notion of an interactive proof system, in which an all powerful prover tries to convince a probabilistic polynomial time verifier that a string w is in a language L. The verifier tosses coins and exchanges messages back and forth with the prover before he decides whether to accept w. This proof-system yields "probabilistic" proofs: the verifier may erroneously accept or reject w with small probability. In [GMR] such a protocol was defined to be a zero-knowledge protocol if at the end of the interaction the verifier has learned nothing except that w ∈ L. We study complexity theoretic implications of a language having this property. In particular we prove that if L admits a zeroknowledge proof then L can also be recognized by a two round interactive proof. This complements a result by Fortnow [F] where it is proved that the complement of L has a two round interactive proof protocol. The methods of proof are quite similar to those of Fortnow [F]. As in his case the proof works under the assumption that the original protocol is only zero-knowledge with respect to a specific verifier.
Zero knowledge protocols provide a way of proving that a statement is true without revealing anything other than the correctness of the claim. Zero knowledge protocols have practical applications in cryptography and are used in many applications. While some applications only exist on a specification level, a direction of research has produced real-world applications. Zero knowledge protocols, also referred to as zero knowledge proofs, are a type of protocol in which one party, called the prover, tries to convince the other party, called the verifier, that a given statement is true. Sometimes the statement is that the prover possesses a particular piece of information. This is a special case of zero knowledge protocol called a zero-knowledge proof of knowledge. Formally, a zero-knowledge proof is a type of interactive proof.
The notion of a zero knowledge interactive proof that one party "knows" some secret information is explored. It is shown that any "random self-reducible" problem has a zero knowledge interactive proof of this sort. The zero knowledge interactive proofs for graph isomorphism, quadratic residuosity, and "knowledge" of discrete logarithms all follow as special cases. Based on these results, new zero knowledge interactive proofs are exhibited for "knowledge" of the factorization of an integer, nonmembership in cyclic subgroups of Zp*, and determining whether an element generates Zp*. None of these proofs relies on any unproven assumptions.
In this paper we investigate some properties of zero-knowledge proofs, a notion introduced by Goldwasser, Micali and Rackoff. We introduce and classify various definitions of zero-knowledge. Two definitions which are of special interest are auxiliary-input zero-knowledge and blackbox-simulation zero-knowledge. We explain why auxiliary-input zero-knowledge is a definition more suitable for cryptographic applications than the original [GMR1] definition. In particular, we show that any protocol composed of subprotocols which are auxiliary-input zero-knowledge is itself auxiliary-input zero-knowledge. We show that blackbox simulation zero-knowledge implies auxiliary-input zeroknowledge (which in turn implies the [GMR1] definition). We argue that all known zero-knowledge proofs are in fact blackbox-simulation zero-knowledge (i.e. were proved zero-knowledge using blackbox-simulation of the verifier). As a result, all known zero-knowledge proof systems are shown to be auxiliary-input zero-knowledge and can be used for cryptographic applications such as those in [GMW2]. We demonstrate the triviality of certain classes of zero-knowledge proof systems, in the sense that only languages in BPP have zero-knowledge proofs of these classes. In particular, we show that any language having a Las vegas zeroknowledge proof system necessarily belongs to R. We show that randomness of both the verifier and the prover, and nontriviality of the interaction are essential properties of non-trivial auxiliary-input zero-knowledge proofs. In order to derive most of the results in the paper we make use of the full power of the definition of zero-knowledge: specifically, the requirement that there exist a simulator for any verifier, including "cheating verifiers".
ABSTRACT For a nation composed of independent regions, the effects of local tax competition for business investments are examined. It is first shown that atomistic regional authorities tax only local resources to finance the provision of public services to business. Thus, an efficient interregional equilibrium is induced. Various political/institutional constraints are shown to cause misallocation of the capital stock and an inefficient provision of public services. The characterization of the inefficiency is shown to vary widely, depending upon the constraint under consideration.
Abstract Decentralization efforts in Francophone African countries are both rarer and far less ambitious than those in Anglophone states. The decentralization programme launched by Senegal over a decade ago is an important exception. Since 1972, when the administrative reform law took effect, Senegal has been engaged in an effort to decentralize its administrative structures in order to promote rural development, to escape from the burdens of the remnants of an overly centralized colonial system and to stem the rising tide of rural opposition (malaise paysan). This new initiative, which led to the creation of local elected councils in rural communities (communautés rurales). has thus far achieved only marginal success. The 319 rural councils suffer from serious under‐financing, and often from domination by administrative authorities, especially the sous‐préféts. Based on an examination of the attitudes. perceptions and behaviour of a sample of rural councillors ( n = 144), particularly regarding budgetary matters, it appears that the rural communities in fact provide the possibility for some popular input into local and regional planning.
ABSTRACT Type/Token Ratios have been extensively used in child language research as an index of lexical diversity. This paper shows that the measure has frequently failed to discriminate between children at widely different stages of language development, and that the ratio may in fact fall as children get older. It is suggested here that such effects are caused by a negative, though non-linear, relationship between sample size (i.e. number of tokens) and Type/Token Ratio. Effects of open and closed class items are considered and an alternative Verbal Diversity measure is examined. Standardization of the number of tokens before computing Type/Token Ratios is recommended.
Emmanuel Jiménez, George Psacharopoulos, Jee-Peng Tan
With the current constrained financial conditions in many developing countries, it is essential to develop and utilize new methods of financing education to ensure efficiency and greater social equity. The current financing arrangements in many cases result in an underinvestment in education, an untapped willingness to pay for education and a misallocation of public spending in this sector. This report examines three broad policy options that could remedy the above problems. It is argued that they would result in an increase of resources flowing to education, improve their use, and ensure more equitable access to schooling. Although the suggested reforms need to be phased in gradually, and their specific content will differ among countries, the package includes three elements. They comprise: (1) recovering the public cost of higher education and reallocating government spending on education toward the level with the highest social returns; (2) developing a credit market for education, together with selective scholarships, especially in higher education; and (3) decentralizing the management of public education and encouraging the expansion of private and community-supported schools.
Gail Henderson, Yuanli Liu, Xiaoming Guan, Zongxiu Liu
Chinese hospitals in the 1980s are in the midst of a technological revolution. Based upon data from several regions in China, this paper describes the political, organizational, economic, and philosophical changes which have accompanied the shift in focus from primary care medicine to high technology tertiary care. The increased authority of physicians, greater contact with the West, and increased funding for medical equipment are key factors in these changes. Although the Chinese state continues to control the administration and financing of most hospitals, the decentralizing reforms of Deng Xiaoping have undermined its ability to effectively plan for, and assess new technology. At present, limited resources prevent most regions from excessive technology acquisition, but the state must rebuild its planning capacity in order to foster rational allocation of scarce medical resources.