Topic Review Peer Reviewed
Large Language Models and Logical Reasoning
In deep learning, large language models are typically trained on data from a corpus as representative of current knowledge. However, natural language is not an ideal form for the reliable communication of concepts. Instead, formal logical statements are preferable since they are subject to verifiability, reliability, and applicability. Another reason for this preference is that natural language is not designed for an efficient and reliable flow of information and knowledge, but is instead designed as an evolutionary adaptation as formed from a prior set of natural constraints. As a formally structured language, logical statements are also more interpretable. They may be informally constructed in the form of a natural language statement, but a formalized logical statement is expected to follow a stricter set of rules, such as with the use of symbols for representing the logic-based operators that connect multiple simple statements and form verifiable propositions.
  • 1.0K
  • 31 May 2023
Topic Review
Geologic Modelling
Geologic modelling, geological modelling or geomodelling is the applied science of creating computerized representations of portions of the Earth's crust based on geophysical and geological observations made on and below the Earth surface. A geomodel is the numerical equivalent of a three-dimensional geological map complemented by a description of physical quantities in the domain of interest. Geomodelling is related to the concept of Shared Earth Model; which is a multidisciplinary, interoperable and updatable knowledge base about the subsurface. Geomodelling is commonly used for managing natural resources, identifying natural hazards, and quantifying geological processes, with main applications to oil and gas fields, groundwater aquifers and ore deposits. For example, in the oil and gas industry, realistic geologic models are required as input to reservoir simulator programs, which predict the behavior of the rocks under various hydrocarbon recovery scenarios. A reservoir can only be developed and produced once; therefore, making a mistake by selecting a site with poor conditions for development is tragic and wasteful. Using geological models and reservoir simulation allows reservoir engineers to identify which recovery options offer the safest and most economic, efficient, and effective development plan for a particular reservoir. Geologic modelling is a relatively recent subdiscipline of geology which integrates structural geology, sedimentology, stratigraphy, paleoclimatology, and diagenesis; In 2-dimensions (2D), a geologic formation or unit is represented by a polygon, which can be bounded by faults, unconformities or by its lateral extent, or crop. In geological models a geological unit is bounded by 3-dimensional (3D) triangulated or gridded surfaces. The equivalent to the mapped polygon is the fully enclosed geological unit, using a triangulated mesh. For the purpose of property or fluid modelling these volumes can be separated further into an array of cells, often referred to as voxels (volumetric elements). These 3D grids are the equivalent to 2D grids used to express properties of single surfaces. Geomodelling generally involves the following steps:
  • 1.0K
  • 06 Oct 2022
Topic Review
Kizuna AI
Kizuna AI (Japanese: キズナアイ), or AI Kizuna in non-Japanese order, is a Japan ese virtual YouTuber and self-proclaimed artificial intelligence. As of 2019, she operates three YouTube channels, "A.I.Channel", "A.I.Games", and "A.I.Channel China." Kizuna claims to be the world's first Virtual YouTuber, though the first channel to use a CG avatar for vlogging purposes on YouTube was the channel of English-Japanese Ami Yamato, who debuted her first video on 2011. and later the adoption of a similar concept by Mattel, which involved the use of a virtual personality for a 2015 advertisement campaign. On 29 November 2016, Kizuna started posting videos on her first YouTube channel, "A.I.Channel". A second channel, "A.I. Games," was opened in March 2017 for gaming-related content. A third channel, "A.I.Channel China", launched in June 2019 for a Chinese audience. Many speculate that Kizuna was created using the MikuMikuDance software, and given facial expression and actions using motion capture technology. Kizuna's video content is similar to many other YouTubers, consisting primarily of discussions, Q&A videos, and more traditional "Let's Play" videos. Because Kizuna only communicates in Japanese, fans contribute translations for her videos, and there exists entire unofficial communities built around these translators, filling the void of an official English community. Kizuna has also performed at the various Anime Conventions, and has also worked with many game companies.
  • 1.0K
  • 20 Oct 2022
