-
Eccentricity and algebraic connectivity of graphs
Authors:
B. Afshari,
M. Afshari
Abstract:
Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then…
▽ More
Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then $$λ_{2} \ge \frac{ 4 }{ (d-2+\frac{4}{n}) \, n }.$$ It is also shown that $$λ_{2} \ge \frac{ s_\ell }{ 1+ \ell \left(e(G^{\ell})-m\right) },$$ where $m$ and $e(G^\ell)$ denote the number of edges in $G$ and in the $\ell$-th power of $ G $, respectively.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Towards Understanding Task-agnostic Debiasing Through the Lenses of Intrinsic Bias and Forgetfulness
Authors:
Guangliang Liu,
Milad Afshari,
Xitong Zhang,
Zhiyu Xue,
Avrajit Ghosh,
Bidhan Bashyal,
Rongrong Wang,
Kristen Johnson
Abstract:
While task-agnostic debiasing provides notable generalizability and reduced reliance on downstream data, its impact on language modeling ability and the risk of relearning social biases from downstream task-specific data remain as the two most significant challenges when debiasing Pretrained Language Models (PLMs). The impact on language modeling ability can be alleviated given a high-quality and…
▽ More
While task-agnostic debiasing provides notable generalizability and reduced reliance on downstream data, its impact on language modeling ability and the risk of relearning social biases from downstream task-specific data remain as the two most significant challenges when debiasing Pretrained Language Models (PLMs). The impact on language modeling ability can be alleviated given a high-quality and long-contextualized debiasing corpus, but there remains a deficiency in understanding the specifics of relearning biases. We empirically ascertain that the effectiveness of task-agnostic debiasing hinges on the quantitative bias level of both the task-specific data used for downstream applications and the debiased model. We empirically show that the lower bound of the bias level of the downstream fine-tuned model can be approximated by the bias level of the debiased model, in most practical cases. To gain more in-depth understanding about how the parameters of PLMs change during fine-tuning due to the forgetting issue of PLMs, we propose a novel framework which can Propagate Socially-fair Debiasing to Downstream Fine-tuning, ProSocialTuning. Our proposed framework can push the fine-tuned model to approach the bias lower bound during downstream fine-tuning, indicating that the ineffectiveness of debiasing can be alleviated by overcoming the forgetting issue through regularizing successfully debiased attention heads based on the PLMs' bias levels from stages of pretraining and debiasing.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Homotopy Classification of Super Vector Bundles and Universality
Authors:
Mohammad Javad Afshari,
Saad Varsaie
Abstract:
This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next, constructing a Gauss morphism of a super vector bundle, some properties of this morphism is discussed. By this, we generalize one of the main theorems of homotopy cl…
▽ More
This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next, constructing a Gauss morphism of a super vector bundle, some properties of this morphism is discussed. By this, we generalize one of the main theorems of homotopy classification for vector bundles in supergeometry. Afterwards, a similar structure is introduced in the state of infinite-dimensional. Here our tools mainly include multilinear algebra of Grassmann algebras, the direct limit of the base spaces and the inverse limit of the structure sheaf of ringed spaces. We show that the resulting super vector bundle is a universal member of its category.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Comments on 'Fast and scalable search of whole-slide images via self-supervised deep learning'
Authors:
Milad Sikaroudi,
Mehdi Afshari,
Abubakr Shafique,
Shivam Kalra,
H. R. Tizhoosh
Abstract:
Chen et al. [Chen2022] recently published the article 'Fast and scalable search of whole-slide images via self-supervised deep learning' in Nature Biomedical Engineering. The authors call their method 'self-supervised image search for histology', short SISH. We express our concerns that SISH is an incremental modification of Yottixel, has used MinMax binarization but does not cite the original wor…
▽ More
Chen et al. [Chen2022] recently published the article 'Fast and scalable search of whole-slide images via self-supervised deep learning' in Nature Biomedical Engineering. The authors call their method 'self-supervised image search for histology', short SISH. We express our concerns that SISH is an incremental modification of Yottixel, has used MinMax binarization but does not cite the original works, and is based on a misnomer 'self-supervised image search'. As well, we point to several other concerns regarding experiments and comparisons performed by Chen et al.
△ Less
Submitted 14 June, 2023; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Zero-Sum Games between Large-Population Teams: Reachability-based Analysis under Mean-Field Sharing
Authors:
Yue Guan,
Mohammad Afshari,
Panagiotis Tsiotras
Abstract:
This work studies the behaviors of two large-population teams competing in a discrete environment. The team-level interactions are modeled as a zero-sum game while the agent dynamics within each team is formulated as a collaborative mean-field team problem. Drawing inspiration from the mean-field literature, we first approximate the large-population team game with its infinite-population limit. Su…
▽ More
This work studies the behaviors of two large-population teams competing in a discrete environment. The team-level interactions are modeled as a zero-sum game while the agent dynamics within each team is formulated as a collaborative mean-field team problem. Drawing inspiration from the mean-field literature, we first approximate the large-population team game with its infinite-population limit. Subsequently, we construct a fictitious centralized system and transform the infinite-population game to an equivalent zero-sum game between two coordinators. We study the optimal coordination strategies for each team via a novel reachability analysis and later translate them back to decentralized strategies that the original agents deploy. We prove that the strategies are $ε$-optimal for the original finite-population team game, and we further show that the suboptimality diminishes when team size approaches infinity. The theoretical guarantees are verified by numerical examples.
△ Less
Submitted 22 February, 2024; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Hierarchical Decompositions of Stochastic Pursuit-Evasion Games
Authors:
Yue Guan,
Mohammad Afshari,
Qifan Zhang,
Panagiotis Tsiotras
Abstract:
In this work we present a hierarchical framework for solving discrete stochastic pursuit-evasion games (PEGs) in large grid worlds. With a partition of the grid world into superstates (e.g., "rooms"), the proposed approach creates a two-resolution decision-making process, which consists of a set of local PEGs at the original state level and an aggregated PEG at the superstate level. Having much sm…
▽ More
In this work we present a hierarchical framework for solving discrete stochastic pursuit-evasion games (PEGs) in large grid worlds. With a partition of the grid world into superstates (e.g., "rooms"), the proposed approach creates a two-resolution decision-making process, which consists of a set of local PEGs at the original state level and an aggregated PEG at the superstate level. Having much smaller cardinality, both the local games and the aggregated game can be easily solved to a Nash equilibrium. To connect the decision-making at the two resolutions, we use the Nash values of the local PEGs as the rewards for the aggregated game. Through numerical simulations, we show that the proposed hierarchical framework significantly reduces the computation overhead, while still maintaining a satisfactory level of performance when competing against the flat Nash policies.
△ Less
Submitted 14 September, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Strong Consistency and Rate of Convergence of Switched Least Squares System Identification for Autonomous Markov Jump Linear Systems
Authors:
Borna Sayedana,
Mohammad Afshari,
Peter E. Caines,
Aditya Mahajan
Abstract:
In this paper, we investigate the problem of system identification for autonomous Markov jump linear systems (MJS) with complete state observations. We propose switched least squares method for identification of MJS, show that this method is strongly consistent, and derive data-dependent and data-independent rates of convergence. In particular, our data-independent rate of convergence shows that,…
▽ More
In this paper, we investigate the problem of system identification for autonomous Markov jump linear systems (MJS) with complete state observations. We propose switched least squares method for identification of MJS, show that this method is strongly consistent, and derive data-dependent and data-independent rates of convergence. In particular, our data-independent rate of convergence shows that, almost surely, the system identification error is $\mathcal{O}\big(\sqrt{\log(T)/T} \big)$ where $T$ is the time horizon. These results show that switched least squares method for MJS has the same rate of convergence as least squares method for autonomous linear systems. We derive our results by imposing a general stability assumption on the model called stability in the average sense. We show that stability in the average sense is a weaker form of stability compared to the stability assumptions commonly imposed in the literature. We present numerical examples to illustrate the performance of the proposed method.
△ Less
Submitted 4 February, 2023; v1 submitted 20 December, 2021;
originally announced December 2021.
-
A Similarity Measure of Histopathology Images by Deep Embeddings
Authors:
Mehdi Afshari,
H. R. Tizhoosh
Abstract:
Histopathology digital scans are large-size images that contain valuable information at the pixel level. Content-based comparison of these images is a challenging task. This study proposes a content-based similarity measure for high-resolution gigapixel histopathology images. The proposed similarity measure is an expansion of cosine vector similarity to a matrix. Each image is divided into same-si…
▽ More
Histopathology digital scans are large-size images that contain valuable information at the pixel level. Content-based comparison of these images is a challenging task. This study proposes a content-based similarity measure for high-resolution gigapixel histopathology images. The proposed similarity measure is an expansion of cosine vector similarity to a matrix. Each image is divided into same-size patches with a meaningful amount of information (i.e., contained enough tissue). The similarity is measured by the extraction of patch-level deep embeddings of the last pooling layer of a pre-trained deep model at four different magnification levels, namely, 1x, 2.5x, 5x, and 10x magnifications. In addition, for faster measurement, embedding reduction is investigated. Finally, to assess the proposed method, an image search method is implemented. Results show that the similarity measure represents the slide labels with a maximum accuracy of 93.18\% for top-5 search at 5x magnification.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Real-time Electron Solvation Induced by Bursts of Laser-accelerated Protons in Liquid Water
Authors:
A. Prasselsperger,
M. Coughlan,
N. Breslin,
M. Yeung,
C. Arthur,
H. Donnelly,
S. White,
M. Afshari,
M. Speicher,
R. Yang,
B. Villagomez-Bernabe,
F. J. Currell,
J. Schreiber,
B. Dromey
Abstract:
Understanding the mechanisms of proton energy deposition in matter and subsequent damage formation is fundamental to radiation science. Here we exploit the picosecond (10^-12 s) resolution of laser-driven accelerators to track ultra-fast solvation dynamics for electrons due to proton radiolysis in liquid water (H2O). Comparing these results with modelling that assumes initial conditions similar to…
▽ More
Understanding the mechanisms of proton energy deposition in matter and subsequent damage formation is fundamental to radiation science. Here we exploit the picosecond (10^-12 s) resolution of laser-driven accelerators to track ultra-fast solvation dynamics for electrons due to proton radiolysis in liquid water (H2O). Comparing these results with modelling that assumes initial conditions similar to those found in photolysis reveals that solvation time due to protons is extended by > 20 ps. Supported by magneto-hydrodynamic theory this indicates a highly dynamic phase in the immediate aftermath of the proton interaction that is not accounted for in current models.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
Fine-Tuning and Training of DenseNet for Histopathology Image Representation Using TCGA Diagnostic Slides
Authors:
Abtin Riasatian,
Morteza Babaie,
Danial Maleki,
Shivam Kalra,
Mojtaba Valipour,
Sobhan Hemati,
Manit Zaveri,
Amir Safarpoor,
Sobhan Shafiei,
Mehdi Afshari,
Maral Rasoolijaberi,
Milad Sikaroudi,
Mohd Adnan,
Sultaan Shah,
Charles Choi,
Savvas Damaskinos,
Clinton JV Campbell,
Phedias Diamandis,
Liron Pantanowitz,
Hany Kashani,
Ali Ghodsi,
H. R. Tizhoosh
Abstract:
Feature vectors provided by pre-trained deep artificial neural networks have become a dominant source for image representation in recent literature. Their contribution to the performance of image analysis can be improved through finetuning. As an ultimate solution, one might even train a deep network from scratch with the domain-relevant images, a highly desirable option which is generally impeded…
▽ More
Feature vectors provided by pre-trained deep artificial neural networks have become a dominant source for image representation in recent literature. Their contribution to the performance of image analysis can be improved through finetuning. As an ultimate solution, one might even train a deep network from scratch with the domain-relevant images, a highly desirable option which is generally impeded in pathology by lack of labeled images and the computational expense. In this study, we propose a new network, namely KimiaNet, that employs the topology of the DenseNet with four dense blocks, fine-tuned and trained with histopathology images in different configurations. We used more than 240,000 image patches with 1000x1000 pixels acquired at 20x magnification through our proposed "highcellularity mosaic" approach to enable the usage of weak labels of 7,126 whole slide images of formalin-fixed paraffin-embedded human pathology samples publicly available through the The Cancer Genome Atlas (TCGA) repository. We tested KimiaNet using three public datasets, namely TCGA, endometrial cancer images, and colorectal cancer images by evaluating the performance of search and classification when corresponding features of different networks are used for image representation. As well, we designed and trained multiple convolutional batch-normalized ReLU (CBR) networks. The results show that KimiaNet provides superior results compared to the original DenseNet and smaller CBR networks when used as feature extractor to represent histopathology images.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Ink Marker Segmentation in Histopathology Images Using Deep Learning
Authors:
Danial Maleki,
Mehdi Afshari,
Morteza Babaie,
H. R. Tizhoosh
Abstract:
Due to the recent advancements in machine vision, digital pathology has gained significant attention. Histopathology images are distinctly rich in visual information. The tissue glass slide images are utilized for disease diagnosis. Researchers study many methods to process histopathology images and facilitate fast and reliable diagnosis; therefore, the availability of high-quality slides becomes…
▽ More
Due to the recent advancements in machine vision, digital pathology has gained significant attention. Histopathology images are distinctly rich in visual information. The tissue glass slide images are utilized for disease diagnosis. Researchers study many methods to process histopathology images and facilitate fast and reliable diagnosis; therefore, the availability of high-quality slides becomes paramount. The quality of the images can be negatively affected when the glass slides are ink-marked by pathologists to delineate regions of interest. As an example, in one of the largest public histopathology datasets, The Cancer Genome Atlas (TCGA), approximately $12\%$ of the digitized slides are affected by manual delineations through ink markings. To process these open-access slide images and other repositories for the design and validation of new methods, an algorithm to detect the marked regions of the images is essential to avoid confusing tissue pixels with ink-colored pixels for computer methods. In this study, we propose to segment the ink-marked areas of pathology patches through a deep network. A dataset from $79$ whole slide images with $4,305$ patches was created and different networks were trained. Finally, the results showed an FPN model with the EffiecentNet-B3 as the backbone was found to be the superior configuration with an F1 score of $94.53\%$.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Decentralized linear quadratic systems with major and minor agents and non-Gaussian noise
Authors:
Mohammad Afshari,
Aditya Mahajan
Abstract:
A decentralized linear quadratic system with a major agent and a collection of minor agents is considered. The major agent affects the minor agents, but not vice versa. The state of the major agent is observed by all agents. In addition, the minor agents have a noisy observation of their local state. The noise processes is \emph{not} assumed to be Gaussian. The structures of the optimal strategy a…
▽ More
A decentralized linear quadratic system with a major agent and a collection of minor agents is considered. The major agent affects the minor agents, but not vice versa. The state of the major agent is observed by all agents. In addition, the minor agents have a noisy observation of their local state. The noise processes is \emph{not} assumed to be Gaussian. The structures of the optimal strategy and the best linear strategy are characterized. It is shown that major agent's optimal control action is a linear function of the major agent's MMSE (minimum mean squared error) estimate of the system state while the minor agent's optimal control action is a linear function of the major agent's MMSE estimate of the system state and a "correction term" which depends on the difference of the minor agent's MMSE estimate of its local state and the major agent's MMSE estimate of the minor agent's local state. Since the noise is non-Gaussian, the minor agent's MMSE estimate is a non-linear function of its observation. It is shown that replacing the minor agent's MMSE estimate by its LLMS (linear least mean square) estimate gives the best linear control strategy. The results are proved using a direct method based on conditional independence, common-information-based splitting of state and control actions, and simplifying the per-step cost based on conditional independence, orthogonality principle, and completion of squares.
△ Less
Submitted 1 July, 2022; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Time-resolved diffraction with an optimized short pulse laser plasma X-ray source
Authors:
Mohammadmahdi Afshari,
Philipp Krumey,
Dennis Menn,
Matthieu Nicoul,
Fabian Brinks,
Alexander Tarasevitch,
Klaus Sokolowski-Tinten
Abstract:
We present a set-up for time-resolved X-ray diffraction based on a short pulse, laser-driven plasma X-ray source. The employed modular design provides high flexibility to adapt the set-up to the specific requirements (e.g. X-ray optics, sample environment) of particular applications. The configuration discussed here has been optimized towards high angular/momentum resolution and uses K$_α$-radiati…
▽ More
We present a set-up for time-resolved X-ray diffraction based on a short pulse, laser-driven plasma X-ray source. The employed modular design provides high flexibility to adapt the set-up to the specific requirements (e.g. X-ray optics, sample environment) of particular applications. The configuration discussed here has been optimized towards high angular/momentum resolution and uses K$_α$-radiation (4.51 keV) from a Ti wire-target in combination with a toroidally bent crystal for collection, monochromatization and focusing of the emitted radiation. $2\times 10^5$ Ti-K$_{\alpha1}$ photons per pulse with $10^{-4}$ relative bandwidth are delivered to the sample at 10 Hz repetition rate. This allows for high dynamic range ($10^4$) measurements of transient changes of the rocking curves of materials as for example induced by laser-triggered strain waves.
△ Less
Submitted 13 December, 2019;
originally announced January 2020.
-
Acoustic response of a laser-excited polycrystalline Au-film studied by ultrafast Debye-Scherrer diffraction at a table-top short-pulse X-ray source
Authors:
W. Lu,
M. Nicoul,
U. Shymanovich,
F. Brinks,
M. Afshari,
A. Tarasevitch,
D. von der Linde,
K. Sokolowski-Tinten
Abstract:
The transient acoustic response of a free-standing, polycrystalline thin Au film upon femtosecond optical excitation has been studied by time-resolved Debye-Scherrer X-ray diffraction using ultrashort Cu K$_α$ X-ray pulses from a laser-driven plasma X-ray source. The temporal strain evolution has been determined from the transient shifts of multiple Bragg diffraction peaks. The experimental data a…
▽ More
The transient acoustic response of a free-standing, polycrystalline thin Au film upon femtosecond optical excitation has been studied by time-resolved Debye-Scherrer X-ray diffraction using ultrashort Cu K$_α$ X-ray pulses from a laser-driven plasma X-ray source. The temporal strain evolution has been determined from the transient shifts of multiple Bragg diffraction peaks. The experimental data are in good agreement with the results of calculations based on the two-temperature model and an acoustic model assuming uni-axial strain propagation in the laser-excited thin film.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Optimal local and remote controllers with unreliable uplink channels: An elementary proof
Authors:
Mohammad Afshari,
Aditya Mahajan
Abstract:
Recently, a model of a decentralized control system with local and remote controllers connected over unreliable channels was presented in [1]. The model has a non-classical information structure that is not partially nested. Nonetheless, it is shown in [1] that the optimal control strategies are linear functions of the state estimate (which is a non-linear function of the observations). Their proo…
▽ More
Recently, a model of a decentralized control system with local and remote controllers connected over unreliable channels was presented in [1]. The model has a non-classical information structure that is not partially nested. Nonetheless, it is shown in [1] that the optimal control strategies are linear functions of the state estimate (which is a non-linear function of the observations). Their proof is based on a fairly sophisticated dynamic programming argument. In this note, we present an alternative and elementary proof of the result which uses common information based conditional independence and completion of squares.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Multi-agent estimation and filtering for minimizing team mean-squared error
Authors:
Mohammad Afshari,
Aditya Mahajan
Abstract:
Motivated by estimation problems arising in autonomous vehicles and decentralized control of unmanned aerial vehicles, we consider multi-agent estimation and filtering problems in which multiple agents generate state estimates based on decentralized information and the objective is to minimize a coupled mean-squared error which we call \emph{team mean-square error}. We call the resulting estimates…
▽ More
Motivated by estimation problems arising in autonomous vehicles and decentralized control of unmanned aerial vehicles, we consider multi-agent estimation and filtering problems in which multiple agents generate state estimates based on decentralized information and the objective is to minimize a coupled mean-squared error which we call \emph{team mean-square error}. We call the resulting estimates as minimum team mean-squared error (MTMSE) estimates. We show that MTMSE estimates are different from minimum mean-squared error (MMSE) estimates. We derive closed-form expressions for MTMSE estimates, which are linear function of the observations where the corresponding gain depends on the weight matrix that couples the estimation error. We then consider a filtering problem where a linear stochastic process is monitored by multiple agents which can share their observations (with delay) over a communication graph. We derive expressions to recursively compute the MTMSE estimates. To illustrate the effectiveness of the proposed scheme we consider an example of estimating the distances between vehicles in a platoon and show that MTMSE estimates significantly outperform MMSE estimates and consensus Kalman filtering estimates.
△ Less
Submitted 25 April, 2021; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Semi-analytical approaches to study hot electrons in the shock ignition regime
Authors:
M. Afshari,
L. Antonelli,
F. Barbato,
G. Folpini,
K. Jakubowska,
E. Krousky,
O. Renner,
M. Smid,
D. Batani
Abstract:
Hot electrons role in shock generation and energy deposition to hot dense core is crucial for the shock ignition scheme implying the need for their characterization at laser intensities of interest for shock ignition. In this paper we analyze the experimental results obtained at the PALS laboratory and provide an estimation of hot electrons temperature and conversion efficiency using a semi analyt…
▽ More
Hot electrons role in shock generation and energy deposition to hot dense core is crucial for the shock ignition scheme implying the need for their characterization at laser intensities of interest for shock ignition. In this paper we analyze the experimental results obtained at the PALS laboratory and provide an estimation of hot electrons temperature and conversion efficiency using a semi analytical approach, including Harrach-Kidder's model.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
Universal Super Vector Bundles
Authors:
Mohammad Javad Afshari,
Saad Varsaie
Abstract:
A new generalization of Grassmannians, called ν-grassmannians, and a canonical super vector bundle over this new space, say Γ, are introduced. Then, constructing a Gauss supermap of a super vector bundle, the universal property of Γ is discussed. Finally, we generalize one of the main theorems of homotopy classification for vector bundles in supergeometry.
A new generalization of Grassmannians, called ν-grassmannians, and a canonical super vector bundle over this new space, say Γ, are introduced. Then, constructing a Gauss supermap of a super vector bundle, the universal property of Γ is discussed. Finally, we generalize one of the main theorems of homotopy classification for vector bundles in supergeometry.
△ Less
Submitted 15 February, 2018;
originally announced February 2018.
-
X-Raying the Dark Side of Venus - Scatter from Venus Magnetotail?
Authors:
M. Afshari,
G. Peres,
P. R. Jibben,
A. Petralia,
F. Reale,
M. Weber
Abstract:
This work analyzes the X-ray, EUV and UV emission apparently coming from the Earth-facing (dark) side of Venus as observed with Hinode/XRT and SDO/AIA during a transit across the solar disk occurred in 2012. We have measured significant X-Ray, EUV and UV flux from Venus dark side. As a check we have also analyzed a Mercury transit across the solar disk, observed with Hinode/XRT in 2006. We have us…
▽ More
This work analyzes the X-ray, EUV and UV emission apparently coming from the Earth-facing (dark) side of Venus as observed with Hinode/XRT and SDO/AIA during a transit across the solar disk occurred in 2012. We have measured significant X-Ray, EUV and UV flux from Venus dark side. As a check we have also analyzed a Mercury transit across the solar disk, observed with Hinode/XRT in 2006. We have used the latest version of the Hinode/XRT Point Spread Function (PSF) to deconvolve Venus and Mercury X-ray images, in order to remove possible instrumental scattering. Even after deconvolution, the flux from Venus shadow remains significant while in the case of Mercury it becomes negligible. Since stray-light contamination affects the XRT Ti-poly filter data from the Venus transit in 2012, we performed the same analysis with XRT Al-mesh filter data, which is not affected by the light leak. Even the Al-mesh filter data show residual flux. We have also found significant EUV (304 A, 193 A, 335 A) and UV (1700 A) flux in Venus shadow, as measured with SDO/AIA. The EUV emission from Venus dark side is reduced when appropriate deconvolution methods are applied; the emission remains significant, however. The light curves of the average flux of the shadow in the X-ray, EUV, and UV bands appear different as Venus crosses the solar disk, but in any of them the flux is, at any time, approximately proportional to the average flux in a ring surrounding Venus, and therefore proportional to the average flux of the solar regions around Venus obscuring disk line of sight. The proportionality factor depends on the band. This phenomenon has no clear origin; we suggest it may be due to scatter occurring in the very long magnetotail of Venus.
△ Less
Submitted 22 July, 2016;
originally announced July 2016.
-
Toward Rapid Transformation of Ideas into Software
Authors:
Mehrdad Afshari,
Zhendong Su
Abstract:
A key mission of computer science is to enable people realize their creative ideas as naturally and painlessly as possible. Software engineering is at the center of this mission -- software technologies enable reification of ideas into working systems. As computers become ubiquitous, both in availability and the aspects of human lives they touch, the quantity and diversity of ideas also rapidly gr…
▽ More
A key mission of computer science is to enable people realize their creative ideas as naturally and painlessly as possible. Software engineering is at the center of this mission -- software technologies enable reification of ideas into working systems. As computers become ubiquitous, both in availability and the aspects of human lives they touch, the quantity and diversity of ideas also rapidly grow. Our programming systems and technologies need to evolve to make this reification process -- transforming ideas to software -- as quick and accessible as possible.
The goal of this paper is twofold. First, it advocates and highlights the "transforming ideas to software" mission as a moonshot for software engineering research. This is a long-term direction for the community, and there is no silver bullet that can get us there. To make this mission a reality, as a community, we need to improve the status quo across many dimensions. Thus, the second goal is to outline a number of directions to modernize our contemporary programming technologies for decades to come, describe work that has been undertaken along those vectors, and pinpoint critical challenges.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
