Artificial Intelligence

Contains research objectives and reports on five research projects.Computation Center, M.I.T

Improving the Efficiency of Reasoning Through Structure-Based Reformulation

Abstract. We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning strategies. To this end, we provide algorithms for reasoning with partitions of axioms in first-order and propositional logic. We analyze the computational benefit of our algorithms and detect those parameters of a partitioning that influence the efficiency of computation. These parameters are the number of symbols shared by a pair of partitions, the size of each partition, and the topology of the partitioning. Finally, we provide a greedy algorithm that automatically reformulates a given theory into partitions, exploiting the parameters that influence the efficiency of computation.

White light thermoplasmonic activated gold nanorod arrays enable the photo-thermal disinfection of medical tools from bacterial contamination

The outspread of bacterial pathogens causing severe infections and spreading rapidly, especially among hospitalized patients, is worrying and represents a global public health issue. Current disinfection techniques are becoming insufficient to counteract the spread of these pathogens because they carry multiple antibiotic-resistance genes. For this reason, a constant need exists for new technological solutions that rely on physical methods rather than chemicals. Nanotechnology support provides novel and unexplored opportunities to boost groundbreaking, next-gen solutions. With the help of plasmonic-assisted nanomaterials, we present and discuss our findings in innovative bacterial disinfection techniques. Gold nanorods (AuNRs) immobilized on rigid substrates are utilized as efficient white light-to-heat transducers (thermoplasmonic effect) for photo-thermal (PT) disinfection. The resulting AuNRs array shows a high sensitivity change in refractive index and an extraordinary capability in converting white light to heat, producing a temperature change greater than 50 °C in a few minute interval illumination time. Results were validated using a theoretical approach based on a diffusive heat transfer model. Experiments performed with a strain of Escherichia coli as a model microorganism confirm the excellent capability of the AuNRs array to reduce the bacteria viability upon white light illumination. Conversely, the E. coli cells remain viable without white light illumination, which also confirms the lack of intrinsic toxicity of the AuNRs array. The PT transduction capability of the AuNRs array is utilized to produce white light heating of medical tools used during surgical treatments, generating a temperature increase that can be controlled and is suitable for disinfection. Our findings are pioneering a new opportunity for healthcare facilities since the reported methodology allows non-hazardous disinfection of medical devices by simply employing a conventional white light lamp

Toward Human-Carnivore Coexistence: Understanding Tolerance for Tigers in Bangladesh

Fostering local community tolerance for endangered carnivores, such as tigers (Panthera tigris), is a core component of many conservation strategies. Identification of antecedents of tolerance will facilitate the development of effective tolerance-building conservation action and secure local community support for, and involvement in, conservation initiatives. We use a stated preference approach for measuring tolerance, based on the ‘Wildlife Stakeholder Acceptance Capacity’ concept, to explore villagers’ tolerance levels for tigers in the Bangladesh Sundarbans, an area where, at the time of the research, human-tiger conflict was severe. We apply structural equation modeling to test an a priori defined theoretical model of tolerance and identify the experiential and psychological basis of tolerance in this community. Our results indicate that beliefs about tigers and about the perceived current tiger population trend are predictors of tolerance for tigers. Positive beliefs about tigers and a belief that the tiger population is not currently increasing are both associated with greater stated tolerance for the species. Contrary to commonly-held notions, negative experiences with tigers do not directly affect tolerance levels; instead, their effect is mediated by villagers’ beliefs about tigers and risk perceptions concerning human-tiger conflict incidents. These findings highlight a need to explore and understand the socio-psychological factors that encourage tolerance towards endangered species. Our research also demonstrates the applicability of this approach to tolerance research to a wide range of socio-economic and cultural contexts and reveals its capacity to enhance carnivore conservation efforts worldwide

Global and local controlson continental margin stratigraphy

