Labnote - Mythen data fast and high resolution Measurements

Source URL: www.stoe.com

• Diffraction
• Crystallography
• Powder diffraction
• Lanthanum
• Rietveld refinement
• Ionizing radiation

Programs Synthesis from Refinement Types Nadia Polikarpova To appear at PLDI’16

Source URL: people.csail.mit.edu

Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations Michael Backes1,2 , C˘at˘alin Hri¸tcu1,3,4,∗, Matteo Maffei1 1 2

Source URL: prosecco.gforge.inria.fr

ESAIM: PROCEEDINGS, December 2011, Vol. 34, pE. Canc` es, V. Louvet and M. Massot, Editors BLOCK-STRUCTURED ADAPTIVE MESH REFINEMENT THEORY, IMPLEMENTATION AND APPLICATION

Source URL: www.esaim-proc.org

PROJECT “EUROPEANA NEWSPAPERS“ PROJECT WORKSHOP ON TEXTS REFINEMENT AND QUALITY ASSESSMENT

Source URL: infoteka.bg.ac.rs

Fourth Order Compact Scheme with Local Mesh Refinement for Option Pricing in Jump-Diffusion Model ∗ Spike T. Lee† Hai-Wei Sun‡

Source URL: www.cis.umac.mo

Crittenton Women’s Union’s Mobility Mentoring Fiscal Year 2013 Impact Report Over the past fiscal year, Crittenton Women’s Union (CWU) has made significant advancements in its implementation and refinement of Mo

Source URL: www.liveworkthrive.org

digitalPLANT AUTODESK REVEALS PLANT DESIGN SUITE 2012 The plant design market gets more drive. Autodesk made remarkable refinement of its plant design suites and brings tremendous momentum into the market. The following

Source URL: www.economic-engineering.de

• Autodesk
• Building information modeling
• 3D graphics software
• AutoCAD
• Autodesk Vault
• Navisworks
• .dwg
• Computer-aided design

Verifying implementations of security protocols by refinement Nadia Polikarpova1 and Michał Moskal2 1 Chair of Software Engineering, ETH Zurich, Switzerland

Source URL: people.csail.mit.edu

Mesh–Refinement Strategies for Optimal Control of Kite Power Systems 15–16 June, Delft Lu´ıs Tiago 1

Source URL: www.awec2015.com