Shaping Global Partnerships for a Post-2015 World

As we discuss the post-2015 development agenda, how can we empower global partnerships to achieve the transformational change we need for a better future? This article provides lessons and best practices from six diverse initiatives on applying the collective impact approach on a global scale -- how to develop a common agenda, operate effective shared measurement systems, support and coordinate activities, facilitate communication, and provide strong governance for global collaborative efforts.The report uses a collective impact lens to research and evaluate a range of global partnerships, with a particular emphasis on these six diverse initiatives: Roll Back Malaria Partnership, Global Alliance for Improved Nutrition, Global Road Safety Partnership, the World Economic Forum's New Vision for Agriculture, the Global Partnership for Education, and the World Wide Fund for Nature

Communities and beyond: mesoscopic analysis of a large social network with complementary methods

Community detection methods have so far been tested mostly on small empirical networks and on synthetic benchmarks. Much less is known about their performance on large real-world networks, which nonetheless are a significant target for application. We analyze the performance of three state-of-the-art community detection methods by using them to identify communities in a large social network constructed from mobile phone call records. We find that all methods detect communities that are meaningful in some respects but fall short in others, and that there often is a hierarchical relationship between communities detected by different methods. Our results suggest that community detection methods could be useful in studying the general mesoscale structure of networks, as opposed to only trying to identify dense structures.Comment: 11 pages, 10 figures. V2: typos corrected, one sentence added. V3: revised version, Appendix added. V4: final published versio

Trading inference effort versus size in CNF Knowledge Compilation

Knowledge Compilation (KC) studies compilation of boolean functions f into some formalism F, which allows to answer all queries of a certain kind in polynomial time. Due to its relevance for SAT solving, we concentrate on the query type "clausal entailment" (CE), i.e., whether a clause C follows from f or not, and we consider subclasses of CNF, i.e., clause-sets F with special properties. In this report we do not allow auxiliary variables (except of the Outlook), and thus F needs to be equivalent to f. We consider the hierarchies UC_k <= WC_k, which were introduced by the authors in 2012. Each level allows CE queries. The first two levels are well-known classes for KC. Namely UC_0 = WC_0 is the same as PI as studied in KC, that is, f is represented by the set of all prime implicates, while UC_1 = WC_1 is the same as UC, the class of unit-refutation complete clause-sets introduced by del Val 1994. We show that for each k there are (sequences of) boolean functions with polysize representations in UC_{k+1}, but with an exponential lower bound on representations in WC_k. Such a separation was previously only know for k=0. We also consider PC < UC, the class of propagation-complete clause-sets. We show that there are (sequences of) boolean functions with polysize representations in UC, while there is an exponential lower bound for representations in PC. These separations are steps towards a general conjecture determining the representation power of the hierarchies PC_k < UC_k <= WC_k. The strong form of this conjecture also allows auxiliary variables, as discussed in depth in the Outlook.Comment: 43 pages, second version with literature updates. Proceeds with the separation results from the discontinued arXiv:1302.442

On SAT representations of XOR constraints

We study the representation of systems S of linear equations over the two-element field (aka xor- or parity-constraints) via conjunctive normal forms F (boolean clause-sets). First we consider the problem of finding an "arc-consistent" representation ("AC"), meaning that unit-clause propagation will fix all forced assignments for all possible instantiations of the xor-variables. Our main negative result is that there is no polysize AC-representation in general. On the positive side we show that finding such an AC-representation is fixed-parameter tractable (fpt) in the number of equations. Then we turn to a stronger criterion of representation, namely propagation completeness ("PC") --- while AC only covers the variables of S, now all the variables in F (the variables in S plus auxiliary variables) are considered for PC. We show that the standard translation actually yields a PC representation for one equation, but fails so for two equations (in fact arbitrarily badly). We show that with a more intelligent translation we can also easily compute a translation to PC for two equations. We conjecture that computing a representation in PC is fpt in the number of equations.Comment: 39 pages; 2nd v. improved handling of acyclic systems, free-standing proof of the transformation from AC-representations to monotone circuits, improved wording and literature review; 3rd v. updated literature, strengthened treatment of monotonisation, improved discussions; 4th v. update of literature, discussions and formulations, more details and examples; conference v. to appear LATA 201

Tertiary Alphabet for the Observable Protein Structural Universe

Here, we systematically decompose the known protein structural universe into its basic elements, which we dub tertiary structural motifs (TERMs). A TERM is a compact backbone fragment that captures the secondary, tertiary, and quaternary environments around a given residue, comprising one or more disjoint segments (three on average). We seek the set of universal TERMs that capture all structure in the Protein Data Bank (PDB), finding remarkable degeneracy. Only ∼600 TERMs are sufficient to describe 50% of the PDB at sub-Angstrom resolution. However, more rare geometries also exist, and the overall structural coverage grows logarithmically with the number of TERMs. We go on to show that universal TERMs provide an effective mapping between sequence and structure. We demonstrate that TERM-based statistics alone are sufficient to recapitulate close-to-native sequences given either NMR or X-ray backbones. Furthermore, sequence variability predicted from TERM data agrees closely with evolutionary variation. Finally, locations of TERMs in protein chains can be predicted from sequence alone based on sequence signatures emergent from TERM instances in the PDB. For multisegment motifs, this method identifies spatially adjacent fragments that are not contiguous in sequence—a major bottleneck in structure prediction. Although all TERMs recur in diverse proteins, some appear specialized for certain functions, such as interface formation, metal coordination, or even water binding. Structural biology has benefited greatly from previously observed degeneracies in structure. The decomposition of the known structural universe into a finite set of compact TERMs offers exciting opportunities toward better understanding, design, and prediction of protein structure

Irreducible network backbones: unbiased graph filtering via maximum entropy

