yusuke1997/dblp-id-title huggingface dataset:
Motion estimation of tagged cardiac magnetic resonance images using variational techniques
Modeling Alzheimer's disease cognitive scores using multi-task sparse group lasso
Three-dimensional reconstruction of In Vivo human lumbar spine from biplanar radiographs
AI-PLAX: AI-based placental assessment and examination using photos
Automated MRI based pipeline for segmentation and prediction of grade, IDH mutation and 1p19q co-deletion in glioma
Practical quantification of necrosis in histological whole-slide images
A fully automatic computer aided diagnosis system for peripheral zone prostate cancer detection using multi-parametric magnetic resonance imaging
3D cardiac shape analysis with variational point cloud autoencoders for myocardial infarction prediction and virtual heart synthesis
Nonparametric joint shape learning for customized shape modeling
Invasion depth estimation of carcinoma cells using adaptive stain normalization to improve epidermis segmentation accuracy
Segmentation of abdominal organs in computed tomography using a generalized statistical shape model
Lung nodule classification using deep feature fusion in chest radiography
Automatic segmentation and 3D reconstruction of intravascular ultrasound images for a fast preliminar evaluation of vessel pathologies
Motion compensation in digital subtraction angiography using graphics hardware
Automated detection of focal cortical dysplasia using a deep convolutional neural network
Tailored self-supervised pretraining improves brain MRI diagnostic models
Adaptive fusion of texture-based grading for Alzheimer's disease classification
Intraoperative stenosis detection in X-ray coronary angiography via temporal fusion and attention-based CNN
Computer-aided diagnosis in medical imaging: Historical review, current status and future potential
Inspect quantitative signals in placental histopathology: Computer-assisted multiple functional tissues identification through multi-model fusion and distillation framework
Towards machine learned quality control: A benchmark for sharpness quantification in digital pathology
Cardiac VFM visualization and analysis based on YOLO deep learning model and modified 2D continuity equation
Computer-aided diagnosis (CAD) and image-guided decision support
Class balancing diversity multimodal ensemble for Alzheimer's disease diagnosis and early detection
GSM-Net: A global sequence modelling network for the segmentation of short axis CINE MRI images
A software for quantitative measurement of vessel parameters in fundus images
IMIIN: An inter-modality information interaction network for 3D multi-modal breast tumor segmentation
A neural network based framework for effective laparoscopic video quality assessment
A unified approach to medical image segmentation by leveraging mixed supervision and self and transfer learning (MIST)
Computer-assisted subtyping and prognosis for non-small cell lung cancer patients with unresectable tumor
Leg movement tracking in automatic video-based one-leg stance evaluation
Fast, accurate, and fully automatic segmentation of the right ventricle in short-axis cardiac MRI
Detection of Alzheimer's disease using features of brain region-of-interest-based individual network constructed with the sMRI image
AugmentA: Patient-specific augmented atrial model generation tool
Cortical shell unwrapping for vertebral body abnormality detection on computed tomography
A comprehensive approach for evaluating lymphovascular invasion in invasive breast cancer: Leveraging multimodal MRI findings, radiomics, and deep learning analysis of intra- and peritumoral regions
Corrigendum to "Machine learning techniques for mitoses classification" [Comput. Med. Imaging Graphics 87 January (2021) 101832]
Image formation in vibro-acoustography with depth-of-field effects
RibFractureSys: A gem in the face of acute rib fracture diagnoses
Cerebral activation effects of acupuncture at Yanglinquan(GB34) point acquired using resting-state fMRI
Improvement of cardiac CT reconstruction using local motion vector fields
Rethinking automatic segmentation of gross target volume from a decoupling perspective
Deep CNN ensembles and suggestive annotations for infant brain MRI segmentation
Refinement of clinical X-ray computed tomography (CT) scans containing metal implants
A segmentation and classification scheme for single tooth in MicroCT images based on 3D level set and k-means++
Dual Stream Feature Fusion 3D Network for supraspinatus tendon tear classification
Evaluation of an automated intracranial aneurysm detection and rupture analysis approach using cascade detection and classification networks
Deep convolutional neural networks for automatic classification of gastric carcinoma using whole slide images in digital histopathology
Does perfect filtering really guarantee perfect phase correction for diffusion MRI data?
Iterative reconstruction algorithms with α-divergence for PET imaging
Spino-pelvic postural changes between the standing and sitting human position: Proposal of a method for its systematic analysis
A deep learning-based pipeline for developing multi-rib shape generative model with populational percentiles or anthropometrics as predictors
Multi-modal medical Transformers: A meta-analysis for medical image segmentation in oncology
A robust and fast approach to simulating the behavior of guidewire in vascular interventional radiology
Towards Generic Abdominal Multi-Organ Segmentation with multiple partially labeled datasets
Quantitative PET image reconstruction employing nested expectation-maximization deconvolution for motion compensation
Comparing fusion techniques for the ImageCLEF 2013 medical case retrieval task
Mamba-based deformable medical image registration with an annotated brain MR-CT dataset
Boundary-aware glomerulus segmentation: Toward one-to-many stain generalization
Multi-modal MRI synthesis with conditional latent diffusion models for data augmentation in tumor segmentation
Optic disc localization in fundus images through accumulated directional and radial blur analysis
A genetic algorithm design for microcalcification detection and classification in digital mammograms
TSU-net: Two-stage multi-scale cascade and multi-field fusion U-net for right ventricular segmentation
DB-SNet: A dual branch network for aortic component segmentation and lesion localization
Corrigendum to "Computer-assisted detection of infectious lung diseases: A review" [Comput. Med. Imag. Graph. 36(2012) 72-84]
Super-resolution of magnetic resonance images using Generative Adversarial Networks
Prediction of near-term risk of developing breast cancer using computerized features from bilateral mammograms
Motion compensated iterative reconstruction of a region of interest in cardiac cone-beam CT
Real-time computer-generated integral imaging and 3D image calibration for augmented reality surgical navigation
Recent developments in machine learning for medical imaging applications
A physically based trunk soft tissue modeling for scoliosis surgery planning systems
Computational grading of hepatocellular carcinoma using multifractal feature description
Vector edge operators for cDNA microarray spot localization
Domain adaptive detection framework for multi-center bone tumor detection on radiographs
Fractal texture analysis of the healing process after bone loss
Reconstruction for plane-wave ultrasound imaging using modified U-Net-based beamformer
Ocular fundus reference images from optical coherence tomography
Path and bone-contour regularized unpaired MRI-to-CT translation
SpineMamba: Enhancing 3D spinal segmentation in clinical imaging through residual visual Mamba layers and shape priors
Adaptive ultrasound imaging of the lumbar spine for guidance of epidural anesthesia
An improved representation of regional boundaries on parcellated morphological surfaces
Molecular imaging of small animals with fluorescent proteins: From projection to multimodality
Interactive curved planar reformation based on snake model
A novel robust kernel principal component analysis for nonlinear statistical shape modeling from erroneous data
A fusion-based approach for uterine cervical cancer histology image classification
A multi-view contrastive learning and semi-supervised self-distillation framework for early recurrence prediction in ovarian cancer
A multiresolution clinical decision support system based on fractal model design for classification of histological brain tumours
Hip cartilage thickness measurement accuracy improvement
Regions-based illustrative visualization of multimodal datasets
Intensity inhomogeneity correction of MRI images using InhomoNet
Sequential reconstruction of vessel skeletons from X-ray coronary angiographic sequences
Unsupervised classification of multi-contrast magnetic resonance histology of peripheral arterial disease lesions using a convolutional variational autoencoder with a Gaussian mixture model in latent space: A technical feasibility study
Semi-automated method for brain hematoma and edema quantification using computed tomography
Algorithms for digital image processing in diabetic retinopathy
An unsupervised clustering framework for automatic segmentation of left ventricle cavity in human heart angiograms
GPU accelerated dynamic functional connectivity analysis for functional MRI data
Computer-aided diagnosis in chest radiography
Perfusion linearity and its applications in perfusion algorithm analysis
A comparison of an integrated and image-only deep learning model for predicting the disappearance of indeterminate pulmonary nodules
Lesion synthesis to improve intracranial hemorrhage detection and classification for CT images
Breakthrough Technologies in Digital Pathology
Meta-learning guidance for robust medical image synthesis: Addressing the real-world misalignment and corruptions
Thorax perfusion CT in non-small cell lung cancer
Automated estimation of choroidal thickness distribution and volume based on OCT images of posterior visual section
Predicting 4D liver MRI for MR-guided interventions
DiSegNet: A deep dilated convolutional encoder-decoder architecture for lymph node segmentation on PET/CT images
Reconstruction of coronary vessels from intravascular ultrasound image sequences based on compensation of the in-plane motion
Pyramid attention recurrent networks for real-time guidewire segmentation and tracking in intraoperative X-ray fluoroscopy
Fast and efficient retinal blood vessel segmentation method based on deep learning network
Efficient visibility-driven medical image visualisation via adaptive binned visibility histogram
Are you sure it's an artifact? Artifact detection and uncertainty quantification in histological images
Deformable adversarial registration network with multiple loss constraints
Learning tree-structured representation for 3D coronary artery segmentation
An integrated and interactive decision support system for automated melanoma recognition of dermoscopic images
Distortion correction and calibration of intra-operative spine X-ray images using a constrained DLT algorithm
Image segmentation and activity estimation for microPET 11 C-raclopride images using an expectation-maximum algorithm with a mixture of Poisson distributions
Denoising and spatial resolution enhancement of 4D flow MRI using proper orthogonal decomposition and lasso regularization
BoneVisionNet: A deep learning approach for the classification of bone tumours from radiographs using a triple fusion attention network of transformer and CNNs with XAI visualizations
Real-time deformable registration of multi-modal whole slides for digital pathology
Deep learning model for malignancy prediction of TI-RADS 4 thyroid nodules with high-risk characteristics using multimodal ultrasound: A multicentre study
Identification of the breast edge using areas enclosed by iso-intensity contours
A multistage selective weighting method for improved microwave breast tomography
A study of acoustic source generation mechanism of Magnetoacoustic Tomography
Hepatocellular carcinomas: Correlation between time to peak hepatocellular carcinomas enhancement and time to peak aortic enhancement
Surface flattening of the human left atrium and proof-of-concept clinical applications
Bilateral filter regularized accelerated Demons for improved discontinuity preserving registration
Trends and applications of variational autoencoders in medical imaging analysis
Diffusion-based image translation from white light to narrow-band imaging in gastrointestinal endoscopy
Radiogenomic insights suggest that multiscale tumor heterogeneity is associated with interpretable radiomic features and outcomes in cancer patients
Investigation of the reproducibility and reliability of sagittal vertebral inclination measurements from MR images of the spine
Removal notice to "VitSeg: Weakly supervised vitiligo segmentation in skin image" [Comput. Med. Imag. Graph. 85 (2020) 101779]
A CNN-Transformer fusion network for Diabetic retinopathy image classification
Automatic noise quantification for confocal fluorescence microscopy images
Hierarchical segmentation-assisted multimodal registration for MR brain images
Adapting content-based image retrieval techniques for the semantic annotation of medical images
Graph neural network based unsupervised influential sample selection for brain multigraph population fusion
Deep learning models for benign and malign ocular tumor growth estimation
Evaluation of the X-ray digital linear tomosynthesis reconstruction processing method for metal artifact reduction
A comparative analysis framework of 3T and 7T TOF-MRA based on automated cerebrovascular segmentation
Frequency-spatial synergistic network for accelerated multi-contrast MRI reconstruction
Efficient TpV minimization for circular, cone-beam computed tomography reconstruction via non-convex optimization
Multi-scale retinal vessel segmentation using line tracking
Uncertainty-aware regression model to predict post-operative visual acuity in patients with macular holes
Anatomy-guided slice-description interaction for multimodal brain disease diagnosis based on 3D image and radiological report
Eigenspine: Computing the correlation between measures describing vertebral pose for patients with adolescent idiopathic scoliosis
SWISTA-Nets: Subband-adaptive wavelet iterative shrinkage thresholding networks for image reconstruction
Automated analysis of human cochlea shape variability from segmented μCT images
CardioVision: A fully automated deep learning package for medical image segmentation and reconstruction generating digital twins for patients with aortic stenosis
Locating the fovea center position in digital fundus images using thresholding and feature extraction techniques
Patch similarity in ultrasound images with hypothesis testing and stochastic distances
A comparison of two methods for the segmentation of masses in the digital mammograms
Some Quotient Lattices of the Medvedev Lattice
Relations of Type α
Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples
Computational complexity on computable metric spaces
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
On kappa-hereditary Sets and Consequences of the Axiom of Choice
Editorial correction for A. Tzouvaras, "Russell's typicality as another randomness notion"
On Preservation Theorems for Two-Variable Logic
Random variables and integral logic
Countable sums and products of metrizable spaces in ZF
Efficient Combinatory Reduction
Two NP-Hard Art-Gallery Problems for Ortho-Polygons
Refinement is equivalent to Fullness
The Essentially Equational Theory of Horn Classes
A wild model of linear arithmetic and discretely ordered modules
Cut-Elimination Theorem for the Logic of Constant Domains
Effective Fine-convergence of Walsh-Fourier series
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
On a Formalization of the Non-Definedness Notion
Choices of Convenient Sets
Weakly precomplete computably enumerable equivalence relations
A note on the substructural hierarchy
On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic
Differentialoperatoren Über Booleschen Algebren
Some Remarks on Generalized Spectra
Low sets without subsets of higher many-one degree
Representation of Ordinal Numbers and Derived Sets in Certain Continuous Sets
Effective embeddings into strong degree structures
A Language for Type-Free Algebra
A Remark on Independence Results for Sharply Bounded Arithmetic
On the Dimension Theory of N 1 -Categorical Theories with the Nontrivial Strong Elementary Intersection Property
Eine äQuivalente Formalisierung der Logik von Feferman und Aczel
Some model theory of Th ( N , · ) $\operatorname{Th}(\mathbb {N}, \cdot )$
A Brauerian representation of split preorders
Addendum to "A definable nonstandard enlargement"
What is effective transfinite recursion in reverse mathematics?
On a cardinal inequality in ZF $\mathsf {ZF}$
Unique solutions
A Formalisation of an ℵ 0 -Valued Propositional Calculus with Variable Functors
Definable types in algebraically closed valued fields
Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices
On Series of Ordinals and Combinatorics
Finitary Sequence Spaces
The strength of sharply bounded induction
A class of higher inductive types in Zermelo-Fraenkel set theory
Resolution of the uniform lower bound problem in constructive analysis
On the convergence of Fourier series of computable Lebesgue integrable functions
Computability of String Functions Over Algebraic Structures
On the Difficulty of Writing Out Formal Proofs in Arithmetic
Connectivity properties of dimension level sets
An Absoluteness Theorem
Automorphisms of Finite Order
An Extension of the Lemma of Rasiowa and Sikorski
On A Variant of Weak Chang's Conjecture
Some Theories Having Countably Many Countable Models
Stratified and positive comprehension seen as superclass rules over ordinary set theory
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
A Constructive Proof of a Theorem in Relevance Logic
On the Transitive Hull of a κ-Narrow Relation
The Model Completion of the Class of ℒ-Structures
On the reducibility of isomorphism relations
Axiomatization of the Monadic Theory of Ordinals < ω 2
On the pi 1 1 -separation principle
Bernstein sets and kappa -coverings
Zum Aufbau Affiner Ebenen aus dem Spiegelungsbegriff
Quotient Fields of a Model of I-Delta 0 + Omega 1
On the "Problem of the Last Root" for Exponential Terms
On self-distributive weak Heyting algebras
Definierbare Prädikate in Booleschen Algebren II
A note on the undecidability of the reachability problem for o-minimal dynamical systems
An Ehrenfeucht-Fraïssé game for Lω1ω
Constructive Notions of Strict Convexity
The subset relation and 2-stratified sentences in set theory and class theory
A uniformly computable Implicit Function Theorem
On Turing degrees of points in computable topology
Editorial: Math. Log. Quart. 5/2008
Assumption Classes in Natural Deduction
A Completeness Result for Quantificational Tense Logic
Forcing axioms for λ-complete μ + $\mu ^+$ -c.c
Concerning the Axioms of Ackermann's Set Theory
A note on the Sigma 1 collection scheme and fragments of bounded arithmetic
A dichotomy for T $T$ -convex fields with a monomial group
Singly generated quasivarieties and residuated structures
The shortest definition of a number in Peano arithmetic
Inconsistency lemmas in algebraic logic
Computability of Minimizers and Separating Hyperplanes
Sequent systems for compact bilinear logic
Quantifier-eliminable locally finite graphs
A Theory of Sets with the Negation of the Axiom of Inflnity
Effective Enumerations of Families of Finite Sets of Natural Numbers
Some definable types that cannot be amalgamated
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics
A high dimensional Open Coloring Axiom
Haar measure and integral logic
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
An automorphism group of an ω-stable structure that is not locally (OB)
A lexicographic path order with slow growing derivation bounds
Algebraic semantics for the (↔, ¬¬)-fragment of IPC
Fuzzy Galois connections categorically
A direct proof of the five element basis theorem
An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment
Lebesgue Convergence Theorems and Reverse Mathematics
On the Reduction of Type Theory
On the Complexity of Analytic Sets
Ein Neuer Beweis und Eine Verschärfung für den Konservativen Reduktionstyp ∀∃∀∃∞(0, 1)
The enumeration spectrum hierarchy of n -families
Generalizations of Cantor's theorem in ZF
Natürliche Kompliziertheitsmasze und Erhaltungssätze II
n -linear weakly Heyting algebras
Fuzzy Regressivity and Retraceability
Rigid models of Presburger arithmetic
Algebraic completion without the axiom of choice
The logical consequence relation of propositional tense logic
A definable Henselian valuation with high quantifier complexity
On topological properties of ultraproducts of finite sets
The Equational Logic For Graph Algebras
Ordinal operations on graph representations of sets
Another Characterization of the Natural Numbers
Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini
The discrete parts of approximately decidable sets in Euclidean spaces
Simple characterization of functionally complete one-element sets of propositional connectives
Questions on generalised Baire spaces
Automorphisms and Recursive Structures
Excluded Middle versus Choice in a topos
Separation properties in neighbourhood and quasi-apartness spaces
Second Order Definability Via enumerations
On the Finite Model Property of Intuitionistic Modal Logics over MIPC
Restricted Collection and Comprehension Schemata in Weak Set Theories
On height of group trees on tame abelian product groups
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
On aleph 0 -categorical weakly circularly minimal structures
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic
Cover Picture
Joint Consistency of Fuzzy Theories
Sincere-Strategy Preference-Based Approval Voting Fully Resists Constructive Control and Broadly Resists Destructive Control
Pseudoeuklidische Räume im Aufbau der Geometrie aus dem Spiegelungsbegriff
Linearly Stratified Models for the Foundations of Nonstandard Mathematics
Modal Undefinability in Some Alternative Leibnizian Frames
On Boolean Algebras and their Recursive Completions
On Absoluteness
On hereditarily small sets in ZF
Agreement reducibility
Weakly o-Minimal Expansions of Boolean Algebras
Untersuchungen zur Algebraischen Theorie der Partiellen Mengen
Forcing in Finite Structures
The Metamathematics of Infinitary Set Theoretical Systems
Definability of the ring of integers in some infinite algebraic extensions of the rationals
Choice Implies Excluded Middle
Equality and Coequality Relations on the Cartesian Product of Sets
Restricted Decision Problems in Some Classes of Algebraic Systems
A general Mitchell style iteration
On Complexity of Complete First-Order Theories
Hyperhypersimple sets and Q 1 -reducibility
Categorical abstract algebraic logic: The criterion for deductive equivalence
Computability and continuity in metric partial algebras equipped with computability structures
Remarks on gaps in Dense(q)/nwd
On a Collection of Classes in Ackermann's Set Theory With the Axiomschema of Foundation
Lévy processes on a first order model
The Logic of Calculation
The Ultrafilter Closure in ZF
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
Characterising Near Continuity Constructively
The cumulative hierarchy and the constructible universe of ZFA
Elementary Properties of the Finite Ranks
Two variants of the system of entailment
Non-elementary speed-ups in logic calculi
Topologies for intermediate logics
Constructive Sheaf Semantics
Almost Total Elementary Maps
A note on equivalence relations ℓp(ℓq)
Avoiding Medvedev reductions inside a linear order
On coding uncountable sets by reals
Decidability in Intuitionistic Type Theory is Functionally Decidable