Abstract: The present disclosure discloses an oxide semiconductor thin-film transistor and a method of fabricating the same. According to one embodiment of the present disclosure, the oxide semiconductor thin-film transistor includes a substrate, a gate electrode, a gate insulating layer, an oxide semiconductor layer, and source and drain electrodes. Since the gate insulating layer is formed of at least one of zirconium oxide (ZrOx) and lanthanum zirconium oxide (LaZrOx), the electrical characteristics of the oxide semiconductor thin-film transistor may be controlled by the gate insulating layer.

Abstract: The present disclosure discloses an oxide semiconductor thin-film transistor and a method of fabricating the same. According to one embodiment of the present disclosure, the oxide semiconductor thin-film transistor includes a substrate, a gate electrode, a gate insulating layer, an oxide semiconductor layer, and source and drain electrodes. Since the gate insulating layer is formed of at least one of zirconium oxide (ZrOx) and lanthanum zirconium oxide (LaZrOx), the electrical characteristics of the oxide semiconductor thin-film transistor may be controlled by the gate insulating layer.

Abstract: This disclosure relates generally to detection of inconsistencies in Semantics of Business Vocabulary and Business Rules (SBVR) rules, and, more particularly, to detecting inconsistencies in SBVR using Many-Sorted Logic. Traditional systems and methods implementing graphical and other related techniques are not sufficient to detect anomalies in semantic rules, thereby leading to a different verification approach to detect logical anomalies and errors due to quantification. Embodiment of the present disclosure overcome the limitations faced by the traditional systems and methods by translating a set of SBVR rules into a SBVR eXtensible Markup Language Metadata Interchange (XMI); transforming the SBVR XMI into one or more Satisfiability Modulo Theories Library (SMT-LIB) formulas using at least one logical structure and semantic of Many-Sorted Logic; and detecting, from the one or more SMT-LIB formulas, one or more inconsistencies in semantics of SBVR by using a SMT solver invocation.

Abstract: A method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for identification of relation among rule intents from a document is performed in multiple stages that include identification and optimization of a pair-wise relation graph from rule intents based on a plurality of relation optimizing heuristic rules. The relations identified among the rule intents are displayed in Semantics of Business Vocabulary and Rules (SBVR) format, which can be easily analyzed by machines as SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Abstract: A system and method for method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for mining of rule intents from documents is performed in multiple stages that include extraction of rule sentences from input documents that are further parsed to create dependency trees. The created dependency trees are further analyzing based on a set of plurality of heuristic rules to mine rule intents. The mined rule intents are saved and further displayed in Semantics of Business Vocabulary and Rules (SBVR) format. The mined rule intents that are displayed automatically in the SBVR format can be easily analyzed as they SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Abstract: This disclosure relates generally to detection of inconsistencies in Semantics of Business Vocabulary and Business Rules (SBVR) rules, and, more particularly, to detecting inconsistencies in SBVR using Many-Sorted Logic. Traditional systems and methods implementing graphical and other related techniques are not sufficient to detect anomalies in semantic rules, thereby leading to a different verification approach to detect logical anomalies and errors due to quantification. Embodiment of the present disclosure overcome the limitations faced by the traditional systems and methods by translating a set of SBVR rules into a SBVR eXtensible Markup Language Metadata Interchange (XMI); transforming the SBVR XMI into one or more Satisfiability Modulo Theories Library (SMT-LIB) formulas using at least one logical structure and semantic of Many-Sorted Logic; and detecting, from the one or more SMT-LIB formulas, one or more inconsistencies in semantics of SBVR by using a SMT solver invocation.

Abstract: A method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for identification of relation among rule intents from a document is performed in multiple stages that include identification and optimization of a pair-wise relation graph from rule intents based on a plurality of relation optimizing heuristic rules. The relations identified among the rule intents are displayed in Semantics of Business Vocabulary and Rules (SBVR) format, which can be easily analyzed by machines as SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Abstract: A system and method for method and a system for mining rule intents from documents is provided, wherein the rule intents are basic atomic facts present in a sentence. The proposed method and system for mining of rule intents from documents is performed in multiple stages that include extraction of rule sentences from input documents that are further parsed to create dependency trees. The created dependency trees are further analyzing based on a set of plurality of heuristic rules to mine rule intents. The mined rule intents are saved and further displayed in Semantics of Business Vocabulary and Rules (SBVR) format. The mined rule intents that are displayed automatically in the SBVR format can be easily analyzed as they SBVR is a comprehensive standard for business rule representation by Object Management Group (OMG) in accordance with set of a standard pre-defined vocabularies.

Abstract: The present invention provides a method and system for optimizing by intelligently prompting one or more websites to enhance visibility of the website in a search conducted by a search engine and involves configuring one or more rules based on outcome of machine learning by analyzing the search engine configuration and ranking parameters responsible to improve rank of the websites, and dynamically creating a processor adapted to nm multi-threads for each of the one or more websites, analyzing the one or more websites based on the said one or more rules, determining one or more parameters based on the analysis of the one or more websites, and intimating website's owner for one or more actions to be taken based on the one or more parameters through one or more communication medium, thereby enhancing website's chances of discovery.

Abstract: The present invention relates to a method and system comprising service pattern definitions and automated extraction of Services from the legacy code based on the pattern matching.

Abstract: The present invention relates to method of defining multiple program abstractions, extraction methodologies, transformation, and code conversion to convert legacy monolithic architecture of business systems to a layered modern architecture using Object Oriented language such as Java.

Abstract: The present invention relates to a method and system comprising service pattern definitions and automated extraction of Services from the legacy code based on the pattern matching.

Abstract: The present invention relates to method of defining multiple program abstractions, extraction methodologies, transformation, and code conversion to convert legacy monolithic architecture of business systems to a layered modern architecture using Object Oriented language such as Java.

Abstract: The present invention relates to method of defining multiple program abstractions, extraction methodologies, transformation, and code conversion to convert legacy monolithic architecture of business systems to a layered modern architecture using Object Oriented language such as Java.