Networks provide an informative, yet non-redundant description of complex systems only if links represent truly dyadic relationships that cannot be directly traced back to node-specific properties such as size, importance, or coordinates in some embedding space. In any real-world network, some links may be reducible, and others irreducible, to such local properties. This dichotomy persists despite the steady increase in data availability and resolution, which actually determines an even stronger need for filtering techniques aimed at discerning essential links from non-essential ones. Here we introduce a rigorous method that, for any desired level of statistical significance, outputs the network backbone that is irreducible to the local properties of nodes, i.e. their degrees and strengths. Unlike previous approaches, our method employs an exact maximum-entropy formulation guaranteeing that the filtered network encodes only the links that cannot be inferred from local information. Extensive empirical analysis confirms that this approach uncovers essential backbones that are otherwise hidden amidst many redundant relationships and inaccessible to other methods. For instance, we retrieve the hub-and-spoke skeleton of the US airport network and many specialised patterns of international trade. Being irreducible to local transportation and economic constraints of supply and demand, these backbones single out genuinely higher-order wiring principles

Globalization and E-Commerce V: Environment and Policy in Brazil

In Brazil, high inflation rates and public policies for local information technology (IT) development encouraged the early adoption of IT, including electronic data interchange (EDI), especially in the banking industry. Starting in the early 1970s, Brazil developed capabilities both in the production and use of information technologies. Mexico and Brazil are the only Latin American countries with substantial IT hardware production. Since inflation control became the highest priority in economic policy in the 1990s, the Brazilian economy has grown at a relatively slow pace compared to historical growth rates. Brazil ranks third in the Americas in GDP value. However, in per capita terms, it falls behind the top five wealthiest countries in Latin America. Education levels increased substantially in the last decade. Primary education is almost universal (95.7%). 78.5% of the population in the secondary education age group is enrolled, compared to less than 60% in 1992. In 2000, investments in telecommunications as a percentage of the GDP were the highest in Latin America. In the last four years, fixed line teledensity doubled while cellular subscribers quintupled. In per capita terms, Brazil is now at the Latin American average, both in fixed lines and cellular phones. In 2000, teledensity was about 23 fixed lines per 100 people, 15% of whom were connected to the Internet. The development of the Internet in Brazil was somewhat similar to the NSF Net program in the United States. The National Research Network (RNP) began to operate a national backbone in 1991. In 1996, the backbone became available for commercial purposes. The government is active in promoting e-commerce diffusion, especially through the e-government initiative. This initiative includes on-line purchasing, government information, tax collection, and other applications. However, government programs lack coordination and resources. The use of the Internet as a business tool is most advanced in information- related sectors such as finance, communications, information services, and other services that can easily be digitized. The banking sector leads e-commerce diffusion, followed by government and retailing. Consumers in countries such as Brazil are increasingly demanding products from Web sites located in their own countries. To succeed in the Brazilian e-commerce market, multinational Internet companies need to invest in local content and distribution networks. Although the diffusion of the Internet presents many opportunities for social development, notably in the fields of education, health, and information, the future growth of e-commerce in Brazil may be limited by social and economic factors such as income level, income distribution, and education

Metallic hierarchical aerogels for electrocatalytic applications

Progress in nanotechnology has promoted an increasing interest in the rational design of the emerging hierarchical aerogels, which represents a second stage of the NC-based aerogel research. By fine-tuning the surface properties of the backbones, metallic hierarchical aerogels are able to address the growing demands of advanced electrocatalysts. In this dissertation, three types of metallic hierarchical aerogels were designed by introducing different nanostructures (i.e. hollow, porous/dendritic and core-shell) and alloy effects (with noble or transition metals) into the aerogels. Thus, as a proof-of-concept for fuel cells, advanced electrocatalytic performances have been achieved on the resulting metallic hierarchical aerogels towards both anode (oxidation of ethanol) and cathode (reduction of oxygen) reactions. First, alloyed PdxNi hollow nanospheres with controlled composition and shell thickness were utilized as building blocks for the design of hierarchical aerogels. The combination of transition-metal doping, hollow interior, as well as the 3D aerogel structure make the resulting aerogels promising electrocatalysts for ethanol oxidation with a mass activity up to 5.6-fold higher than that of the Pd/C. Second, continuously shape-engineering of the building blocks (ranging from hollow shells to dendritic shapes) was achieved by the synthesis of a series of multimetallic Ni-PdxPty hierarchical aerogels. By optimization of the nanoscale morphology and the chemical composition, the Ni-Pd60Pt40 aerogel exhibits remarkable electrocatalytic activity for oxidation of ethanol. Moreover, the particle growth mechanism underlying the galvanic replacement was revealed in terms of nanowelding of the nanoparticulate reaction intermediates based on experimental and theoretical results. Third, a universal approach was demonstrated for core-shell structuring of metallic aerogels by coating of an ultrathin Pt shell on a composition-tunable Pd-based alloyed core. Their activities for oxygen reduction exhibit a volcano-type relationship as a function of the lattice parameter of the core substrate. Largely improved Pt utilization efficiency was accomplished based on the core-shell motifs, as the mass activity reaches 5.25 A mg-1Pt which are 18.7 times higher than those of Pt/C. Different from the conventional aerogels with nanowire-like backbones, those hierarchical aerogels are generally comprised of at least two levels of architectures, i.e. an interconnected porous structure on the macroscale and a specially designed configuration at local backbones at the nanoscale. This combination “locks in” the inherent properties of the NCs, so that the beneficial genes obtained by nano-engineering are retained in the resulting monolithic hierarchical aerogels. These results expand the exploitation approach of the electrocatalytic properties of aerogels into morphology control of their NBBs and are of great importance for the future development of aerogels for many other electrochemical reactions