Text analytics of social media: Sentiment analysis, event detection and summarization

In the last decade, large numbers of social media services have emerged and been widely used in people's daily life as important information sharing and acquisition tools. With a substantial amount of user-contributed text data on social media, it becomes a necessity to develop methods and tools for text analysis for this emerging data, in order to better utilize it to deliver meaningful information to users. ^ Previous work on text analytics in last several decades is mainly focused on traditional types of text like emails, news and academic literatures, and several critical issues to text data on social media have not been well explored: 1) how to detect sentiment from text on social media; 2) how to make use of social media's real-time nature; 3) how to address information overload for flexible information needs. ^ In this dissertation, we focus on these three problems. First, to detect sentiment of text on social media, we propose a non-negative matrix tri-factorization (tri-NMF) based dual active supervision method to minimize human labeling efforts for the new type of data. Second, to make use of social media's real-time nature, we propose approaches to detect events from text streams on social media. Third, to address information overload for flexible information needs, we propose two summarization framework, dominating set based summarization framework and learning-to-rank based summarization framework. The dominating set based summarization framework can be applied for different types of summarization problems, while the learning-to-rank based summarization framework helps utilize the existing training data to guild the new summarization tasks. In addition, we integrate these techneques in an application study of event summarization for sports games as an example of how to better utilize social media data. ^

Text Analytics of Social Media: Sentiment Analysis, Event Detection and Summarization

In the last decade, large numbers of social media services have emerged and been widely used in people's daily life as important information sharing and acquisition tools. With a substantial amount of user-contributed text data on social media, it becomes a necessity to develop methods and tools for text analysis for this emerging data, in order to better utilize it to deliver meaningful information to users. Previous work on text analytics in last several decades is mainly focused on traditional types of text like emails, news and academic literatures, and several critical issues to text data on social media have not been well explored: 1) how to detect sentiment from text on social media; 2) how to make use of social media's real-time nature; 3) how to address information overload for flexible information needs. In this dissertation, we focus on these three problems. First, to detect sentiment of text on social media, we propose a non-negative matrix tri-factorization (tri-NMF) based dual active supervision method to minimize human labeling efforts for the new type of data. Second, to make use of social media's real-time nature, we propose approaches to detect events from text streams on social media. Third, to address information overload for flexible information needs, we propose two summarization framework, dominating set based summarization framework and learning-to-rank based summarization framework. The dominating set based summarization framework can be applied for different types of summarization problems, while the learning-to-rank based summarization framework helps utilize the existing training data to guild the new summarization tasks. In addition, we integrate these techneques in an application study of event summarization for sports games as an example of how to better utilize social media data.

Discharge measurements and storm event chemistry at the San Francisco River station (Planta) in 2007-2008

To improve our knowledge of the influence of land-use on solute behaviour and export rates in neotropical montane catchments we investigated total organic carbon (TOC), Ca, Mg, Na, K, NO3 and SO4 concentrations during April 2007-May 2008 at different flow conditions and over time in six forested and pasture-dominated headwaters (0.7-76 km2) in Ecuador. NO3 and SO4 concentrations decreased during the study period, with a continual decrease in NO3 and an abrupt decrease in February 2008 for SO4. We attribute this to changing weather regimes connected to a weakening La Niña event. Stream Na concentration decreased in all catchments, and Mg and Ca concentration decreased in all but the forested catchments during storm flow. Under all land-uses TOC increased at high flows. The differences in solute behaviour during storm flow might be attributed to largely shallow subsurface and surface flow paths in pasture streams on the one hand, and a predominant origin of storm flow from the organic layer in the forested streams on the other hand. Nutrient export rates in the forested streams were comparable to the values found in literature for tropical streams. They amounted to 6-8 kg/ha/y for Ca, 7-8 kg/ha/y for K, 4-5 kg/ha/y for Mg, 11-14 kg/ha/y for Na, 19-22 kg/ha/y for NO3 (i.e. 4.3-5.0 kg/ha/y NO3-N) and 17 kg/ha/y for SO4. Our data contradict the assumption that nutrient export increases with the loss of forest cover. For NO3 we observed a positive correlation of export value and percentage forest cover.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Qualidade da água de um reservatório e do solo da zona ripária sob diferentes usos na região semiárida do Rio Grande do Norte

