Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we showed the idea of applying Timed Interval Calculus (TIC) to complement Simulink. In this paper, we develop machine-assisted proof support for Simulink models represented in TIC. The work is based on a generic theorem pr...

This study investigated the microstructure evolution of TiC/Ti-6Al-4V matrix composite produced using a 1073 nm continuous wave (CW), IPG Ytterbium fibre laser. The influence thermal gradient, overlap, and re-melting previous layers on TiC/Ti6Al4V samples was analyzed scanning electron microscope (SEM). showed that are composed undissolved TiC, in-situ TiC (eutectic primary TiC), α Ti β Ti. Whi...

render-

Tic disorders are moderately heritable common psychiatric disorders that can be highly troubling, both in childhood and in adulthood. In this study, we report results obtained in the first epigenome-wide association study (EWAS) of tic disorders. The subjects are participants in surveys at the Netherlands Twin Register (NTR) and the NTR biobank project. Tic disorders were measured with a self-r...

BACKGROUND The aim of this study was to observe the effects of genetic polymorphism of CYP2C19 on inhibitory effects of ticagrelor (Tic) and clopidogrel (Clo) towards post-percutaneous coronary intervention (PCI) platelet aggregation (IPA) and major cardiovascular events (MACE) in patients with acute coronary syndromes (ACS). MATERIAL AND METHODS From August 2013 to March 2014, 166 patients wit...

BACKGROUND The therapeutic effect of chemotherapy for liver metastases is currently determined by changes in tumor diameter depicted on computed tomography (CT) and magnetic resonance imaging, but it cannot accurately determine if there is central necrosis. Furthermore, due to the risk of radiation exposure and high cost, frequent examination using these methods places a heavy burden on patient...

The microstructure of the B1-type TiC formed during solidification and its mechanical properties were investigated using arc-melted Fe-Ti-C ternary alloys. at relatively high temperatures in liquid as primary phase exhibited a dendritic shape. With decreasing temperature and/or Ti C content liquid, morphology changed to cubic shape with {001}TiC habit plane, plate {011}TiC needle <001>TiC prefe...

Painful tic convulsif is a syndrome restricted to paroxysmal dysfunction of the fifth and seventh cranial nerves. It occurs primarily in women over the age of 50 years and is usually associated with an ectatic vertebrobasilar artery--less frequently an arteriovenous malformation or cholesteatoma--which compresses the trigeminal and facial nerve roots in the posterior fossa. In rare instances th...

Tourette syndrome (TS) is a neuropsychiatric disorder characterized by a combination of multiple motor tics and at least one phonic tic. TS patients often have associated behavioral abnormalities such as obsessive compulsive disorder, attention deficit and hyperactive disorder. Coprolalia, defined as emission of obscenities or swearing, is one type of complex vocal tic, present in 8% to 26% of ...