搜索结果：bulletin

Nowadays people realize that it is difficult to find information simply and quickly on the bulletin boards. In order to solve this problem, people propose the concept of bulletin board search engine. This paper describes the priscrawler system, a subsystem of the bulletin board search engine, which can automatically crawl and add the relevance to the classified attachments of the bulletin board. Priscrawler utilizes Attachrank algorithm to generate the relevance between webpages and attachments and then turns bulletin board into clear classified and associated databases, making the search for attachments greatly simplified. Moreover, it can effectively reduce the complexity of pretreatment subsystem and retrieval subsystem and improve the search precision. We provide experimental results to demonstrate the efficacy of the priscrawler.

Mobile devices encroach on almost every part of our lives, including work and leisure, and contain a wealth of personal and sensitive information. It is, therefore, imperative that these devices uphold high security standards. A key aspect is the security of the underlying operating system. In particular, Android plays a critical role due to being the most dominant platform in the mobile ecosystem with more than one billion active devices and due to its openness, which allows vendors to adopt and customize it. Similar to other platforms, Android maintains security by providing monthly security patches and announcing them via the Android security bulletin. To absorb this information successfully across the Android ecosystem, impeccable coordination by many different vendors is required. In this paper, we perform a comprehensive study of 3,171 Android-related vulnerabilities and study to which degree they are reflected in the Android security bulletin, as well as in the security bulletins of three leading vendors: Samsung, LG, and Huawei. In our analysis, we focus on the metadata of these security bulletins (e.g., timing, affected layers, severity, and CWE data) to better understand

The Web Bulletin Board (WBB) is a key component of verifiable election systems. It is used in the context of election verification to publish evidence of voting and tallying that voters and officials can check, and where challenges can be launched in the event of malfeasance. In practice, the election authority has responsibility for implementing the web bulletin board correctly and reliably, and will wish to ensure that it behaves correctly even in the presence of failures and attacks. To ensure robustness, an implementation will typically use a number of peers to be able to provide a correct service even when some peers go down or behave dishonestly. In this paper we propose a new protocol to implement such a Web Bulletin Board, motivated by the needs of the vVote verifiable voting system. Using a distributed algorithm increases the complexity of the protocol and requires careful reasoning in order to establish correctness. Here we use the Event-B modelling and refinement approach to establish correctness of the peered design against an idealised specification of the bulletin board behaviour. In particular we show that for n peers, a threshold of t > 2n/3 peers behaving correc

This issue contains, in addition to the usual contents, a special festive announcement: A book. This book by Banakh and Zdomsky seems to be the first in a planned series by these authors. We believe that the book will become a cornerstone in many future mathematical investigations, in particular in the field of infinite-combinatorial topology. The book's preliminary version is available online, as seen in the announcement, and the readers of the SPM Bulletin are encouraged to take a look and make comments. Zdomsky has also made two detailed contributions to this issue. This is the ideal form of a contribution to the SPM Bulletin, and we urge all contributors to consider this possibility from time to time. 1 Editor's note; 2 Research announcements; 2.1 On subclasses of weak Asplund spaces; 2.2 The number of translates of a closed nowhere dense set required to cover a Polish group; 2.3 More on convexity numbers of closed sets in R^n; 2.4 A new book: Coherence of Semifilters; 3 Characterization of topological spaces with (strictly) o-bounded free topological group; 4 An equivalent of SPM Bulletin 2's Problem of the month; 5 Boise Extravaganza In Set Theory (March 25--27, 2005); 6 Prob

In this issue we announce a fascinating series of works on the comparison of various types of convergence of sequences of functions. Some of these properties are provably related to some of the properties which were introduced in the earlier issues of the SPM Bulletin, and many problems remain open. Section 2, written by Lev Bukovský, contains a brief survey of some of the major open problems in this area. This issue gives the first example of the importance of the transmission of knowledge between the recipients of this bulletin: One of the announcements implies a solution to one of the problems posed in an independent paper announced here. looking forward to receive more announcements from other recipients and readers of the bulletin.