Reservoirs are artificial ecosystems intermediate between rivers and lakes widely used in the Brazilian semiarid region as a way to provide water supply due to the said region’s water scarcity. The use of water from these supply sources for multiple uses, along with occupation and utilization of its riparian zone without proper management, directly influences the increased nutrient flow into aquatic environments, there with contributing to the acceleration of eutrophication. The semi-arid region is characterized by peculiar weather conditions, such as severe evaporation, high temperatures with little variation throughout the year and long water residence time, making it susceptible to prolonged drought occurrence, which tends to concentrate the nutrients in reservoirs, which favors the development of eutrophic conditions. Moreover, it is common soil use and occupation by carrying out activities with potential environmental impact on natural resources such as agriculture, livestock farming and lack of sanitation. The aim of this study is both to evaluate the water quality of the Cruzeta Reservoir, located in the semiarid region of Rio Grande do Norte, during a prolonged drought period, and assess the quality of its riparian zone soil under different uses, by monitoring physical-chemical variables. Along the prolonged drought, high levels of turbidity, suspended solids, nutrients and chlorophyll a were verified as present, therefore featuring low water quality. In the riparian zone of Cruzeta Reservoir, the areas under use of agriculture and livestock farming appeared as one of the main diffuse sources of nutrients to the said reservoir, featuring the highest levels of phosphorus and nitrogen in the soil, originated from decomposition of animal excreta and from the use of fertilizers, creating a tendency to increased eutrophication of such water supply source. The indicators of water and soil quality are useful for monitoring and evaluating the conservation status of natural resources, allowing the control and mitigation of the reservoir eutrophication process. This study confirmed the hypothesis that the reduction of water level, resulting from prolonged drought event, aggravates the symptoms of eutrophication; and also that using the soil under severalways modifies the physic chemical properties of the soil, having livestock farming and agriculture as the usages with greatest potential towards yielding P and N to the aquatic environment.

Dynamic fault tree analysis with PEWMA modeling of event rates and Bayesian updating of material balance parameters using MCMC

This research explores Bayesian updating as a tool for estimating parameters probabilistically by dynamic analysis of data sequences. Two distinct Bayesian updating methodologies are assessed. The first approach focuses on Bayesian updating of failure rates for primary events in fault trees. A Poisson Exponentially Moving Average (PEWMA) model is implemnented to carry out Bayesian updating of failure rates for individual primary events in the fault tree. To provide a basis for testing of the PEWMA model, a fault tree is developed based on the Texas City Refinery incident which occurred in 2005. A qualitative fault tree analysis is then carried out to obtain a logical expression for the top event. A dynamic Fault Tree analysis is carried out by evaluating the top event probability at each Bayesian updating step by Monte Carlo sampling from posterior failure rate distributions. It is demonstrated that PEWMA modeling is advantageous over conventional conjugate Poisson-Gamma updating techniques when failure data is collected over long time spans. The second approach focuses on Bayesian updating of parameters in non-linear forward models. Specifically, the technique is applied to the hydrocarbon material balance equation. In order to test the accuracy of the implemented Bayesian updating models, a synthetic data set is developed using the Eclipse reservoir simulator. Both structured grid and MCMC sampling based solution techniques are implemented and are shown to model the synthetic data set with good accuracy. Furthermore, a graphical analysis shows that the implemented MCMC model displays good convergence properties. A case study demonstrates that Likelihood variance affects the rate at which the posterior assimilates information from the measured data sequence. Error in the measured data significantly affects the accuracy of the posterior parameter distributions. Increasing the likelihood variance mitigates random measurement errors, but casuses the overall variance of the posterior to increase. Bayesian updating is shown to be advantageous over deterministic regression techniques as it allows for incorporation of prior belief and full modeling uncertainty over the parameter ranges. As such, the Bayesian approach to estimation of parameters in the material balance equation shows utility for incorporation into reservoir engineering workflows.

