Alex J. Smith

Sex differences in the structural connectome of the human brain

Significance Sex differences are of high scientific and societal interest because of their prominence in behavior of humans and nonhuman species. This work is highly significant because it studies a very large population of 949 youths (8–22 y, 428 males and 521 females) using the diffusion-based structural connectome of the brain, identifying novel sex differences. The results establish that male brains are optimized for intrahemispheric and female brains for interhemispheric communication. The developmental trajectories of males and females separate at a young age, demonstrating wide differences during adolescence and adulthood. The observations suggest that male brains are structured to facilitate connectivity between perception and coordinated action, whereas female brains are designed to facilitate communication between analytical and intuitive processing modes. Sex differences in human behavior show adaptive complementarity: Males have better motor and spatial abilities, whereas females have superior memory and social cognition skills. Studies also show sex differences in human brains but do not explain this complementarity. In this work, we modeled the structural connectome using diffusion tensor imaging in a sample of 949 youths (aged 8–22 y, 428 males and 521 females) and discovered unique sex differences in brain connectivity during the course of development. Connection-wise statistical analysis, as well as analysis of regional and global network measures, presented a comprehensive description of network characteristics. In all supratentorial regions, males had greater within-hemispheric connectivity, as well as enhanced modularity and transitivity, whereas between-hemispheric connectivity and cross-module participation predominated in females. However, this effect was reversed in the cerebellar connections. Analysis of these changes developmentally demonstrated differences in trajectory between males and females mainly in adolescence and in adulthood. Overall, the results suggest that male brains are structured to facilitate connectivity between perception and coordinated action, whereas female brains are designed to facilitate communication between analytical and intuitive processing modes.

Fault diagnosis and logic debugging using Boolean satisfiability

Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital very-large-scale-integration design problems. Although useful in many stages of the design cycle, fault diagnosis and logic debugging have not been addressed within a satisfiability-based framework. This work proposes a novel Boolean satisfiability-based method for multiple-fault diagnosis and multiple-design-error diagnosis in combinational and sequential circuits. A number of heuristics are presented that keep the method memory and run-time efficient. An extensive suite of experiments on large circuits corrupted with different types of faults and errors confirm its robustness and practicality. They also suggest that satisfiability captures significant characteristics of the problem of diagnosis and encourage novel research in satisfiability-based diagnosis as a complementary process to design verification.

Inhibitory effect of the reversal agents V-104, GF120918 and Pluronic L61 on MDR1 Pgp-, MRP1- and MRP2-mediated transport.

The human multidrug transporter MDR1 P-glycoprotein and the multidrug resistance proteins MRP1 and MRP2 transport a range of cytotoxic drugs, resulting in multidrug resistance in tumour cells. To overcome this form of drug resistance in patients, several inhibitors (reversal agents) of these transporters have been isolated. Using polarized cell lines stably expressing human MDR1, MRP1 or MRP2 cDNA, and 2008 ovarian carcinoma cells stably expressing MRP1 cDNA, we have investigated in this study the specificity of the reversal agents V-104 (a pipecolinate derivative), GF120918 (an acridone carboxamide derivative also known as GG918), and Pluronic L61 (a (poly)oxypropethylene and (poly)oxypropylene block copolymer). Transport experiments with cytotoxic drugs with polarized cell lines indicate that all three compounds efficiently inhibit MDR1 Pgp. Furthermore, V-104 partially inhibits daunorubicin transport by MRP1 but not vinblastine transport by MRP2. V-104 reverses etoposide resistance of 2008/MRP1 cells, whereas GF120918 does not reverse resistance due to MRP1. V-104 partially inhibits the export of the organic anion dinitrophenyl S -glutathione by MDCKII-MRP1 but not by MDCKII-MRP2 cells. Unexpectedly, export of the organic anion calcein by MDCKII-MRP1 and MDCKII-MRP2 cells is stimulated by Pluronic L61, probably because it relieves the block on entry of calcein AM into the cell by endogenous MDR1 Pgp.

Dysregulated FcεRI Signaling and Altered Fyn and SHIP Activities in Lyn-Deficient Mast Cells

Studies in B cells from Lyn-deficient mice have identified Lyn as both a kinetic accelerator and negative regulator of signaling through the BCR. The signaling properties of bone marrow-derived mast cells from Lyn−/− mice (Lyn−/− BMMCs) have also been explored, but their signaling phenotype remains controversial. We confirm that Lyn−/− BMMCs release more β-hexosaminidase than wild-type BMMCs following FcεRI cross-linking and show that multiple mast cell responses to FcεRI cross-linking (the phosphorylation of receptor subunits and other proteins, the activation of phospholipase Cγ isoforms, the mobilization of Ca2+, the synthesis of phosphatidylinositol 3,4,5-trisphosphate, the activation of the α4β1 integrin, VLA-4) are slow to initiate in Lyn−/− BMMCs, but persist far longer than in wild-type cells. Mechanistic studies revealed increased basal as well as stimulated phosphorylation of the Src kinase, Fyn, in Lyn−/− BMMCs. Conversely, there was very little basal or stimulated tyrosine phosphorylation or activity of the inositol phosphatase, SHIP, in Lyn−/− BMMCs. We speculate that Fyn may substitute (inefficiently) for Lyn in signal initiation in Lyn−/− BMMCs. The loss of SHIP phosphorylation and activity very likely contributes to the increased levels of phosphatidylinositol 3,4,5-trisphosphate and the excess FcεRI signaling in Lyn−/− BMMCs. The unexpected absence of the transient receptor potential channel, Trpc4, from Lyn−/− BMMCs may additionally contribute to their altered signaling properties.

