yusuke1997/dblp-id-title huggingface dataset:
An Auxiliary Task for Learning Nuclei Segmentation in 3D Microscopy Images
IST-editing: Infinite spatial transcriptomic editing in a generated gigapixel mouse pup
Sparse Activations for Interpretable Disease Grading
Left Ventricle Contouring in Cardiac Images Based on Deep Reinforcement Learning
Evaluating Adversarial Robustness of Low dose CT Recovery
MEDIMP: 3D Medical Images and clinical Prompts for renal transplant representation learning
Exploring Transfer Learning in Medical Image Segmentation using Vision-Language Models
Learning Interclass Relations for Intravenous Contrast Phase Classification in CT
ADAPT: Multimodal Learning for Detecting Physiological Changes under Missing Modalities
Learning Strategies for Contrast-agnostic Segmentation via SynthSeg for Infant MRI data
CNN and Deep Sets for End-to-End Whole Slide Image Representation Learning
Improving CNN-Based Mitosis Detection through Rescanning Annotated Glass Slides and Atypical Mitosis Subtyping
Anomaly-focused Single Image Super-resolution with Artifact Removal for Chest X-rays using Distribution-aware Diffusion Model
Accurate Detection of Out of Body Segments in Surgical Video using Semi-Supervised Learning
Few Shot Hematopoietic Cell Classification
Feasibility and benefits of joint learning from MRI databases with different brain diseases and modalities for segmentation
FBNETGEN: Task-aware GNN-based fMRI Analysis via Functional Brain Network Generation
Generating Fundus Fluorescence Angiography Images from Structure Fundus Images Using Generative Adversarial Networks
Re-DiffiNet: Modeling discrepancy in tumor segmentation using diffusion models
Orientation Estimation of Abdominal Ultrasound Images with Multi-Hypotheses Networks
Reasoning in Interval Temporal Logic
Information Systems, Continuity and Realizability
Compactness in Semantics for Merge and Fair Merge
Computer Aider Reasoning
A Formalism for Reasoning about Fair Termination
Axiomatic approach to the system of files
Sharpening the characterization of the power of Floyd method
The Taming of Converse: Reasoning about Two-way Computations
A Complete System of Temporal Logic for Specification Schemata
Logics of Programs, Workshop, ETH Zürich, May-July 1979
Concurrent programs
Semantics and implementation of prefixing at many levels
Using Graphs to Understand PDL
PAL - Propositional Algorithmic Logic
A Semantics and Proof System for Communicating Processes
There Exit Decidable Context Free Propositional Dynamic Logics
Lambda Calculus with Constrained Types (Extended Abstract)
A sequent calculus for Kröger logic
A FASE Specification of FP
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings
PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness
Some Applications of Topology to Program Semantics
An Interval-Based Temporal Logic
Behavior: A Temporal Approach to Process Modelling
Nonstandard Dynamic Logic
An operational semantics for CSO
Continuation Semantics in Typed Lambda-Calculi (Summary)
Algebraic Tools for System Construction
Partial-Correctness Theories as First-Order Theories
Recursive Definitions in Type Theory
A Verifier for Compact Parallel Coordination Programs
A Sound and Relatively* Compete Axiomatization of Clarke's Language L 4
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Propositional Dynamic Logics of Programs: a Survey
Programming languages and logics of programs
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)
Logics of Programs and Their Applications, Proceedings, Poznan, Poland, August 23-29, 1980
Some Constructions for Order-Theoretic Models of Concurrency
Distributed Processes and the Logic of Knowledge
A Rigorous Approach to Fault-Tolerant System Development (Extended Abstract)
On priorities of parallelism
Deriving Efficient Graph Algorithms (Summary)
Mathematics as Programming
Automatic Verification of Asynchronous Circuits
The Representation Theorem for Algorithmic Algebras
On Induction vs. *-Continuity
Algebraic semantics and program logics: Algorithmic logic for program trees
Further Results on Propositional Dynamic Logic of Nonregular Programs
On the Relative Incompleteness of Logics for Total Correctness
On Algorithmic Logic with Partial Operations
Unsolvable Terms in Typed Lambda Calculus with Fixpoint Operators (Extended Abstract)
Nonstandard runs of Floyd-provable programs
Compositional Semantics for Real-time Distributed Computing
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*
Toward a Logical Thoery of Program Data
Property Preserving Homomorphisms of Transition Systems
Equation in Combinatory Algebras
Proving Fairness of Schedulers
Yet Another Process Logic (Preliminary Version)
Keeping a Foot on the Ground (position paper)
Hoare's Logic for Programs with Procedures - What Has Been Achieved?
The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods
Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping
A Note On Equivalences Among Logics of Programs
Critical Remarks on MAX Model of Concurrency
Verification of Concurrent Programs: Temporal Proof Principles
Synthesis of Communicating Processes from Temporal Logic Specifications
Hoare's Logic is Incomplete When It Does Not Have To Be
On the Duality of Dynamic Algebras and Kripke Models
Correctness of Programs with Function Procedures
Filtration theorem for dynamic algebras with tests and inverse operator
Introducing Institutions
Nonclausal Temporal Deduction
A Compete Proof Rule for Strong Equifair Termination
On axiomatization of process logic
A Survey of the Logic of Effective Definitions
The Deducibility Problem in Propositional Dynamic Logic
A Hoare Calculus for Functions Defined by Recursion on Higher Types
Proving Termination of Prolog Programs
On the Algorithmic Theory of Dictionaries
The Glory of the Past
A Static Analysis of CSP Programs
Reasoning About Procedures as Parameters
The Refinement of Specifications and the Stabiliy of Hoare's Logic
Equational Logic as a Programming Language
An Introduction to Specification Logic
Program Logics and Program Verification (position paper)
Some Observations on Compositional Semantics
The Intractability of Validity in Logic Programming and Dynamic Logic
Algorithmic logic for program trees
Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic
An Axiomatic Treatment of a Parallel Programming Language
On some extensions of dynamic logic
On the propositional algorithmic theory of arithmetic
Second-Order Logical Relations (Extended Abstract)
Some model-theoretical properties of logic for programs with random control
A Critique of the Foundations of Hoare-Style Programming Logics
A Low Level Language for Obtaining Decision Procedure for Classes of temporal Logics
A formal system for parallel programs in discrete time and space
Frm Synchronization Tree Logic to Acceptance Model Logic
Nonstandard model in propositional dynamic logic
On proving program correctness by means of stepwise refinement method
Are infinite behaviors of parallel system schemata necessary?
Characterization of Acceptable by ALGOL-Like Programming Languages
Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)
A Decision Procedure for the Propositional µ-Calculus
A Proof System for Distributed Processes
A Theory of Probabilistic Programs
On Asymptotic Probability of Inductive Queries and Their Decision Problem
On the Algorithmic Properties of Concurrent Programs
The Type Theory of PL/CV 3
Semantical Analysis of Specification Logic
On four logics of programs and complexity of their satisfiability problems: extended abstract
Automata, Tableaux and Temporal Logics (Extended Abstract)
Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981
Non-Standard Fixed Points in First Order Logic
Proof Rules Dealing with Fairness
TIMESETS -- A New Method for Temporal Reasoning about Programs
Logics of Programs, Conference, Brooklyn College, New York, NY, USA, June 17-19, 1985, Proceedings
From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview
Towards a theory of parallelism and communications for increasing efficiency in applicative languages
IoT Cryptosecurity: Overview and Potential Solutions
Improved SM4 Encryption Algorithm Based on Mixed Congruence Method
A Fuzzy-Based System for Selection of Radio Access Technology in 5G Wireless Networks Considering QoE as a New Parameter
The Business Model of Cross-Border E-Commerce: Source Globally, Sell Globally
Wavelet Transform Based PID Sequence Analysis for IDS on CAN Protocol
A Novel Privacy and Security Framework for the Cloud Network Services
Unsupervised Deep Image Set Hashing for Efficient Multi-label Image Retrieval
Research on the Vulnerability Predicting Analysis Model for Binary Executables
Application of TOWS Matrix Analysis in a Precision Medicine Genetic Testing Company
Ubiquitous and Pervasive Computing for Real-Time Energy Management and Saving - A System Architecture
Free Cash Flow and Firm Value
Indoor Taxi-Cab: Real-Time Indoor Positioning and Location-Based Services with Ekahau and Android OS
On Timing of Handoff Decision Making on Heterogeneous Wireless Networks
Design and Implementation of a Haptics Based Soldering Education System
Achieving Virtualization Trustworthiness Using Software Mechanisms
Fuzzy Energy Management Controller for Smart Homes
Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set
A Camera Placement System for Motion Analysis and Object Recognition: System Assessment by Simulations and an Experiment
A Vegetable Category Recognition System Using Deep Neural Network
A Multi-layer Secure Prevention Scheme for Improving e-Commerce Security
A Search for Computationally Efficient Supervised Learning Algorithms of Anomalous Traffic
A Survey of Green, Energy-Aware Security and Some of Its Recent Developments in Networking and Mobile Computing
The GEO-Cloud Experiment: Global Earth Observation System Computed in Cloud
Social Aware Assisted Transmission in MANET
Evaluation of Power Consumption for Smart Devices in Web Applications
How Does the Ratio and Part-Time Situation of Independent Directors Affect Firm Performance?
Impact of Mobile Network Operators' Incentive for Public Health: A Study Based on Saudi 2030 Vision
The Behavior-Based Analysis Techniques for HTML5 Malicious Features
The Influence of CEO/CFO Turnover on Company Value
Fast FFT-Based Inference in 3D Convolutional Neural Networks
An Evaluation of QoE in Cloud Gaming Based on Subjective Tests
Investor Sentiment and Governance Mechanisms
Anatomy of a Crowdsourcing Platform - Using the Example of Microworkers.com
The Causes and Influences of Institutional Investors Herding Behavior in the Taiwan Stock Market
A Security-Aware Fuzzy-Based Cluster Head Selection System for VANETs
Vulnerability Analysis of Software Piracy and Reverse Engineering: Based on Software C
An Improvement RFID Security Authentication Protocol Based on Hash Function
An Attitude-Based Reasoning Strategy to Enhance Interaction with Augmented Objects
On the Conditional P k -connectivity of Hypercube-Based Architectures
An Open Source Software Defect Detection Technique Based on Homology Detection and Pre-identification Vulnerabilitys
Real-Time Ray Tracing Algorithm for Dynamic Scene
On Route Travel Assistant for Public Transport Based on Android Technology
Dynamic Group Formation for an Active Learning System Using Smartphone to Improve Learning Motivation
A Green Time-Bounded Routing Protocol in Solar-Based Vehicular Networks
TOA Estimation with DLC Receivers for IEEE 802.15.4a UWB Systems
Successor Audit Partner Choice for Mandatory Audit Partner Rotation Companies
Evaluating User Vulnerability to Privacy Disclosures over Online Dating Platforms
Blockchain-Based Public Auditing Scheme for Shared Data
Implementation of a VR Preview Simulation System by Capturing the Human Body Movements
The Performance Optimization of Hadoop during Mining Online Education Packets for Malware Detection
A Resource-Aware Pairing Device Framework for Ubiquitous Cloud Applications
Performance Evaluation of CM and RIWM Router Replacement Methods for WMNs by WMN-PSOHC Hybrid Intelligent Simulation System Considering Chi-square Distribution of Mesh Clients
Analytical Modeling of IP-based Hierarchical Mobility Management Protocols
An Authorization Scheme Concealing Client's Access from Authentication Server
A Low-Energy Adaptive Clustering Hierarchy Architecture with an Intersection-Based Coverage Algorithm in Wireless Sensor Networks
Security Assessment on User Authentication by an HttpSendRequest Hooking in an HTTP Client
Relationship Quality and Customer Loyalty in Taiwan - A Longitudinal Aspect
Intelligent Information Transmission Model with Distributed Task Queue Functionality Based on the MQTT Transmission Protocol
Circuit Emulation Services over SCTP
Performance of the Initial Public Offering in the Taiwan Stock Market
Moving Application Logic from the Firmware to the Cloud: Towards the Thin Server Architecture for the Internet of Things
A System to Enable Level-of-Detail Mobile Interaction with Augmented Media Objects
Tag-Based Integrated Semantic Ontology Construction and Evolution
Automatic Bibliometric Analysis of Research Literature in Adult Education
Evaluating Video Streaming in Network Architectures for the Internet of Things
Proposal of Autonomous Flight Wireless Nodes with Delay Tolerant Networks for Disaster Use
Test Set Validation for Home Electrical Signal Disaggregation
A Framework for Non Intrusive Load Monitoring Using Bayesian Inference
Collecting Korean-English Pairs for Translation of Technical Terms
RTF Editor XSS Fuzz Framework
An Optimistic Protocol for Distributed Fair Exchange
Modified Algorithm for Enhancing the Performance of Grid Systems in Task Scheduling
Automated Detection of Drive-By Download Attack
SaMob: A Social Attributes Based Mobility Model for Ad Hoc Networks
Research for the Pattern Analysis of Individual Interest Using SNS Data: Focusing on Facebook
Research on the Collaborative Analysis Technology for Source Code and Binary Executable Based upon the Unified Defect Mode Set
Appliance Scheduling for Energy Management with User Preferences
Device Tracking in Private Networks via NAPT Log Analysis
Tradition and Innovation in Japanese Long-Established Companies: Focus on E-Business
Information Asymmetry, Market Liquidity and Abnormal Returns
A Model of Chain Restaurant Organizational Achievement in Taiwan: A Structural Equation Modeling Approach
The Influence of Media Coverage on the Stock Returns and Momentum Profits
A Fuzzy Theory Based Attitude Control for Takeoff of Quadrotor
Routing Strategy for Avoiding Obstacles During Message Forwarding in Mobile Ad-Hoc Network
Pull-Type Relief Supplies Request System for Long-Term Evacuation Support
Instruction Fault Attack on the Miller Algorithm in a Pairing-Based Cryptosystem
Knowledge-Based Framework for the Virtual Communication of Public Art
Complex Activity Recognition Using Polyphonic Sound Event Detection
International Students' Career Intention-Resource Based View
The Impact of TDMA Frame Size on Latency in a Neighbor-Aware VANET MAC
An Exploratory Study on Mongolian Women Consumer Behavior toward Purchasing Luxury Fashion Brands
Trying Linear Network Coding on a Network Flow Processor
Contexts-Management Strategy in Considering the Security in Urban Computing Based on Urban Design
Security Analysis of Openstack Keystone
An Intuitive Computer Forensic Method by Timestamp Changing Patterns
Designing a Cybersecurity Board Game Based on Design Thinking Approach
Transitivity Reasoning for RDF Ontology with Iterative MapReduce
Medical Care Quality and Operating Performance of Taiwan's Psychiatric Hospitals - BNV-DEA and CND-DEA Applications
A Credit-Based Incentive Protocol for Stimulating Network-Coded Cooperative Content Distribution in VANET
Security of Selected Future Internet Architectures: A Survey
A Heuristic Approach for Scalability of Multi-tiers Web Application in Clouds
Cooperative Load Balancing in OFDMA Small Cell Networks
Cross-Recommendation Depending on Commonly Shared Users' Preferences in IoT Environment
NFC Attacks Analysis and Survey
A High Efficiency and Accuracy Method for x86 Undocumented Instruction Detection and Classification
Innovation Strategy of Productive Farm - A Case on Taiwan Mushroom Industry
Classifying Serious Depression Based on Blood Test: A Machine Learning Approach
A Network Slice Resource Allocation Process in 5G Mobile Networks
Contention Window Prioritization for Heterogeneous Traffic in Wireless Sensor Networks
Understanding Factors Affecting Information Security Practice of Elementary School Students
How to Find an Appropriate K for K-Anonymization
The Smart University Experience: An NFC-Based Ubiquitous Environment
A Prospect of Interdisciplinary Methodology of QoE Assessment
Template-Driven Medical Imaging Information Providing Process Using Semantic Relations Targeting Acute Myocardial Infarction
Precise Exposure Control for Efficient Eye Tracking
Friedman Test for Analysing WMNs: A Comparison Study for Genetic Algorithms and Simulated Annealing
Black-Litterman Model and Momentum Strategy: Evidence of Taiwan Top 50 ETF
Trustworthiness-Based Broadcast Protocols in Wireless Networks
Review of RFID-Based Indoor Positioning Technology
The Study and Realization of Browser Defect Detection Technology Based on Intelligent Boundary Reverse
An ELF Recovery Method for Linux Malicious Process Detection
Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 18th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2024), Taichung, Taiwan, 3-5 July, 2024
Development of DTN Buffer Management for Rapid Grasping of Disaster Situations While Minimizing AoI
Marketing 4.0: A New Value Added to the Marketing through the Internet of Things
A Comparison Study of FBR and FBRD Protocols for Underwater Optical Wireless Communication Using Transporter Autonomous Underwater Vehicles
Exploiting a Bad User Practice to Retrieve Data Leakage on Android Password Managers
A Simplified Wiener-Based SIC ICI Cancellation Scheme for OFDM Systems over Time-Varying Channels
Pseudonym Schemes Based on Location Privacy Protection in VANETs: A Survey
Cognitive Informatics Approaches for Data Sharing and Management in Cloud Computing
A Social Dimension View Model of Divergence of IoT Standardization
Maximizing the Placement of Wavelength Converters in WDM Optical Networks Using Adaptive Equal Opportunity Genetic Algorithm
Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 16th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS 2022), June 29 - July 1, 2022, Virtual Event / Kitakyushu, Japan
Residual Reversal Strategy: Empirical Evidence in the Taiwan Stock Market
Toward Automated Reduction of Human Errors Based on Cognitive Analysis
Enhance IPv6 Dynamic Host Configuration with Cryptographically Generated Addresses
Evaluation of Sleep Scheduling Method for Data Collection from Sensor Networks Divided into Local Areas
The Improved Energy Consumption Laxity Based (IECLB) Algorithm to Perform Computation Processes
An AP Selection with RSS Standard Deviation for Indoor Positioning in Wi-Fi
Cyber Security Situation Prediction Model Based on GWO-SVM
"Variated Availability" Approach to the Services Manageable Delivering
Innovative Mobile and Internet Services in Ubiquitous Computing - Proceedings of the 15th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2021), Asan, Korea, 1-3 July, 2021
Modeling and Analysis of Cyberspace Threat Sources Based on Vulnerabilities
NAVOPT: Navigator Assisted Vehicular Route OPTimizer
Cognitive RBAC in Small Heterogeneous Networks
TSS: A Primary User Mobility Model in Cognitive Internet
You Draft We Complete: A BERT-Based Article Generation by Keyword Supplement
Secure Mobility Management Scheme for 6LoWPAN ID/Locator Split Architecture
Extended Gerber-Shiu Expected Discounted Penalty Functions in Risk Model Perturbed by Diffusion and Application
BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration
Energy-Aware Analysis of Synchronizing a Groupware Calendar
Design and Implementation of a Weather Measurement System Using Agile-Kanban
Power Beacon-Assisted Relaying Scheme for Cellular Networks: System Model and Performance Analysis
Study of the Factors that Influence Brand Loyalty Toward the Use of Tablets in Indonesia
Half Hourly Electricity Load Forecasting Using Convolutional Neural Network
A Survey of Feature Extraction Techniques to Detect the Theft of Windows Applications
Performance Evaluation of an Adaptive Anti-Packet Recovery Method Considering UAVs and Vehicles in an Urban Scenario
Similarity Measurement between Objects and Activities for User Intention Modeling
Design and Implementation of a Forced Encryption Kernel Module
A Novel Indoor Navigation System Based on RFID and LBS Technology
Estimating Occupancy Level in Indoor Spaces Using Infrared Values and Environmental Variables: A Collaborative Work Area as a Case Study
A Formalization of an Emulation Based Co-designed Virtual Machine
The Relationship Between Dividend, Business Cycle, Institutional Investor and Stock Risk
Media Coverage and Stock Return an Impulse Response Analysis
Bringing IoT and Cloud Computing towards Pervasive Healthcare
Enabling Transparent Communication with Global ID for the Internet of Things
Theoretical Research and Practical Exploration on the Teaching Reform of Higher Mathematics
Study of e-Business and Long-Established Companies in Japan
Simulation-Based Fuzzing for Smart IoT Devices
A New Multiple Label Propagation Algorithm for Linked Open Data
Towards Practical IPSec over Challenged Networks
Counterfeit Detection by Smartphone Using Double-Encoded Two-Dimensional Code
Mesh Routers Placement by WMN-PSODGA Simulation System Considering Stadium Distribution and RDVM: A Comparison Study for UNDX and UNDX-m Methods
Design and Implementation of a VANET Testbed: Performance Evaluation Considering DTN Transmission over VANETs
A Fuzzy-Based System for Actor Node Selection in WSANS: Simulation and Experimental Results
A Smart Contract Vulnerability Detection System Based on BERT Model and Fuzz Testing
Visions and Challenges for Sensor Network Collaboration in the Cloud
Group Delegated ID-Based Proxy Re-encryption for PHR
A Comparative Study of Valuation and Value Drivers in the Auto Lamp Industry: Two Cases of Auto Lamp Companies
The Impact of Golden Cross and Death Cross Frequency on Stock Returns in Pre- and Post-financial Crisis
Efficient CAN Dataset Collection Method for Accurate Security Threat Analysis on Vehicle Internal Network
Technical Overview of SmartMesh IP
A Mobile Nursing App Applying to the Wound Care and Drug Administration of Patients
The Research on Construction of Assessment Instruments for Postgraduates Based on Competency Model
Efficient Identification of Windows Executable Programs to Prevent Software Piracy
A Comparison between Single and Additive Contribution in RFID Reader-to-Reader Interference Models
The Relation on Prefix Hijacking and the Internet Hierarchy
Two Hop Adaptive Routing Protocol for Underwater Wireless Sensor Networks
Constructing Military Smartphone Usage Criterion of Cloud-DEFSOP for Mobile Security
An Exploration of Financial Planning and Wealth Management - A Case Study of Fresh Graduates
A Cognitive Network for Intelligent Environments
Study on Production and Marketing of Tea: A Company
Reduced CNN Model for Face Image Detection with GAN Oversampling
Joint Uplink/Downlink Connection Admission Control in WLAN/Cellular Integrated Systems
Approaching to Mobile 5G Communications
A Fuzzy-Based System for Assessment of Fog Computing Resources in SDN-VANETs
The Implement of a Reconfigurable Intelligence Trust Chain Platform with Anti-counterfeit Traceable Version Function for the Customized System-Module-IC