ERCIM Working Group Report

Overall report 2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006 
Overall report year: 2017

Section A: Joint Projects

WG: Computational and Methodological Statistics

Project: Computationally-intensive methods for the robust analysis of non-standard data (CRoNoS - IC1408)

  • Funding: COST
  • Status: Active
  • Date: 2015-05-01 to 2019-04-30
  • Contribution:
  • description:

    Networking

WG: Many-Valued Logics

Project: Reasoning with graded properties, RGP, GA18-00113S

  • Funding: Czech Science Foundation
  • Status: Active
  • Date: 2018-01-01 to 2020-12-31
  • Contribution: 230916
  • description:

    Graded properties are ubiquitous in human discourse and reasoning. They are characterized by the fact that they may apply with different intensity to different objects. Typical examples are vague properties (e.g. “tall” or “rich”), that is, those that do not establish a clear distinction between objects that satisfy them and those that do not, and hence have blurry boundaries and borderline cases, and generate sorites paradoxes. But also many properties with well-defined boundaries can be seen as graded (e.g. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should, in particular, explain the notion of consequence in scenarios involving graded properties. We aim at developing a logical framework for reasoning with graded properties that, by employing formal tools from mathematical fuzzy logic, goes beyond the simple classical bivalent analysis. In particular, we plan a new analysis of sorites paradoxes, a study of relations to other graded theories in linguistics, and an account of counterfactual and defeasible reasoning with graded notions.

Section B: Joint Publications

WG: Computational and Methodological Statistics

The failure of the profile likelihood method for a large class of semi-parametric models

  • Author: Eric Beutner; Laurent Bordes; Laurent Doyen
  • year: 2017
  • Reference information: Bernoulli 23, 3650-3684.
  • Type: Journal
  • Document (link to the URL):

Identifiability issues of age–period and age–period–cohort models of the Lee–Carter type

  • Author: Eric Beutner; Simon Reese, Jean-Pierre Urbain
  • year: 2017
  • Reference information: Insurance: Mathematics and Economics, 75, 117-125
  • Type: Journal
  • Document (link to the URL):

Controlling the rate of GWAS false discoveries

  • Author: D. Brzyski, C. B. Peterson, P. Sobczyk, E J. Candes, M. Bogdan, C. Sabatti
  • year: 2017
  • Reference information: Genetics, 205, 61--75, 2017
  • Type: Journal
  • Document (link to the URL):

False discoveries occur early on the Lasso path

  • Author: W.Su, M. Bogdan, E.J.Candes
  • year: 2017
  • Reference information: Annals of Statistics, 45 (5), 2133 -- 2150, 2017
  • Type: Journal
  • Document (link to the URL):

Bayesian dimensionality reduction with PCA using penalized semi-integrated likelihood

  • Author: P. Sobczyk, M. Bogdan, J. Josse
  • year: 2017
  • Reference information: Journal of Computational and Graphical Statistics, 26, 826--839, 2017.
  • Type: Journal
  • Document (link to the URL):

addlepoint tests for accurate and robust inference on overdispersed count data

  • Author: W. H. Aeberhard, E. Cantoni and S. Heritier.
  • year: 2017
  • Reference information: Computational Statistics & Data Analysis, 107, 162-175
  • Type: Journal
  • Document (link to the URL):

Online Analysis of Medical Time Series

  • Author: R. Fried, S. Abbas, M. Borowski, M. Imhoff
  • year: 2017
  • Reference information: Statistics and Its Application, vol. 4, pages 169 - 188, 2017
  • Type: Journal
  • Document (link to the URL):

Estimating large-scale general linear and seemingly unrelated regressions models after deleting observations

  • Author: Hadjiantoni, S. and Kontoghiorghes E.
  • year: 2017
  • Reference information: Statistics and Computing, 27 (2), 349-361.
  • Type: Journal
  • Document (link to the URL):

WG: Dependable Software-Intensive Embedded Systems

Special Theme: Autonomous Vehicles

  • Author: Erwin Schoitsch et.al.
  • year: 2017
  • Reference information: ERCIM News 109
  • Type: Journal
  • Document (link to the URL): https://ercim-news.ercim.eu/images/stories/EN109/EN109-web.pdf

WG: Image and Video Understanding

An HVS-inspired video deinterlacer based on visual saliency

  • Author: AGGARWAL U., TROCAN M., COUDOUX F.X
  • year: 2017
  • Reference information: Vietnam J. Comput. Sci. 4, 1 (2017) 61-69
  • Type: Journal
  • Document (link to the URL): https://link.springer.com/article/10.1007/s40595-016-0081-1

WG: Many-Valued Logics

Implicational (semilinear) logics III: completeness properties

  • Author: Petr Cintula, Carles Noguera
  • year: 2018
  • Reference information: Archive for Mathematical Logic, In press
  • Type: Journal
  • Document (link to the URL): https://link.springer.com/article/10.1007/s00153-017-0577-0

Back-and-forth systems for fuzzy first-order models

  • Author: Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera
  • year: 2018
  • Reference information: Fuzzy Sets and Systems, In press.
  • Type: Journal
  • Document (link to the URL): http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf

Neighborhood semantics for modal many-valued logics

  • Author: Petr Cintula, Carles Noguera
  • year: 2018
  • Reference information: Fuzzy Sets and Systems, In press.
  • Type: Journal
  • Document (link to the URL): http://hdl.handle.net/11104/0276553

A Logical Framework for Graded Predicates

  • Author: Petr Cintula, Carles Noguera, Nicholas J.J. Smith
  • year: 2018
  • Reference information: In A. Baltag, J. Seligman, T. Yamada, editors: Rationality, and Interaction - 6th International Workshop, LORI 2017, volume 10455 of Lecture Notes in Computer Science, pp. 3-16, Springer
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://hdl.handle.net/11104/0274074

Is multiset consequence trivial?

  • Author: Petr Cintula, Francesco Paoli
  • year: 2018
  • Reference information: Synthese, In press.
  • Type: Journal
  • Document (link to the URL): http://hdl.handle.net/11104/0265069

On modal extensions of Product fuzzy logic

  • Author: Amanda Vidal, Francesc Esteva, Lluis Godo
  • year: 2017
  • Reference information: Journal of Logic and Computation, 27(1): 299-336
  • Type: Journal
  • Document (link to the URL): https://academic.oup.com/logcom/article-abstract/27/1/299/2917822

On strong standard completeness in some MTL-Delta expansions

  • Author: Amanda Vidal, Francesc Esteva, Lluis Godo
  • year: 2017
  • Reference information: Soft Computing 21(1): 125-147
  • Type: Journal
  • Document (link to the URL): https://link.springer.com/article/10.1007%2Fs00500-016-2338-0

On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences

  • Author: Amanda Vidal, Francesc Esteva, Lluis Godo
  • year: 2017
  • Reference information: EUSFLAT/IWIFSGN (3) 2017: 505-517
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): https://link.springer.com/chapter/10.1007%2F978-3-319-66827-7_47

