Solving Tree Problems with Category Theory

Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide ranges of problems. This situation begs the question of the existence of principles that underlie general problem-solving capabilities. We approach this question through the mathematical formulation of analogies across different problems and solutions. We focus in particular on problems that could be represented as tree-like structures. Most importantly, we adopt a category-theoretic approach in formalising tree problems as categories, and in proving the existence of equivalences across apparently unrelated problem domains. We prove the existence of a functor between the category of tree problems and the category of solutions. We also provide a weaker version of the functor by quantifying equivalences of problem categories using a metric on tree problems.Comment: 10 pages, 4 figures, International Conference on Artificial General Intelligence (AGI) 201

Transit Timing and Duration Variations for the Discovery and Characterization of Exoplanets

Transiting exoplanets in multi-planet systems have non-Keplerian orbits which can cause the times and durations of transits to vary. The theory and observations of transit timing variations (TTV) and transit duration variations (TDV) are reviewed. Since the last review, the Kepler spacecraft has detected several hundred perturbed planets. In a few cases, these data have been used to discover additional planets, similar to the historical discovery of Neptune in our own Solar System. However, the more impactful aspect of TTV and TDV studies has been characterization of planetary systems in which multiple planets transit. After addressing the equations of motion and parameter scalings, the main dynamical mechanisms for TTV and TDV are described, with citations to the observational literature for real examples. We describe parameter constraints, particularly the origin of the mass/eccentricity degeneracy and how it is overcome by the high-frequency component of the signal. On the observational side, derivation of timing precision and introduction to the timing diagram are given. Science results are reviewed, with an emphasis on mass measurements of transiting sub-Neptunes and super-Earths, from which bulk compositions may be inferred.Comment: Revised version. Invited review submitted to 'Handbook of Exoplanets,' Exoplanet Discovery Methods section, Springer Reference Works, Juan Antonio Belmonte and Hans Deeg, Eds. TeX and figures may be found at https://github.com/ericagol/TTV_revie

Probing host pathogen cross-talk by transcriptional profiling of both Mycobacterium tuberculosis and infected human dendritic cells and macrophages

This study provides the proof of principle that probing the host and the microbe transcriptomes simultaneously is a valuable means to accessing unique information on host pathogen interactions. Our results also underline the extraordinary plasticity of host cell and pathogen responses to infection, and provide a solid framework to further understand the complex mechanisms involved in immunity to M. tuberculosis and in mycobacterial adaptation to different intracellular environments

Benchmark performance of low-cost Sb2Se3 photocathodes for unassisted solar overall water splitting

Determining cost-effective semiconductors exhibiting desirable properties for commercial photoelectrochemical water splitting remains a challenge. Herein, we report a Sb2Se3 semiconductor that satisfies most requirements for an ideal high-performance photoelectrode, including a small band gap and favourable cost, optoelectronic properties, processability, and photocorrosion stability. Strong anisotropy, a major issue for Sb2Se3, is resolved by suppressing growth kinetics via close space sublimation to obtain high-quality compact thin films with favourable crystallographic orientation. The Sb2Se3 photocathode exhibits a high photocurrent density of almost 30mAcm(-2) at 0V against the reversible hydrogen electrode, the highest value so far. We demonstrate unassisted solar overall water splitting by combining the optimised Sb2Se3 photocathode with a BiVO4 photoanode, achieving a solar-to-hydrogen efficiency of 1.5% with stability over 10h under simulated 1 sun conditions employing a broad range of solar fluxes. Low-cost Sb2Se3 can thus be an attractive breakthrough material for commercial solar fuel production. While photoelectrochemical water splitting offers an integrated means to convert sunlight to a renewable fuel, cost-effective light-absorbers are rare. Here, authors report Sb2Se3 photocathodes for high-performance photoelectrochemical water splitting devices

How to train surgical residents to perform laparoscopic roux-en-Y gastric bypass safely

Background As a result of increasing numbers of patients with morbid obesity there is a worldwide demand for bariatric surgeons. The Roux-en-Y gastric bypass, nowadays performed mostly laparoscopically (LRYGB), has been proven to be a highly effective surgical treatment for morbid obesity. This procedure is technically demanding and requires a long learning curve. Little is known about implementing these demanding techniques in the training of the surgical resident. The aim of this study was to evaluate the safety and feasibility of the introduction of LRYGB into the training of surgical residents. Methods All patients who underwent LRYGB between March 2006 and July 2010 were retrospectively analyzed. The procedure was performed by a surgical resident under strict supervision of a bariatric surgeon (group I) or by a bariatric surgeon (group II). The primary end point was the occurrence of complications. Secondary end points included operative time, days of hospitalization, rate of readmission, and reappearance in the emergency department (ED) within 30 days. Results A total of 409 patients were found eligible for inclusion in the study: 83 patients in group I and 326 in group II. There was a significant difference in operating time (129 min in group I vs. 116 min in group II; p<0.001) and days of hospitalization. Postoperative complication rate, reappearance in the ED, and rate of readmission did not differ between the two groups. Conclusions Our data suggest that under stringent supervision and with sufficient laparoscopic practice, implementation of LRYGB as part of surgical training is safe and results in only a slightly longer operating time. Complication rates, days of hospitalization, and the rates of readmission and reappearance in the ED within 30 days were similar between the both groups. These results should be interpreted by remembering that all procedures in group I were performed in a training environment so occasional intervention by a bariatric surgeon, when necessary, was inevitable

