-
Exploring the Attack Surface of Blockchain: A Systematic Overview
Authors:
Muhammad Saad,
Jeffrey Spaulding,
Laurent Njilla,
Charles Kamhoua,
Sachin Shetty,
DaeHun Nyang,
Aziz Mohaisen
Abstract:
In this paper, we systematically explore the attack surface of the Blockchain technology, with an emphasis on public Blockchains. Towards this goal, we attribute attack viability in the attack surface to 1) the Blockchain cryptographic constructs, 2) the distributed architecture of the systems using Blockchain, and 3) the Blockchain application context. To each of those contributing factors, we ou…
▽ More
In this paper, we systematically explore the attack surface of the Blockchain technology, with an emphasis on public Blockchains. Towards this goal, we attribute attack viability in the attack surface to 1) the Blockchain cryptographic constructs, 2) the distributed architecture of the systems using Blockchain, and 3) the Blockchain application context. To each of those contributing factors, we outline several attacks, including selfish mining, the 51% attack, Domain Name System (DNS) attacks, distributed denial-of-service (DDoS) attacks, consensus delay (due to selfish behavior or distributed denial-of-service attacks), Blockchain forks, orphaned and stale blocks, block ingestion, wallet thefts, smart contract attacks, and privacy attacks. We also explore the causal relationships between these attacks to demonstrate how various attack vectors are connected to one another. A secondary contribution of this work is outlining effective defense measures taken by the Blockchain technology or proposed by researchers to mitigate the effects of these attacks and patch associated vulnerabilities
△ Less
Submitted 6 April, 2019;
originally announced April 2019.
-
Vision-based inspection system employing computer vision & neural networks for detection of fractures in manufactured components
Authors:
Sarthak J Shetty
Abstract:
We are proceeding towards the age of automation and robotic integration of our production lines [5]. Effective quality-control systems have to be put in place to maintain the quality of manufactured components. Among different quality-control systems, vision-based inspection systems have gained considerable amount of popularity [8] due to developments in computing power and image processing techni…
▽ More
We are proceeding towards the age of automation and robotic integration of our production lines [5]. Effective quality-control systems have to be put in place to maintain the quality of manufactured components. Among different quality-control systems, vision-based inspection systems have gained considerable amount of popularity [8] due to developments in computing power and image processing techniques. In this paper, we present a vision-based inspection system (VBI) as a quality-control system, which not only detects the presence of defects, such as in conventional VBIs, but also leverage developments in machine learning to predict the presence of surface fractures and wearing. We use OpenCV, an open source computer-vision framework, and Tensorflow, an open source machine-learning framework developed by Google Inc., to accomplish the tasks of detection and prediction of presence of surface defects such as fractures of manufactured gears.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
The Data Analysis Pipeline for the SDSS-IV MaNGA IFU Galaxy Survey: Emission-Line Modeling
Authors:
Francesco Belfiore,
Kyle B. Westfall,
Adam Schaefer,
Michele Cappellari,
Xihan Ji,
Matthew A. Bershady,
Christy Tremonti,
David R. Law,
Renbin Yan,
Kevin Bundy,
Shravan Shetty,
Niv Drory,
Daniel Thomas,
Eric Emsellem,
Sebastián F. Sánchez
Abstract:
SDSS-IV MaNGA (Mapping Nearby Galaxies at Apache Point Observatory) is the largest integral-field spectroscopy survey to date, aiming to observe a statistically representative sample of 10,000 low-redshift galaxies. In this paper we study the reliability of the emission-line fluxes and kinematic properties derived by the MaNGA Data Analysis Pipeline (DAP). We describe the algorithmic choices made…
▽ More
SDSS-IV MaNGA (Mapping Nearby Galaxies at Apache Point Observatory) is the largest integral-field spectroscopy survey to date, aiming to observe a statistically representative sample of 10,000 low-redshift galaxies. In this paper we study the reliability of the emission-line fluxes and kinematic properties derived by the MaNGA Data Analysis Pipeline (DAP). We describe the algorithmic choices made in the DAP with regards to measuring emission-line properties, and the effect of our adopted strategy of simultaneously fitting the continuum and line emission. The effect of random errors are quantified by studying various fit-quality metrics, idealized recovery simulations and repeat observations. This analysis demonstrates that the emission lines are well-fit in the vast majority of the MaNGA dataset and the derived fluxes and errors are statistically robust. The systematic uncertainty on emission-line properties introduced by the choice of continuum templates is also discussed. In particular, we test the effect of using different stellar libraries and simple stellar-population models on the derived emission-line fluxes and the effect of introducing different tying prescriptions for the emission-line kinematics. We show that these effects can generate large ($>$ 0.2 dex) discrepancies at low signal-to-noise and for lines with low equivalent width (EW); however, the combined effect is noticeable even for H$α$ EW $>$ 6~Å. We provide suggestions for optimal use of the data provided by SDSS data release 15 and propose refinements on the \DAP\ for future MaNGA data releases.
△ Less
Submitted 6 September, 2019; v1 submitted 3 January, 2019;
originally announced January 2019.
-
The Data Analysis Pipeline for the SDSS-IV MaNGA IFU Galaxy Survey: Overview
Authors:
Kyle B. Westfall,
Michele Cappellari,
Matthew A. Bershady,
Kevin Bundy,
Francesco Belfiore,
Xihan Ji,
David R. Law,
Adam Schaefer,
Shravan Shetty,
Christy A. Tremonti,
Renbin Yan,
Brett H. Andrews,
Joel R. Brownstein,
Brian Cherinka,
Lodovico Coccato,
Niv Drory,
Claudia Maraston,
Taniya Parikh,
José R. Sánchez-Gallego,
Daniel Thomas,
Anne-Marie Weijmans,
Jorge Barrera-Ballesteros,
Cheng Du,
Daniel Goddard,
Niu Li
, et al. (6 additional authors not shown)
Abstract:
Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) is acquiring integral-field spectroscopy for the largest sample of galaxies to date. By 2020, the MaNGA Survey --- one of three core programs in the fourth-generation Sloan Digital Sky Survey (SDSS-IV) --- will have observed a statistically representative sample of 10$^4$ galaxies in the local Universe ($z\lesssim0.15$). In addition to a…
▽ More
Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) is acquiring integral-field spectroscopy for the largest sample of galaxies to date. By 2020, the MaNGA Survey --- one of three core programs in the fourth-generation Sloan Digital Sky Survey (SDSS-IV) --- will have observed a statistically representative sample of 10$^4$ galaxies in the local Universe ($z\lesssim0.15$). In addition to a robust data-reduction pipeline (DRP), MaNGA has developed a data-analysis pipeline (DAP) that provides higher-level data products. To accompany the first public release of its code base and data products, we provide an overview of the MaNGA DAP, including its software design, workflow, measurement procedures and algorithms, performance, and output data model. In conjunction with our companion paper Belfiore et al., we also assess the DAP output provided for 4718 observations of 4648 unique galaxies in the recent SDSS Data Release 15 (DR15). These analysis products focus on measurements that are close to the data and require minimal model-based assumptions. Namely, we provide stellar kinematics (velocity and velocity dispersion), emission-line properties (kinematics, fluxes, and equivalent widths), and spectral indices (e.g., D4000 and the Lick indices). We find that the DAP provides robust measurements and errors for the vast majority ($>$99%) of analyzed spectra. We summarize assessments of the precision and accuracy of our measurements as a function of signal-to-noise, and provide specific guidance to users regarding the limitations of the data. The MaNGA DAP software is publicly available and we encourage community involvement in its development.
△ Less
Submitted 4 November, 2019; v1 submitted 3 January, 2019;
originally announced January 2019.
-
The Fifteenth Data Release of the Sloan Digital Sky Surveys: First Release of MaNGA Derived Quantities, Data Visualization Tools and Stellar Library
Authors:
D. S. Aguado,
Romina Ahumada,
Andres Almeida,
Scott F. Anderson,
Brett H. Andrews,
Borja Anguiano,
Erik Aquino Ortiz,
Alfonso Aragon-Salamanca,
Maria Argudo-Fernandez,
Marie Aubert,
Vladimir Avila-Reese,
Carles Badenes,
Sandro Barboza Rembold,
Kat Barger,
Jorge Barrera-Ballesteros,
Dominic Bates,
Julian Bautista,
Rachael L. Beaton,
Timothy C. Beers,
Francesco Belfiore,
Mariangela Bernardi,
Matthew Bershady,
Florian Beutler,
Jonathan Bird,
Dmitry Bizyaev
, et al. (209 additional authors not shown)
Abstract:
Twenty years have passed since first light for the Sloan Digital Sky Survey (SDSS). Here, we release data taken by the fourth phase of SDSS (SDSS-IV) across its first three years of operation (July 2014-July 2017). This is the third data release for SDSS-IV, and the fifteenth from SDSS (Data Release Fifteen; DR15). New data come from MaNGA - we release 4824 datacubes, as well as the first stellar…
▽ More
Twenty years have passed since first light for the Sloan Digital Sky Survey (SDSS). Here, we release data taken by the fourth phase of SDSS (SDSS-IV) across its first three years of operation (July 2014-July 2017). This is the third data release for SDSS-IV, and the fifteenth from SDSS (Data Release Fifteen; DR15). New data come from MaNGA - we release 4824 datacubes, as well as the first stellar spectra in the MaNGA Stellar Library (MaStar), the first set of survey-supported analysis products (e.g. stellar and gas kinematics, emission line, and other maps) from the MaNGA Data Analysis Pipeline (DAP), and a new data visualisation and access tool we call "Marvin". The next data release, DR16, will include new data from both APOGEE-2 and eBOSS; those surveys release no new data here, but we document updates and corrections to their data processing pipelines. The release is cumulative; it also includes the most recent reductions and calibrations of all data taken by SDSS since first light. In this paper we describe the location and format of the data and tools and cite technical references describing how it was obtained and processed. The SDSS website (www.sdss.org) has also been updated, providing links to data downloads, tutorials and examples of data use. While SDSS-IV will continue to collect astronomical data until 2020, and will be followed by SDSS-V (2020-2025), we end this paper by describing plans to ensure the sustainability of the SDSS data archive for many years beyond the collection of data.
△ Less
Submitted 10 December, 2018; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Learning From Less Data: Diversified Subset Selection and Active Learning in Image Classification Tasks
Authors:
Vishal Kaushal,
Anurag Sahoo,
Khoshrav Doctor,
Narasimha Raju,
Suyash Shetty,
Pankaj Singh,
Rishabh Iyer,
Ganesh Ramakrishnan
Abstract:
Supervised machine learning based state-of-the-art computer vision techniques are in general data hungry and pose the challenges of not having adequate computing resources and of high costs involved in human labeling efforts. Training data subset selection and active learning techniques have been proposed as possible solutions to these challenges respectively. A special class of subset selection f…
▽ More
Supervised machine learning based state-of-the-art computer vision techniques are in general data hungry and pose the challenges of not having adequate computing resources and of high costs involved in human labeling efforts. Training data subset selection and active learning techniques have been proposed as possible solutions to these challenges respectively. A special class of subset selection functions naturally model notions of diversity, coverage and representation and they can be used to eliminate redundancy and thus lend themselves well for training data subset selection. They can also help improve the efficiency of active learning in further reducing human labeling efforts by selecting a subset of the examples obtained using the conventional uncertainty sampling based techniques. In this work we empirically demonstrate the effectiveness of two diversity models, namely the Facility-Location and Disparity-Min models for training-data subset selection and reducing labeling effort. We do this for a variety of computer vision tasks including Gender Recognition, Scene Recognition and Object Recognition. Our results show that subset selection done in the right way can add 2-3% in accuracy on existing baselines, particularly in the case of less training data. This allows the training of complex machine learning models (like Convolutional Neural Networks) with much less training data while incurring minimal performance loss.
△ Less
Submitted 28 May, 2018;
originally announced May 2018.
-
A Mixed Hierarchical Attention based Encoder-Decoder Approach for Standard Table Summarization
Authors:
Parag Jain,
Anirban Laha,
Karthik Sankaranarayanan,
Preksha Nema,
Mitesh M. Khapra,
Shreyas Shetty
Abstract:
Structured data summarization involves generation of natural language summaries from structured input data. In this work, we consider summarizing structured data occurring in the form of tables as they are prevalent across a wide variety of domains. We formulate the standard table summarization problem, which deals with tables conforming to a single predefined schema. To this end, we propose a mix…
▽ More
Structured data summarization involves generation of natural language summaries from structured input data. In this work, we consider summarizing structured data occurring in the form of tables as they are prevalent across a wide variety of domains. We formulate the standard table summarization problem, which deals with tables conforming to a single predefined schema. To this end, we propose a mixed hierarchical attention based encoder-decoder model which is able to leverage the structure in addition to the content of the tables. Our experiments on the publicly available WEATHERGOV dataset show around 18 BLEU (~ 30%) improvement over the current state-of-the-art.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Generating Descriptions from Structured Data Using a Bifocal Attention Mechanism and Gated Orthogonalization
Authors:
Preksha Nema,
Shreyas Shetty,
Parag Jain,
Anirban Laha,
Karthik Sankaranarayanan,
Mitesh M. Khapra
Abstract:
In this work, we focus on the task of generating natural language descriptions from a structured table of facts containing fields (such as nationality, occupation, etc) and values (such as Indian, actor, director, etc). One simple choice is to treat the table as a sequence of fields and values and then use a standard seq2seq model for this task. However, such a model is too generic and does not ex…
▽ More
In this work, we focus on the task of generating natural language descriptions from a structured table of facts containing fields (such as nationality, occupation, etc) and values (such as Indian, actor, director, etc). One simple choice is to treat the table as a sequence of fields and values and then use a standard seq2seq model for this task. However, such a model is too generic and does not exploit task-specific characteristics. For example, while generating descriptions from a table, a human would attend to information at two levels: (i) the fields (macro level) and (ii) the values within the field (micro level). Further, a human would continue attending to a field for a few timesteps till all the information from that field has been rendered and then never return back to this field (because there is nothing left to say about it). To capture this behavior we use (i) a fused bifocal attention mechanism which exploits and combines this micro and macro level information and (ii) a gated orthogonalization mechanism which tries to ensure that a field is remembered for a few time steps and then forgotten. We experiment with a recently released dataset which contains fact tables about people and their corresponding one line biographical descriptions in English. In addition, we also introduce two similar datasets for French and German. Our experiments show that the proposed model gives 21% relative improvement over a recently proposed state of the art method and 10% relative improvement over basic seq2seq models. The code and the datasets developed as a part of this work are publicly available.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
A Unified Multi-Faceted Video Summarization System
Authors:
Anurag Sahoo,
Vishal Kaushal,
Khoshrav Doctor,
Suyash Shetty,
Rishabh Iyer,
Ganesh Ramakrishnan
Abstract:
This paper addresses automatic summarization and search in visual data comprising of videos, live streams and image collections in a unified manner. In particular, we propose a framework for multi-faceted summarization which extracts key-frames (image summaries), skims (video summaries) and entity summaries (summarization at the level of entities like objects, scenes, humans and faces in the video…
▽ More
This paper addresses automatic summarization and search in visual data comprising of videos, live streams and image collections in a unified manner. In particular, we propose a framework for multi-faceted summarization which extracts key-frames (image summaries), skims (video summaries) and entity summaries (summarization at the level of entities like objects, scenes, humans and faces in the video). The user can either view these as extractive summarization, or query focused summarization. Our approach first pre-processes the video or image collection once, to extract all important visual features, following which we provide an interactive mechanism to the user to summarize the video based on their choice. We investigate several diversity, coverage and representation models for all these problems, and argue the utility of these different mod- els depending on the application. While most of the prior work on submodular summarization approaches has focused on combining several models and learning weighted mixtures, we focus on the explain-ability of different the diversity, coverage and representation models and their scalability. Most importantly, we also show that we can summarize hours of video data in a few seconds, and our system allows the user to generate summaries of various lengths and types interactively on the fly.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Application of Convolutional Neural Network for Image Classification on Pascal VOC Challenge 2012 dataset
Authors:
Suyash Shetty
Abstract:
In this project we work on creating a model to classify images for the Pascal VOC Challenge 2012. We use convolutional neural networks trained on a single GPU instance provided by Amazon via their cloud service Amazon Web Services (AWS) to classify images in the Pascal VOC 2012 data set. We train multiple convolutional neural network models and finally settle on the best model which produced a val…
▽ More
In this project we work on creating a model to classify images for the Pascal VOC Challenge 2012. We use convolutional neural networks trained on a single GPU instance provided by Amazon via their cloud service Amazon Web Services (AWS) to classify images in the Pascal VOC 2012 data set. We train multiple convolutional neural network models and finally settle on the best model which produced a validation accuracy of 85.6% and a testing accuracy of 85.24%.
△ Less
Submitted 13 July, 2016;
originally announced July 2016.
-
The Runaway Rectangle Escape Problem
Authors:
Aniket Basu Roy,
Anil Maheshwari,
Sathish Govindarajan,
Neeldhara Misra,
Subhas C Nandy,
Shreyas Shetty
Abstract:
Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question…
▽ More
Motivated by the applications of routing in PCB buses, the Rectangle Escape Problem was recently introduced and studied. In this problem, we are given a set of rectangles $\mathcal{S}$ in a rectangular region $R$, and we would like to extend these rectangles to one of the four sides of $R$. Define the density of a point $p$ in $R$ as the number of extended rectangles that contain $p$. The question is then to find an extension with the smallest maximum density.
We consider the problem of maximizing the number of rectangles that can be extended when the maximum density allowed is at most $d$. It is known that this problem is polynomially solvable for $d = 1$, and NP-hard for any $d \geq 2$. We consider approximation and exact algorithms for fixed values of $d$. We also show that a very special case of this problem, when all the rectangles are unit squares from a grid, continues to be NP-hard for $d = 2$.
△ Less
Submitted 15 March, 2016; v1 submitted 14 March, 2016;
originally announced March 2016.
-
Observed trend in the star formation history and the dark matter fraction of galaxies at redshift $z\approx0.8$
Authors:
Shravan Shetty,
Michele Cappellari
Abstract:
We study the star formation history for a sample of 154 galaxies with stellar mass $10^{10}\lesssim M_{\ast}\lesssim 10^{12} M_{\odot}$ in the redshift range $0.7 < z < 0.9$. We do this using stellar population models combined with full-spectrum fitting of good quality spectra and high resolution photometry. For a subset of 68 galaxies ($M_{\ast}\gtrsim 10^{11} M_{\odot}$) we additionally construc…
▽ More
We study the star formation history for a sample of 154 galaxies with stellar mass $10^{10}\lesssim M_{\ast}\lesssim 10^{12} M_{\odot}$ in the redshift range $0.7 < z < 0.9$. We do this using stellar population models combined with full-spectrum fitting of good quality spectra and high resolution photometry. For a subset of 68 galaxies ($M_{\ast}\gtrsim 10^{11} M_{\odot}$) we additionally construct dynamical models. These use an axisymmetric solution to the Jeans equations, which allows for velocity anisotropy, and adopts results from abundance matching techniques to account for the dark matter content.
We find that: (i) The trends in star formation history observed in the local universe are already in place by $z\sim1$: the most massive galaxies are already passive, while lower mass ones have a more extended star formation histories, and the lowest mass galaxies are actively forming stars; (ii) we place an upper limit of a factor 1.5 to the size growth of the massive galaxy population; (iii) we present strong evidence for low dark matter fractions within $1R_{\rm e}$ (median of 9 per cent and 90th percentile of 21 per cent) for galaxies with $M_{\ast} \gtrsim 10^{11} M_{\odot}$ at these redshifts; and (iv) we confirm that these galaxies have, on average, a Salpeter normalisation of the stellar initial mass function.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
Feature selection using Fisher's ratio technique for automatic speech recognition
Authors:
Sarika Hegde,
K. K. Achary,
Surendra Shetty
Abstract:
Automatic Speech Recognition involves mainly two steps; feature extraction and classification . Mel Frequency Cepstral Coefficient is used as one of the prominent feature extraction techniques in ASR. Usually, the set of all 12 MFCC coefficients is used as the feature vector in the classification step. But the question is whether the same or improved classification accuracy can be achieved by usin…
▽ More
Automatic Speech Recognition involves mainly two steps; feature extraction and classification . Mel Frequency Cepstral Coefficient is used as one of the prominent feature extraction techniques in ASR. Usually, the set of all 12 MFCC coefficients is used as the feature vector in the classification step. But the question is whether the same or improved classification accuracy can be achieved by using a subset of 12 MFCC as feature vector. In this paper, Fisher's ratio technique is used for selecting a subset of 12 MFCC coefficients that contribute more in discriminating a pattern. The selected coefficients are used in classification with Hidden Markov Model algorithm. The classification accuracies that we get by using 12 coefficients and by using the selected coefficients are compared.
△ Less
Submitted 13 May, 2015;
originally announced May 2015.
-
Temporal Localization of Fine-Grained Actions in Videos by Domain Transfer from Web Images
Authors:
Chen Sun,
Sanketh Shetty,
Rahul Sukthankar,
Ram Nevatia
Abstract:
We address the problem of fine-grained action localization from temporally untrimmed web videos. We assume that only weak video-level annotations are available for training. The goal is to use these weak labels to identify temporal segments corresponding to the actions, and learn models that generalize to unconstrained web videos. We find that web images queried by action names serve as well-local…
▽ More
We address the problem of fine-grained action localization from temporally untrimmed web videos. We assume that only weak video-level annotations are available for training. The goal is to use these weak labels to identify temporal segments corresponding to the actions, and learn models that generalize to unconstrained web videos. We find that web images queried by action names serve as well-localized highlights for many actions, but are noisily labeled. To solve this problem, we propose a simple yet effective method that takes weak video labels and noisy image labels as input, and generates localized action frames as output. This is achieved by cross-domain transfer between video frames and web images, using pre-trained deep convolutional neural networks. We then use the localized action frames to train action recognition models with long short-term memory networks. We collect a fine-grained sports action data set FGA-240 of more than 130,000 YouTube videos. It has 240 fine-grained actions under 85 sports activities. Convincing results are shown on the FGA-240 data set, as well as the THUMOS 2014 localization data set with untrimmed training videos.
△ Less
Submitted 4 August, 2015; v1 submitted 4 April, 2015;
originally announced April 2015.
-
Initial Mass Function for Massive Galaxies at z$\sim$1
Authors:
Shravan Shetty,
Michele Cappellari
Abstract:
We present the results on the stellar Initial Mass Function (IMF) normalisation of 68 massive ($M_\ast=10^{11}-10^{12}$$M_\odot$) Early-Type Galaxies (ETGs) at redshift of $\sim$1. This was achieved by deriving the stellar Mass-to-Light ratio (M/L) of the galaxies through axis-symmetric dynamical modelling and comparing it to the same derived via stellar population modelling through full spectrum…
▽ More
We present the results on the stellar Initial Mass Function (IMF) normalisation of 68 massive ($M_\ast=10^{11}-10^{12}$$M_\odot$) Early-Type Galaxies (ETGs) at redshift of $\sim$1. This was achieved by deriving the stellar Mass-to-Light ratio (M/L) of the galaxies through axis-symmetric dynamical modelling and comparing it to the same derived via stellar population modelling through full spectrum fitting. The study also employs an Abundance Matching technique to account for the dark matter within the galaxies. The results demonstrate that massive ETGs at high redshifts on average have a Salpeter-like IMF normalisation, while providing observational evidence supporting previous predictions of low dark matter fraction in the inner regions ($\lesssim$ 1R$_{\rm e}$) of galaxies at higher redshift.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Salpeter normalization of the Stellar Initial Mass Function for massive galaxies at z~1
Authors:
Shravan Shetty,
Michele Cappellari
Abstract:
The stellar initial mass function (IMF) is a key parameter to study galaxy evolution. Here we measure the IMF mass normalization for a sample of 68 field galaxies in the redshift range 0.7 to 0.9 within the Extended Groth Strip. To do this we derive total (stellar + dark matter) mass-to-light [$(M/L)_{\rm dyn}$] using axisymmetric dynamical models. Within the region where we have kinematics (about…
▽ More
The stellar initial mass function (IMF) is a key parameter to study galaxy evolution. Here we measure the IMF mass normalization for a sample of 68 field galaxies in the redshift range 0.7 to 0.9 within the Extended Groth Strip. To do this we derive total (stellar + dark matter) mass-to-light [$(M/L)_{\rm dyn}$] using axisymmetric dynamical models. Within the region where we have kinematics (about one half-light radius), the models assume: (i) that mass-follows-light, implying negligible differences between the stellar and total density profiles; (ii) constant velocity anisotropy ($β_{\rm z}\equiv1-σ_z^2/σ_R^2=0.2$); (iii) that galaxies are seen at the average inclination for random orientations (i.e. $i=60^\circ$, where $i=90^\circ$ represents edge-on). The dynamical models are based on anisotropic Jeans equations, constrained by HST/ACS imaging and the central velocity dispersion of the galaxies, extracted from good-quality spectra taken by the DEEP2 survey. The population $(M/L)_{\rm pop}$ are derived from full-spectrum fitting of the same spectra with a grid of simple stellar population models. Recent dynamical modelling results by the $ATLAS^{3D}$ project and numerical simulations of galaxy evolution indicate that the dark matter fraction within the central regions of our galaxies should be small. This suggest that our derived total $(M/L)_{\rm dyn}$ should closely approximate the stellar $M/L$. Our comparison of $(M/L)_{\rm dyn}$ and $(M/L)_{\rm pop}$ then imply that for galaxies with stellar mass $M_\odot \geq 10^{11}$ $M_{\odot}$, the $average$ normalization of the IMF is consistent with a Salpeter slope, with a substantial scatter. This is similar to what is found within a similar mass range for nearby galaxies.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Authors:
Swaraj Bhat,
Pradeep B. H,
Keerthi S. Shetty,
Sanjay Singh
Abstract:
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe for any user to borrow or lend the device as it may cause private data of the user to be public. To safeguard the user data and also to preserve user privacy we propose and model the technique of ownership authenticatio…
▽ More
In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe for any user to borrow or lend the device as it may cause private data of the user to be public. To safeguard the user data and also to preserve user privacy we propose and model the technique of ownership authentication transfer. The user who is willing to sell the device has to transfer the ownership of the device under sale. Once the device is sold and the ownership has been transferred, the old owner will not be able to use that device at any cost. Either of the users will not be able to use the device if the process of ownership has not been carried out properly. This also takes care of the scenario when the device has been stolen or lost, avoiding the impersonation attack. The aim of this paper is to model basic process of proposed ownership authentication transfer protocol and check its safety properties by representing it using CSP and model checking approach. For model checking we have used a symbolic model checker tool called NuSMV. The safety properties of ownership transfer protocol has been modeled in terms of CTL specification and it is observed that the system satisfies all the protocol constraint and is safe to be deployed.
△ Less
Submitted 21 August, 2012;
originally announced August 2012.
-
Cloud Based Application Development for Accessing Restaurant Information on Mobile Device using LBS
Authors:
Keerthi S. Shetty,
Sanjay Singh
Abstract:
Over the past couple of years, the extent of the services provided on the mobile devices has increased rapidly. A special class of service among them is the Location Based Service(LBS) which depends on the geographical position of the user to provide services to the end users. However, a mobile device is still resource constrained, and some applications usually demand more resources than a mobile…
▽ More
Over the past couple of years, the extent of the services provided on the mobile devices has increased rapidly. A special class of service among them is the Location Based Service(LBS) which depends on the geographical position of the user to provide services to the end users. However, a mobile device is still resource constrained, and some applications usually demand more resources than a mobile device can a ord. To alleviate this, a mobile device should get resources from an external source. One of such sources is cloud computing platforms. We can predict that the mobile area will take on a boom with the advent of this new concept. The aim of this paper is to exchange messages between user and location service provider in mobile device accessing the cloud by minimizing cost, data storage and processing power. Our main goal is to provide dynamic location-based service and increase the information retrieve accuracy especially on the limited mobile screen by accessing cloud application. In this paper we present location based restaurant information retrieval system and we have developed our application in Android.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
On the interaction of Jupiter's Great Red Spot and zonal jet streams
Authors:
Sushil Shetty,
Xylar S. Asay-Davis,
Philip S. Marcus
Abstract:
In this paper, Jupiter's Great Red Spot (GRS) is used to determine properties of the Jovian atmosphere that cannot otherwise be found. These properties include the potential vorticity of the GRS and its neighboring jet streams, the shear imposed on the GRS by the jet streams, and the vertical entropy gradient (i.e., Rossby deformation radius). The cloud cover of the GRS, which is often used to d…
▽ More
In this paper, Jupiter's Great Red Spot (GRS) is used to determine properties of the Jovian atmosphere that cannot otherwise be found. These properties include the potential vorticity of the GRS and its neighboring jet streams, the shear imposed on the GRS by the jet streams, and the vertical entropy gradient (i.e., Rossby deformation radius). The cloud cover of the GRS, which is often used to define the GRS's area and aspect ratio, is found to differ significantly from the region of the GRS's potential vorticity anomaly. The westward-going jet stream to the north of the GRS and the eastward-going jet stream to its south are each found to have a large potential vorticity ``jump''. The jumps have opposite sign and as a consequence of their interaction with the GRS, the shear imposed on the GRS is reduced. The east-west to north-south aspect ratio of the GRS's potential vorticity anomaly depends on the ratio of the imposed shear to the strength of the anomaly. The aspect ratio is found to be $\approx$2:1, but without the opposing jumps it would be much greater. The GRS's high-speed collar and quiescent interior require that the potential vorticity in the interior be approximately half that in the collar. No other persistent geophysical vortex has a significant minimum of potential vorticity in its interior and laboratory vortices with such a minimum are unstable.
△ Less
Submitted 25 September, 2007; v1 submitted 28 July, 2007;
originally announced July 2007.
-
A Comparative Study of Structural, Acidic and Hydrophobic properties of Sn-BEA with Ti--BEA using Periodic Density Functional Theory
Authors:
Sharan Shetty,
D. G. Kanhere,
Sourav Pal,
Anick Goursot
Abstract:
Periodic density functional theory has been employed to characterize the differences in the structural, Lewis acidic and hydrophobic properties of Sn--BEA and Ti--BEA. We show that the incorporation of Sn increases the Lewis acidity of BEA compared to the incorporation of Ti. Hence, the present work gives an insight into the role of Sn in increasing the efficiency of the oxidation reactions. The…
▽ More
Periodic density functional theory has been employed to characterize the differences in the structural, Lewis acidic and hydrophobic properties of Sn--BEA and Ti--BEA. We show that the incorporation of Sn increases the Lewis acidity of BEA compared to the incorporation of Ti. Hence, the present work gives an insight into the role of Sn in increasing the efficiency of the oxidation reactions. The results also justify that the percentage of Sn substituted in BEA is less than Ti. The structural analysis shows that the first coordination shell of Sn is larger than that of Ti. However, the second coordination of both sites remains the same. Moreover, the water resistant properties of these substituted zeolites are quantified.
△ Less
Submitted 19 January, 2006;
originally announced January 2006.
-
Inter-cluster reactivity of Metallo-aromatic and anti-aromatic Compounds and Their Applications in Molecular Electronics: A Theoretical Investigation
Authors:
Sharan Shetty,
Rahul Kar,
Dilip G. Kanhere,
Sourav Pal
Abstract:
Local reactivity descriptors such as the condensed local softness and Fukui function have been employed to investigate the inter-cluster reactivity of the metallo-aromatic (Al4Li- and Al4Na-) and anti-aromatic (Al4Li4 and Al4Na4) compounds. We use the concept of group softness and group Fukui function to study the strength of the nucleophilicity of the Al4 unit in these compounds. Our analysis s…
▽ More
Local reactivity descriptors such as the condensed local softness and Fukui function have been employed to investigate the inter-cluster reactivity of the metallo-aromatic (Al4Li- and Al4Na-) and anti-aromatic (Al4Li4 and Al4Na4) compounds. We use the concept of group softness and group Fukui function to study the strength of the nucleophilicity of the Al4 unit in these compounds. Our analysis shows that the trend of nucleophilicity of the Al4 unit in the above clusters is as follows;
Al4Li- > Al4Na- > Al4Li4 > Al4Na 4
For the first time we have used the reactivity descriptors to show that these clusters can act as electron donating systems and thus can be used as a molecular cathode.
△ Less
Submitted 11 July, 2005;
originally announced July 2005.
-
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
Authors:
Derek Messie,
Mina Jung,
Jae C. Oh,
Shweta Shetty,
Steven Nordstrom,
Michael Haney
Abstract:
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight self-optimizing agents embedded within Level 1 of the prototype are responsible for proactive and reactive monitoring and mitigation based on specified layers of competence. The agents are self-protecting, detecting ca…
▽ More
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight self-optimizing agents embedded within Level 1 of the prototype are responsible for proactive and reactive monitoring and mitigation based on specified layers of competence. The agents are self-protecting, detecting cascading failures using a distributed approach. Adaptive, reconfigurable, and mobile objects for reliablility are designed to be self-configuring to adapt automatically to dynamically changing environments. These objects provide a self-healing layer with the ability to discover, diagnose, and react to discontinuities in real-time processing. A generic modeling environment was developed to facilitate design and implementation of hardware resource specifications, application data flow, and failure mitigation strategies. Level 1 of the planned BTeV trigger system alone will consist of 2500 DSPs, so the number of components and intractable fault scenarios involved make it impossible to design an `expert system' that applies traditional centralized mitigative strategies based on rules capturing every possible system state. Instead, a distributed reactive approach is implemented using the tools and methodologies developed by the Real-Time Embedded Systems group.
△ Less
Submitted 29 April, 2005;
originally announced April 2005.
-
Structural, electronic and bonding properties of zeolite Sn-Beta: A periodic density functional theory study
Authors:
Sharan Shetty,
Sourav Pal,
Dilip G. Kanhere,
Annick Goursot
Abstract:
The structural, electronic and the bonding properties of the Sn-BEA are investigated by using the periodic density functional theory. Each of the 9 different T-sites in the BEA were substituted by the Sn atom and all the 9 geometries were completely optimized using the plane wave basis set in conjunction with the ultra-soft pseudopotential. On the basis of the structural and the electronic prope…
▽ More
The structural, electronic and the bonding properties of the Sn-BEA are investigated by using the periodic density functional theory. Each of the 9 different T-sites in the BEA were substituted by the Sn atom and all the 9 geometries were completely optimized using the plane wave basis set in conjunction with the ultra-soft pseudopotential. On the basis of the structural and the electronic properties, it has been demonstrated that the substitution of the Sn atom in the BEA framework is an endothermic process and hence the incorporation of the Sn in the BEA is limited. The lowest unoccupied molecular orbitals (LUMO) energies have been used to characterize the Lewis acidity of each T-site. On the basis of the relative cohesive energy and the LUMO energy, T2 site is shown to be the most favorable site for the substitution of Sn atom in the BEA framework.
△ Less
Submitted 7 April, 2005;
originally announced April 2005.
-
A quantitative and a qualitative study of the resonance assisted double proton transfer in formic acid dimer
Authors:
Sharan Shetty,
Sourav Pal,
Dilip G. Kanhere,
Annick Goursot
Abstract:
We have performed ab initio molecular dynamics simulations to study the nature of the synchronous double proton transfer in formic acid dimer. In order to understand the evolution of the bonding during the double proton transfer, we have used the electron localization function and the molecular orbital isosurfaces. During the dynamics of the double proton transfer in formic acid dimer the two fo…
▽ More
We have performed ab initio molecular dynamics simulations to study the nature of the synchronous double proton transfer in formic acid dimer. In order to understand the evolution of the bonding during the double proton transfer, we have used the electron localization function and the molecular orbital isosurfaces. During the dynamics of the double proton transfer in formic acid dimer the two formic acid monomers approach each other, forming Speakman-Hadzi type, of short strong hydrogen bonds at the transition state. The Speakman-Hadzi type of short strong hydrogen bonds are also shown to be polar covalent bonds. Based on the concept of resonance assisted hydrogen bond proposed by Gilli et al (Gilli P, Bertolasi V, Ferretti V & G. Gilli, J. Am. Chem. Soc., 116 (1994). 909-915), we show that the proton at the transition state is connected by a conjugated O-C-O structures, indicating a resonance assisted hydrogen bond. On this basis the double proton transfer process in the formic acid dimer can be termed as a resonance assisted double proton transfer. Our finding on the above analysis suggest that the synchronous double proton transfer in the formic acid dimer is due to the formation of (a) Speakman-Hadzi type of short strong hydrogen bonds and (b) Resonance assisted hydrogen bond at the transition state.
△ Less
Submitted 13 December, 2004;
originally announced December 2004.
-
Metallo-Anti-aromatic Al4Na4 and Al4Na3- compounds: A theoretical investigation
Authors:
Sharan Shetty,
Dilip. G. Kanhere,
Sourav Pal
Abstract:
We propose a theoretical investigation in this paper to understand the bonding and structural properties of neutral Al4Na4 and anion Al4Na3- clusters. We show that the Al4 species in Al4Na4 and Al4Na3- clusters is a rectangular planar structure with alternate pi-bonds and hence satisfying the basic criteria for anti-aromaticity. We prove that the Al4Na4 and Al4Na3- clusters are metallo-anti-arom…
▽ More
We propose a theoretical investigation in this paper to understand the bonding and structural properties of neutral Al4Na4 and anion Al4Na3- clusters. We show that the Al4 species in Al4Na4 and Al4Na3- clusters is a rectangular planar structure with alternate pi-bonds and hence satisfying the basic criteria for anti-aromaticity. We prove that the Al4Na4 and Al4Na3- clusters are metallo-anti-aromatic compounds.
△ Less
Submitted 23 May, 2003;
originally announced May 2003.