Petr Hájek, Obituary

  • Author: Zuzana Haniková, Lluis Godo
  • year: 2017
  • Reference information: Fuzzy Sets and Systems 327: 1-4
  • Type: Journal
  • Document (link to the URL): https://www.sciencedirect.com/science/article/pii/S0165011417302452

Generalised states: a multi-sorted algebraic approach to probability

  • Author: Tomás Kroupa, Vincenzo Marra
  • year: 2017
  • Reference information: Soft Comput. 21(1): 57-67
  • Type: Journal
  • Document (link to the URL): https://link.springer.com/article/10.1007%2Fs00500-016-2343-3

MV-algebras, infinite dimensional polyhedra, and natural dualities

  • Author: Leonardo Manuel Cabrer, Luca Spada
  • year: 2017
  • Reference information: Archive for Mathematical Logic 56(1-2): 21-42
  • Type: Journal
  • Document (link to the URL): https://link.springer.com/article/10.1007%2Fs00153-016-0512-9

Section C: Organised Events

WG: Computational and Methodological Statistics

10th International Conference of the ERCIM WG on Computational and Methodological Statistics (CMStatistics 2017)

  • Topic: Computational Statistics
  • Type: Conference
  • Date: 2017-12-16 to 2017-12-18
  • Place: Senate House and Beirkbeck, University of London, UK
  • Lecturer: Arnaud Doucet, University of Oxford, United Kingdom. Dimitris Politis, University of California, San Diego, USA. Stephen Pollock, University of Leicester, United Kingdom.
  • Coverage: The CMStatistics2017 took place jointly with the CFE2017. There were over 1700 participants.

11th International Conference on Computational and Financial Econometrics (CFE 2017)

  • Topic: computational econometrics
  • Type: Conference
  • Date: 2017-12-16 to 2017-12-18
  • Place: Senate House and Beirkbeck, University of London, UK
  • Lecturer: Mark W Watson, Princeton University, United States. Ron Smith, Birkbeck University of London, United Kingdom. Stephen Pollock, University of Leicester, United Kingdom.
  • Coverage: The CFE2017 took place jointly with the CMStatistics2017. There were over 1700 participants.

WG: Dependable Software-Intensive Embedded Systems

