The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main simplification consists in the removal of the sequencing operator, thus lightening the formal treatment of the patterns to be matched in a term (whose...

I will start by giving a lightening history of software metrics, explaining why almost all metrics activities can be traced to a couple of very simple technical objectives about resource and quality that are then wrapped up in standard statistical methods. The good news is that globally software metrics has provided some decent benchmarking information about software projects and locally has le...

This paper introduces a hybrid approach that is based on color information that utilizes background subtraction technique, a mask and K-Mean clustering algorithm. This hybrid approach efficiently removes artifacts caused by lightening changes such as highlight, reflection, and shadows of moving objects from segmentation. We first create a mask by assigning values to R, G and B channels utilizin...

Several topology optimization problems are conducted within the ribs and spars of a wing box. It is desired to locate the best position of lightening holes, truss/cross-bracing, etc. A variety of aeroelastic metrics are isolated for each of these problems: elastic wing compliance under trim loads and taxi loads, stress distribution, and crushing loads. Aileron effectiveness under a constant rol...

Target detection technology in high-resolution optical remote sensing images is of great significance both civil and military fields. Based on the Internet architecture, this paper proposes a multi-class target method for images. The fused multi-layer features are used detection. In view challenges complex background deformation target, deformable convolution network can be reference to extract...

In the cosmetic field, tomatoes can be processed into various preparations that used to maintain and improve skin health. Extracts or other natural ingredients derived from in products. This study is a systematic review with aim of exploring potential tomato improving The literature search process was carried out on databases (PubMed, Web Sciences, EMBASE, Cochrane Libraries, Google Scholar) re...

The researchers have articulated the developments of family dispute resolution in Pakistan and highlighted issues pertaining to its legal framework customary practices existing social system. library used as a tool for data collection, internet sources consulted this research. Doctrinal qualitative methodologies study analysis carried out through analytical critical review along with interpreta...

introduction: penetrating cardiac injuries generally occur secondary to gunshot or stab wounds and have a high mortality rate. they are rare and often fatal in children. when a foreign object penetrates the myocardium, it is dangerous to remove it, suddenly, and should be removed gradually to prevent excessive bleeding. case report: we report a case of an unusual penetrating cardiac injury in a...

Traffic lights play an imperative role in traffic management. Traffic lights play an important role in the traffic management. Existing Automatic Traffic Light Violation Detection System is based on the camera’s to detect the violator. This system has a number of limitations like blurry image due to motion , poor image resolution because the number plate is far away, poor lightening, different ...

We adopt a previously developed model of deep syntactic and semantic processing to support question answering for Bahasa Indonesia, and extend it by adding a number of axioms designed to encode useful knowledge for answering questions, thus increasing the inferential power of the QA system. We believe this approach can increase the robustness of semantic analysis-based QA systems, whilst simult...