yusuke1997/dblp-id-title huggingface dataset:
Relational Semantics and Domain Semantics for Epistemic Modals
The Metalogic of Ground: Pure and Iterative Systems
S-P interrogatives
Semantic alternatives in partial Boolean quantum logic
Agreement and Updating For Self-Locating Belief
What is Nominalistic Mereology?
On Explicating the Concept The Power of an Arithmetical Theory
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
Partially Undetermined Many-Valued Events and Their Conditional Probability
Plato's Phaedo theory of relations
Stalnaker conditionals and quantum logic
Mighty Belief Revision
Predicative foundations of arithmetic
Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics
Conversational scorekeeping and conditionals
Identity and Aboutness
On constructing instants from events
Against intuitionism: Constructive mathematics is part of classical mathematics
Intensional logics without interative axioms
Von Neumann's projection postulate as a probability conditionalization rule in quantum mechanics
Generalized Probabilism: Dutch Books and Accuracy Domination
Epistemic semantics for counterfactuals
Why Propositions Cannot be Sets of Truth-supporting Circumstances
Scorekeeping in a language game
A semantical investigation on Brouwer-Zadeh logic
Alternative Ways for Truth to Behave When There's no Vicious Reference
Modal Platonism: an Easy Way to Avoid Ontological Commitment to Abstract Entities
A Hyperintensional Logic of Non-prime Evidence
A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System
Choice and descriptions in enriched intensional languages - I
Maximal consistent sets of instances of Tarski's schema (T)
A Theory of Truthmaker Content II: Subject-matter, Common Content, Remainder and Ground
Between Atomism and Superatomism
Symmetric Contingency Logic with Unlimitedly Many Modalities
A Closer Look at Manifest Consequence
An Incomplete Relevant Modal Logic
What is Classical Mereology?
Analytic Tableaux for all of SIXTEEN 3
Internal Categoricity, Truth and Determinacy
Impossible possible worlds vindicated
Belief Revision Normalized
Current Trends in Substructural Logics
Metainferential Reasoning on Strong Kleene Models
⊃E is Admissible in "true" relevant arithmetic
Quantifier-free versions of first order logic and their psychological significance
Instability and Contraction
Urn models: A new kind of non-standard model for first-order logic
On bringing it about
Inductive inference in the limit of empirically adequate theories
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic
From Outcomes to Acts: A Non-Standard Axiomatization of the Expected Utility Principle
Adding a Conditional to Kripke's Theory of Truth
The conveyability of intuitionism, an essay on mathematical cognition
First-Degree Entailment and Truthmaker Functions
Classical Logic and the Strict Tolerant Hierarchy
A modal interpretation of three-valued logic
What the Liar Taught Achilles
Finitude and Hume's Principle
On the formal representation of rights relations
Inconsistent Models of Arithmetic Part I: Finite Models
World-Wide Web: The Information Universe
Query expansion for microblog retrieval
Reuse existing ontologies in an ontology development process - an integration-oriented ontology development methodology
Service offer driven dynamic selection mechanism for business web services
Application of data mining techniques to stakeholder sentiment analysis towards corporate social responsibility in the social media: a case study on S&P 500 firms
Term co-occurrence and context window-based combined approach for query expansion with the semantic notion of terms
A review of Quranic computation for e-learning
LPLX-lexicographic-based persistent labelling scheme of XML documents for dynamic update
Byzantine fault tolerance for session-oriented multi-tiered applications
Discovering social behaviour variances of younger and older users through social interaction analysis
Pseudo relevance feedback based on majority voting mechanism
A framework for reengineering web applications towards semantic web services
WS-I* compliant web service SOAP message security performance
Using semantic information for distributed web service discovery
Lack of multimedia tools in intervention support for running systems
MPSWS: a multi-agent personalisation of the semantic web services
The influence of privacy concerns on perceptions of web personalisation
Text classification using document-document semantic similarity
Domain ontology and semantic web applications for study of web competitive intelligence analysis system
How to benefit from small samples of web queries?
Large-scale ontologies: pattern and partition-based alignment
Optimising website services through the utilisation of intelligent software agents: theoretical foundations and practical implications
An efficient deep neural network model for music classification
Effective web service description and dynamic discovery mechanism based on the functional semantics
Exploratory pattern mining on social media using geo-references and social tagging information
Development of context-aware web services using the MDA approach
Transmission optimisation technology based on edge-network
A user-centric Mashuped SOA
A systematic literature review in fault analysis for IoT
Critical factors of website performance: a graph theoretic approach
Understanding three-tier model and selecting best CMS: a new generation web development
Creating web signature for each individual user and its various applications
Ontology versus terminology, from the perspective of ontologists
Web documents semantic similarity by extending document ontology using current trends
An adaptive teaching strategy model in e-learning using learners' preference: LearnFit framework
Formal method-based behaviour for semantic web services discovery
Novel Boolean functions for generating cryptographic stream ciphers
Data mediation towards semantic web service interoperability
Cosine similarity-based PageRank calculation
Automatic discovery and ranking of synonyms for search keywords in the web
Hypergraph-based Wikipedia search with semantics
Comparative analysis of web development languages performances
Cloud manufacturing service composition based on business matching optimisation
Mitigation of SQL injection vulnerability during development of web applications
Web access pattern mining - a new method
A new approach to discover the complex mappings between ontologies
A new variable selection method applied to credit coring
Modeling market impact and timing risk in volume time
A novel algorithm for clearing financial obligations between companies - An application within the Romanian Ministry of economy
Sparse modeling of volatile financial time series via low-dimensional patterns over learned dictionaries
Latency arbitrage in fragmented markets: A strategic agent-based analysis
Point-to-point stochastic control of a self-financing portfolio
Stochastic flow diagrams
News Reaction in Financial Markets within a Behavioral Finance Model with Heterogeneous Agents
Machine learning and corporate bond trading
Multi-scale capability: A better approach to performance measurement for algorithmic trading
Inventory-based versus Prior-based Options Trading Agents
Study of the periodicity in Euro-US Dollar exchange rates using local alignment and random matrices
Impact of global financial crisis on network of Asian stock markets
A minute with Peter Bossaerts
Dynamic allocation strategies for absolute and relative loss control
Forecasting prices from level-I quotes in the presence of hidden liquidity
Optimizing sparse mean reverting portfolios
Pricing stocks with yardsticks and sentiments
The network of the Italian stock market during the 2008-2011 financial crises
Natural time analysis in financial markets
Dynamical trading mechanisms in limit order markets
Tweets and peers: defining industry groups and strategic peers based on investor perceptions of stocks on Twitter
Portfolio optimization for cointelated pairs: SDEs vs Machine learning
AAD and least-square Monte Carlo: Fast Bermudan-style options and XVA Greeks
Graph embedded dynamic mode decomposition for stock price prediction
IN MEMORIAM: Jayaram Muthuswamy 1952-2021
Deep prediction of investor interest: A supervised clustering approach
The relationship between return fractality and bipower variation
Computation of financial risk using principal component analysis
Efficient greek estimation in generic swap-rate market models
Darwinian adverse selection
Portfolio selection in non-stationary markets
An endogenous mechanism of business cycles
A Minute with David Leinweber
Empirical evaluation of price-based technical patterns using probabilistic neural networks
What is algorithmic finance? Editorial from outgoing Editor-in-Chief Philip Maymin
Classification-based financial markets prediction using deep neural networks
A Minute with Emanuel Derman
Predictable markets? A news-driven model of the stock market
Using directional bit sequences to reveal the property-liability underwriting cycle as an algorithmic process
Localized trend model for stock market sectoral indexes movement profiling
Financial Turbulence, Business Cycles and Intrinsic Time in an Artificial Economy
Modeling the financial market with labyrinth chaos
Sell the losers? Keep the winners? None of the above - Focus on the median!
Likelihood Ratio Method and Algorithmic Differentiation: Fast Second Order Greeks
The Impact of Asymmetry on Expected Stock Returns: An Investigation of Alternative Risk Measures
A big data approach to analyzing market volatility
Splitting and matrix exponential approach for jump-diffusion models with Inverse Normal Gaussian, Hyperbolic and Meixner jumps
Discovering the ecosystem of an electronic financial market with a dynamic machine-learning method
A non-parametric inference for implied volatility governed by a Lévy-driven Ornstein-Uhlenbeck process
A multiscale model of high-frequency trading
Behavioral biases and investor performance
Sparse, mean reverting portfolio selection using simulated annealing
Multi-scale representation of high frequency market liquidity
A Minute with Giovanni Barone-Adesi
Investigating Intertrade Durations using Copulas: An Experiment with NASDAQ Data
Information leakage in financial machine learning research
Algorithmic trading in the Iowa electronic markets
The strategy approval decision: A Sharpe ratio indifference curve approach
Sector categorization using gradient boosted trees trained on fundamental firm data
Estimating the algorithmic complexity of stock markets
Author Index Volume 4 (2015)
Impact of short-sales in stock market efficiency
Binomial options pricing has no closed-form solution
An efficient algorithm for the calculation of reserves for non-unit linked life policies
Trump tweets and the efficient Market Hypothesis
Linear-time accurate lattice algorithms for tail conditional expectation
The Russian ETF puzzle and its possible reasons
Wealth management: Modeling the nonlinear dependence
Pricing complexity options
Stock chatter: Using stock sentiment to predict price direction
Interest rate derivatives for the fractional Cox-Ingersoll-Ross model
Extracting predictive information from heterogeneous data streams using Gaussian Processes
A Minute with Andrei Kirilenko
Allocation skew: Managers with conviction
An optimal execution problem in the volume-dependent Almgren-Chriss model
Combining low-volatility and mean-reversion anomalies: Better together?
An integer programming based strategy for Asian-style futures arbitrage over the settlement period
Fast recursive portfolio optimization
Cryptoasset factor models
How smart is a momentum strategy? An empirical study of Indian equities
Portfolio optimization with tri-objective for index fund management
The relationship between risk and incomplete states uncertainty: a tsallis entropy perspective
Smile in motion: An intraday analysis of asymmetric implied volatility
The extent of price misalignment in prediction markets
Dynamics of information leadership in the volatility complex with trading time changes: Evidence from VIX futures and VIX ETPs
The design and performance of the adaptive stock market index
Heuristic methods for stock selection and allocation in an index tracking problem
Microstructure-based order placement in a continuous double auction agent based model
Sensitivity and computational complexity in financial networks
A minute with Marcos Lopez de Prado
Market sentiment and exchange rate directional forecasting
How hard is it to pick the right model? MCS and backtest overfitting
Cluster formation and evolution in networks of financial market indices
A Minute with Kenneth J. Arrow
Absolute vs. relative speed in high-frequency trading
Guidelines for building a realistic algorithmic trading market simulator for backtesting while incorporating market impact: Agent-Based Strategies in Neural Network Format, Ecosystem Dynamics & Detection
Nonlinear support vector machines can systematically identify stocks with high and low future returns
Do central counterparties reduce counterparty and liquidity risk? Empirical results
Market Reaction to iPhone Rumors
Parallel MCMC sampling of AR-HMMs for prediction based option trading
The synchronized and long-lasting structural change on commodity markets: Evidence from high frequency data
The topology of macro financial flows: An application of stochastic flow diagrams
Analysis of monotonicity properties of some rule interestingness measures
An experimental evaluation of two approaches to mining context based sequential patterns
Integration of candidate hash trees in concurrent processing of frequent itemset queries using Apriori
A linear Support Vector Machine solver for a large number of training examples
Mining online auction social networks for reputation and recommendation
Active learning using pessimistic expectation estimators
Time complexity of page filling algorithms in Materialized Aggregate List (MAL) and MAL/TRIGG materialization cost
Tracing cluster transitions for different cluster types
How to improve efficiency of analysis of sequential data?
Predicting access to materialized methods by means of hidden Markov model
SXCCP+: Simple XML Concurrency Control Protocol for XML Database Systems
Evaluation of node position based on email communication
Schema mapping and query reformulation in peer-to-peer XML data integration system
An efficient SQL-based querying method to RDF schemata
A potential field segmentation based method for tumor segmentation on multi-parametric MRI of glioma cancer patients
Perfusion imaging with 320-slice spiral computed tomography and color-coded digital subtraction angiography for assessing acute skeletal muscle ischemia-reperfusion injury in a rabbit model
Assessment of the association between C2 vertebral morphology and facial asymmetry using CBCT and panoramic radiography
Direct comparison of diagnostic and clinical values between Tc-99 m DPD and Tc-99 m PYP scintigraphy in patients with cardiac amyloidosis
Identification of hip fracture patients from radiographs using Fourier analysis of the trabecular structure: a cross-sectional study
Efficacy of sellar opening in the pituitary adenoma resection of transsphenoidal surgery influences the degree of tumor resection
Multiparametric MR radiomics in brain glioma: models comparation to predict biomarker status
Investigation of MRI features in subtypes of primary central nervous system diffuse large B-cell lymphoma
Computerized tomography features acting as predictors for invasive therapy in the management of Crohn's disease-related spontaneous intra-abdominal abscess: experience from long-term follow-up
Effective automatic detection of anterior cruciate ligament injury using convolutional neural network with two attention mechanism modules
Pre-contrast T1 and cartilage thickness as confounding factors in dGEMRIC when evaluating human cartilage adaptation to physical activity
Quick evaluation of lower leg ischemia in patients with peripheral arterial disease by time maximum intensity projection CT angiography: a pilot study
An exploratory analysis of the utility of maximum degree of stenosis on computed tomography coronary angiography for predicting major adverse cardiac events
Automatic colorimetric calibration of human wounds
Computed tomography scan based prediction of the vulnerable carotid plaque
Evaluation of a shortened cardiac MRI protocol for left ventricular examinations: diagnostic performance of T1-mapping and myocardial function analysis
Theory, simulation and experimental results of the acoustic detection of magnetization changes in superparamagnetic iron oxide
Giant subcutaneous bronchogenic cyst in the intergluteal cleft region of an adult: a case report and literature review
Tumor to liver maximum standardized uptake value ratio of FDG-PET/CT parameters predicts tumor treatment response and survival of stage III non-small cell lung cancer
An evaluation of meniscal collagenous structure using optical projection tomography
Adding attenuation corrected images in myocardial perfusion imaging reduces the need for a rest study
Generation of virtual monoenergetic images at 40 keV of the upper abdomen and image quality evaluation based on generative adversarial networks
Computer-assisted assessment of the Human Epidermal Growth Factor Receptor 2 immunohistochemical assay in imaged histologic sections using a membrane isolation algorithm and quantitative analysis of positive controls
Cortical thickness analysis in temporal lobe epilepsy using fully Bayesian spectral method in magnetic resonance imaging
Spatial and geometric learning for classification of breast tumors from multi-center ultrasound images: a hybrid learning approach
Electronic cleansing in computed tomography colonography using AT layer identification with integration of gradient directional second derivative and material fraction model
Comparison of accuracy of CT parameters across chest, low-dose lung, and abdominal CT in diagnosing steatotic liver disease
Altered Achilles tendon morphology in individuals with chronic post-stroke hemiparesis: a case report
Correction: Practical utility of liver segmentation methods in clinical surgeries and interventions
Atypical findings of perineural cysts on postmyelographic computed tomography: a case report of intermittent intercostal neuralgia caused by thoracic perineural cysts
Standardized uptake values of 99m Tc-MDP in normal vertebrae assessed using quantitative SPECT/CT for differentiation diagnosis of benign and malignant bone lesions
"A net for everyone": fully personalized and unsupervised neural networks trained with longitudinal data from a single patient
Quantitative and qualitative assessment of structural magnetic resonance imaging data in a two-center study
Is fasting a necessary preparation for abdominal ultrasound?
Correlated diffusion imaging
Preoperative MRI-based deep learning reconstruction and classification model for assessing rectal cancer
Ultrafast T2-weighted MR imaging of the urinary bladder using deep learning-accelerated HASTE at 3 Tesla
Multimodality MRI-based radiomics for aggressiveness prediction in papillary thyroid cancer
Non-contrast coronary artery wall and plaque imaging using inversion-recovery prepared steady-state free precession
Myofibroma/myofibromatosis: MDCT and MR imaging findings in 24 patients with radiological-pathological correlation
Can the low and high b-value distribution influence the pseudodiffusion parameter derived from IVIM DWI in normal brain?
Evaluation of left ventricular blood flow kinetic energy in patients with acute myocardial infarction by 4D Flow MRI: a preliminary study
Intra- and peritumoral MRI radiomics assisted in predicting radiochemotherapy response in metastatic cervical lymph nodes of nasopharyngeal cancer
Does lumbar MRI predict degree of disability in patients with degenerative disc disease? A prospective cross-sectional study at University of Gondar comprehensive specialized hospital, North West Ethiopia, 2020
Delineation and detection of breast cancer using novel label-free fluorescence
Preoperative prediction of extrathyroidal extension: radiomics signature based on multimodal ultrasound to papillary thyroid carcinoma
Quantitative margin assessment of radiofrequency ablation of a solitary colorectal hepatic metastasis using MIRADA RTx on CT scans: a feasibility study
The clinical significance of remnant thyroid tissue in thyroidectomized differentiated thyroid cancer patients on 131 I-SPECT/CT
A percutaneous core needle biopsy of deep suprahyoid head and neck lesions with CT-guided: study of diagnostic performance and factors associated with diagnostic failure
Deep learning model for the automated detection and classification of central canal and neural foraminal stenosis upon cervical spine magnetic resonance imaging
The use of individual-based FDG-PET volume of interest in predicting conversion from mild cognitive impairment to dementia
Deep learning based uterine fibroid detection in ultrasound images
Fully automated segmentation in temporal bone CT with neural network: a preliminary assessment study
The role of ultrasonography in diagnosing acute closed volar plate injury of proximal interphalangeal joint
Relationship between the temporal course of astrogliosis and symptom improvement in cerebral infarction: report of a case monitored using 18 F-THK5351 positron emission tomography
Preoperative CT findings and prognosis of pulmonary sarcomatoid carcinoma: comparison with conventional NSCLC of similar tumor size
Intralesional and perilesional radiomics strategy based on different machine learning for the prediction of international society of urological pathology grade group in prostate cancer
Preoperative evaluation of microvascular invasion in hepatocellular carcinoma with a radiological feature-based nomogram: a bi-centre study
Impact of abdominal adipose tissue segmentation on radiomics-based prognostic evaluation using CT enterography in Crohn's disease
Multimodal ultrasound radiomics model combined with clinical model for differentiating follicular thyroid adenoma from carcinoma
Image quality comparison of lower extremity CTA between CT routine reconstruction algorithms and deep learning reconstruction
Volumetric alterations of hippocampal and amygdala subfields in Azheimer's disease
A vein-viewing application enabled detecting abdominal wall varices related to the presence of non-treated gastroesophageal varices: a cross-sectional study
Feasibility evaluation of micro-optical coherence tomography (μOCT) for rapid brain tumor type and grade discriminations: μOCT images versus pathology
Use and applicability of magnetic resonance elastography of the lumbar spine in adults: a scoping review
Attention-enhanced architecture for improved pneumonia detection in chest X-ray images
Assessment the reliability of ultrasonography in the imaging of the plantar fascia: a comparative study
The impact of cardiopulmonary hemodynamic factors in volumetry for pulmonary nodule management
Morphological changes in flatfoot: a 3D analysis using weight-bearing CT scans
Application of attenuation coefficient in the assessment of hepatic involvement in children and adolescents with Wilson's disease
A comparison of the quality of image acquisition between the incident dark field and sidestream dark field video-microscopes
Color-coded summation images in the evaluation of renal artery stenosis before and after percutaneous transluminal angioplasty
A novel MRI-based deep learning imaging biomarker for comprehensive assessment of the lenticulostriate artery-neural complex
Histogram analysis of dynamic contrast-enhanced magnetic resonance imaging in the differential diagnosis of parotid tumors
Advancing ASD identification with neuroimaging: a novel GARL methodology integrating Deep Q-Learning and generative adversarial networks
Threshold estimation based on local minima for nucleus and cytoplasm segmentation
Non-contrast photon counting computed tomography of the head: optimized modeling of off-focal radiation to reduce calvarium-related tissue inhomogeneity
Cross-domain subcortical brain structure segmentation algorithm based on low-rank adaptation fine-tuning SAM