Automated verification of complete specification with shape inference
Báo cáo khoa học: " Monte Carlo dose verification of prostate patients treated with simultaneous integrated boost intensity modulated radiation therapy" ppsx
Báo cáo y học: " A case of penile fracture with complete urethral disruption during sexual intercourse: a case report" pps
Automated regression testing and verification of complex code changes
Specification and verification of shared memory concurrent programs
NON INTEGRATED DEFECT RELATIONS FOR THE GAUSS MAPS OF COMPLETE MINIMAL SURFACES WITH FINITE TOTAL CURVATURE
Báo cáo y học: "Positioning Effects of KillerRed inside of Cells correlate with DNA Strand Breaks after Activation with Visible Light"
Báo cáo y học: " Experimental ablation of the pancreas with high intensity focused ultrasound (HIFU) in a porcine model"
Báo cáo y học: " Treatment of oroantral fistula with autologous bone graft and application of a non-reabsorbable membrane"
Báo cáo y học: "ISOLATION OF CHLAMYDIA PNEUMONIAE FROM SERUM SAMPLES OF THE PATIENTS WITH ACUTE CORONARY SYNDROME"
Báo cáo y học: "Influence of Cyclodextrin Complexation with NSAIDs on NSAID/Cold Stress-Induced Gastric Ulceration in Rats"
SIMULATION AND VERIFICATION OF PARTICLE COAGULATION DYNAMICS FOR A PULSED INPUT