Endoscopic therapy for early gastric cancer: Standard techniques and recent advances in ESD

The technique of endoscopic submucosal dissection(ESD)is now a well-known endoscopic therapy for early gastric cancer.ESD was introduced to resect large specimens of early gastric cancer in a single piece.ESD can provide precision of histologic diagnosis and can also reduce the recurrence rate.However,the drawback of ESD is its technical difficulty,and,consequently,it is associated with a high rate of complications,the need for advanced endoscopic techniques,and a lengthy procedure time.Various advances in the devices and techniques used for ESD have contributed to overcoming these drawbacks.

The SUPER reporting guideline suggested for reporting of surgical technique

Background:Existing reporting guidelines pay insufficient attention to the detail and comprehensiveness reporting of surgical technique.The Surgical techniqUe rePorting chEcklist and standaRds(SUPER)aims to address this gap by defining reporting standards for surgical technique.The SUPER guideline intends to apply to articles that encompass surgical technique in any study design,surgical discipline,and stage of surgical innovation.Methods:Following the EQUATOR(Enhancing the QUAlity and Transparency Of health Research)Network approach,16 surgeons,journal editors,and methodologists reviewed existing reporting guidelines relating to surgical technique,reviewed papers from 15 top journals,and brainstormed to draft initial items for the SUPER.The initial items were revised through a three-round Delphi survey from 21 multidisciplinary Delphi panel experts from 13 countries and regions.The final SUPER items were formed after an online consensus meeting to resolve disagreements and a three-round wording refinement by all 16 SUPER working group members and five SUPER consultants.Results:The SUPER reporting guideline includes 22 items that are considered essential for good and informative surgical technique reporting.The items are divided into six sections:background,rationale,and objectives(items 1 to 5);preoperative preparations and requirements(items 6 to 9);surgical technique details(items 10 to 15);postoperative considerations and tasks(items 16 to 19);summary and prospect(items 20 and 21);and other information(item 22).Conclusions:The SUPER reporting guideline has the potential to guide detailed,comprehensive,and transparent surgical technique reporting for surgeons.It may also assist journal editors,peer reviewers,systematic reviewers,and guideline developers in the evaluation of surgical technique papers and help practitioners to better understand and reproduce surgical technique.

A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms

In the formal derivation and proof of binary tree algorithms,Dijkstra’s weakest predicate method is commonly used.However,the method has some drawbacks,including a time-consuming derivation process,complicated loop invariants,and the inability to generate executable programs from the specification.This paper proposes a unified strategy for the formal derivation and proof of binary tree non-recursive algorithms to address these issues.First,binary tree problem solving sequences are decomposed into two types of recursive relations based on queue and stack,and two corresponding loop invariant templates are constructed.Second,high-reliability Apla(abstract programming language)programs are derived using recursive relations and loop invariants.Finally,Apla programs are converted automatically into C++executable programs.Two types of problems with binary tree queue and stack recursive relations are used as examples,and their formal derivation and proof are performed to validate the proposed strategy’s effectiveness.This strategy improves the efficiency and correctness of binary tree algorithm derivation.