Integrated Ocean Drilling Program (IODP) Expedition 317 was devoted to understanding the relative importance of global sea level (eustasy) versus local tectonic and sedimentary processes in controlling continental margin sedimentary cycles. The expedition recovered sediments from the Eocene to recent period, with a particular focus on the sequence stratigraphy of the late Miocene to recent, when global sea level change was dominated by glacioeustasy. Drilling in the Canterbury Basin, on the eastern margin of the South Island of New Zealand, takes advantage of high rates of Neogene sediment supply, which preserves a high-frequency (0.1–0.5 m.y.) record of depositional cyclicity. The Canterbury Basin provides an opportunity to study the complex interactions between processes responsible for the preserved stratigraphic record of sequences because of the proximity of an uplifting mountain chain, the Southern Alps, and strong ocean currents. Currents have locally built large, elongate sediment drifts within the prograding Neogene section. Expedition 317 did not drill into one of these elongate drifts, but currents are inferred to have strongly influenced deposition across the basin, including in locations lacking prominent mounded drifts. Upper Miocene to recent sedimentary sequences were cored in a transect of three sites on the continental shelf (landward to basinward, Sites U1353, U1354, and U1351) and one on the continental slope (Site U1352). The transect provides a stratigraphic record of depositional cycles across the shallow-water environment most directly affected by relative sea level change. Lithologic boundaries, provisionally correlative with seismic sequence boundaries, have been identified in cores from each site and provide insights into the origins of seismically resolvable sequences. This record will be used to estimate the timing and amplitude of global sea level change and to document the sedimentary processes that operate during sequence formation. Sites U1353 and U1354 provide significant, double-cored, high-recovery sections through the Holocene and late Quaternary for high-resolution study of recent glacial cycles in a continental shelf setting. Continental slope Site U1352 represents a complete section from modern slope terrigenous sediment to hard Eocene limestone, with all the associated lithologic, biostratigraphic, physical, geochemical, and microbiological transitions. The site also provides a record of ocean circulation and fronts during the last ~35 m.y. The early Oligocene (~30 Ma) Marshall Paraconformity was the deepest drilling target of Expedition 317 and is hypothesized to represent intensified current erosion or nondeposition associated with the initiation of thermohaline circulation following the separation of Australian and Antarctica. Expedition 317 set a number of scientific ocean drilling records: (1) deepest hole drilled in a single expedition and second deepest hole in the history of scientific ocean drilling (Hole U1352C, 1927 m); (2) deepest hole and second deepest hole drilled by the R/V JOIDES Resolution on a continental shelf (Hole U1351B, 1030 m; Hole U1353B, 614 m); (3) shallowest water depth for a site drilled by the JOIDES Resolution for scientific purposes (Site U1353, 84.7 m water depth); and (4) deepest sample taken by scientific ocean drilling for microbiological studies (1925 m, Site U1352). Expedition 317 supplements previous drilling of sedimentary sequences for sequence stratigraphic and sea level objectives, particularly drilling on the New Jersey margin (Ocean Drilling Program [ODP] Legs 150, 150X, 174A, and 174AX and IODP Expedition 313) and in the Bahamas (ODP Leg 166), but includes an expanded Pliocene section. Completion of at least one transect across a geographically and tectonically distinct siliciclastic margin was the necessary next step in deciphering continental margin stratigraphy. Expedition 317 also complements ODP Leg 181, which focused on drift development in more distal parts of the Eastern New Zealand Oceanic Sedimentary System (ENZOSS).Integrated Ocean Drilling Program Management InternationalPublished2.2. Laboratorio di paleomagnetismorestricte

The abrupt onset of the modern South Asian Monsoon winds

The South Asian Monson (SAM) is one of the most intense climatic elements yet its initiation and variations are not well established. Dating the deposits of SAM wind-driven currents in IODP cores from the Maldives yields an age of 12. 9 Ma indicating an abrupt SAM onset, over a short period of 300 kyrs. This coincided with the Indian Ocean Oxygen Minimum Zone expansion as revealed by geochemical tracers and the onset of upwelling reflected by the sediment's content of particulate organic matter. A weaker 'proto-monsoon' existed between 12.9 and 25 Ma, as mirrored by the sedimentary signature of dust influx. Abrupt SAM initiation favors a strong influence of climate in addition to the tectonic control, and we propose that the post Miocene Climate Optimum cooling, together with increased continentalization and establishment of the bipolar ocean circulation, i.e. the beginning of the modern world, shifted the monsoon over a threshold towards the modern system

Corrigendum to “Carbonate delta drift: A new sediment drift type” [Mar. Geol. 401 (2018) 98–111]

