ERCIM Working Group Report

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

Section A: Joint Projects

WG: Formal Methods for Industrial Critical Systems

Project: SENSATION (Self Energy-Supporting Autonomous Computation)

  • Funding: FP7
  • Status: Active
  • Date: 2012-10-01 to 2015-09-30
  • Contribution: 2,326,000
  • description:

    The main goal of SENSATION is to increase the scale of systems that are self-supporting by balancing energy harvesting and consumption up to the level of complete products. In order to build such Energy Centric Systems, embedded system designers face the quest for optimal performance within acceptable reliability and tight energy bounds. Programming systems that reconfigure themselves in view of changing tasks, resources, errors and available energy is a demanding challenge.

WG: Image and Video Understanding

Project: Innovative Tools for cultural heritage ArChiving and restoration, ITACA

  • Funding: POR-FESR 2007-2013
  • Status: Active
  • Date: 2012-09-03 to 2015-03-31
  • Contribution: 455,636
  • description:

    ITACA aims at testing innovative technologies to be applied to non-invasive diagnostics and restoration of virtual heritage. Funded under the PIA - Pacchetti Integrati di Agevolazione Industria, Artigianato e Servizi, ITACA combines the traditional restoration activities and intervention on the artifacts by means of multispectral acquisition, methods of image processing and computer systems through the medium of digital archiving and intelligent search.

Participating Organisations:
  • CNR-ISTI - type: Research - budget: 243000€
  • TEA Sas - type: Research - budget: 197538€
  • UNICAL - type: Research - budget: 186724€

WG: Many-Valued Logics

Project: Modeling vague quantifiers in mathematical fuzzy logic I1897-N25

  • Funding: Austrian Science Fund (FWF) and Czech Science Foundation (GACR)
  • Status: Active
  • Date: 2015-01-01 to 2017-12-31
  • Contribution: 484284
  • description:

    International project involving an Austrian team (PI: Christian Fermüller) and a Czech team (PI: Petr Cintula). It focuses on a novel study of many-valued logics with generalized quantifiers.

Participating Organisations:
  • Technische Universität Wien - type: Research - budget: 307.219€
  • Czech Academy of Sciences - type: Research - budget: 177.065€

Section B: Joint Publications

WG: Computational and Methodological Statistics

Special issue on imprecision in statistical data analysis

  • Author: Ana Colubi, Thierry Denoeux
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 787–788
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.10.013

The 2nd special issue on advances in mixture models

  • Author: Dankmar Bohning, Christian Hennig, Geo rey J. McLachlan and Paul D. McNicholas
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 1–2
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.10.010

Special issue on Bayesian computing, methods and applications

  • Author: Cathy W.S. Chen, David Dunson, Sylvia Frühwirth-Schnatter, Stephen G. Walker
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 273
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.10.011

Special issue on Model Selection and High Dimensional Data Reduction

  • Author: S. Ejaz Ahmed, Gerda Claeskens, Hidetoshi Shimodaira, Stefan Van Aelst
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 652–653
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.11.005

Special issue on statistical algorithms and software in R

  • Author: Peter Filzmoser, Cristian Gatu, Achim Zeileis
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 887–888
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.10.012

Special issue on algorithms for design of experiments

  • Author: Steven Gilmour, Roger W. Payne
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 71, March 2014, Pages 1064–1065
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2013.10.001

CFEnetwork: The Annals of Computational and Financial Econometrics: 2nd Issue

  • Author: Erricos J. Kontoghiorghes, Herman K. Van Dijk et al.
  • year: 2014
  • Reference information: Computational Statistics & Data Analysis Volume 76, August 2014, Pages 1–3
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.csda.2014.04.006

WG: Security and Trust Management

ERCIM White paper on Cyber-security and privacy research

  • Author: Javier Lopez, Fabio Martinelli, Pierangela Samarati
  • year: 2014
  • Reference information:
  • Type: Other
  • Document (link to the URL): http://www.ercim.eu/images/stories/pub/white-paper-STM.pdf

Cyber-Security and Privacy

  • Author: avier Lopez, Fabio Martinelli and Pierangela Samarati
  • year: 2015
  • Reference information:
  • Type: Journal
  • Document (link to the URL): http://ercim-news.ercim.eu/en100/jea/ercim-white-paper-cyber-security-and-privacy

WG: Formal Methods for Industrial Critical Systems

Formal methods for railway control systems

  • Author: Alessandro Fantechi and Francesco Flammini
  • year: 2014
  • Reference information: Special section of the Springer Int. Journal on Software Tools for Technology Transfer STTT 16(6)
  • Type: Journal
  • Document (link to the URL): http://link.springer.com/journal/10009/16/6/page/1

