ERCIM Working Group Report

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.

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.

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

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.

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

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

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

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

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

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

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.

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:

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

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

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

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/

n/a

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

n/a

n/a

n/a

n/a

n/a

n/a

n/a

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

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

• 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)

n/a

• Issue: 100
• Page: 52-53
• Title: MUSCLE Working Group International Workshop on Computational

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a