Event layer chronology from Lake Suigetsu (Japan, SG06 Project) for the last 40 kyr

Event layers in lake sediments are indicators of past extreme events, mostly the results of floods or earthquakes. Detailed characterisation of the layers allows the discrimination of the sedimentation processes involved, such as surface runoff, landslides or subaqueous slope failures. These processes can then be interpreted in terms of their triggering mechanisms. Here we present a 40 kyr event layer chronology from Lake Suigetsu, Japan. The event layers were characterised using a multi-proxy approach, employing light microscopy and µXRF for microfacies analysis. The vast majority of event layers in Lake Suigetsu was produced by flood events (362 out of 369), allowing the construction of the first long-term, quantitative (with respect to recurrence) and well dated flood chronology from the region. The flood layer frequency shows a high variability over the last 40 kyr, and it appears that extreme precipitation events were decoupled from the average long-term precipitation. For instance, the flood layer frequency is highest in the Glacial at around 25 kyr BP, at which time Japan was experiencing a generally cold and dry climate. Other cold episodes, such as Heinrich Event 1 or the Late Glacial stadial, show a low flood layer frequency. Both observations together exclude a simple, straightforward relationship with average precipitation and temperature. We argue that, especially during Glacial times, changes in typhoon genesis/typhoon tracks are the most likely control on the flood layer frequency, rather than changes in the monsoon front or snow melts. Spectral analysis of the flood chronology revealed periodic variations on centennial and millennial time scales, with 220 yr, 450 yr and a 2000 yr cyclicity most pronounced. However, the flood layer frequency appears to have not only been influenced by climate changes, but also by changes in erosion rates due to, for instance, earthquakes.

A Methodology to Emulate Single Event Upsets in Flip-Flops using FPGAs through Partial Reconfiguration and Instrumentation

This paper presents a methodology to emulate Single Event Upsets (SEUs) in FPGA flip-flops (FFs). Since the content of a FF is not modifiable through the FPGA configuration memory bits, a dedicated design is required for fault injection in the FFs. The method proposed in this paper is a hybrid approach that combines FPGA partial reconfiguration and extra logic added to the circuit under test, without modifying its operation. This approach has been integrated into a fault-injection platform, named NESSY (Non intrusive ErrorS injection SYstem), developed by our research group. Finally, this paper includes results on a Virtex-5 FPGA demonstrating the validity of the method on the ITC’99 benchmark set and a Feed-Forward Equalization (FFE) filter. In comparison with other approaches in the literature, this methodology reduces the resource consumption introduced to carry out the fault injection in FFs, at the cost of adding very little time overhead (1.6 �μs per fault).

Stable algorithm for event detection in event-driven particle dynamics : logical states

Acknowledgments The authors gratefully acknowledge the support of the German Research Foundation (DFG) through the Cluster of Excellence ‘Engineering of Advanced Materials’ at the University of Erlangen-Nuremberg and through Grant Po 472/25.

Women Against Pornography demonstrate against "Mass Marriages at Playboy Club" event

General note: Title and date provided by Bettye Lane.

Janet Guthrie, the first woman to qualify for the Indianapolis 500 car racing event, at the Trentonian 200

General note: Title and date provided by Bettye Lane.

Ms. Magazine editor Pat Carbine, Donna de Varona, Bella Abzug, Wilma Rudolph, Althea Gibson during the Ms. Mile Event at Madison Square Garden

General note: Title and date provided by Bettye Lane.

Ms. Magazine Mile track event at Madison Square Garden with Pat Carbine, Donna Da Varona, Althea Gibson, Bella Abzug, and Wilma Rudolph

General note: Title and date provided by Bettye Lane.

Herb and tea seller at Women's Event in Las Cruces, New Mexico

General note: Title and date provided by Bettye Lane.

GAA (Gay Activist Alliance) protesters arrested at Intro 475 civil rights event at City Hall

General note: Title and date provided by Bettye Lane. Digitall reproduction