No standard compact Clifford-Klein forms found for exceptional Lie groups.
problem Proving the non-existence of standard compact Clifford-Klein forms for exceptional Lie groups.
method Computer-aided approach, algorithmic methods for classifying semisimple subalgebras, and invariant calculations.
result Proves the non-existence of standard compact Clifford-Klein forms for homogeneous spaces of exceptional Lie groups.
A new method studies symplectic configurations in rational 4-manifolds using computer-aided techniques.
problem Understanding symplectic configurations in rational 4-manifolds.
method Computer-aided approach combining Cremona transformations and pseudoholomorphic curves.
result Nonexistence of Fano planes in the symplectic category.
Computational method finds examples of extremal hyperbolic surfaces.
problem Constructing explicit examples of extremal hyperbolic surfaces is complicated.
method Brute force computational procedure.
result Examples of extremal hyperbolic surfaces constructed in all cases.
New method for calculating crosscap numbers of knots.
problem Calculating crosscap numbers of knots efficiently.
method Deformation of plumbing and computer aid.
result Efficient calculation of crosscap numbers.
High predictive performance and ease of use and interpretability are important requirements for the applicability of a computer-aided diagnosis (CAD) to human reading studies. We propose a CAD system specifically designed to be more comprehensible to the radiologist reviewing screening breast MRI studies. Multiparametr…
Anomaly detection scores from VAE gradients improve tumor detection.
problem Improving anomaly detection in medical imaging.
method Using Variational Autoencoders to approximate anomaly ratings.
result Variance Autoencoder gradient-based ratings outperform other methods in tumor detection.
Concerning the set of exceptional surgery slopes for a hyperbolic knot, Lackenby and Meyerhoff proved that the maximal cardinality is 10 and the maximal diameter is 8. Their proof is computer-aided in part, and both bounds are achieved simultaneously. In this note, it is observed that the diameter bound 8 implies the m…
Tissue characterization has long been an important component of Computer Aided Diagnosis (CAD) systems for automatic lesion detection and further clinical planning. Motivated by the superior performance of deep learning methods on various computer vision problems, there has been increasing work applying deep learning t…
Optimal model diagnoses funduscopic images for ocular diseases.
problem Binary classification of funduscopic images for ocular diseases.
method Transfer learning using Xception base architecture, Adam optimizer, mean squared error loss function, and custom heuristic equation.
result 90% accuracy, 94% sensitivity, and 86% specificity achieved.
This paper reviews deep learning and knowledge-based methods for molecular design.
problem Optimizing molecular properties for scientific advances and process performance.
method Survey of deep learning and knowledge-based methods for molecular design.
result Deep learning models show promise in overcoming computational challenges.
Empty core found in max-loss non-centroid clustering.
problem Core stability in non-centroid clustering under max-loss objective.
method Proof for all k≥3 and n≥9 agents, computer-aided proof for 2D Euclidean points.
result Core can be empty in non-centroid clustering under max-loss objective.
New graph-based method for compact n-manifolds.
problem Representing compact n-manifolds efficiently.
method Using (n+1)-colored graphs to represent compact n-manifolds.
result Established results on topology of represented manifolds.
Analyzes surfaces minimizing mean curvature variation using PDEs.
problem Finding surfaces of minimum mean curvature variation.
method Develops an analytic theory using partial differential equations.
result Establishes existence and regularity of minimizers.
Constructs stable bundles on K3 surfaces using monad construction.
problem Stability of bundles on K3 surfaces.
method Monad construction, Generalised Hoppe Criterion, computer aid.
result Examples of real stable bundles constructed on K3 surfaces.
Novel approach localizes optic disc and fovea centers efficiently.
problem Localizing optic disc and fovea centers in retinal images.
method Simultaneously process optic disc and fovea, modeling their relative geometry and appearance.
result Improves localization and recognition by incorporating object-object relations.
Study classifies mammographic breast density using residual learning.
problem Classifying mammographic breast density for breast cancer risk.
method Radiomics approach based on residual learning.
result Outstanding classification results with high accuracy.
Graph neural networks improve molecular property prediction.
problem Efficiently predicting molecular properties with high accuracy and scalability.
method Gated Graph Recursive Neural Networks (GGNN) with skip connections.
result GGNN achieves state-of-the-art performance on molecular property prediction benchmarks.
Equation discovery method reconstructs model structure and parameters from data.
problem Nonlinear system identification challenges.
method Two interlaced parts: model structure identification and parameter estimation.
result Equation discovery method successfully reconstructs model structure and parameters from data.
Deep learning predicts patient trajectories in open Mimic-III dataset.
problem Predicting future medical conditions from patient history.
method Two parallel bi-directional Minimal Gated Recurrent Unit networks trained on Mimic-III dataset.
result Significant improvements in automated medical prognosis measured by Recall@k.
SketchGraphs dataset aids in modeling CAD designs.
problem Training models to reason about CAD designs efficiently.
method Collection of 15 million sketches with geometric constraint graphs.
result Demonstrated use cases for generative modeling and conditional generation.
Multiple modalities of biomarkers have been proved to be very sensitive in assessing the progression of Alzheimer's disease (AD), and using these modalities and machine learning algorithms, several approaches have been proposed to assist in the early diagnosis of AD. Among the recent investigated state-of-the-art appro…
New models suggest molecules that are often unfeasible to synthesize.
problem Models suggest molecules that are difficult to synthesize.
method Used a computer-aided synthesis planning program to analyze synthesizability of molecules generated by state-of-the-art models.
result State-of-the-art models generate molecules that are often unfeasible to synthesize.
A model learns symptom-drug relations for PD patients.
problem Automatic prescription recommendation for Parkinson's Disease patients.
method Builds a dataset of PD symptoms and prescriptions, learns latent symptom space, uses alternating optimization.
result Effective in recommending suitable prescription drugs for new PD patients.
A-MIL improves histopathology image classification and localization.
problem Improving diagnosis of breast cancer through better interpretation of histopathology images.
method Frame image classification as multiple instance learning, use attention-based learning for localization.
result A-MIL achieves better localization without compromising classification accuracy.
Electroencephalogram, an influential equipment for analyzing humans activities and recognition of seizure attacks can play a crucial role in designing accurate systems which can distinguish ictal seizures from regular brain alertness, since it is the first step towards accomplishing a high accuracy computer aided diagn…
Software automates metabolomics data analysis for reproducible results.
problem Automating reproducible metabolomics data analysis.
method Object-oriented software engineering, Java, XML database, GUI, version control system.
result MeKDDaM-SAGA successfully guides metabolomics applications.
We study isospectrality for manifolds with mixed Dirichlet-Neumann boundary conditions and express the well-known transplantation method in graph- and representation-theoretic terms. This leads to a characterization of transplantability in terms of monomial relations in finite groups and allows for the generating of ne…
Proposes a deterministic LIME for CAD systems.
problem Instability in LIME explanations.
method Uses agglomerative HC and KNN to select relevant clusters and trains a linear model.
result DLIME is more stable than LIME.
Novel fusion network combines polarization and radiomics features for liver cancer classification.
problem Challenges in histopathological diagnosis of HCC and ICC.
method Two-tier fusion approach: feature-level and classification-level.
result Significantly enhances classification accuracy, even at reduced resolutions.
Deep learning skin lesion classifier explained using CAVs.
problem Limited acceptance of deep learning CAD systems due to opaque decision-making.
method Mapped human understandable concepts to RECOD model using CAVs.
result Classifier learns and encodes disease-related concepts in its latent representation.
In this paper, we propose a method that disentangles the effects of multiple input conditions in Generative Adversarial Networks (GANs). In particular, we demonstrate our method in controlling color, texture, and shape of a generated garment image for computer-aided fashion design. To disentangle the effect of input at…
Automatization of the diagnosis of any kind of disease is of great importance and it's gaining speed as more and more deep learning solutions are applied to different problems. One of such computer aided systems could be a decision support too able to accurately differentiate between different types of breast cancer hi…
Motivated by the problem of computer-aided detection (CAD) of pulmonary nodules, we introduce methods to propagate and fuse uncertainty information in a multi-stage Bayesian convolutional neural network (CNN) architecture. The question we seek to answer is "can we take advantage of the model uncertainty provided by one…
Authors determine the SL(2,C) character variety of a specific knot without computer aid.
problem Determine the SL(2,C) character variety of a specific knot without computational assistance.
method Develop an efficient method for working with conjugacy classes of four elements of SL(2,C).
result Determine the character variety of the knot 8_18 efficiently and software-free.
We introduce a representation of compact 3-manifolds without spherical boundary components via (regular) 4-colored graphs, which turns out to be very convenient for computer aided study and tabulation. Our construction is a direct generalization of the one given in the eighties by S. Lins for closed 3-manifolds, which …
We use automatic speech recognition to assess spoken English learner pronunciation based on the authentic intelligibility of the learners' spoken responses determined from support vector machine (SVM) classifier or deep learning neural network model predictions of transcription correctness. Using numeric features produ…
New method calibrates neural network uncertainty for medical images.
problem Uncalibrated probabilistic outputs from deep neural networks in medical diagnosis.
method Functional space variational inference for Bayesian neural networks.
result Better calibrated uncertainty estimates at lower computational cost.
Novel deep learning approach for fast, differentiable fluid simulations.
problem Challenges in solving incompressible fluid dynamics equations efficiently.
method Physics-constrained training approach for convolutional neural networks.
result Trained models can handle various fluid phenomena and offer fast simulations.
DiagNet uses adversarial learning and signed graph regularization for better mammography diagnosis.
problem Inadequate data and similarity between benign and cancerous masses in mammography.
method Adversarial learning to generate positive and negative mammograms, signed similarity graph, deep convolutional neural network training.
result DiagNet outperforms state-of-the-art in breast mass diagnosis.
Proposes a multi-view architecture for drug-target interaction prediction.
problem Representing compound-target pairs in deep learning models.
method Integrates differentiable and predefined molecular descriptors using an adversarial multi-view architecture.
result Demonstrates potential of the proposed approach on clinically relevant datasets.
Survey on automating geometry problem solving with large models.
problem Automating geometric problem solving with spatial understanding and logical reasoning.
method Synthesizes GPS advancements through benchmark construction, parsing, and reasoning paradigms.
result Unified analytical paradigm and emerging opportunities identified.
Study functional relations on noncommutative tori using transformations.
problem Functional relations on noncommutative tori.
method Introducing transformations corresponding to basic calculus operations.
result Verification of Connes-Moscovici type functional relations.
We explore several oversampling techniques for an imbalanced multi-label classification problem, a setting often encountered when developing models for Computer-Aided Diagnosis (CADx) systems. While most CADx systems aim to optimize classifiers for overall accuracy without considering the relative distribution of each …
Paper proposes CNN for diagnosing rare muscular dystrophies from images.
problem Challenges in diagnosing rare diseases due to lack of data.
method Uses a Convolutional Neural Network (CNN) for patch-based classification of confocal microscopy images.
result CNN system identifies problematic areas and provides global patient evaluation.
Machine Learning (ML) is increasingly being used for computer aided diagnosis of brain related disorders based on structural magnetic resonance imaging (MRI) data. Most of such work employs biologically and medically meaningful hand-crafted features calculated from different regions of the brain. The construction of su…
Effective utilization of photovoltaic (PV) plants requires weather variability robust global solar radiation (GSR) forecasting models. Random weather turbulence phenomena coupled with assumptions of clear sky model as suggested by Hottel pose significant challenges to parametric & non-parametric models in GSR conversio…
neuralGAM package interprets neural networks by fitting them to feature contributions.
problem difficulty understanding neural network decisions
method Generalized Additive Neural Networks (GAM)
result interpretable Deep Learning model with accurate feature contributions
A broad spectrum of data from different modalities are generated in the healthcare domain every day, including scalar data (e.g., clinical measures collected at hospitals), tensor data (e.g., neuroimages analyzed by research institutes), graph data (e.g., brain connectivity networks), and sequence data (e.g., digital f…