An Auto-Parallelizer for Distributed Computing in Haskell

One of the main challenges in distributed computing is building interfaces and APIs that allow programmers with limited background in distributed systems to write scalable, performant, and fault-tolerant applications on large clusters. In this demonstration, we designed and implemented a Haskell auto-parallelizer with a simple yet powerful interface by taking advantage of the default purity of Haskell functions. Finally, we benchmarked our implementation on a set of examples to illustrate the potential for future work in this direction.Comment: 2 pages excluding title page and reference page. 2 figures. This work was submitted to the 28th ACM SIGPLAN International Conference on Functional Programming, Haskell Symposium. This work was accepted for oral presentation and was presented on Sep 8, 202

Corrosion-Induced Concrete Cracking Model Considering Corrosion-Filled Paste

A TCP–TCL model is established to describe the relationship between the thickness of the corrosion-filled paste (CP) and that of the corrosion layer (CL). This model can describe the phenomenon that the corrosion filling in the concrete pores and accumulating at the steel/concrete interface occur synchronously. Based on the TCP–TCL model, a corrosion-induced concrete cracking model, which can quantitatively consider corrosion-filled paste at concrete/steel interface, is proposed. Combined with damage analysis in corrosion-induced cracking process of concrete cover, the model is developed to describe the quantity of steel corrosion required to crack the concrete surface

Level-S2^2fM: Structure from Motion on Neural Level Set of Implicit Surfaces

This paper presents a neural incremental Structure-from-Motion (SfM) approach, Level-S$^2$fM. In our formulation, we aim at simultaneously learning coordinate MLPs for the implicit surfaces and the radiance fields, and estimating the camera poses and scene geometry, which is mainly sourced from the established keypoint correspondences by SIFT. Our formulation would face some new challenges due to inevitable two-view and few-view configurations at the beginning of incremental SfM pipeline for the optimization of coordinate MLPs, but we found that the strong inductive biases conveying in the 2D correspondences are feasible and promising to avoid those challenges by exploiting the relationship between the ray sampling schemes used in volumetric rendering and the sphere tracing of finding the zero-level set of implicit surfaces. Based on this, we revisit the pipeline of incremental SfM and renew the key components of two-view geometry initialization, the camera pose registration, and the 3D points triangulation, as well as the Bundle Adjustment in a novel perspective of neural implicit surfaces. Because the coordinate MLPs unified the scene geometry in small MLP networks, our Level-S$^2$fM treats the zero-level set of the implicit surface as an informative top-down regularization to manage the reconstructed 3D points, reject the outlier of correspondences by querying SDF, adjust the estimated geometries by NBA (Neural BA), finally yielding promising results of 3D reconstruction. Furthermore, our Level-S$^2$fM alleviated the requirement of camera poses for neural 3D reconstruction.Comment: under revie

Alzheimer’s disease and retinal neurodegeneration share a consistent stress response of the neurovascular unit

Background: The pathogenesis of Alzheimer’s disease (AD) is characterized by neuronal injury, activation of microglia and astrocytes, deposition of amyloid-beta and secondary vessel degeneration. In the polycystic kidney disease (PKD) rat model, we observed neuronal injury, microglial activation and vasoregression. We speculated that this neuroretinal degeneration shares important pathogenetic steps with AD. Therefore, we determined the activation of astrocytes and the accumulation of amyloid-beta in PKD retinae. Methods: Immunohistochemistry of PKD retinae for vimentin, carboxymethyllysin, beta-Amyloid 1-42, High-Mobility-Group-Protein B1 and amyloid protein precursor was performed. Results: Adjunct to astrocyte activation, accumulation of beta-Amyloid 1-42 and High-Mobility-Group-Protein B1 in astrocytes and around vessels of the superficial network was found in PKD retinae prior to the onset of vasoregression. Amyloid precursor protein was localized adjacent to the outer segment of photoreceptors in PKD and control rats. The parallel appearance of AD-related peptides indicates an alarmine based response to photoreceptor degeneration and secondary vasoregression. Conclusion: The model has broad overlap with AD and may be suitable to study beneficial pharmacological concepts. Copyright (c) 2012 S. Karger AG, Base

A corpus‐based discourse analysis of liberal studies textbooks in Hong Kong: legitimatizing populism

Researchers have discussed Hong Kong’s localist identities, nativist sentiments, and populism, but have not widely examined the extent to which populism could be perceived in education in Hong Kong. As the chief participants of the Occupying Central and the radical Anti-Extradition Bill movements in Hong Kong were students, this suggests the need to explore the relationship between populism and education, particularly the then-controversial liberal studies textbooks. According to contemporary news reports, liberal studies textbooks contained much content stigmatising the Chinese mainland. Previous studies of liberal studies textbooks applied qualitative discourse analysis methods. In this study, mixed-method analysis was applied to a specialised corpus comprising seven commercial liberal studies textbooks containing 248,339 Chinese characters in total to explore the extent to which liberal studies textbooks contain information concerning the key features of populism—the heightened division between the inner and outer groups. A division was found between positive images of Hong Kong and negative images of China in the narratives of commercial liberal studies textbooks. Accordingly, the textbooks can be understood to contain populism. The present study advocates that relevant educational watchdogs in Hong Kong provide more guidance on the writing and publishing of liberal studies textbooks in the future, keeping the enquiry-based spirit of the liberal studies course fulfilled, and urges stakeholders of Hong Kong education to consider teaching peace education and developing a more inclusive environment

Volumetric Wireframe Parsing from Neural Attraction Fields

The primal sketch is a fundamental representation in Marr's vision theory, which allows for parsimonious image-level processing from 2D to 2.5D perception. This paper takes a further step by computing 3D primal sketch of wireframes from a set of images with known camera poses, in which we take the 2D wireframes in multi-view images as the basis to compute 3D wireframes in a volumetric rendering formulation. In our method, we first propose a NEural Attraction (NEAT) Fields that parameterizes the 3D line segments with coordinate Multi-Layer Perceptrons (MLPs), enabling us to learn the 3D line segments from 2D observation without incurring any explicit feature correspondences across views. We then present a novel Global Junction Perceiving (GJP) module to perceive meaningful 3D junctions from the NEAT Fields of 3D line segments by optimizing a randomly initialized high-dimensional latent array and a lightweight decoding MLP. Benefitting from our explicit modeling of 3D junctions, we finally compute the primal sketch of 3D wireframes by attracting the queried 3D line segments to the 3D junctions, significantly simplifying the computation paradigm of 3D wireframe parsing. In experiments, we evaluate our approach on the DTU and BlendedMVS datasets with promising performance obtained. As far as we know, our method is the first approach to achieve high-fidelity 3D wireframe parsing without requiring explicit matching.Comment: Technical report; Video can be found at https://youtu.be/qtBQYbOpVp