Special section on Formal Methods for Industrial Critical Systems (selected papers from FMICS 2011)

  • Author: Gwen Salaün and Bernhard Schätz
  • year: 2014
  • Reference information: Science of Computer Programming 80(A), 2014
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.scico.2013.01.008

WG: Image and Video Understanding

Extracting information from multimodal images of documents and artworks

  • Author: A. Tonazzini, E. Salerno, V. Palleschi, G. Bianco, F. De Filippo
  • year: 2014
  • Reference information: in 6th International Congress on Science and Technology for the Safeguard of Cultural Heritage in the Mediterranean Basin (Athens, 22-25 October 2013), Proceedings, Vol. III - Museums; Cultural identity; Sustainable development pp. 196-204, Roma, Valmar,
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

A non-stationary density model to separate overlapped texts in degraded documents

  • Author: A. Tonazzini, P. Savino, E. Salerno
  • year: 2014
  • Reference information: Signal, Image and Video Processing, December 2014, pp.1-10. DOI: 10.1007/s11760-014-0735-3
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1007/s11760-014-0735-3

Analysis of multispectral images in cultural heritage and archaeology

  • Author: E. Salerno, A. Tonazzini, E. Grifoni, G. Lorenzetti, S. Legnaioli, M. Lezzerini, L. Marras, S. Pagnotta, V. Palleschi
  • year: 2014
  • Reference information: J. Appl. Las. Spectr., Vol. 1, No. 1, pp. 22-27, 2014
  • Type: Journal
  • Document (link to the URL): http://www.alslab.net/WPMH/wp-content/uploads/2014/09/4.Analysis-of-Multispectral-Images-in-Cultural-Heritage-and-Archaeology.pdf

Non-stationary modeling for the separation of overlapped texts in documents

  • Author: A. Tonazzini, P. Savino, E. Salerno
  • year: 2014
  • Reference information: 2014 IEEE 22nd Signal Processing and Communications Applications Conference (SIU 2014), pp. 2314-2318, ISBN 978-1-4799-4874-1
  • Type: Conference-Workshop proceedings
  • Document (link to the URL):

Graph-cut-based compression algorithm for compressed-sensed image acquisition

  • Author: Alaydin, J.G. ; Cankaya Univ., Ankara, Turkey ; Gulen, S.H. ; Trocan, M. ; Toreyin, B.U.
  • year: 2014
  • Reference information: Signal Processing and Communications Applications Conference (SIU), 2014 22nd
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://dx.doi.org/10.1109/SIU.2014.6830726

WG: Many-Valued Logics

The quest for the basic fuzzy logic

  • Author: Petr Cintula, Rostislav Horcík, Carles Noguera
  • year: 2014
  • Reference information: Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290. (ISBN: 978-3-319-06232-7)
  • Type: Other
  • Document (link to the URL): http://www.carlesnoguera.cat/files/CHN-forHajek.pdf

Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

  • Author: Pilar Dellunde, Angel Garcia-Cerdaña, Carles Noguera
  • year: 2015
  • Reference information: Accepted for publication in Logic Journal of the IGPL
  • Type: Journal
  • Document (link to the URL): http://www.carlesnoguera.cat/files/2015-DeGarNo.pdf

A note on natural extensions in abstract algebraic logic

  • Author: Petr Cintula, Carles Noguera
  • year: 2014
  • Reference information: Accepted for publication in Studia Logica
  • Type: Journal
  • Document (link to the URL): http://link.springer.com/article/10.1007%2Fs11225-014-9594-8

Paraconsistency properties in degree-preserving fuzzy logics

  • Author: Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera
  • year: 2015
  • Reference information: Soft Computing - A Fusion of Foundations, Methodologies and Applications 19 (2015) 531-546
  • Type: Journal
  • Document (link to the URL): http://link.springer.com/article/10.1007/s00500-014-1489-0

A Henkin-style proof of completeness for first-order algebraizable logics

  • Author: Petr Cintula, Carles Noguera
  • year: 2015
  • Reference information: The Journal of Symbolic Logic 80 (2015) 341-358
  • Type: Journal
  • Document (link to the URL): http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9602663

Graded dominance and related graded properties of fuzzy connectives

  • Author: L. B?hounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz, P. Sarkoci
  • year: 2015
  • Reference information: Fuzzy Sets and Systems 262:78–101, 2015.
  • Type: Journal
  • Document (link to the URL): http://dx.doi.org/10.1016/j.fss.2014.04.025