In the era of digitization, different actors in agriculture produce numerous data. Such data contains already latent historical knowledge in the domain. This knowledge enables us to precisely study natural hazards within global or local aspects, and then improve the risk prevention tasks and augment the yield, which helps to tackle the challenge of growing population and changing alimentary habits. In particular, French Plants Health Bulletins (BSV, for its name in French Bulletin de Sant{é} du V{é}g{é}tal) give information about the development stages of phytosanitary risks in agricultural production. However, they are written in natural language, thus, machines and human cannot exploit them as efficiently as it could be. Natural language processing (NLP) technologies aim to automatically process and analyze large amounts of natural language data. Since the 2010s, with the increases in computational power and parallelization, representation learning and deep learning methods became widespread in NLP. Recent advancements Bidirectional Encoder Representations from Transformers (BERT) inspire us to rethink of knowledge representation and natural language understanding in plant health

COVID-19 infodemic has been spreading faster than the pandemic itself. The misinformation riding upon the infodemic wave poses a major threat to people's health and governance systems. Since social media is the largest source of information, managing the infodemic not only requires mitigating of misinformation but also an early understanding of psychological patterns resulting from it. During the COVID-19 crisis, Twitter alone has seen a sharp 45% increase in the usage of its curated events page, and a 30% increase in its direct messaging usage, since March 6th 2020. In this study, we analyze the psychometric impact and coupling of the COVID-19 infodemic with the official bulletins related to COVID-19 at the national and state level in India. We look at these two sources with a psycho-linguistic lens of emotions and quantified the extent and coupling between the two. We modified path, a deep skip-gram based open-sourced lexicon builder for effective capture of health-related emotions. We were then able to capture the time-evolution of health-related emotions in social media and official bulletins. An analysis of lead-lag relationships between the time series of extracted emotions f

A collection of citation data, the HistComp, is available from the Internet as a database of examples of real life citation networks. The purposes of this approach is the analysis of these citation networks on learned literature by presenting its typical steps and results. We have selected the bibliographic insights into the "The Biological Bulletin", the journal published since 1897 by the Woods Hole Marine Biological Laboratory. Since the bibliographic networks tend to be very scattered, their visualization requires of criteria of convergence. To simplify, the main features in such a structure should include the survey for authoritative sources in the hyperlinked environment and the identification of thematic areas. By avoiding excessive loose connections and too dense clustered layouts to be useful, a smooth presentation is obtained by graphically depicting the citation patterns. HistComp computes 8884 articles published by 'The Biological Bulletin' between 1945-2003. A two-dimensional positioning of these papers that represent the extent of their bibliographic coupling and co-citation is offered as a histograph. The criteria to construct it is the adequateness of the visualizat

This issue of the SPM Bulletin announces two conferences which are of interest to anyone working in SPM or general topology. In the second announced conference it is planned to have a significant part devoted to SPM. Those who are interested in participating should contact Ljubisa D. R. Kocinac at lkocinac@ptt.yu Kocinac is a very active mathematician in the field of SPM. We announce here one of his most recent works. The first issues of this bulletin, contain general information (first issue), basic definitions, research announcements, and open problems (all issues).

This is the second issue of the SPM Bulletin (SPM stands for "Selection Principles in Mathematics"). The first issue is math.GN/0301011 and contains some background and details.

Our objective is to assess the performance of waveform cross-correlation technique, as applied to automatic and interactive processing of the aftershock sequence of the 2012 Sumatera earthquake relative to the Reviewed Event Bulletin (REB) issued by the International Data Centre. The REB includes 1200 aftershocks between April 11 and May 25 with body wave magnitudes from 3.05 to 6.19. To automatically recover the sequence, we selected sixteen aftershocks with mb between 4.5 and 5.0. These events evenly but sparsely cover the area of the most intensive aftershock activity as recorded during the first two days after the main shock. In our study, waveform templates from only seven IMS array stations with the largest SNRs estimated for the signals from the main shock were used to calculate cross-correlation coefficients over the entire period of 44 days. Approximately 1000000 detections obtained using cross-correlation were then used to build events according to the IDC definition. After conflict resolution between events with similar arrivals built by more than one master all qualified event hypotheses populated the automatic cross-correlation Standard Event List (aXSEL). The total nu