Euromicro SEAA/DSD

  • Topic: Advanced SW Applications, Digital Systems Design
  • Type: Conference
  • Date: 2017-08-30 to 2017-09-01
  • Place: Vienna
  • Lecturer: Paris Avgeriou, Daniel Schall, Erik Jan Marinissen, Ahmed Hemani
  • Coverage: 250 HW, SW and Systems specialists from industry and academia

Safecomp 2017

  • Topic: Safety, reliability and security of safety-related computer systems
  • Type: Conference
  • Date: 2017-09-13 to 2017-09-15
  • Place: Trento
  • Lecturer: Marcel Verhoef, John McDermid, Radu Grosu
  • Coverage: industry and academia

ERCIM/EWICS/ARTEMIS DECSoS Workshop

  • Topic: Dependable Embedded CPS and SoS
  • Type: Workshop
  • Date: 2017-09-12 to 2017-09-12
  • Place: Trento
  • Lecturer: 13 presentations
  • Coverage: industry and academia

WG: Security and Trust Management

13th International Workshop on Security and Trust Management

  • Topic: Security and Trust Management
  • Type: Workshop
  • Date: 2017-09-14 to 2017-09-15
  • Place: Oslo, Norway
  • Lecturer: 1 keynote + 16 accepted papers
  • Coverage:

BEST PhD Thesis Award 2017

  • Topic: PhD Thesis Award
  • Type: Other
  • Date: 0000-00-00 to 0000-00-00
  • Place:
  • Lecturer: David Nunez (awardee)
  • Coverage:

WG: Image and Video Understanding

International Workshop on Computational Intelligence for Multimedia Understanding (IWCIM 2017) - Satellite workshop to EUSIPCO 2017

  • Topic: Image and Video Understanding - Special track on “Signal Processing for Surveillance and Security Applications"
  • Type: Workshop
  • Date: 2017-09-02 to 2017-09-02
  • Place: Kos Island, Greece
  • Lecturer: Researchers had the opportunity to attend the invited talk delivered by Prof. Alptekin Temizel (METU) on “First Person Activity Recognition with Multimodal Features”. Prof. Temizel presented the state-of-the-art on the subject followed by a discussion on a comparative performance assessment of several features for first person activity recognition.
  • Coverage: Group of experts in Image and Video understanding (mainly belonging to the working group)

WG: Many-Valued Logics

ManyVal 2017

  • Topic: Reasoning under uncertainty and inconsistency
  • Type: Workshop
  • Date: 2017-11-15 to 2017-11-17
  • Place: Toulouse, France
  • Lecturer: - Leila Amgoud (CNRS, IRIT Toulouse) - Lluis Godo (IIIA-CSIC Barcelona, Spain) -Tomas Kroupa (Czech Academy of Sciences, Prague, Czech Rep) - Steven Schockaert (University of Cardiff, UK)
  • Coverage: ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for this topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. If possible there are no parallel sessions. ManyVal'17 focused on Many-valued logic and reasoning under uncertainty and inconsistency: - many-valuedness in argumentation - many-valued logic programming - logics of possibility and probability - logics of similarity - many-valued modal logics - paraconsistent logics - states and games on many-valued algebras - foundations of many-valued logics

Section D: Mobility

Section E: Visibility

WG: Computational and Methodological Statistics

WG Web Site: http://www.cmstatistics.org/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Dependable Software-Intensive Embedded Systems

WG Web Site: WEB-INF\web.xml

Articles in ERCIM News

  • Issue: ERCIM News 109
  • Page: 18-45
  • Title: Special Theme Autonomous Vehicles

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Security and Trust Management

WG Web Site: WEB-INF\web.xml

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Formal Methods for Industrial Critical Systems

WG Web Site: http://fmics.inria.fr

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Image and Video Understanding

WG Web Site: http://wiki.ercim.eu/wg/MUSCLE/index.php/Main_Page

Articles in ERCIM News

  • Issue: 108
  • Page: 6
  • Title: International Workshop on Computational Intelligence for Mul

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Many-Valued Logics

WG Web Site: http://wiki.ercim.eu/wg/ManyVal

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Open Data

WG Web Site: https://wiki.ercim.eu/wg/OpenData/index.php/Main_Page

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Blockchain Technology

WG Web Site: https://wiki.ercim.eu/wg/BlockchainTechnology/index.php/Main_Page

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

Section F: Cooperation with Commercial Companies and Public Services

WG: Computational and Methodological Statistics

n/a

WG: Dependable Software-Intensive Embedded Systems

n/a

WG: Security and Trust Management

n/a

WG: Formal Methods for Industrial Critical Systems

n/a

WG: Image and Video Understanding

n/a

WG: Many-Valued Logics

n/a

WG: Open Data

n/a

WG: Blockchain Technology

n/a