Modal logics of uncertainty with two layer-syntax: a general completeness theorem

  • Author: Petr Cintula, Carles Noguera
  • year: 2014
  • Reference information: Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124 - 136. (ISBN: 978
  • Type: Conference-Workshop proceedings
  • Document (link to the URL): http://link.springer.com/chapter/10.1007%2F978-3-662-44145-9_9

Admissibility via Natural Dualities

  • Author: Leonardo Cabrer, George Metcalfe
  • year: 2015
  • Reference information: Journal of Pure and Applied Algebra 219(9) (2015), 4229-4253
  • Type: Journal
  • Document (link to the URL): http://arxiv.org/abs/1501.06141

Amalgamation and Interpolation in Ordered Algebras

  • Author: George Metcalfe, Franco Montagna, Costas Tsinakis
  • year: 2014
  • Reference information: Journal of Algebra 402 (2014), 21-82.
  • Type: Journal
  • Document (link to the URL): http://www.sciencedirect.com/science/article/pii/S0021869313006765

Proof Search and Co-NP Completeness for Many-Valued Logics

  • Author: M. Bongini, A. Ciabattoni, F. Montagna
  • year: 2015
  • Reference information: Accepted for publication in Fuzzy Sets and Systems
  • Type: Journal
  • Document (link to the URL): http://www.sciencedirect.com/science/article/pii/S0165011415001098

Optimal strategic reasoning with McNaughton functions

  • Author: Tomas Kroupa, Ondrej Majer
  • year: 2014
  • Reference information: International Journal of Approximate Reasoning 55 (6):1458-1468, 2014.
  • Type: Journal
  • Document (link to the URL): http://www.sciencedirect.com/science/article/pii/S0888613X14000619

Belief Functions on MV-algebras of Fuzzy Sets: An Overview

  • Author: Tommaso Flaminio; Lluís Godo; Tomas Kroupa
  • year: 2014
  • Reference information: Non-Additive Measures. Studies in Fuzziness and Soft Computing, vol. 310: Springer, pp. 173-200, 2014
  • Type: Other
  • Document (link to the URL): http://www.iiia.csic.es/files/pdfs/Belief%20Functions%20Chapter-final.pdf

Section C: Organised Events

WG: Computational and Methodological Statistics

7th International Conference of the ERCIM WG on Computational and Methodological Statistics

  • Topic: Computing & Statistics
  • Type: Conference
  • Date: 2014-12-06 to 2015-03-08
  • Place: University of Pisa, Italy
  • Lecturer: Irene Gijbels, KU Leuven, Belgium: "Recent advances in estimation of conditional distributions, densities and quantiles". Nicolas Meinshausen, ETH Zurich, Switzerland: "Maximin effects in inhomogeneous large-scale data". Mike West, Duke University, USA: "Dynamic sparsity modelling".
  • Coverage: All topics within the Aims and Scope of the ERCIM Working Group Computing & Statistics has been considered for oral and poster presentation. The conference took place jointly with the 8th International Conference on Computational and Financial Econometrics (CFE 2014). There conference comprised 275 sessions, 5 plenary talks and over 1150 presentations. There are over 1250 participants.

8th International Conference on Computational and Financial Econometrics

  • Topic: Computing, Econometrics & Finance
  • Type: Conference
  • Date: 2014-12-06 to 2015-03-08
  • Place: University of Pisa, Italy
  • Lecturer: James MacKinnon, Queen's University, Canada: "Cluster-robust inference and the wild cluster bootstrap". Robert Taylor, University of Essex, UK: "Tests for explosive financial bubbles in the presence of non-stationary volatility Tests for explosive financial bubbles in the presence of non-stationary volatility". Mike West, Duke University, USA: "Dynamic sparsity modelling"
  • Coverage: The conference covered the specialised all topics covered by the ERCIM WG specialised team on computational econometrics. The conference took place jointly with the 7th International Conference of the ERCIM WG on Computational and Methodological Statistics. The conference comprised 270 sessions, 5 plenary talks and over 1100 presentations. There were closed to 1250 participants.

WG: Security and Trust Management

10th International Workshop on Security and Trust Management (STM’14)

  • Topic: Security and Trust Management
  • Type: Workshop
  • Date: 2014-09-10 to 2014-09-11
  • Place: Wroclaw
  • Lecturer:
  • Coverage:

Expert Group Focus Workshop

  • Topic: Security and Privacy challenges
  • Type: Workshop
  • Date: 2014-09-09 to 2014-09-09
  • Place: Wroclaw
  • Lecturer:
  • Coverage:

WG: Environmental Modelling

Virtual meetings (Skype)

  • Topic: Strategy for future collaboration
  • Type: Other
  • Date: 2014-03-03 to 2014-12-19
  • Place: Internet
  • Lecturer:
  • Coverage: Discussion of topics and ideas for a joined proposal to Horizon 2020 calls

WG: Formal Methods for Industrial Critical Systems

FMICS 2014

  • Topic: Formal Methods for Industrial Critical Systems
  • Type: Workshop
  • Date: 2014-09-11 to 2014-09-12
  • Place: Florence, Italy
  • Lecturer: David Parker (U. Birmingham, UK) Radu Mateescu (Inria Grenoble, France)
  • Coverage: Cyber-physical systems; Computer networks; Railway control systems; Verification methods; Hardware and software testing. Proceedings published as LNCS volume 8718, Springer Verlag, 2014

WG: Image and Video Understanding

International workshop on computational intelligence for multimedia understanding

  • Topic: multimedia understanding
  • Type: Workshop
  • Date: 2014-11-01 to 2014-11-02
  • Place: Paris, France
  • Lecturer: Prof. Gouthier Lafruit; Prof. Michel Crucianu; Prof. François-Xavier Coudoux
  • Coverage: General

WG: Many-Valued Logics

Beyond True and False

  • Topic: Logic, Algebra and Topology
  • Type: Workshop
  • Date: 2014-12-03 to 2015-05-05
  • Place: Florence, Italy
  • Lecturer: It was an invitation-only workshop
  • Coverage: http://local.disia.unifi.it/Beyond2014/

Logic, Algebra and Truth Degrees 2014

  • Topic: Mathematical fuzzy logic, many-valued logics, non-classical logics
  • Type: Conference
  • Date: 2014-07-16 to 2014-07-19
  • Place: Vienna, Austria
  • Lecturer: Silvio Ghilardi Melvin Fitting George Metcalfe Dale Miller Dana Scott Alasdair Urquhart
  • Coverage: http://www.logic.at/latd2014/

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

  • Description: Book of Abstracts (CFE-ERCIM 2014 conference)

Demonstrations

n/a

WG: E-mobility

WG Web Site: http://wiki.ercim.org/wg/eMobility/

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

n/a

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

  • Issue: january 2015
  • Page:
  • Title: ERCIM White Paper: Cyber-Security and Privacy

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Digital Patient

WG Web Site: http://www.ercim.org/wg/Digital_Patient/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Environmental Modelling

WG Web Site: http://www.iit.cnr.it/STM-WG/

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

  • Description: Two Decades of Formal Methods for Industrial Critical Systems, at ERCIM 25th anniversary, Pisa, Oct. 23-24, 2014 (http://convecs.inria.fr/doc/presentations/Mateescu-ERCIM25-14.pdf)

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: 100
  • Page: 52-53
  • Title: MUSCLE Working Group International Workshop on Computational

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Constraints

WG Web Site: http://wiki.ercim.org/wg/Constraints/index.php/Main_Page

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Software Engineering for Resilient Systems (SERENE)

WG Web Site: http://serene.uni.lu

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Software Evolution

WG Web Site: http://wiki.ercim.org/wg/SoftwareEvolution

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Grids, P2P and Services

WG Web Site: http://www.coregrid.net/mambo/content/view/747/418/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Sensor Web

WG Web Site: http://wiki.ercim.org/wg/SensorWeb/

Articles in ERCIM News

n/a

Brochures and other PR material with distribution information

n/a

Demonstrations

n/a

WG: Media Technology and Edutainement

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

Articles in ERCIM News

n/a

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: IM2IM - IT and Mathematics applied to Interventional Medicine

WG Web Site: http://wiki.ercim.org/wg/IM2IM/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

Elsevier, for the publication of special issues derived from the CFE-ERCIM conference.

WG: E-mobility

n/a

WG: Dependable Software-Intensive Embedded Systems

n/a

WG: Security and Trust Management

n/a

WG: Digital Patient

n/a

WG: Environmental Modelling

n/a

WG: Formal Methods for Industrial Critical Systems

4th edition of FMF (Formal Methods Forum), Toulouse, France, Oct. 16, 2014 (http://projects.laas.fr/IFSE/FMF/J4)

WG: Image and Video Understanding

n/a

WG: Constraints

n/a

WG: Software Engineering for Resilient Systems (SERENE)

n/a

WG: Software Evolution

n/a

WG: Grids, P2P and Services

n/a

WG: Sensor Web

n/a

WG: Media Technology and Edutainement

n/a

WG: Many-Valued Logics

n/a

WG: IM2IM - IT and Mathematics applied to Interventional Medicine

n/a