The Swiss avalanche bulletin is produced twice a day in four languages. Due to the lack of time available for manual translation, a fully automated translation system is employed, based on a catalogue of predefined phrases and predetermined rules of how these phrases can be combined to produce sentences. The system is able to automatically translate such sentences from German into the target languages French, Italian and English without subsequent proofreading or correction. Our catalogue of phrases is limited to a small sublanguage. The reduction of daily translation costs is expected to offset the initial development costs within a few years. After being operational for two winter seasons, we assess here the quality of the produced texts based on an evaluation where participants rate real danger descriptions from both origins, the catalogue of phrases versus the manually written and translated texts. With a mean recognition rate of 55%, users can hardly distinguish between the two types of texts, and give similar ratings with respect to their language quality. Overall, the output from the catalogue system can be considered virtually equivalent to a text written by avalanche forec

33rd issue of a bulletin dedicated to research on selective properties in mathematics.

The Swiss avalanche bulletin is produced twice a day in four languages. Due to the lack of time available for manual translation, a fully automated translation system is employed, based on a catalogue of predefined phrases and predetermined rules of how these phrases can be combined to produce sentences. Because this catalogue of phrases is limited to a small sublanguage, the system is able to automatically translate such sentences from German into the target languages French, Italian and English without subsequent proofreading or correction. Having been operational for two winter seasons, we assess here the quality of the produced texts based on two different surveys where participants rated texts from real avalanche bulletins from both origins, the catalogue of phrases versus manually written and translated texts. With a mean recognition rate of 55%, users can hardly distinguish between thetwo types of texts, and give very similar ratings with respect to their language quality. Overall, the output from the catalogue system can be considered virtually equivalent to a text written by avalanche forecasters and then manually translated by professional translators. Furthermore, foreca

Never has an issue of the SPM Bulletin contained as much interesting information as this issue does. In addition to the interesting research announcements, this issue contains announcements of solutions for three open problems, one of which being a Problem of the Month in an earlier issue. CONTENTS: The Reznichenko property and the Pytkeev property in hyperspaces; Between Maharam's and von Neumann's problems; Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups; Concerning problems about cardinal invariants on Boolean algebras; Small Locally Compact Linearly Lindelof Spaces; Luzin gaps; The weak Fréchet-Urysohn property in function spaces; $F$-Hurewicz spaces; Open problems in topology; The hyper-weak distributive law and a related game in Boolean algebras; Problem of Issue 7 solved; Errata to: Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures; The additivity number of the Menger and Scheepers properties; Conferences: Geometric Topology: Infinite-Dimensional Topology, Absolute Extensors, Applications; Problem of the month; Problems from earlier issues; References

*** Note the comment above *** This is a special issue dedicated to the announcement of Shelah's recent solution of the Minimal Tower problem, one of the oldest and most important problems in infinite combinatorics which also motivated some new studies in SPM (see fourth issue of this bulletin). We give some background and personal perspectives on the problem and its solution. We decided not to include additional research announcements in this issue, so to let them draw the attention they deserve in the coming issue. This issue also contains an interesting new problem which is related to the Minimal Tower problem (but still open).

With the approaching TOPOSYM'16 (http://www.toposym.cz/programme.php), it is a pleasure to see selection principles gain increasing attention and becoming a standard part of topology and set theory. At least eight of the 28 speakers, and a good number of the contributed lecture speakers, made substantial contributions to this topic in their career. For some of these, SPs constitute the main topic of research in the last few years. This is in accordance with the continuous progress on the topic, some of which reported in this bulletin.