News

GitHub5y
GitHub - takaakit/design-pattern-examples-in-csharp: UML model and code examples of design patterns for C#. The model is created with Astah.
To understand GoF Design Pattern examples in C#. To understand the mapping between UML model and C# code. To try model-driven development (MDD) using Astah and m plus plug-in. Open the Astah file ...
IEEE14y
Tip-sample interaction force modeling for AFM simulation, control design, and material property measurement - IEEE Xplore
Tip-sample interaction force is the key feature measured and manipulated by Atomic Force Microscopy (AFM). It is the main reason why this interaction must be the major component of quasistatic and ...
GitHub3y
This repository contains few working examples of Java Modelling Language - A software verification language for Java - GitHub
The one I focused on is Java Modelling Language which is specifically developed to work with Java. I used OpenJML to perform software verification on different programs listed out in the repository.
BMJ3y
Pairing regression and configurational analysis in health services research: modelling outcomes in an observational cohort using a split-sample design - BMJ Open
Results For the recurrent stroke or death outcome, configurational analysis yielded a three-pathway model identifying a set of (validation sample) patients where the prevalence was 15.0% (83/552), ...