RESEARCH ON ONLINE INSPECTION OF PANTOGRAPH AND CATENARY BASED ON DEEP LEARNING



Sequent Calculus and Equational Programming

Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of NATIVE PRO type theory and involves eliminators, while the other provides a syntax in equational style.We show here that the equational approach corresponds to the use of a focused presentati

read more


Precision oncology for RET-related tumors

Aberrant Cages activation of the RET proto-oncogene is implicated in a plethora of cancers.RET gain-of-function point mutations are driver events in multiple endocrine neoplasia 2 (MEN2) syndrome and in sporadic medullary thyroid cancer, while RET rearrangements are driver events in several non-medullary thyroid cancers.Drugs able to inhibit RET ha

read more