scholarly journals Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers

2003 ◽  
Vol 46 (3) ◽  
pp. 195-196 ◽  
Author(s):  
Hubert Garavel ◽  
Stefania Gnesi ◽  
Ina Schieferdecker
2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.


2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino

2019 ◽  
Author(s):  
Elisabeth A. Wilde ◽  
Emily L. Dennis ◽  
David F Tate

The Enhancing NeuroImaging Genetics through Meta-Analysis (ENIGMA) consortium brings together researchers from around the world to try to identify the genetic underpinnings of brain structure and function, along with robust, generalizable effects of neurological and psychiatric disorders. The recently-formed ENIGMA Brain Injury working group includes 8 subgroups, based largely on injury mechanism and patient population. This introduction to the special issue summarizes the history, organization, and objectives of ENIGMA Brain Injury, and includes a discussion of strategies, challenges, opportunities and goals common across 6 of the subgroups under the umbrella of ENIGMA Brain Injury. The following articles in this special issue, including 6 articles from different subgroups, will detail the challenges and opportunities specific to each subgroup.


Quaternary ◽  
2018 ◽  
Vol 1 (3) ◽  
pp. 24 ◽  
Author(s):  
Valentí Rull

In the coming years, the Anthropocene Working Group (AWG) will submit its proposal on the ‘Anthropocene’ to the Subcommission of Quaternary Stratigraphy (SQS) and the International Commission on Stratigraphy (ICS) for approval. If approved, the proposal will be sent to the Executive Committee of the International Union of Geological Sciences (IUGS) for ratification. If the proposal is approved and ratified, then the ‘Anthropocene’ will be formalized. Currently, the ‘Anthropocene’ is a broadly used term and concept in a wide range of scientific and non-scientific situations, and, for many, the official acceptance of this term is only a matter of time. However, the AWG proposal, in its present state, seems to not fully meet the requirements for a new chronostratigraphic unit. This essay asks what could happen if the current ‘Anthropocene’ proposal is not formalized by the ICS/IUGS. The possible stratigraphic alternatives are evaluated on the basis of the more recent literature and the personal opinions of distinguished AWG, SQS, and ICS members. The eventual impact on environmental sciences and on non-scientific sectors, where the ‘Anthropocene’ seems already firmly rooted and de facto accepted as a new geological epoch, are also discussed. This essay is intended as the editorial introduction to a Quaternary special issue on the topic.


Sign in / Sign up

Export Citation Format

Share Document