Towards Inverse Uncertainty Quantification in Software Development (Short Paper)

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66197-1_24 ◽

2017 ◽

pp. 375-381 ◽

Cited By ~ 3

Author(s):

Matteo Camilli ◽

Angelo Gargantini ◽

Patrizia Scandurra ◽

Carlo Bellettini

Keyword(s):

Software Development ◽

Uncertainty Quantification ◽

Short Paper

Download Full-text

Short Paper: Integrating the Data Protection Impact Assessment into the Software Development Lifecycle

Lecture Notes in Computer Science - Data Privacy Management, Cryptocurrencies and Blockchain Technology ◽

10.1007/978-3-030-66172-4_13 ◽

2020 ◽

pp. 219-228

Author(s):

Christopher Irvine ◽

Dharini Balasubramaniam ◽

Tristan Henderson

Keyword(s):

Software Development ◽

Impact Assessment ◽

Data Protection ◽

Short Paper ◽

Development Lifecycle ◽

Software Development Lifecycle

Download Full-text

The promises and perfidy of cryomicroscopy and analysis

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s042482010016964x ◽

1994 ◽

Vol 52 ◽

pp. 382-383

Author(s):

Patrick Echlin

Keyword(s):

Low Temperature ◽

High Energy ◽

Short Paper ◽

List Type ◽

Time Resolved ◽

Energy Beam ◽

Cellular Analysis ◽

Dissolved Ions ◽

Embedding Medium ◽

Low Temperature Microscopy

The unusual title of this short paper and its accompanying tutorial is deliberate, because the intent is to investigate the effectiveness of low temperature microscopy and analysis as one of the more significant elements of the less interventionist procedures we can use to prepare, examine and analyse hydrated and organic materials in high energy beam instruments. The promises offered by all these procedures are well rehearsed and the litany of petitions and responses may be enunciated in the following mantra.Vitrified water can form the perfect embedding medium for bio-organic samples.Frozen samples provide an important, but not exclusive, milieu for the in situ sub-cellular analysis of the dissolved ions and electrolytes whose activities are central to living processes.The rapid conversion of liquids to solids provides a means of arresting dynamic processes and permits resolution of the time resolved interactions between water and suspended and dissolved materials.The low temperature environment necessary for cryomicroscopy and analysis, diminish, but alas do not prevent, the deleterious side effects of ionizing radiation.Sample contamination is virtually eliminated.

Download Full-text