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: New PRocessing and analysis techniques for Forensic data, NPRF, 605443
Funding: EC
Status: Proposal
Date: 0000-00-00 to 0000-00-00
Contribution:
description:
Forensic Data Analysis, Mass Data Analysis, PMMW Image Analysis, Speech, Audio and Video Analysis, Handwriting Recognition, Multimedia Feature Extraction, Case-Based Reasoning, Probabilistic Reasoning.
Submitted to FP7-SEC-2013-1. Coordinator: ERCIM. MUSCLE Group partners: IBAI, UGR, CNR, BILKENT, TSI-TUC.
The project was not admitted for negotiation.
Participating Organisations:
ERCIM - type: Other - budget: 759656€
IBAI - type: Research - budget: 1623420€
CNR - type: Research - budget: 1192320€
UGR - type: Research - budget: 806880€
Bilkent - type: Research - budget: 1689000€
UNICA - type: Research - budget: 625803€
TSI - type: Research - budget: 303600€
ATAC SPA - type: Research - budget: 530101€
ImageInterpret - type: Research - budget: 427201€
CETIC - type: Research - budget: 670046€
ALFA IMAGING SA - type: Research - budget: 251682€
DCS - type: Research - budget: 148429€
IBAI Solutions - type: Research - budget: 382849€
Turk Telekom - type: Research - budget: 441899€
Regiopolitie Amsterdam-Amstelland - type: Research - budget: 495620€
TLKA - type: Research - budget: 339442€
Project: Innovative Tools for cultural heritage ArChiving and restoration, ITACA
Funding: Regione Calabria, Italy
Status: Active
Date: 2012-09-03 to 2014-09-02
Contribution: 500000
description:
ITACA (Innovative Tools for cultural heritage ArChiving and restorAtion) is a research project aimed at testing innovative technologies for non-invasive diagnostics and virtual restoration of cultural heritage. The project is led by TEA Sas, Catanzaro, Italy, a MUSCLE WG partner, and participated by ISTI-CNR, MUSCLE WG partner, and the Mechanics Department at the University of Calabria, Italy.
Participating Organisations:
TEA Sas - type: Research - budget: 197529€
ISTI-CNR - type: Research - budget: 243000€
UNICAL - type: Research - budget: 186725€
Section B: Joint Publications
WG: Computational and Methodological Statistics
Special issue on robust analysis of complex data
Author: Croux, C., Ronchetti, E., Salíbian-Barrera, M., Van Aelst, S.
year: 2013
Reference information: Computational Statistics and Data Analysis, 65
Type: Journal
Document (link to the URL):
SpainSmall area estimation under random regression coefficient models
Author: Hobza, T., Morales, D.
year: 2013
Reference information: Journal of Statistical Computation and Simulation, 83, 2160-2177
Type: Journal
Document (link to the URL):
Funclust: A curves clustering method using functional random variables density approximation
Reference information: 13th Portuguese Conference on Computer Networks (CRC 2013), 14-15 November 2013, Leiria, Portugal
Type: Conference-Workshop proceedings
Document (link to the URL):
WG: Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems: A Survey of Applications
Author: Stefania Gnesi, Tiziana Margaria
year: 2013
Reference information: Wiley, 2013
Type: Other
Document (link to the URL): http://onlinelibrary.wiley.com/book/10.1002/9781118459898
Science of Computer Programming (Special section on FMICS 2009 and FMICS 2010)
Author: María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri, Davide Ancona
year: 2013
Reference information: Volume 78, Issue 7, Pages 775-968, July 2013
Type: Journal
Document (link to the URL): http://www.sciencedirect.com/science/journal/01676423/78/7
Eighteenth International Workshop on Formal Methods for Industrial Critical Systems FMICS'2013
Author: Charles Pecheur, Michael Dierkes
year: 2013
Reference information: Lecture Notes in Computer Science vol. 8187
Type: Conference-Workshop proceedings
Document (link to the URL): http://link.springer.com/book/10.1007/978-3-642-41010-9/page/1
WG: Image and Video Understanding
Nonlinear model identification and see-through cancelation from recto–verso data
Author: E. Salerno, F. Martinelli, A. Tonazzini
year: 2013
Reference information: Int. J. on Document Analysis and Recognition 16, 177-187
Type: Journal
Document (link to the URL): http://dx.doi.org/10.1007/s10032-012-0183-y
Graph-Cut-based Compression Algorithm for Compressed-Sensed Image Acquisition
Author: J.G. Alaydin, S. H. Gulen, M. Trocan, B.U. Toreyin
year: 2013
Reference information: MUSCLE Int. Workshop on Comp. Int. for Multimedia Understanding, Oct. 2013, Antalya.
Type: Conference-Workshop proceedings
Document (link to the URL): http://www.ee.bilkent.edu.tr/antalyaworkshop2013/Booklet.pdf
Non-stationary modelling for the separation of overlapped texts in documents
Author: A. Tonazzini, P. Savino, E. Salerno
year: 2013
Reference information: MUSCLE Int. Workshop on Comp. Int. for Multimedia Understanding, Oct. 2013, Antalya.
Type: Conference-Workshop proceedings
Document (link to the URL): http://www.ee.bilkent.edu.tr/antalyaworkshop2013/Booklet.pdf
Section C: Organised Events
WG: Computational and Methodological Statistics
6th International Conference of the ERCIM WG on Computational and Methodological Statistics (ERCIM 2013)
Topic: Computing & Statistics
Type: Conference
Date: 2013-12-14 to 2013-12-16
Place: Senate House and Birkbeck University of London
Lecturer: Peter Green, University of Bristol, UK and UTS, Australia.
ERCIM 2013 Keynote Lecture: Bayesian inference in graphical models
Chris Skinner, London School of Economics, UK
ERCIM 2013 Keynote Lecture: The Use of Survey Weights in Regression Modelling
Marc Hallin, Université Libre de Bruxelle, Belgium
CFE-ERCIM 2013 Keynote Lecture: Signal Detection in High Dimension: on the asymptotic power of tests of sphericity for high-dimensional data.
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 Sixth International Conference on Computational and Financial
Econometrics (CFE 2013). There conference comprised 270
sessions, 5 plenary talks and over 1100 presentations. There were closed to 1250 participants.
7th International Conference on Computational and Financial Econometrics (CFE 2013)
Topic: Computing, Econometrics & Finance
Type: Conference
Date: 2013-12-14 to 2013-12-16
Place: Senate House and Birkbeck University of London
Lecturer: Richard J Smith, University of Cambridge, UK
CFE 2013 Keynote Lecture: Bootstrap Methods for Moment Condition Models
Liberbank keynote talk: Herman K. van Dijk, Erasmus University Rotterdam, VU Amsterdam and Tinbergen Institute, The Netherlands
CFE 2013 Keynote Lecture: Analyzing and Forecasting US Inflation.
Marc Hallin, Université Libre de Bruxelle, Belgium
CFE-ERCIM 2013 Keynote Lecture: Signal Detection in High Dimension: on the asymptotic power of tests of sphericity for high-dimensional data.
Coverage: The conference covered the specialised all topics covered by the ERCIM WG specialised team on computational econometrics.
WG: E-mobility
Second Joint ERCIM eMobility and MobiSense Workshop, co-located to WWIC 2013, St. Petersburg, Russia, June 4, 2013
WG: Dependable Software-Intensive Embedded Systems
ERCIM/ARTEMIS/EUROMICRO Special Workshop-Session on Teaching, Education and Training for Dependable Embedded and Cyber-physical Systems
Topic:
Type: Workshop
Date: 2013-09-04 to 2013-09-06
Place: Santander
Lecturer: Efficient embedded systems education by adopting component based software development paradigm – Sasikumar Punnekkat (Mälardalen University, Sweden)
•
Reuse in Safety Critical Systems: Educational Use Case (Miren Illarramendi Rezabal, Xabier Elkorobarrutia Letona and Leire Etxeberria (University of Mondragon, Spain))
•
Teaching and Training Formal Methods for Safety Critical Systems (Michael Lipaczewski and Frank Ortmeier (Otto von Guericke University, Magdeburg, Germany))
•
European Perspectives on Teaching, Education and Training for Dependable Embedded and Cyber-physical Systems (Erwin Schoitsch (AIT, Vienna, AT) and Amund Skavhaug (NTNU, Trondheim, Norway))
Coverage: Academia and industry, international (European, US, Japan)
ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP 2013
Topic:
Type: Workshop
Date: 2013-09-24 to 2013-09-24
Place: Toulouse
Lecturer: see
http://hal.archives-ouvertes.fr/view_by_stamp.php?&halsid=qia8bq4amhpcqupgpain2tmg23&label=SAFECOMP2013-DECS&langue=en&action_todo=browse_byDate
Coverage: Academia and industry, international
WG: Security and Trust Management
Workshop on Security and Trust Management
Topic: Security and Trust Management
Type: Workshop
Date: 2013-09-12 to 2013-09-13
Place: Egham, UK
Lecturer:
Coverage: The 9th International Workshop on Security and Trust Management
(STM’12) was held in Egham (UKy) on 12-13 September 2013. It was
co-located with the European Symposium on Research in Security and
Privacy (ESORICS 2013).
The General Chairs of this year event was Keith Mayes (Royal Holloway,
University of London, UK).
Program Chairs were: Rafael Accorsi (University of Freiburg, Germany)
and Silvio Ranise (Fondazione Bruno Kessler, Italy).
The event was well attended and successful. In addition to the chairs
above, the PC members and reviewers, other people have also
contributed to building such successful event, ensuring a smooth
organization process. Giovanni Livraga, who took care of publicity and of
the workshop web site. As Chair of the working group, Pierangela Samarati,
maintained contact and oversaw the overall organization to ensure a successful event.
In response to the call for papers, 47 papers were submitted to the
workshop.
These papers were evaluated on the basis of their significance,
novelty, and technical quality. As in previous years, reviewing was
``double-blind": the identities of reviewers were not revealed to the
authors of the papers and identities of authors were not revealed to
the reviewers. The program committee meeting was held electronically,
yielding intensive discussion over a period of two weeks. Of the
papers submitted, 15 were selected for presentation at the conference,
giving an acceptance rate of 32%.
The papers were clustered into 5 sessions distributed in the two days
of the workshop, spanning different topics:
privacy; business process security; security protocols, network, web, and
mobile security; security policies and trust management;
watermarking for security.
The workshop also included two invited keynote talks:
“Building trusted systems: lessons of the first generation of Trusted Computing” by
Claire Vishik (Intel Corporation, U.K.), and “Verifiable numer- ical aggregation of trust
evidence for policy-based access control” by Michael Huth.
ERCIM STM PhD Award
Topic: Award
Type: Other
Date: 2013-09-12 to 2013-09-13
Place: Egham, UK
Lecturer:
Coverage:
Like in previous year STM gave the the 2013 ERCIM
WG STM Best Ph.D. Thesis Award to the best PhD thesis on
Like in previous years, to promote the scientific growth of young researchers
interested in the field of security and trust management,
the group gave the ERCIM STM WG ERCIM STM WG 2013 Award for the
Best Ph.D. Thesis on Security and Trust Management.
Applications for the award in 2013 were open to all Ph.D. holders that defended their
thesis during 2012 in any European University. The committee was composed of
nine established researchers in the field. Ten applications were received,
all of excellent quality.
The award was given to Pouyan Sepehrdad with the thesis “Statistical and
Algebraic Cryptanalysis of Lightweight and Ultra- Lightweight Symmetric Primitives”
obtained at Ecole Polytechnique Federale de Lausanne, Switzerland.
WG: Environmental Modelling
Skype Conference
Topic: Define topics for Horizon2020 projects
Type: Other
Date: 2013-12-10 to 2013-12-10
Place: Internet
Lecturer: Ladislav Hluchy, Slovak Academy of Sciences
Coverage: 1. Update on developments in ERCIM concerning the WG
2. Round-table of current activities and interests
3. Prospects for Horizon 2020
4. Any other possibilities for collaboration
WG: Formal Methods for Industrial Critical Systems
Eighteenth International Workshop on Formal Methods for Industrial Critical Systems FMICS'2013