Zubair Nabi¹, Ramzan Talib^1,*, Muhammad Kashif Hanif¹, Muhammad Awais²

Computer Systems Science and Engineering, Vol.43, No.3, pp. 1357-1374, 2022, DOI:10.32604/csse.2022.025712

Abstract Digitalization has changed the way of information processing, and new techniques of legal data processing are evolving. Text mining helps to analyze and search different court cases available in the form of digital text documents to extract case reasoning and related data. This sort of case processing helps professionals and researchers to refer the previous case with more accuracy in reduced time. The rapid development of judicial ontologies seems to deliver interesting problem solving to legal knowledge formalization. Mining context information through ontologies from corpora is a challenging and interesting field. This research paper presents a three tier contextual text… More >

Muhammad Waseem Iqbal¹, Muhammad Raza Naqvi², Muhammad Adnan Khan^3,4, Faheem Khan⁵, T. Whangbo^5,*

CMC-Computers, Materials & Continua, Vol.71, No.3, pp. 4767-4784, 2022, DOI:10.32604/cmc.2022.023239

Abstract Currently, many mobile devices provide various interaction styles and modes which create complexity in the usage of interfaces. The context offers the information base for the development of Adaptive user interface (AUI) frameworks to overcome the heterogeneity. For this purpose, the ontological modeling has been made for specific context and environment. This type of philosophy states to the relationship among elements (e.g., classes, relations, or capacities etc.) with understandable satisfied representation. The context mechanisms can be examined and understood by any machine or computational framework with these formal definitions expressed in Web ontology language (WOL)/Resource description frame work (RDF). The… More >

Eman H. Alkhammash^*

CMC-Computers, Materials & Continua, Vol.70, No.2, pp. 3733-3750, 2022, DOI:10.32604/cmc.2022.015987

Abstract Formal methods use mathematical models to develop systems. Ontologies are formal specifications that provide reusable domain knowledge representations. Ontologies have been successfully used in several data-driven applications, including data analysis. However, the creation of formal models from informal requirements demands skill and effort. Ambiguity, inconsistency, imprecision, and incompleteness are major problems in informal requirements. To solve these problems, it is necessary to have methods and approaches for supporting the mapping of requirements to formal specifications. The purpose of this paper is to present an approach that addresses this challenge by using the Web Ontology Language (OWL) to construct Event-B formal… More >

XIANLIANG HOU^1,2,3,#, DONGE TANG^1,#, FENGPING ZHENG^1,#, MINGLIN OU³, YONG XU¹, HUIXUAN XU¹, XIAOPING HONG⁴, XINZHOU ZHANG¹, WEIER DAI⁵, DONGZHOU LIU^4,*, YONG DAI^1,*

BIOCELL, Vol.44, No.4, pp. 559-582, 2020, DOI:10.32604/biocell.2020.011022

Abstract Systemic lupus erythematosus (SLE) is a systemic autoimmune disease characterized by abnormal cellular and humoral immune responses and excessive autoantibody production. The precise pathologic mechanism of SLE remains elusive. The advent of single-cell RNA sequencing (scRNA-seq) enables unbiased analysis of the molecular differences of cell populations at the single-cell level. We used scRNA-seq to profile the transcriptomes of peripheral blood mononuclear cells from an SLE patient compared with a healthy control (HC). A total of 16,021 cells were analyzed and partitioned into 12 distinct clusters. The marker genes of each cluster and the four major immune cell types (B cells,… More >