yusuke1997/dblp-id-title huggingface dataset:
An Institutional Foundation for the K Semantic Framework
Algebraic Abstractions
Verifying Generative Casl Architectural Specifications
Moving Specification Structures Between Logical Systems
Institutions for SQL Database Schemas and Datasets
Behavior-Preserving Refinement Relations between Dynamic Software Architectures
Approach-Independent Structuring Concepts for Rule-Based Systems
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
Generic Hoare Logic for Order-Enriched Effects with Exceptions
A Term-Graph Syntax for Algebras over Multisets
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
On the Compatibility of Model and Model-Class Transformations
Algebraic Specification of Operator-Based Multimedia Scenarios
Modelling Mobility with Petri Hypernets
Algebraic Signatures Enriched by Dependency Structure
Conditional Circular Coinductive Rewriting with Case Analysis
A Model for Interaction of Agents and Environments
Towards General Axiomatizations for Bisimilarity and Trace Semantics
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
The Rôle of Normalisation in Testing from Structured Algebraic Specifications
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Membership algebra as a logical framework for equational specification
Combining Graph Transformation and Algebraic Specification into Model Transformation
Higher-Order Logic and Theorem Proving for Structured Specifications
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
Term Charters
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
Correctness of a logical system for structured specifications
A Compositional Approach to Connector Construction
Categories of relational structures
Observational Semantics for Dynamic Logic with Binders
A (Co)Algebraic Analysis of Synchronization in CSP
Heterogeneous Logical Environments for Distributed Specifications
Towards a Verification Logic for Rewriting Logic
Lambda Expressions in Casl Architectural Specifications
Ontologies for the Semantic Web in Casl
A Distributed and Mobile Component System Based on the Ambient Calculus
A Uniform Model Theory for the Specification of Data and Process Types
Completeness Results for Fibred Parchments: Beyond the Propositional Base
From Conditional to Unconditional Rewriting
Compositional Modelling and Reasoning in an Institution for Processes and Data
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Parallel Admissible Graph Rewriting
Reasoning Support for Caslwith Automated Theorem Proving Systems
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
Towards Logical Frameworks in the Heterogeneous Tool Set Hets
Verifying a compiler optimization for Multi-Threaded Java
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers
A SOC-Based Formal Specification and Verification of Hybrid Systems
What Is a Multi-modeling Language?
A Completeness result for equational deduction in coalgebraic specification
Tight and Loose Semantics for Transformation Systems
Hierarchical Heterogeneous Specifications
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl
Modular aspects of rewrite-based specifications
Translating Logics for Coalgebras
Declarative Debugging of Rewriting Logic Specifications
Programs, Proofs and Parametrized Specifications
Open Multiparty Interaction
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers
Specifications in an Arbitrary Institution with Symbols
Parameterized Strategies Specification in Maude
Type Checking Parametrised Programs and Specifications in ASL+ FPC
Combining and representing logical systems using model-theoretic parchments
An inductive view of graph transformation
Towards a Module System for K
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Verifying Architectural Specifications
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
Foundations of Heterogeneous Specification
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications
An Institution for Graph Transformation
Specifying Real Numbers in CASL
Algebraic Semantics of Service Component Modules
Proof Normalization of Structured Algebraic Specifications Is Convergent
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum
A method for FORTRAN programs reverse engineering using algebraic specifications
Implementation of derived programs (almost) for free
Cryptomorphisms at Work
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Transformation Systems with Incremental Negative Application Conditions
Translating a Dependently-Typed Logic to First-Order Logic
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers
A General Algebraic Framework for Studying Modular Systems
Concurrency and Data Types: A Specification Method: An Example with LOTOS
Using Reflection to Specify Transaction Sequences in Rewriting Logic
Translationg OBJ3 into CASL: The Institution Level
Towards a First-Order Deontic Action Logic
Property Preserving Refinement for Csp-Casl
An Institution of Hybrid Systems
On the Algebraization of Many-Sorted Logics
History Preserving Bisimulation for Contextual Nets
Use Case Analysis Based on Formal Methods: An Empirical Study
Test-Case Generation for Maude Functional Modules
Parallel Coherent Graph Transformations
Towards an Evolutionary Formal Software-Development Using CASL
Static semantic analysis and theorem proving for CASL
A Temporal Graph Logic for Verification of Graph Transformation Systems
Barbed Semantics for Open Reactive Systems
Foundations of Logic Programming in Hybridised Logics
C-semiring Frameworks for Minimum Spanning Tree Problems
Towards a Formal Specification of an Electronic Payment System in CSP-CASL
Structuring Theories with Implicit Morphisms
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum
Colimits of order-sorted specifications
Sharing in the Graph Rewriting Calculus
An Algebraic Framework for Separate Type-Checking
MultiMedia Instruction in Safe and Secure Systems
Quantitative Modal Transition Systems
A Rewriting Logic Approach to Type Inference
Notions of Behaviour and Reachable-Part and Their Institutions
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
On combining semiformal and formal object specification techniques
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems
An algebra of mixin modules
Algebraic-Coalgebraic Specification in Co Casl
Refinements and Modules for Typed Graph Transformation Systems
A Generic Program Slicing Technique Based on Language Definitions
Formal Specification of the Kademlia and the Kad Routing Tables in Maude
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
New Results on Timed Specifications
Asymmetric Combination of Logics is Functorial: A Survey
Canonical Selection of Colimits
Combining Logics: Parchments Revisited
Non-deterministic Computations in ELAN
A General Completeness Result in Refinement
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Reconfiguring Distributed Reo Connectors
Normal Forms for Partitions and Relations
The Coinductive Approach to Verifying Cryptographic Protocols
A Proof Theoretic Interpretation of Model Theoretic Hiding
Proceedings of the Workshop on Control and Embedded Systems (WCES 2022) Co-located with TOOTILL 100 - International Conference on Computing Sciences (ICCS 2022), Chennai, India, April 22 - 24, 2022 (Later changed to Online due to COVID-19 Pandemic)
Analyzing Real Time Stock Market Data using Apache Flink
Oil Spill Detection & Monitoring with Artificial Intelligence: A Futuristic Approach
TIA Topologies used in CMOS-MEMS Resonators: A Detailed Review
Smart Intensity Compensation in Surgical lights to enhance Shadowlessness
Artificial Neural Network with Multilayer Perceptron Model for the Prediction of Thermal Parameters of Nano Particle Coated Miniature Loop Heat Pipe Using Experimental Data
Feature Selection in Under bagging Based Kernel ELM for Handling Class Imbalance Dataset Classification
Comparisons of ADABOOST, KNN, SVM and Logistic Regression in Classification of Imbalanced Dataset
Financial Analytics on Malaysia's Equity Fund Performance and Its Timing Liquidity
Big Data Security in the Web-Based Cloud Storage System Using 3D-AES Block Cipher Cryptography Algorithm
Improved Conditional Value-at-Risk (CVaR) Based Method for Diversified Bond Portfolio Optimization
Survival Analysis of Diabetes Mellitus Patients Using Semiparametric Approach
New Hybrid Statistical Method and Machine Learning for PM10 Prediction
Multi-step Time Series Forecasting Using Ridge Polynomial Neural Network with Error-Output Feedbacks
Assessing Structured Examination Question Using Automated Keyword Expansion Approach
Time Series Forecasting Using a Hybrid Prophet and Long Short-Term Memory Model
Ranking Performance of Modified Fuzzy TOPSIS Variants Based on Different Similarity Measures
Data Projection Effects in Frequent Itemsets Mining
An Improved Mask R-CNN Algorithm for High Object Detection Speed and Accuracy
Sentences Prediction Based on Automatic Lip-Reading Detection with Deep Learning Convolutional Neural Networks Using Video-Based Features
Multi-script Text Detection and Classification from Natural Scenes
Federated Ensemble Algorithm Based on Deep Neural Network
The Selection Feature for Batik Motif Classification with Information Gain Value
The Effect of Cancers Treatment in Quality of Life of the Patient: Meta-analysis Approach
Edge Detection of Flat Electroencephalography Image via Classical and Fuzzy Approach
A Case Study on Student Attrition Prediction in Higher Education Using Data Mining Techniques
Construction of Optimal Stock Market Portfolios Using Outlier Detection Algorithm
Budget Visual: Malaysia Budget Visualization
Dynamic Micro-cluster-Based Streaming Data Clustering Method for Anomaly Detection
Soft Computing in Data Science - 6th International Conference, SCDS 2021, Virtual Event, November 2-3, 2021, Proceedings
Weak Classifiers Performance Measure in Handling Noisy Clinical Trial Data
Enhancing Parallel Self-organizing Map on Heterogeneous System Architecture
Identifying the Important Demographic and Financial Factors Related to the Mortality Rate of COVID-19 with Data Mining Techniques
Simulation Study of Feature Selection on Survival Least Square Support Vector Machines with Application to Health Data
Incremental Software Development Model for Solving Exam Scheduling Problems
Modeling Steam Generator System of Pressurized Water Reactor Using Fuzzy Arithmetic
Ranking by Fuzzy Weak Autocatalytic Set
Exploratory Analysis of MNIST Handwritten Digit for Machine Learning Modelling
Feature Extraction for Image Content Retrieval in Thai Traditional Painting with SIFT Algorithms
Poisson and Logistic Regressions for Inhomogeneous Multivariate Point Processes: A Case Study in the Barro Colorado Island Plot
Visualization of Frequently Changed Patterns Based on the Behaviour of Dung Beetles
Content Quality of Latent Dirichlet Allocation Summaries Constituted Using Unique Significant Words
Digital Image Quality Evaluation for Spatial Domain Text Steganography
Short Term Traffic Forecasting Based on Hybrid of Firefly Algorithm and Least Squares Support Vector Machine
2019 Thai General Election: A Twitter Analysis
Evaluation of Randomized Variable Translation Wavelet Neural Networks
Data Visualization of Violent Crime Hotspots in Malaysia
Study of Score Fusion and Quality Weighting in the Bio-Secure DS2 Database
Amniotic Fluids Classification Using Combination of Rules-Based and Random Forest Algorithm
Feel-Phy: An Intelligent Web-Based Physics QA System
Decision Tree: Customer Churn Analysis for a Loyalty Program Using Data Mining Algorithm
Fuzzy Arithmetical Modeling of Pressurizer in a Nuclear Power Plant
Pattern Recognition of Balinese Carving Motif Using Learning Vector Quantization (LVQ)
Towards Robust Underwater Image Enhancement
Model Selection in Feedforward Neural Networks for Forecasting Inflow and Outflow in Indonesia
Zero-Inflated Time Series Model for Covid-19 Deaths in Kelantan Malaysia
Performance of SVM and ANFIS for Classification of Malaria Parasite and Its Life-Cycle-Stages in Blood Smear
Application of Machine Learning in Credit Risk Scorecard
Detecting IMSI-Catcher Using Soft Computing
Malaysia Election Data Visualization Using Hexagon Tile Grid Map
Rainfall Prediction in Flood Prone Area Using Deep Learning Approach
Fortified Offspring Fuzzy Neural Networks Algorithm
Forecasting the Search Trend of Muslim Clothing in Indonesia on Google Trends Data Using ARIMAX and Neural Network
Anonymized User Linkage Under Differential Privacy
An Overview of Visualization Techniques: A Survey of Food-Related Research
Entropy Analysis of Questionable Text Sources by Example of the Voynich Manuscript
Performance Evaluation of Deep Learning Algorithms for Young and Mature Oil Palm Tree Detection
Convolutional Neural Network Application in Smart Farming
Partial Differential Equation (PDE) Based Image Smoothing System for Digital Radiographic Image
An Autocatalytic Model of a Pressurized Water Reactor in a Nuclear Power Generation
Soft Computing in Data Science - 7th International Conference, SCDS 2023, Virtual Event, January 24-25, 2023, Proceedings
Malaysian Budget Visualization Using Circle Packing
Data Quality Issues in Data Migration
Metabolites Selection and Classification of Metabolomics Data on Alzheimer's Disease Using Random Forest
Object Detection Based Automated Optical Inspection of Printed Circuit Board Assembly Using Deep Learning
Automated Generating Thai Stupa Image Descriptions with Grid Pattern and Decision Tree
Case Based Reasoning for Diagnosing Types of Mental Disorders and Their Treatments
A Modified Inverse Gaussian Poisson Regression with an Exposure Variable to Model Infant Mortality
Carbon-Energy Composite Flow for Transferred Multi-searcher Q-Learning Algorithm with Reactive Power Optimization
Federated Learning with Class Balanced Loss Optimized by Implicit Stochastic Gradient Descent
A Hybrid Singular Spectrum Analysis and Neural Networks for Forecasting Inflow and Outflow Currency of Bank Indonesia
A Computerized Tool Based on Cellular Automata and Modified Game of Life for Urban Growth Region Analysis
Cox Point Process with Ridge Regularization: A Better Approach for Statistical Modeling of Earthquake Occurrences
A Comparative Study of Machine Learning Classification Models on Customer Behavior Data
Implementation of Dynamic Traffic Routing for Traffic Congestion: A Review
Software Application for Analyzing Photovoltaic Module Panel Temperature in Relation to Climate Factors
Solving Curriculum Based Course Timetabling by Hybridizing Local Search Based Method within Harmony Search Algorithm
Machine Learning Based Biosignals Mental Stress Detection
Selfish Gene Image Segmentation Algorithm
Possibility Vague Soft Expert Set Theory and Its Application in Decision Making
A Smart Predictive Maintenance Scheme for Classifying Diagnostic and Prognostic Statuses
Cross-cultural Kansei Measurement
Forecasting Value at Risk of Foreign Exchange Rate by Integrating Geometric Brownian Motion
Pattern Search Based on Particle Swarm Optimization Technique for Block Matching Motion Estimation Algorithm
An Experience Report on Building a Big Data Analytics Framework Using Cloudera CDH and RapidMiner Radoop with a Cluster of Commodity Computers
Two-Step Estimation for Modeling the Earthquake Occurrences in Sumatra by Neyman-Scott Cox Point Processes
Explainability for Clustering Models
A Hierarchical Fuzzy Logic Control System for Malaysian Motor Tariff with Risk Factors
Hybrid of Time Series Regression, Multivariate Generalized Space-Time Autoregressive, and Machine Learning for Forecasting Air Pollution
Classifying Forum Questions Using PCA and Machine Learning for Improving Online CQA
Assigning Different Weights to Feature Values in Naive Bayes
Multivariate Analysis to Evaluate the Impact of COVID-19 on the Hotel Industry in Indonesia
An Autoregressive Distributed Lag (ARDL) Analysis of the Relationships Between Employees Provident Fund's Wealth and Its Determinants
Soft Computing in Data Science - Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings
Evaluating the Usability of Homestay Websites in Malaysia Using Automated Tools
Shallow Network Performance in an Increasing Image Dimension
Rare Event Prediction Using Similarity Majority Under-Sampling Technique
Iris Segmentation Based on an Adaptive Initial Contour and Partly-Normalization
Quantifying the Impact of Climatic Factors on Dengue Incidence Using Generalized Linear Mixed Model with Spatio-Temporal Bayesian Poisson Random Effects Approach
Eye Detection for Drowsy Driver Using Artificial Neural Network
Soft Computing in Data Science - 4th International Conference, SCDS 2018, Bangkok, Thailand, August 15-16, 2018, Proceedings
Clustering Stock Prices of Industrial and Consumer Sector Companies in Indonesia Using Fuzzy C-Means and Fuzzy C-Medoids Involving ACF and PACF
An Automatic Construction of Malay Stop Words Based on Aggregation Method
A Case Study of Customers' Payment Behaviour Analytics on Paying Electricity with RFM Analysis and K-Means
Performance Comparison of Feature Selection Methods for Prediction in Medical Data
Nitrogen Fertilizer Recommender for Paddy Fields
Reviewing Classification Approaches in Sentiment Analysis
Acoustic Surveillance Intrusion Detection with Linear Predictive Coding and Random Forest
Optimal Portfolio Construction of Islamic Financing Instrument in Malaysia
Fog of Search Resolver for Minimum Remaining Values Strategic Colouring of Graph
Hybrid Machine Learning for Forecasting and Monitoring Air Pollution in Surabaya
Soft Computing in Data Science - 5th International Conference, SCDS 2019, Iizuka, Japan, August 28-29, 2019, Proceedings
Sentiment Analysis in Social Media Based on English Language Multilingual Processing Using Three Different Analysis Techniques
Arabic Phonemes Recognition Using Convolutional Neural Network
Assessing Factors that Influence the Performances of Automated Topic Selection for Malay Articles
Analytics-Based on Classification and Clustering Methods for Local Community Empowerment in Indonesia
An Iterative Method for Solving Fuzzy Fractional Differential Equations
Contrast Comparison of Flat Electroencephalography Image: Classical, Fuzzy, and Intuitionistic Fuzzy Set
Opinion Mining for Skin Care Products on Twitter
A Design of a Reminiscence System for Tacit Knowledge Recall and Transfer
Improving Topical Social Media Sentiment Analysis by Correcting Unknown Words Automatically
Local Image Analysis of Malaysian Herbs Leaves Using Canny Edge Detection Algorithm
Imbalance Effects on Classification Using Binary Logistic Regression
Simulating the Upcoming Trend of Malaysia's Unemployment Rate Using Multiple Linear Regression
Time Series Machine Learning: Implementing ARIMA and Hybrid ARIMA-ANN for Electricity Forecasting Modeling
Applications of Machine Learning Techniques for Software Engineering Learning and Early Prediction of Students' Performance
Geovisualization Using Hexagonal Tessellation for Spatiotemporal Earthquake Data Analysis in Indonesia
Comparison Performance of Long Short-Term Memory and Convolution Neural Network Variants on Online Learning Tweet Sentiment Analysis
Feature and Architecture Selection on Deep Feedforward Network for Roll Motion Time Series Prediction
Main Structure of Handwritten Jawi Sub-word Representation Using Numeric Code
Discovering Popular Topics of Sarawak Gazette (SaGa) from Twitter Using Deep Learning
Pragmatic Miner to Risk Analysis for Intrusion Detection (PMRA-ID)
A Parallel Latent Semantic Indexing (LSI) Algorithm for Malay Hadith Translated Document Retrieval
Short-Time Fourier Transform with Optimum Window Type and Length: An Application for Sag, Swell and Transient
Accuracy Assessment of Urban Growth Pattern Classification Methods Using Confusion Matrix and ROC Analysis
Improving e-Commerce Severity Rating Measurement Using Consistent Fuzzy Preference Relation
Fault Diagnosis Methods of Deep Convolutional Dynamic Adversarial Networks
Interactive Big Data Visualization Model Based on Hot Issues (Online News Articles)
Entropy-Based Fuzzy Weighted Logistic Regression for Classifying Imbalanced Data
An Improved Particle Swarm Optimization via Velocity-Based Reinitialization for Feature Selection
Cervical Nuclei Segmentation in Whole Slide Histopathology Images Using Convolution Neural Network
Comparison of Artificial Neural Network (ANN) and Other Imputation Methods in Estimating Missing Rainfall Data at Kuantan Station
Finding Significant Factors on World Ranking of e-Governments by Feature Selection Methods over KPIs
Auto-DL: A Platform to Generate Deep Learning Models
The Characterization of Rainfall Data Set Using Persistence Diagram and Its Relation to Extreme Events: Case Study of Three Locations in Kemaman, Terengganu
Judgment of Slang Based on Character Feature and Feature Expression Based on Slang's Context Feature
Incremental Filtering Visualization of JobStreet Malaysia ICT Jobs
Soft Computing in Data Science - Third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings
Amniotic Fluid Segmentation by Pixel Classification in B-Mode Ultrasound Image for Computer Assisted Diagnosis
Context Enrichment Model Based Framework for Sentiment Analysis
Identifying Sequential Influence in Predicting Engagement of Online Social Marketing for Video Games
Predictive Model of Graduate-On-Time Using Machine Learning Algorithms
Intrusion Detection System Based on Modified K-means and Multi-level Support Vector Machines
Multi-stage Clustering Algorithm for Energy Optimization in Wireless Sensor Networks
B-Spline in the Cox Regression with Application to Cervical Cancer
A Gillespie Algorithm and Upper Bound of Infection Mean on Finite Network
Performance Analysis of Hybrid Architectures of Deep Learning for Indonesian Sentiment Analysis
Multi-source Heterogeneous Data Fusion Algorithm Based on Federated Learning
Scalable Single-Source Shortest Path Algorithms on Distributed Memory Systems
Unsupervised Learning Approach for Evaluating the Impact of COVID-19 on Economic Growth in Indonesia
Classification of Batik Kain Besurek Image Using Speed Up Robust Features (SURF) and Gray Level Co-occurrence Matrix (GLCM)
Clutter-Reduction Technique of Parallel Coordinates Plot for Photovoltaic Solar Data
Prediction of New Bioactive Molecules of Chemical Compound Using Boosting Ensemble Methods
Usability Evaluation of Secondary School Websites in Malaysia: Case of Federal Territories of Kuala Lumpur, Putrajaya and Labuan
A Comparative Study of Video Coding Standard Performance via Local Area Network
VAR and GSTAR-Based Feature Selection in Support Vector Regression for Multivariate Spatio-Temporal Forecasting
A Comparison of BPNN, RBF, and ENN in Number Plate Recognition