The authors regret the mistake in the drawing of the delta drift architecture in figure 11. The authors would like to apologise for any inconvenience caused. [Figure presented

Evolutionarily conserved Tbx5-Wnt2/2b pathway orchestrates cardiopulmonary development

Codevelopment of the lungs and heart underlies key evolutionary innovations in the transition to terrestrial life. Cardiac specializations that support pulmonary circulation, including the atrial septum, are generated by second heart field (SHF) cardiopulmonary progenitors (CPPs). It has been presumed that transcription factors required in the SHF for cardiac septation, e.g., Tbx5, directly drive a cardiac morphogenesis gene-regulatory network. Here, we report instead that TBX5 directly drives Wnt ligands to initiate a bidirectional signaling loop between cardiopulmonary mesoderm and the foregut endoderm for endodermal pulmonary specification and, subsequently, atrial septation. We show that Tbx5 is required for pulmonary specification in mice and amphibians but not for swim bladder development in zebrafish. TBX5 is non-cell-autonomously required for pulmonary endoderm specification by directly driving Wnt2 and Wnt2b expression in cardiopulmonary mesoderm. TBX5 ChIP-sequencing identified cis-regulatory elements at Wnt2 sufficient for endogenous Wnt2 expression domains in vivo and required for Wnt2 expression in precardiac mesoderm in vitro. Tbx5 cooperated with Shh signaling to drive Wnt2b expression for lung morphogenesis. Tbx5 haploinsufficiency in mice, a model of Holt-Oram syndrome, caused a quantitative decrement of mesodermal-to-endodermal Wnt signaling and subsequent endodermal-to-mesodermal Shh signaling required for cardiac morphogenesis. Thus, Tbx5 initiates a mesoderm-endoderm-mesoderm signaling loop in lunged vertebrates that provides a molecular basis for the coevolution of pulmonary and cardiac structures required for terrestrial life

Cyclic anoxia and organic rich carbonate sediments within a drowned carbonate platform linked to Antarctic ice volume changes: Late Oligocene-early Miocene Maldives

This paper reports on the newly discovered occurrence of thick sequences (∼100 m) of Late Oligocene and Early Miocene (∼24.9 to ∼20 Ma) interbedded organic-rich sediments (sapropels) and pelagic (organic poor) carbonates at Sites U1466 and U1468 drilled in the Maldives archipelago during the International Ocean Discovery Program (IODP) Expedition 359. This occurrence is unusual in that this sequence is located > 1000 m above the surrounding ocean floor within an inter-atoll basin and not linked to any known global oceanic events. Total organic content reaches as high as 35% in the darker layers, while the interbedded carbonates have concentrations of less than 0.1%. Trace elements characteristic of anoxic waters, such as Mo, V, Cr, U, and Pb, correlate positively with concentrations of organic carbon. Nitrogen isotopic data show no evidence that the intervals of high total organic carbon are related to enhanced productivity driven by upwelling. Instead, high organic carbon is associated with intervals of anoxia. We propose that sea-level fluctuations linked to changes in Antarctic ice volume restricted exchange with the open ocean causing bottom waters of the inter-atoll basin to become anoxic periodically. The architecture of the platform at the end of the Oligocene, combined with the global sea-level highstand, set the stage for orbitally-driven sea-level changes producing cyclic deposition of sapropels. The proposed mechanism may serve as an analogue for other occurrences of organic carbon-rich sediments within carbonate platform settings.</p

Carbonate delta drift: a new sediment drift type

Based on high-resolution reflection seismic and core data from IODP Expedition 359 we present a new channel-related drift type attached to a carbonate platform slope, which we termed delta drift. Like a river delta, it is comprised of several stacked lobes and connected to a point source. The delta drifts were deposited at the exit of two gateways that connect the Inner Sea of the Maldives carbonate platform with the open ocean. The channels served as conduits focusing and accelerating the water flow; Entrained material was deposited at their mouth where the flows relaxed. The lobe-shaped calcareous sediment drifts must have formed under persistent water through flow. Sediment supply was relatively high and continuous, resulting in an average sedimentation rate of 17 cm ka−1. The two delta drifts occupy 342 and 384 km2, respectively; with a depositional relief of approximately 500 m. They have a sigmoidal clinoform reflection pattern with a particular convex upward bending of the foresets. In the Maldives the drift onset marks the transition from a sea-level controlled to a progressively current dominated depositional regime. This major event occurred in the Serravallian about 13 Ma ago, leading to the partial drowning of the carbonate platform and the creation of shallow seaways. The initial bank-enclosed topography resembles an “empty bucket” geometry which is rapidly filled by the drift sediments that aggrade and prograde into the basin. Thereby the depositional environment of the delta drifts changes from deep water (>500) to shallow-water conditions at their topsets, indicated by the overall coarsening upward trend in grain size and the presence of shallow water large benthic foraminifers at their top