This work portrays developing and evaluating deep learning models for automatically identifying retinal injuries using Optical Coherence Tomography (OCT) images. In particular, this study optimizes three pre-trained C...
详细信息
作者：
Trufas, DafinaLOS
Faculty of Mathematics and Computer Science University of Bucharest Institute for Logic and Data Science Bucharest Romania
In this paper we present a formalization of Intuitionistic Propositional Logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as explorin...
详细信息
Nowadays, electronic waste is no longer considered ordinary waste;instead, it is recognized as valuable and hazardous waste containing significant amounts of precious metals. Therefore, it should not be disposed of il...
详细信息
Developing new applied Artificial Intelligence solutions can be complex and time-consuming. Automated Machine Learning (AutoML) can speed up the solutions' development, but may require hundreds of datasets to make...
详细信息
The paper deals with continuous and compact mappings generated by the Fourier transform between distinguished Besov spaces B_(p)^(s)(R^(n))=B_(p,p)^(s)(R^(n)),1≤p≤∞,and between Sobolev spaces Hs p(R^(n)),1<p<...
详细信息
The paper deals with continuous and compact mappings generated by the Fourier transform between distinguished Besov spaces B_(p)^(s)(R^(n))=B_(p,p)^(s)(R^(n)),1≤p≤∞,and between Sobolev spaces Hs p(R^(n)),1
The hierarchical structure of the Internet of Things (IoT) consists of multiple nodes that are divided into major nodes at the upper level of the network and general nodes at the lower level of the network. A hie...
详细信息
We describe and demonstrate a method of automated creation of refined visualizations of Linked data endpoint schemas, based on their pre-computed structure information. The visualization uses UML class diagram style s...
详细信息
This paper introduces a multimodal SPARQL query system that combines the capabilities of Sparklis and ViziQuer, two powerful tools for SPARQL query building and visualization. Sparklis offers a faceted user interface ...
详细信息
We study the geometric knapsack problem in which we are given a set of d-dimensional objects (each with associated profits) and the goal is to find the maximum profit subset that can be packed non-overlappingly into a...
详细信息
In recent years,there has been a growing focus on high-reliability products in industrial and military *** plays a crucial role in these products,and as a result,research on storage reliability has gained more *** pap...
详细信息
In recent years,there has been a growing focus on high-reliability products in industrial and military *** plays a crucial role in these products,and as a result,research on storage reliability has gained more *** paper specifically targets a class of products with complex structures that require long-term storage,regular testing,and ***,an expression method for system availability is provided based on the reliability structure of the system and the maintenance situation of the constituent equipment in *** the expression of system availability is typically complex and difficult to compute,and the storage life of the system cannot be represented as an explicit function of the reliability indicators of the constituent equipment,it is challenging to evaluate the availability and storage life of repairable *** address this,the paper proposes a comprehensive evaluation methodology for assessing the storage reliability of complex repairable systems based on fiducial *** approach is employed to derive point estimates and determine the lower fiducial limits for both system availability and storage ***,simulation results demonstrate that this comprehensive evaluation method for storage reliability of complex repairable systems is not only convenient but also highly effective.
暂无评论