Breast Cancer Immunohistochemical Image Generation: a Benchmark Dataset and Challenge Review

For invasive breast cancer, immunohistochemical (IHC) techniques are often used to detect the expression level of human epidermal growth factor receptor-2 (HER2) in breast tissue to formulate a precise treatment plan. From the perspective of saving manpower, material and time costs, directly generating IHC-stained images from hematoxylin and eosin (H&E) stained images is a valuable research direction. Therefore, we held the breast cancer immunohistochemical image generation challenge, aiming to explore novel ideas of deep learning technology in pathological image generation and promote research in this field. The challenge provided registered H&E and IHC-stained image pairs, and participants were required to use these images to train a model that can directly generate IHC-stained images from corresponding H&E-stained images. We selected and reviewed the five highest-ranking methods based on their PSNR and SSIM metrics, while also providing overviews of the corresponding pipelines and implementations. In this paper, we further analyze the current limitations in the field of breast cancer immunohistochemical image generation and forecast the future development of this field. We hope that the released dataset and the challenge will inspire more scholars to jointly study higher-quality IHC-stained image generation.Comment: 13 pages, 11 figures, 2table

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Building a Call to Action: Social Action in Networks of Practice

The three research papers completed as part of this dissertation explore how people contributing to #BlackLivesMatter build knowledge, using social construction of knowledge (SCK), and what they are building knowledge about, using critical consciousness, because understanding how these processes play out on Twitter provides a way for others to understand this social movement. Paper 1 describes a new methodological approach to combining social network analysis (SNA) and social learning analytics to assess SCK. The sequential mixed method design begins by conducting a content analysis according to the Interaction Analysis Model (IAM). The results of the content analysis yield descriptive data that can be used to conduct SNA and social learning analytics. The purpose of Paper 2 was to use the typology of digital activism actions identified by Penney and Dadas (2014) from interviews with digital activists to validate them in a quantitative study. Paper 2 found that the actions taken by people who are helping to facilitate face-to-face action (p \u3c .0000001 , r = -0.076) or provide face-to-face updates (p \u3c .0000001 , r = -0.060) were negatively correlated with the actions of people who were facilitating online actions suggesting that digital activists should be treated as a unique population of activists. Paper 3 used the outcomes of a content analysis and lexicon analysis performed on #BlackLivesMatter data to determine 1) the levels of SCK and critical consciousness present in online data and 2) social learning analytics to ascertain the extent that SCK and critical consciousness can predict social action. Results of the content analysis and lexicon analysis found all levels of SCK and critical consciousness in the data. Results of social learning analytics conducted using Naïve Bayes classification indicate that SCK and critical consciousness can only predict information sharing behaviors of online social action like personal opinions, forwarding information, and engaging in discussion. Evidence of information sharing behaviors on Twitter provides a high degree of confidence that further research including replies and other interactions between users will reveal robust SCK

Women in Science 2017

Ever since its 1967 start, SURF has been a cornerstone of Smith’s science education. Women in Science 2017 summarizes research done by Smith College’s SURF Program participants during the summer of 2017. 151 students participated in SURF (144 hosted on campus and nearby eld sites), supervised by 58 faculty mentor-advisors drawn from the Clark Science Center and connected to its eighteen science, mathematics, and engineering departments and programs and associated centers and units. At summer’s end, SURF participants summarized their research experiences for this publication.https://scholarworks.smith.edu/clark_womeninscience/1006/thumbnail.jp

Pre-Christian Anglo-Saxon Worship: A Semantic Study

This thesis pursues two aims. First, to reconstruct the pre-Christian meanings of 18 Old English word-families that belong to the semantic field of worship in the Anglo-Saxon literary record. The ancestors of the Anglo-Saxons migrated to Britain in the fifth century; they began to adopt Christianity with the arrival of Roman missionaries at the end of the sixth century and the Christianisation process was politically completed by the end of the seventh century. This study’s reconstructive task aims to describe the cultural facts of religious worship during this target period of two-and-a-half centuries, when these settlers in Britain practiced traditional heathen cults, through comparison of the Old English corpus data with the linguistic testimony of other early Germanic languages, further interpreted in light of relevant historical and archaeological testimony. The second aim is to characterise how the Christianisation process affected vernacular terminology for religious worship at large, through considering the relative situation of the relevant word-families. It will be argued that Christianisation introduced new conceptual categories that practically re-centred the idea of ‘worship’ away from its pre-Christian basis in technical and communal procedure, together with an ideological binary that defined correct forms of worship against their opposites. It will further be argued that this process occurred in two distinct phases, each characterised by different priorities: the first phase was led by the missionaries, who had to present Christianity as a more effective new cult by the standard of pre-Christian religious norms; the second phase followed the establishing of a native clerical infrastructure, during which time vernacular terminology was more holistically renovated under the influence of the Christian text

Play Among Books

How does coding change the way we think about architecture? Miro Roman and his AI Alice_ch3n81 develop a playful scenario in which they propose coding as the new literacy of information. They convey knowledge in the form of a project model that links the fields of architecture and information through two interwoven narrative strands in an “infinite flow” of real books