Exploring the Mode of Action of Bioactive Compounds by Microfluidic Transcriptional Profiling in Mycobacteria

10.1371/journal.pone.0069191PLoS ONE87-POLN

Salt Dependence of the Tribological Properties of a Surface-Grafted Weak Polycation in Aqueous Solution

The nanoscopic adhesive and frictional behaviour of end-grafted poly[2-(dimethyl amino)ethyl methacrylate] (PDMAEMA) films (brushes) in contact with gold- or PDMAEMA-coated atomic force microscope tips in potassium halide solutions with different concentrations up to 300 mM is a strong function of salt concentration. The conformation of the polymers in the brush layer is sensitive to salt concentration, which leads to large changes in adhesive forces and the contact mechanics at the tip–sample contact, with swollen brushes (which occur at low salt concentrations) yielding large areas of contact and friction–load plots that fit JKR behaviour, while collapsed brushes (which occur at high salt concentrations) yield sliding dominated by ploughing, with conformations in between fitting DMT mechanics. The relative effect of the different anions follows the Hofmeister series, with I − collapsing the brushes more than Br − and Cl − for the same salt concentration

Patterns of nucleotide diversity at the regions encompassing the Drosophila insulin-like peptide (dilp) genes: demography vs positive selection in Drosophila melanogaster.

In Drosophila, the insulin-signaling pathway controls some life history traits, such as fertility and lifespan, and it is considered to be the main metabolic pathway involved in establishing adult body size. Several observations concerning variation in body size in the Drosophila genus are suggestive of its adaptive character. Genes encoding proteins in this pathway are, therefore, good candidates to have experienced adaptive changes and to reveal the footprint of positive selection. The Drosophila insulin-like peptides (DILPs) are the ligands that trigger the insulin-signaling cascade. In Drosophila melanogaster, there are several peptides that are structurally similar to the single mammalian insulin peptide. The footprint of recent adaptive changes on nucleotide variation can be unveiled through the analysis of polymorphism and divergence. With this aim, we have surveyed nucleotide sequence variation at the dilp1-7 genes in a natural population of D. melanogaster. The comparison of polymorphism in D. melanogaster and divergence from D. simulans at different functional classes of the dilp genes provided no evidence of adaptive protein evolution after the split of the D. melanogaster and D. simulans lineages. However, our survey of polymorphism at the dilp gene regions of D. melanogaster has provided some evidence for the action of positive selection at or near these genes. The regions encompassing the dilp1-4 genes and the dilp6 gene stand out as likely affected by recent adaptive events

Population genomics of sub-Saharan Drosophila melanogaster: African diversity and non-African admixture

(ABRIDGED) We report the genome sequencing of 139 wild-derived strains of D. melanogaster, representing 22 population samples from the sub-Saharan ancestral range of this species, along with one European population. Most genomes were sequenced above 25X depth from haploid embryos. Results indicated a pervasive influence of non-African admixture in many African populations, motivating the development and application of a novel admixture detection method. Admixture proportions varied among populations, with greater admixture in urban locations. Admixture levels also varied across the genome, with localized peaks and valleys suggestive of a non-neutral introgression process. Genomes from the same location differed starkly in ancestry, suggesting that isolation mechanisms may exist within African populations. After removing putatively admixed genomic segments, the greatest genetic diversity was observed in southern Africa (e.g. Zambia), while diversity in other populations was largely consistent with a geographic expansion from this potentially ancestral region. The European population showed different levels of diversity reduction on each chromosome arm, and some African populations displayed chromosome arm-specific diversity reductions. Inversions in the European sample were associated with strong elevations in diversity across chromosome arms. Genomic scans were conducted to identify loci that may represent targets of positive selection. A disproportionate number of candidate selective sweep regions were located near genes with varied roles in gene regulation. Outliers for Europe-Africa FST were found to be enriched in genomic regions of locally elevated cosmopolitan admixture, possibly reflecting a role for some of these loci in driving the introgression of non-African alleles into African populations