English
Related papers

Related papers: Summary and Outlook

200 papers

We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…

Logic in Computer Science · Computer Science 2022-11-22 Ugo Dal Lago , Francesco Gavazzo , Alexis Ghyselen

This note is a survey of $J$-spaces.

General Topology · Mathematics 2007-05-23 E. Michael

General relativity's successes and limitations are compared to those of special relativity.

General Physics · Physics 2007-11-08 Wasley S. Krogdahl

In this short note, we try to provide the reader with a brief pedagogical account of some similarities and differences between stochastic and deterministic processes. A short presentation of some basic notions related to the mathematical…

Quantitative Methods · Quantitative Biology 2012-09-11 Eric Bertin

During the five days of this conference a very dense scientific program has enlighted our research fields, with the presentation of large number of interesting lectures. I will try to summarize the theoretical aspects of some of these new…

High Energy Physics - Phenomenology · Physics 2009-10-20 Jacques Soffer

This invited memoir looks back on my scientific career that straddles the solar and stellar branches of astrophysics, with sprinklings of historical context and personal opinion. Except for a description of my life up to my Ph.D. phase, the…

Solar and Stellar Astrophysics · Physics 2023-09-04 C. J. Schrijver

A general-audience introduction to the area of "sentiment analysis", the computational treatment of subjective, opinion-oriented language (an example application is determining whether a review is "thumbs up" or "thumbs down"). Some…

Computation and Language · Computer Science 2007-05-23 Lillian Lee

This is a very basic introduction to some notions related to logic and complexity.

Logic · Mathematics 2007-05-23 Stephen Semmes

We discuss for the concept of promises within a framework that can be applied to either humans or technology. We compare promises to the more established notion of obligations and find promises to be both simpler and more effective at…

Multiagent Systems · Computer Science 2014-01-31 Jan A. Bergstra , Mark Burgess

Certain new inequalities for the sums of factorials are presented.

General Mathematics · Mathematics 2008-06-03 Mihaly Bencze , Florentin Smarandache

A new general and unified method of summation, which is both regular and consistent, is invented. It is based on the idea concerning a way of integers reordering. The resulting theory includes a number of explicit and closed form summation…

Classical Analysis and ODEs · Mathematics 2011-10-26 Armen Bagdasaryan

Sentiment analysis predicts the presence of positive or negative emotions in a text document. In this paper, we consider higher dimensional extensions of the sentiment concept, which represent a richer set of human emotions. Our approach…

Computation and Language · Computer Science 2013-01-16 Seungyeon Kim , Fuxin Li , Guy Lebanon , Irfan Essa

I share my opinions on how to get the most out of conferences. I have some advice on giving talks, but most of the essay is devoted to the much larger share of the conference not spent giving talks: attending talks and socializing.

History and Overview · Mathematics 2022-06-30 John E. McCarthy

This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented…

Logic in Computer Science · Computer Science 2014-08-25 Arno Pauly

Opinion summarization is expected to digest larger review sets and provide summaries from different perspectives. However, most existing solutions are deficient in epitomizing extensive reviews and offering opinion summaries from various…

Computation and Language · Computer Science 2023-10-23 Han Jiang , Rui Wang , Zhihua Wei , Yu Li , Xinpeng Wang

In this paper, I argue, contrary to the prevailing opinion in the linguistics and philosophy literature, that a sortal approach to aspectual composition can indeed be explanatory. In support of this view, I develop a synthesis of competing…

cmp-lg · Computer Science 2008-02-03 Michael White

Investigating efficiently the data collected from a system's activity can help to detect malicious attempts and better understand the context behind past incident occurrences. Nowadays, several solutions can be used to monitor system…

Cryptography and Security · Computer Science 2021-12-03 Inês Macedo , Sinan Wanous , Nuno Oliveira , Orlando Sousa , Isabel Praça

Large scale surveys of public mood are costly and often impractical to perform. However, the web is awash with material indicative of public mood such as blogs, emails, and web queries. Inexpensive content analysis on such extensive corpora…

Computation and Language · Computer Science 2008-01-28 Alberto Pepe , Johan Bollen

This conclusion to the meeting attempts to summarise what we have learnt during the conference (mainly from the review talks) about new observations from Hinode and about theories stimulated by them. Suggestions for future study are also…

Solar and Stellar Astrophysics · Physics 2015-06-19 E. R. Priest

A summary is presented of the more theoretical aspects of the presentations made at Hyperon~99. In addition, some material is covered which was not presented at the symposium but which I feel is pertinent to the main theme of hyperons…

High Energy Physics - Phenomenology · Physics 2007-05-23 Philip G. Ratcliffe