A System of Interaction and Structure II: The Need for Deep Inference

This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports deep inference, in which inference rules can be applied anywhere inside logical expressions. The use of deep inference results in a simple logical system for MLL extended with the self-dual non-commutative operator, which has been to date not known to be expressible in sequent calculus. In this paper, deep inference is shown to be crucial for the logic BV, that is, any restriction on the ``depth'' of the inference rules of BV would result in a strictly less expressive logical system

Explaining Snapshots of Network Diffusions: Structural and Hardness Results

Much research has been done on studying the diffusion of ideas or technologies on social networks including the \textit{Influence Maximization} problem and many of its variations. Here, we investigate a type of inverse problem. Given a snapshot of the diffusion process, we seek to understand if the snapshot is feasible for a given dynamic, i.e., whether there is a limited number of nodes whose initial adoption can result in the snapshot in finite time. While similar questions have been considered for epidemic dynamics, here, we consider this problem for variations of the deterministic Linear Threshold Model, which is more appropriate for modeling strategic agents. Specifically, we consider both sequential and simultaneous dynamics when deactivations are allowed and when they are not. Even though we show hardness results for all variations we consider, we show that the case of sequential dynamics with deactivations allowed is significantly harder than all others. In contrast, sequential dynamics make the problem trivial on cliques even though it's complexity for simultaneous dynamics is unknown. We complement our hardness results with structural insights that can help better understand diffusions of social networks under various dynamics.Comment: 14 pages, 3 figure

The viscosity radius in dilute polymer solutions: Universal behaviour from DNA rheology and Brownian dynamics simulations

The swelling of the viscosity radius, $\alpha_\eta$, and the universal viscosity ratio, $U_{\eta R}$, have been determined experimentally for linear DNA molecules in dilute solutions with excess salt, and numerically by Brownian dynamics simulations, as a function of the solvent quality. In the latter instance, asymptotic parameter free predictions have been obtained by extrapolating simulation data for finite chains to the long chain limit. Experiments and simulations show a universal crossover for $\alpha_\eta$ and $U_{\eta R}$ from $\theta$ to good solvents in line with earlier observations on synthetic polymer-solvent systems. The significant difference between the swelling of the dynamic viscosity radius from the observed swelling of the static radius of gyration, is shown to arise from the presence of hydrodynamic interactions in the non-draining limit. Simulated values of $\alpha_\eta$ and $U_{\eta R}$ are in good agreement with experimental measurements in synthetic polymer solutions reported previously, and with the measurements in linear DNA solutions reported here.Comment: 19 pages, 14 figures, two column, Supporting Information added, to appear in Macromolecule

Business intelligence analytics using sentiment analysis-a survey

Sentiment analysis (SA) is the study and analysis of sentiments, appraisals and impressions by people about entities, person, happening, topics and services. SA uses text analysis techniques and natural language processing methods to locate and extract information from big data. As most of the people are networked themselves through social websites, they use to express their sentiments through these websites.These sentiments are proved fruitful to an individual, business, government for making decisions. The impressions posted on different available sources are being used by organization to know the market mood about the services they are providing. Analyzing huge moods expressed with different features, style have raised challenge for users. This paper focuses on understanding the fundamentals of sentiment analysis, the techniques used for sentiment extraction and analysis. These techniques are then compared for accuracy, advantages and limitations. Based on the accuracy for expexted approach, we may use the suitable technique

Soil Chemical Properties Under Conservation Agriculture and Cereal-Based Cropping System in Eastern Tarai of Nepal

Field experiments were conducted for four years (2014-2017) at five locations namely Salbani, Bhokraha, Simariya, Bhaluwa and Kaptanganj of Sunsari district to assess the changes in soil chemical properties under conservation agriculture (CA)-based practices in two cropping systems namely rice-kidney bean-maize at Salbani and rice-wheat at rest of the locations. In rice-wheat cropping system, there were four treatments: (1) conventional tillage (CT) for rice transplantation and subsequent wheat sowing, (2) conventional tillage rice transplantation followed by zero tillage (ZT) wheat, (3) unpuddled rice transplantation followed by zero tillage wheat, (4) zero tillage in both rice and wheat. Similarly, in rice-kidney bean-maize cropping system, there were four treatments; (1) conventional tillage for rice transplantation and sowing of both kidney bean and maize, (2) conventional tillage rice transplantation followed by zero tillage in both kidney bean and maize, (3) unpuddled rice transplantation followed by zero tillage in both kidney bean and maize, (4) zero tillage in all three crops. Soil samples were taken at initial and every year after rice harvest.The soil samples were analyzed for total nitrogen, available phosphorus, available potassium, pH and soil organic matter.Total nitrogen (N) showed a slightly decreasing trend in the first three years and showed a slight increase at the end of experiment under ZT in all locations. The total N under ZT changed from 0.12 to 0.13%, 0.05 to 0.06%, 0.10 to 0.12%, 0.11 to 0.08% and 0.09 to 0.13% in Salbani, Bhokraha, Simariya, Bhaluwa and Kaptanganj, respectively.  All locations showed the positive values of available potassium; Salbani  revealing considerable change of 64.3 to 78.5 mg/kg in CT while 68.4 to 73.3 mg/kg in ZT condition. The treatment where rice was transplanted in unpuddled condition and zero tilled to wheat, had a mean value of available phosphorus and potassium as 87.3 and 81.9 mg/kg respectively. Soil pH ranged from 4.8 to 7.1 in CT while it was 5.2 to 6.8 in ZT across the locations. The change in soil organic matter in CT of all locations except Salbani was narrower as compared to ZT

Tip Withering Bug, Anoplocnemis phasiana (Fab.), Halts Grape Shoots: Friend or Foe, Arrival Time Explains

Pruning is a regular practice followed in grapevine, Vitis vinefera L., to keep the vine manageable and productive. However, immediately after pruning, the plants put out a new flush of leaves which attract several leaf-feeding insects, leading to defoliation and crinkling. Incidence of tip withering bug, Anoplocnemis phasiana (Fab.), usually coinciding with the period of halting practice, results in die-back of shoot tip and prevents extension of the shoot, thus halting shoot growth. Intricacies involved in incidence of this coreid bug on grapevine are discussed here