Topic Review
Internet of Things with the Industrial Marketplace
There is no doubt that new technology has become one of the crucial parts of most people’s lives around the world. By and large, in this era, the Internet and the Internet of Things (IoT) have become the most indispensable parts of our lives. Recently, IoT technologies have been regarded as the most broadly used tools among other technologies. The tools and the facilities of IoT technologies within the marketplace are part of Industry 4.0. The marketplace is too regarded as a new area that can be used with IoT technologies. One of the main purposes of this paper is to highlight using IoT technologies in Industry 4.0, and the Industrial Internet of Things (IIoT) is another feature revised.
  • 1.0K
  • 21 Feb 2022
Topic Review
Partial Area Under the ROC Curve (PAUC)
The Partial Area Under the ROC Curve (pAUC) is a metric for the performance of binary classifier. It is computed based on the receiver operating characteristic (ROC) curve that illustrates the diagnostic ability of a given binary classifier system as its discrimination threshold is varied. The ROC curve is created by plotting the true positive rate (TPR) against the false positive rate (FPR) at various threshold settings.The area under the ROC curve (AUC) is often used to summarize in a single number the diagnostic ability of the classifier. The AUC is simply defined as the area of the ROC space that lies below the ROC curve. However, in the ROC space there are regions where the values of FPR or TPR are unacceptable or not viable in practice. For instance, the region where FPR is greater than 0.8 involves that more than 80% of negative subjects are incorrectly classified as positives: this is unacceptable in many real cases. As a consequence, the AUC computed in the entire ROC space (i.e., with both FPR and TPR ranging from 0 to 1) can provide misleading indications. To overcome this limitation of AUC, it was proposed to compute the area under the ROC curve in the area of the ROC space that corresponds to interesting (i.e., practically viable or acceptable) values of FPR and TPR.
  • 1.0K
  • 21 Oct 2022
Topic Review
Java Persistence API
The Java Persistence API (JPA), in 2019 renamed to Jakarta Persistence, is a Java application programming interface specification that describes the management of relational data in applications using Java Platform, Standard Edition and Java Platform, Enterprise Edition/Jakarta EE. Persistence in this context covers three areas: The reference implementation for JPA is EclipseLink.
  • 1.0K
  • 14 Oct 2022
Topic Review
Three-Dimensional Printing
Additive manufacturing with an emphasis on 3D printing has recently become popular due to its exceptional advantages over conventional manufacturing processes. However, 3D printing process parameters are challenging to optimize, as they influence the properties and usage time of printed parts. Therefore, it is a complex task to develop a correlation between process parameters and printed parts’ properties via traditional optimization methods. A machine-learning technique was recently validated to carry out intricate pattern identification and develop a deterministic relationship, eliminating the need to develop and solve physical models. In machine learning, artificial neural network (ANN) is the most widely utilized model, owing to its capability to solve large datasets and strong computational supremacy.
  • 1.0K
  • 17 Feb 2021
Topic Review
Buffon's Needle
In mathematics, Buffon's needle problem is a question first posed in the 18th century by Georges-Louis Leclerc, Comte de Buffon: Buffon's needle was the earliest problem in geometric probability to be solved; it can be solved using integral geometry. The solution, in the case where the needle length is not greater than the width of the strips, can be used to design a Monte Carlo method for approximating the number π, although that was not the original motivation for de Buffon's question.
  • 1.0K
  • 08 Oct 2022
Topic Review
Educational Robotics
Educational Robotics arose, developed, and flourished at the crossroads of educational science and computer science to serve and contribute to both scientific fields. The research questions raised through Educational Robotics, implemented by activities designed by the theory of constructionism, concentrate on the creation of computational thinking skills, collaborative learning, and project-based learning, taking into account the social nature of the student-robot relationship. Programming skills, sequencing, scripting, and algorithmic thinking are the primary goals of ER. Furthermore, as an essential branch of educational technology, the ER area of study improves conventional teaching methods' quality and efficacy while also introducing pedagogical changes to enhance education.
  • 1.0K
  • 16 Apr 2021
Topic Review
Level Design
Level design, or environment design, is a discipline of game development involving creation of video game levels—locales, stages, or missions. This is commonly done using a level editor, a game development software designed for building levels; however, some games feature built-in level editing tools.
  • 1.0K
  • 08 Oct 2022
  • Page
  • of
  • 371
Video Production Service