Functional Maturation of the Executive System during Adolescence

Adolescence is characterized by rapid development of executive function. Working memory (WM) is a key element of executive function, but it is not known what brain changes during adolescence allow improved WM performance. Using a fractal n-back fMRI paradigm, we investigated brain responses to WM load in 951 human youths aged 8–22 years. Compared with more limited associations with age, WM performance was robustly associated with both executive network activation and deactivation of the default mode network. Multivariate patterns of brain activation predicted task performance with a high degree of accuracy, and also mediated the observed age-related improvements in WM performance. These results delineate a process of functional maturation of the executive system, and suggest that this process allows for the improvement of cognitive capability seen during adolescence.

Design diagnosis using Boolean satisfiability

Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital VLSI design problems such as verification, model checking, optimization and test generation. Fault diagnosis and logic debugging have not been addressed by existing satisfiability-based solutions. This paper attempts to bridge this gap by proposing a satisfiability-based solution to these problems. The proposed formulation is intuitive and easy to implement. It shows that satisfiability captures significant problem characateristics and it offers different trade-offs. It also provides new opportunities for satisfiability-based diagnosis tools and diagnosis-specific satisfiability algorithms. Theory and experiments validate the claims and demonstrate its potential.

Microtubule-Dependent Transport of Secretory Vesicles in RBL-2H3 Cells

Antigen‐mediated activation of mast cells results in Ca2+‐dependent exocytosis of preformed mediators of the inflammatory response. To investigate the role of secretory vesicle motility in this response, we have performed time‐lapse confocal microscopy on RBL‐2H3 cells transfected with a green fluorescent protein‐Fas ligand fusion protein (GFP‐FasL). Green fluorescent protein‐labeled vesicles exhibit rapid, bidirectional movement in both resting and activated cells and can be localized adjacent to microtubules. Colchicine treatment inhibits the motility of secretory vesicles as measured by fluorescence recovery after photobleaching (FRAP). Colchicine also inhibits both the extent and the rate of exocytosis triggered by receptor activation or by Ca2+ ionophore, demonstrating that microtubule‐dependent movement of secretory vesicles plays an important role in the exocytic response.

Debugging sequential circuits using Boolean satisfiability

Logic debugging of todays complex sequential circuits is an important problem. In this paper, a logic debugging methodology for multiple errors in sequential circuits with no state equivalence is developed. The proposed approach reduces the problem of debugging to an instance of Boolean satisfiability. This formulation takes advantage of modern Boolean satisfiability solvers that handle large circuits in a computationally efficient manner. An extensive suite of experiments with large sequential circuits confirm the robustness and efficiency of the proposed approach. The results further suggest that Boolean satisfiability provides an effective platform for sequential logic debugging.

Spatial model of convective solute transport in brain extracellular space does not support a "glymphatic" mechanism.

A “glymphatic mechanism” has been proposed to mediate convective fluid transport from para-arterial to paravenous extracellular space in the brain. Jin et al. model such a system and find that diffusion, rather than convection, can account for the transport of solutes.

Test of the 'glymphatic' hypothesis demonstrates diffusive and aquaporin-4-independent solute transport in rodent brain parenchyma

Transport of solutes through brain involves diffusion and convection. The importance of convective flow in the subarachnoid and paravascular spaces has long been recognized; a recently proposed ‘glymphatic’ clearance mechanism additionally suggests that aquaporin-4 (AQP4) water channels facilitate convective transport through brain parenchyma. Here, the major experimental underpinnings of the glymphatic mechanism were re-examined by measurements of solute movement in mouse brain following intracisternal or intraparenchymal solute injection. We found that: (i) transport of fluorescent dextrans in brain parenchyma depended on dextran size in a manner consistent with diffusive rather than convective transport; (ii) transport of dextrans in the parenchymal extracellular space, measured by 2-photon fluorescence recovery after photobleaching, was not affected just after cardiorespiratory arrest; and (iii) Aqp4 gene deletion did not impair transport of fluorescent solutes from sub-arachnoid space to brain in mice or rats. Our results do not support the proposed glymphatic mechanism of convective solute transport in brain parenchyma.