yusuke1997/dblp-id-title huggingface dataset:
Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs
Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems
Wireless sensor networks modeling as a probabilistic combinatorial optimization problem
Impact Analysis of Test Cases for Changing Inputs or Outputs of Functional Requirements
State-based Time-Series Analysis and Prediction
A Fault-Tolerant Mutual Exclusion Resource Reservation Protocol for Clustered Mobile Ad hoc Networks
A Study of Classification Algorithm for Data Mining Based on Hybrid Intelligent Systems
Changes in marketing brought by AI
A Two-Dimensionality Model for Providing End-to-End QoS CAC
Test Case Generation Technique Based on Extended Coverability Trees
An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation
Extended Mobility Management Challenges over Cellular Networks combined with Cognitive Radio by using Multi-hop Network
An efficient Uniform Integrated Advection algorithm for Finite Time Lyapunov Exponent field computation on GPU and MIC
Clever Uses of Matrices for Neutral Delay Difference Systems
Generalized Association Rule Mining Algorithms based on Data Cube
Smart farming: ICT based agriculture: Keynote address
Incremental Implementation of Distance-associated Join Indices for Dynamic Spatial Range Queries
A Traceability Link Model for the Unified Process
A New Data Protecting Scheme Based on TPM
A Novel Generalized Particle Model for Lossless Data Compression
Load balancing of P2P MMORPG systems with hierarchical area-of-interest management
XDBC: XML Database Connectivity and API for Native XML Databases
Organization technology of Mobile Peer-to-peer Network Based on Mobile Unit
Denoising The Wireless Channel Corrupted Images Using Machine Learning
Design of Robust Observer for the Switched Discrete-Time Linear System with Time Delays
Effective Domain Modeling for Mobile Business AHMS (Adaptive Human Management Systems) requirements
Directive-Based Parallelization of For-Loops at LLVM IR Level
Test case prioritization based on requirement correlations
An highly realistic optical camera communication simulation framework for Internet of Things applications
Transformation of Bounded Timed Petri Nets into Event-B
Label-Based Access Control Policy Enforcement and Management
A Study for Vision Based Data Glove Considering Hidden Fingertip with Self-Occlusion
Architecture of an FPGA accelerator for LDA-based inference
Improve Frequent Closed Itemsets Mining over Data Stream with Bitmap
An Efficient Clustering-Based Method for Data Gathering and Compressing in Sensor Networks
Study Relational Database Transformation to Ontology
An Efficient ID-Based Partially Blind Signature Scheme
Key management based on elliptic curve Paillier scheme in ad hoc networks
An Improved Anisotropic Diffusion PDE for Noise Removal
Study on Prediction of Prosodic Phrase Boundaries in Chinese TTS
A Mesh-Based QoS Aware Multicast Routing Protocol
Research of technology on making Linux interrupts tasked
Neuro Fuzzy Model Predictive Control of AQM Networks Supporting TCP Flows
TeX, XML, and Digital Typography, International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings
Retrieving mathematical formulae
T E X for Scientific Documentation, Second European Conference, Strasbourg, France, June 19-21, 1986, Proceedings
Integrating T E X in an EDDS with very high resolution capabilities
Moving Omega to an Object-Oriented Platform
FEATPOST and a Review of 3D METAPOST Packages
Typesetting the Deseret Alphabet with LaTeX and METAFONT
Running T E X in an interactive text processing environment
SäferTEX: Source Code Esthetics for Automated Typesetting
INRST Ê X: a document preparation system for multiple languages
Hyphenation Patterns for Ancient and Modern Greek
The T E X-based document factory in a university environment: Process model, implementation steps, experiences
EasyT E X: Towards interactive formulae input for scientific documents input with T E X
Managing TEX Resources with XML Topic Maps.
"Verheißung und Versprechen", A third generation approach to theological typesetting
Basque: A Case Study in Generalizing LaTeX Language Support
Arabic Mathematical e-Documents
iTEXMac: An Integrated TEX Environment for Mac OS X
Abstract markup in T E X
Typesetting CJK Languages with Omega
An improved user environment for T E X
Digital Typography in the New Millennium: Flexible Documents by a Flexible Engine
GRIF: An interactive environment for T E X
Creating Type 1 Fonts from METAFONT Sources
Using LaTeX to Typeset a Marathi-English Dictionary
Animations in pdfTEX-Generated PDF
The V OR T E X Document Preparation Environment
Interactive Editing of MathML Markup Using TEX Syntax
Designing a new typeface with METAFONT
Dynamic Arabic Mathematical Fonts
Beyond Glyphs, Advanced Typographic Features of Fonts
µovo2polv: Java-Based Conversion of Monotonic to Polytonic Greek
A multilingual T Ê X
MlBibTEX: Beyond LATEX
A language to describe formatting directives for SGML documents
A S HT E X: An interactive previewer for T E X or The marvellous world of A S HT E X
Migrating to XML: The Case of the GUST Bulletin Archive
How to please authors and publishers: a versatile document preparation system at Karlsruhe
Effect of Network Embedding on the Performance of Chinese Venture Capital Institutions: Mediatory Role of Organizational Learning
Dissemination Strategies for Scientific Journals on YouTube and Instagram
A New Entity Extraction Model Based on Journalistic Brazilian Portuguese Language to Enhance Named Entity Recognition
Mining Association Rules in Commuter Feedback Comments from Facebook of Swiss National Railways (SBB) Using Apriori Algorithm
An Altmetric Alternative for Measuring the Impact of University Institutional Repositories' Grey Literature
Software Development and Test Environment Automation Based on Android Platform
Personal Data Protection and Its Reflexes on the Data Broker Industry
The Role of Artificial Intelligence in Smart Cities: Systematic Literature Review
Data and Information in Online Environments - Third EAI International Conference, DIONE 2022, Virtual Event, July 28-29, 2022, Proceedings
Data and Information in Online Environments - Second EAI International Conference, DIONE 2021, Virtual Event, March 10-12, 2021, Proceedings
Scientific Divulgation Before the Post-truth and the Crisis of Credibility of Science in the Context of Digital Humanities
A Distributed Tool for Online Identification of Communities in Co-authorship Networks at a University
Identification of the Relationships Between Data Provenance and Blockchain as a Contributing Factor for Health Information Systems
A Blockchain Approach to Social Responsibility
Enhancement of Voting Scores with Multiple Attributes Based on VoteRank++ to Identify Influential Nodes in Social Networks
A Roadmap for Composing Automatic Literature Reviews: A Text Mining Approach
Concept Maps as a Support for Learning: - A Proposal from the Consent for the Processing of Personal Data in Private Organizations
A Model for Analysis of Environmental Accidents Based on Fuzzy Logic - Case Study: Exxon Valdez Oil Spill
Publications in Scientific Events as a Data Source for Scientometric Analysis
The Dilemma of Fake News Criminalization on Social Media
Workflow with Emphasis in Technologies for the Construction of an Aggregator and a Dashboard of Brazilian Museums Digital Collections
Research on Automatic Test Technology of Embedded System Based on Cloud Platform
Examining the Linking Patterns and Link Building Strategies of Mainstream and Partisan Online News Media in Central Europe
Relations Between the Concepts of Disinformation and the Fogg Behavior Model
Natural Language Processing of Messages from a Social Network for Inflation Analysis
Research Data Sharing: Framework of Factors that Can Influence Researchers
Construction of English Multimodal Classroom in Colleges and Universities Under Big Data Environment
A Study on the Process of Migration to Training in Brazil: Analysis Based on Academic Education Data
Assessment of Heart Patients Dataset Through Regression and Classification Algorithms
Organizational Learning in the Age of Data
Feature Importance Investigation for Estimating Covid-19 Infection by Random Forest Algorithm
Ecological Education Mode of Foreign Language Based on Computer Network Technology
Data Management Plan in Research: Characteristics and Development
FCST Synergy Education Model Based on Mobile Internet Technology in Chinese Higher Vocational Colleges
Disinformation as a Social Phenomenon
Digital Humanities and Open Science: Initial Aspects
Classification Model Based on Chatbot and Unsupervised Algorithms to Determine Psychological Intervention Programs in Peruvian University Students
Proposal of Model for Curation Digital Objects of an Oncology Research Center
Luminiferous Funeral - Journeying in Delusional Pavilions
Innovation of Enterprise Management Mode in the Era of Big Data
Application and Evaluation of a Taxonomy in the Context of Software Requirements Management
Data and Information in Online Environments - First EAI International Conference, DIONE 2020, Florianópolis, Brazil, March 19-20, 2020, Proceedings
Identification of the Relationships Between the Stages of the Data Lifecycle and the Principles of the Brazilian General Data Protection Act
Elements for Constructing a Data Quality Policy to Aggregate Digital Cultural Collections: Cases of the Digital Public Library of America and Europeana Foundation
Concepts in Topics. Using Word Embeddings to Leverage the Outcomes of Topic Modeling for the Exploration of Digitized Archival Collections
Overview of Citizen Science Projects Contemplated in the Civis Platform
Expert Bibliometrics: An Application Service for Metric Studies of Information
Propensity to Use an Aerial Data Collection Device in Agricultural Research
A MapReduce-Based Method for Achieving Active Technological Surveillance in Big Data Environments
Research on the Cultural Mission and Path Orientation of School Physical Education Under the Background of Core Values
Contributions and Limitations About the Use of Deep Learning for Skin Diagnosis: A Review
Analysis of Computer Graphics and Image Design in Visual Communication Design
A Method for Collecting Provenance Data: A Case Study in a Brazilian Hemotherapy Center
Collection and Integration of Patent Data for Analysis and Validation of Brazilian Technical Production
Diversification of the Evaluation Mode of English Mixed Gold Course Learning Mode in Colleges and Universities Based on Mixed Learning
Interactive Domain-Specific Knowledge Graphs from Text: A Covid-19 Implementation
Construction of Bilingual Teaching Hierarchy Model Based on Flipping Classroom Concept
Characterization of Women's Scientific Participation in Brazil
Comparison of Algorithms for Classification of Financial Intelligence Reports
A Strategy for the Identification of Articles in Open Access Journals in Scientific Data Repositories
Neural Weak Supervision Model for Search of Specialists in Scientific Data Repository
Evaluating the Effect of Corpus Normalisation in Topics Coherence
Depicting Recommendations in Academia: How ResearchGate Communicates with Its Users (via Design or upon Request) About Recommender Algorithms
National Registry of Scientific Data Management Plans by IBICT
Sports Information Communication Model Based on Network Technology
Metadata Quality of the National Digital Repository of Science, Technology, and Innovation of Peru: A Quantitative Evaluation
Relationship Between External Search Breadth and Process Innovation Performance Under the Background of Big Data
Differential Steering Control System of Lawn Mower Robot
An Expanded Study of the Application of Deep Learning Models in Energy Consumption Prediction
Indexes for Evaluating Research Groups: Challenges and Opportunities
Reform and Innovation of Financial Teaching in the Environment of Financial Crisis
Fostering Open Data Using Blockchain Technology
How to Spot Fake Journal: 10 Steps to Identify Predatory Journals
Research on Embedded Humanoid Intelligent Control and Instrument Based on PLC
Design of Artificial Intelligence Wireless Data Acquisition Platform Based on Embedded Operating System
A Method for Clustering and Predicting Stocks Prices by Using Recurrent Neural Networks
Publications in Open Access Journals: A Bibliometric Analysis
International Initiatives and Advances in Brazil for Government Web Archiving
A Strategy for Co-authorship Recommendation: Analysis Using Scientific Data Repositories
Intellectual Authorities and Hubs of Green Chemistry
Librarianship in the Age of Data Science: Data Librarianship Venn Diagram
Telesensation - Fusion of Multi-media Information and Information Highways
Partitioning Pipelines with Communication Costs
Maintaining Surrogate Data for Query Acceleration in Multilevel Secure Database Systems
Static Allocation in Distributed Objectbase Systems: A Graphical Approach
Proceedings of the International Conference on Information Systems and Management of Data, CISMOD 1994, Madras, 26-28 October 1994
Requirements for Improved Information Systems
Database Schema Design Theory : Achievements and Challenges
The use of an Object Repository in the Configuration of Control Systems at CERN
Normalization of Linear Recursions Based on Graph Transformations
Proceedings of the International Conference on Information Systems and Management of Data, CICMOS 1993, New Delhi, October 6-8, 1993. Jointly organized by Society for Information Systems (SIS) and Indian National Scientific Documentation Centre (INSDOC)
Conflictfreeness as a Basis for Schema Integration
Proceedings of the International Conference on Information Systems and Management of Data 1992, CISMOD 1992, Indian Institute of Science Campus, Bangalore, 21-23 July 1992
Concurrency Control of Persistent Object Transactions in CORAL
Some Aspect of Rule Discovery in Data Bases
Supporting Distributed Individual Work in Cooperative Specification Development
Implementation and Performance Evaluation of Compressed Bit-Sliced Signature Files
An Entity-Relationship Model Extended to Describe Historical Informatopm
Data Retrieval and Aggregates in SQL*/NR
A Case Study of Object-Oriented Query Languages
Towards Improving Data Quality
Pool Heuristics in Evolutionary Database Optimization
A Study of Distributed Transaction Processing in an Internetwork
Relational Database Design Using an ER Approach and Prolog
Partial Migration in an 8mm Tape Based Tertiary Storage File System and its Performance Evaluation through Satellite Image Processing Applications
The Rejuvenation of Materialized Views
Object-Oriented Conceptual Modelling
'Favorite' SQL-Statements - An Empirical Analysis of SQL-Usage in Commercial Applications
Information Systems and Data Management, 6th International Conference, CISMOD'95, Bombay, India, November 15-17, 1995, Proceedings
Towards Database Optimization by Evolution
Reducing Duplicate Work in Relational Join(s): A Unified Approach
Rule Based Specification of Information Systems
Calibration of a DBMS Cost Model with the Software Testpilot
Estimating Data Accuracy in a Federated Database Environment
Handling Changes in Dynamic Specifications in Object Oriented Systems
Clustering of Shared Subobjects in Databases
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
Formal Specification and Verification of a Selective Defense for TDoS Attacks
Teaching an Advanced Maude-Based Formal Methods Course in Oslo
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic
Infinite-State Model Checking of LTLR Formulas Using Narrowing
Verification of the IBOS Browser Security Properties in Reachability Logic
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude
Rewriting, Inference, and Proof
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications
Timed Strategies for Real-Time Rewrite Theories
Real-Time Maude and Its Applications
K Framework Distilled
Formal Modeling and Analysis of the Walter Transactional Data Store
Executable Semantics and Type Checking for Session-Based Concurrency in Maude
A Flexible Framework for Integrating Maude and SMT Solvers Using Python
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
Making Maude Definitions More Interactive
Proving Structural Properties of Sequent Systems in Rewriting Logic
The Hrewrite Library: A Term Rewriting Engine for Automatic Code Assembly
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications
Variants in the Infinitary Unification Wonderland
The Linear Temporal Logic of Rewriting Maude Model Checker
Collecting Semantics under Predicate Abstraction in the K Framework
Uniform Strong Normalization for Multi-discipline Calculi
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming
Strategies, Model Checking and Branching-Time Properties in Maude
MUnit: A Unit Framework for Maude
Equivalence, and Property Internalization and Preservation for Equational Programs
Time-Bounded Resilience
Folding Variant Narrowing and Optimal Variant Termination
Verifying Invariants by Deductive Model Checking
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
A Framework for Mobile Ad hoc Networks in Real-Time Maude
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude
Using Narrowing to Test Maude Specifications
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
Variant Satisfiability of Parameterized Strings
Timed CTL Model Checking in Real-Time Maude
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
Model Checking LTLR Formulas under Localized Fairness
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996
Towards Static Analysis of Functional Programs Using Tree Automata Completion
Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude
Rewriting Modulo SMT and Open System Analysis
Teaching Formal Methods to Undergraduate Students Using Maude
FunKons: Component-Based Semantics in K
Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000
Proving Ground Confluence of Equational Specifications Modulo Axioms
An Efficient Canonical Narrowing Implementation for Protocol Analysis
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude
Language Definitions as Rewrite Theories
An Overview of the Maude Strategy Language and its Applications
A Rule-Based System for Computation and Deduction in Mathematica
Extending Timbuk to Verify Functional Programs
Rewriting Privacy
Proving Termination in the Context-Sensitive Dependency Pair Framework
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Modelling and Verifying Contract-Oriented Systems in Maude
Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems
Parallel Maude-NPA for Cryptographic Protocol Analysis
Labelled Graph Rewriting Meets Social Networks
Rigorous Component-Based System Design - (Invited Paper)
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
Egalitarian State-Transition Systems
A Maude Framework for Cache Coherent Multicore Architectures
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Maude as a Library: An Efficient All-Purpose Programming Interface
Enhancing the Debugging of Maude Specifications
Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Metalevel Algorithms for Variant Satisfiability
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition
Formal Specification of Button-Related Fault-Tolerance Micropatterns
Generalized Rewrite Theories and Coherence Completion
A Rule-Based Framework for Building Superposition-Based Decision Procedures
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998
Use of Logical Models for Proving Operational Termination in General Logics
The Third Rewrite Engines Competition
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
Order-Sorted Equality Enrichments Modulo Axioms
A Formal Pattern Architecture for Safe Medical Systems
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006
Proving Reachability-Logic Formulas Incrementally
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008
A Dependency Pair Framework for A OR C -Termination
Multi-paradigm Programming in Maude
2D Dependency Pairs for Proving Operational Termination of CTRSs
Conditional Narrowing Modulo in Rewriting Logic and Maude
Approximating Any Logic Program by a CS-Program
Parameterized Programming for Compositional System Specification
Combining Parallel Graph Rewriting and Quotient Graphs
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude
An Integration of CafeOBJ into Full Maude
Checking Sufficient Completeness by Inductive Theorem Proving
Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude
Specifying Fairness Constraints and Model Checking with Non-intensional Strategies
Program Analysis Scenarios in Rascal
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT
Maximally Parallel Contextual String Rewriting
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT
Connecting Constrained Constructor Patterns and Matching Logic
Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
Generating Adaptive Multimedia Presentations Based on a Semiotic Framework