yusuke1997/dblp-id-title huggingface dataset:
Programming Languages for Reliable Computing Systems
Proof Rules for the Programming Language Euclid
Verification of Euclid Programs
On the Foolishness of "Natural Language Programming"
Finding the Correctness Proof of a Concurrent Program
Basic Axiomatic Definitions
Some Theoretical Aspects of Program Construction
Development of the Schorr-Waite Algorithm
Notes on Type Abstraction
The Schorr-Waite Graph Marking Algorithm
Special Transformation Techniques
Systematics of Transformation Rules
Specification and Verification of a Network Nail System
A Case Study in Language Design: Euclid
A Study on Transformational Semantics
Current Ideas in Programming Methodology
Information Entropy Contribution to COVID-19 Waves Analysis
Ensuring Interoperability of Laboratory Tests and Results: A Linguistic Approach for Mapping French Laboratory Terminologies with LOINC
Computer Science Protecting Human Society Against Epidemics - First IFIP TC 5 International Conference, ANTICOVID 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers
Computing the Death Rate of COVID-19
A Pandemic Digital Global Architecture
Bioinformatic and MD Analysis of N501Y SARS-CoV-2 (UK) Variant
Approximate Solutions of the RSIR Model of COVID-19 Pandemic
Comparison Between Two Systems for Forecasting Covid-19 Infected Cases
Towards a System to Monitor the Virus's Aerosol-Type Spreading
An Empirical Investigation of Pandemic Impact on IT Students' Educational Schedule
How Newspapers Portrayed COVID-19 - A Study Based on United Kingdom and Bangladesh
Volunteer Computing Project SiDock@home for Virtual Drug Screening Against SARS-CoV-2
A Systematic Mapping Study of Empirical Research in GORE
Extreme Requirements Engineering (XRE)
2-dip-dfs: Algorithm to Detect Conflict Between Two Goal Selection Criteria
New Requirements Elicited from Accidents of Train Control System Simulated by Modelica
Crowd Vigilante - Detecting Sabotage in Crowdsourcing
TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames
Efficient Identification of Rationales by Stakeholder Relationship Analysis to Refine and Maintain GQM+Strategies Models
Eliciting Activity Requirements from Crowd Using Genetic Algorithm
Comparative Requirements Analysis for the Feasibility of Blockchain for Secure Cloud
Capturing Security Requirements Using Essential Use Cases (EUCs)
EVALUATOR: An Automated Tool for Service Selection
A Digital Business Analysis Method - A Business Requirements Engineering Process by the Cooperation of Management, Business Operation and IT Department
Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules
Social Engineering Based Security Requirements Elicitation Model for Advanced Persistent Threats
Conceptual Framework for Understanding Security Requirements: A Preliminary Study on Stuxnet
Eliciting Requirements for Improving Users' Behavior Using Transparency
A Template for Writing Security Requirements
Issues of Using Function Point Analysis Method for Requirement Changes During Software Development Phase
Automated Support to Capture and Validate Security Requirements for Mobile Apps
A Framework for Data-Driven Automata Design
The Role of Requirements Engineering Practices in Agile Development: An Empirical Study
Evaluating the BPCRAR Method: A Collaborative Method for Business Process Oriented Requirements Acquisition and Refining
Integrated Framework for Software Requirements Analysis and Its Support Tool
An Empirical Study of the Software Development Process, Including Its Requirements Engineering, at Very Large Organization: How to Use Data Mining in Such a Study
MOYA: Model-Oriented Methodology for Your Awareness
Requirements Engineering Toward Sustainable World - Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings
Using an Ideas Creation System to Assist and Inspire Creativity in Requirements Engineering
A Security Requirements Library for the Development of Internet of Things (IoT) Applications
A Novel Checklist: Comparison of CBR and PBR to Inspect Use Case Specification
Situation-Oriented Evaluation and Prioritization of Requirements
Analysis of Economic Impact of Online Reviews: An Approach for Market-Driven Requirements Evolution
Evaluating the Cognitive Effectiveness of the Visual Syntax of Feature Diagrams
Ensuring Traceability in Modeling Requirement Using Ontology Based Approach
Requirements Engineering - First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings
Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems
An IT-Driven Business Requirements Engineering Methodology
Impact Analysis of Granularity Levels on Feature Location Technique
Automated Service Selection Using Natural Language Processing
A Recommendation Algorithm for Collaborative Conceptual Modeling Based on Co-occurrence Graph
Support Method to Elicit Accessibility Requirements
A Kind of Safety Requirements Description Method of the Embedded Software Based on Ontology
Requirements Engineering for Internet of Things - 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9-10, 2017, Proceedings
An Empirical Cognitive Model of the Development of Shared Understanding of Requirements
Evaluating Presentation of Requirements Documents: Results of an Experiment
Challenges in Context-Aware Requirements Modeling: A Systematic Literature Review
A Process-Oriented Conceptual Framework on Non-Functional Requirements
Incorporating Sustainability Design in Requirements Engineering Process: A Preliminary Study
Understanding Uncertainty of Software Requirements Engineering: A Systematic Literature Review Protocol
A Scenario Model Aggregation Approach for Mobile App Requirements Evolution Based on User Comments
Requirement Acquisition from Social Q&A Sites
Requirements Engineering in the Big Data Era - Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015, Proceedings
A Template-Based Test-Authoring Tool to Write Quality Tests for Requirements Validation
Model-Based Approach for Engineering Adaptive User Interface Requirements
Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts
Big Data Services Requirements Analysis
Addressing the Challenges of Alignment of Requirements and Services: A Vision for User-Centered Method
A Pair-Oriented Requirements Engineering Approach for Analysing Multi-lingual Requirements
Requirements Prioritization Decision Rule Improvement for Software Product Line Evolution
Language Technology-based Political Microtargeting Services
Comparison of Free Android Mobile 3D Modeling Tools for AR Apps
An M-Learning Open-Source Tool Comparation for Easy Creation of Educational Apps
Architecture of a Meteorological Data Management System Based on the Analysis of Webmapping Tools
Computer Vision-Based Ovitrap for Dengue Control
Geographic Information System on Violence Against Women
A Brief Review of Big Data in the Agriculture Domain
Reuse of Ontological Knowledge in Open Science: Models, Sources, Repositories
Use of Data Mining Strategies in Environmental Parameters in Poultry Farms, a Case Study
The Current State and Effects of Agromatic: A Systematic Literature Review
Revenue Assurance Model for Project Management Organizations Using Outlier Mining
Designing Assistive Technologies for Children with Disabilities: A Case Study of a Family Living with a Daughter with Intellectual Disability
Automatic Generation of Summaries and Questions to Support the Reading Comprehension Process
Recognition of the Damage Caused by the Cogollero Worm to the Corn Plant, Using Artificial Vision
MiSCi: Autonomic Reflective Middleware for Smart Cities
Analysis of Mobile Applications for Self-healthcare of Panamanian Patients with Hepatitis
Use of Technologies of Image Recognition in Agriculture: Systematic Review of Literature
Comparison Between Two Deep Learning Models for Temperature Prediction at Guayaquil
OPTYFY: Industrial IoT-Based Performance and Production Optimization Based on Semantics
Sentiment Analysis in Education Domain: A Systematic Literature Review
IVRMaker, An Interactive and Customizable Telephone Chatbot Services Platform
Towards Smart Agriculture: An Overview of Big Data in the Agricultural Industry
Technologies and Innovation - 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings
A Development Model of an Embedded System for Improving the Mobility of People with Physical Disabilities
An Ontology-Based Decision Support System for the Management of Home Gardens
Control and Monitoring System for Edaphoclimatic Variables in Rice Cultivation: Case Study
Technologies and Innovation - 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14-17, 2022, Proceedings
Technologies and Innovation - 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22-25, 2021, Proceedings
Competences as Services in the Autonomic Cycles of Learning Analytic Tasks for a Smart Classroom
Analyzing HTML5-Based Frameworks for Developing Educational and Serious Games
IoT Monitoring for Real-Time Control of Industrial Processes
Automatic Classification of Tweets Identifying Mental Health Conditions in Central American Population in a Pandemic
Mining Twitter for Measuring Social Perception Towards Diabetes and Obesity in Central America
Monitoring System for Shrimp Farming: A Case Study of CAMASIG S.A
Towards Supporting International Standard-Based Software Engineering Approaches Using Semantic Web Technologies: A Systematic Literature Review
SentiDariPers: Sentiment Analysis of Dari-Persian Tweets Based on People's Views and Opinion
Monitoring Software Tool to Prevent Data Leaks in a RESTful API
Tourism 3.0 and Indigenous Food Cultures: Case Study Pilahuín
Evaluation of the Tool Visualization of Interaction Tracking in Collaborative Work in a Forum Activity in Moodle
A Decision Support Visualization Tool for Infection Management Based on BMPN and DMN
PoliticPA 2024: Author Profiling Gender and Political Ideology of Politicians in Panama
Modern Code Applied in Stencil in Edge Detection of an Image for Architecture Intel Xeon Phi KNL
Digital Transformation of Health Care Services: Médikal Case Study
Usage of Diabetes Self-management Mobile Technology: Options for Ecuador
Evaluation of Vulnerability and Seismic Risk Parameters Through a Fuzzy Logic Approach
Evaluation of the Computation Times for Direct and Iterative Resolution Methods of MTJ Library Matrices Applied in a Thermal Simulation System
Prototype of an Embedded System for Irrigation and Fertilization in Greenhouses
Intelligent Agents and Semantic Web Services: Friends or Foes?
Automatic Spelling Detection and Correction in the Medical Domain: A Systematic Literature Review
Advanced Semantics Processing-Based Information System to Support English Learning
Low-Cost Energy Consumption Monitoring System Using NodeMCU
Bibliometric Analysis Based on Scientific Mapping in the Use of Digital Marketing Strategies
CyberDect. A Novel Approach for Cyberbullying Detection on Twitter
A Reference Framework for Empowering the Creation of Projects with Arduino in the Ecuadorian Universities
A Dynamic Recognition Approach of Emotional States for Car Drivers
SafercITies. Intelligent System for the Analysis and Monitoring of Citizen Security
Autonomous Cycle of Data Analysis Tasks for Learning Processes
Clinical Assessment Using an Algorithm Based on Fuzzy C-Means Clustering
A Cloud-Based Architecture for Robotics Virtual Laboratories
Ontological Analysis of Outcomes of Non-formal and Informal Learning for Agro-Advisory System AdvisOnt
Towards a Model for the Detection of Firearms using Machine Learning Algorithms: A Case Study
Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands
Agrotechnology: Analysis of the Services Offered by Mobile Applications for the Agronomic Control of Orchards
Automatic Recording and Analysis of Somniloquy Through the Use of Mobile Devices to Support the Diagnosis of Psychological Pathologies
Technologies and Innovation - 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings
Sensor Network Prototypes for Environmental Noise Monitoring Based on Free Software
Evaluation of User Interface (UI) and User Experience (UX) for Web Services of a Weather Data Monitoring Platform
Design and Implementation of Traffic Balancer over Overlay Networks with Vxlan Tunneling
Selection of Agricultural Technology: A Multi-attribute Approach
Detection of Scoliosis in X-Ray Images Using a Convolutional Neural Network
Search for Optimum Color Space for the Recognition of Oranges in Agricultural Fields
An IoT-Based Architecture to Develop a Healthcare Smart Platform
A Collaborative Filtering Based Recommender System for Disease Self-management
Migrating SOA Applications to Cloud: A Systematic Mapping Study
Multiclass Classification of Dry Bean Grains Using Machine Learning Techniques
Analysis of the Services Generated Through Mobile Applications for an Accurate Diagnosis of Epidemiological Metrics Related to Covid-19
Platform for Project Evaluation Based on Soft-Computing Techniques
Traffic Classification in Software-Defined Networking by Employing Deep Learning Techniques: A Systematic Literature Review
Knowledge-Based Expert System for Control of Corn Crops
Analysis of Traditional Web Security Solutions and Proposal of a Web Attacks Cognitive Patterns Classifier Architecture
SePoMa: Semantic-Based Data Analysis for Political Marketing
Early Alert Infrastructure for Earthquakes Through Mobile Technologies, Web, and Cloud Computing
Emotional Corpus, Feature Extraction and Emotion Classification Using the Parameterized Voice Signal
A Web App for Teaching Specialized English Vocabulary - Case of Study: Computer Sciences
Ontology Model for the Knowledge Management in the Agricultural Teaching at the UAE
An Intelligent Information System Prototype to Facilitate Healthy Alimentation
Technologies and Innovation - 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings
Technologies and Innovation - Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings
A First Approach to the Classification of Adverse Drug Effects on Twitter Through Machine Learning
Analysis of a Network Fault Detection System to Support Decision Making
Integrated System for the Improvement of Precision Agriculture Based on IoT
Technologies and Innovation - 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings
Analysis of CoI Presence Indicators in a Moodle Forum Using Unsupervised Learning Techniques
Towards Automatic Fingerprinting of Groundwater Aquifers
Study of the Maturity of Information Security in Public Organizations of Ecuador
Applying a Software Estimation Method to the Human Resources Management Based on PMBOK
Pest Recognition Using Natural Language Processing
A General Framework for Learning Analytic in a Smart Classroom
Importance of International R&D Collaboration Between Companies: The CollaborativeHealth Use Case
Evaluation of a Grid for the Identification of Traffic Congestion Patterns
ADL-MOOC: Adaptive Learning Through Big Data Analytics and Data Mining Algorithms for MOOCs
A Brief Systematic Review of the Latest Advances in IOT Platforms in Agriculture
Kushkalla: A Web-Based Platform to Improve Functional Movement Rehabilitation
Technologies and Innovation - 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2-5, 2019, Proceedings
Automation of Poultry Production Monitoring Through Web Services
Trend of the Use and Investment of Blockchain Technology in the Banking Sector in Ecuador
Development of an Intelligent Web System for the Analysis of Data in the F2 Layer of the Ionosphere Using Machine Learning Techniques and Its Implementation as Potential Earthquake Precursors
Blockchain in Agriculture: A Systematic Literature Review
Knowledge Graph for Retail Commerce
Concept Identification from Single-Documents
PESSHIoT: Smart Platform for Monitoring and Controlling Smart Home Devices and Sensors
Prediction of Energy Consumption in an Electric Arc Furnace Using Weka
A Knowledge-Based Platform for the Development of Critical Thinking Abilities
Analysis of Risk Factors of ERP (Enterprise Resource Planning) Systems Information Technologies
Alignment Techniques in Domain-Specific Models
Data Stream Processing Method for Clustering of Trajectories
Study of Use, Privacy and Dependence on Social Networks by Students in the Ecuadorian Universities
Analysis of Classification Algorithms for the Prediction of Purchase Intention in Electronic Commerce
Data Governance, a Knowledge Model Through Ontologies
Evaluating Extractive Automatic Text Summarization Techniques in Spanish
Sentiment Analysis and Trend Detection in Twitter
Identification of Diabetic Retinopathy from Retinography Images Using a Convolutional Neural Network
Predictive Models for the Detection of Diseases in Crops Through Supervised Learning
An Ontology-Based Decision Support System for Insect Pest Control in Crops
Microservices Architecture to Improve the Performance of Machine Learning Applications in eHealth
Approach Based on Text Processing and Ontology Applied to the Health Domain of Palliative Care in Panama
Performance Analysis of Multipath TCP Congestion Control Variants
Automatic Identification of Hermaphrodite Papaya Applying Computer Vision and Machine Learning
SEDIT: Semantic Digital Twin Based on Industrial IoT Data Management and Knowledge Graphs
Web-Based System for the Diagnosis of Canine Diseases Using Data Mining Techniques
Logistic Regression Model to Predict the Risk of Contagion of COVID-19 in Patients with Associated Morbidity Using Supervised Machine Learning
Morphological Defects Classification in Coffee Beans Based on Convolutional Neural Networks
Description and Analysis of Design Decisions: An Ontological Approach
Automatic Misogyny Detection with Linguistic and Morphological Features in Spanish
Relationships of Compression Ratio and Error in Trajectory Simplification Algorithms
IntelihOgarT: A Smart Platform to Contribute Comfort in Intelligent Home Environments by Using Internet of Things Paradigm and Machine Learning
A Cloud Computing Based Framework for Storage and Processing of Meteorological Data
Effectiveness of Monitoring Indicators in the Architecture of a Collaborative System
Visualization Tools for Collaborative Systems: A Systematic Review
SE-DiagEnf: An Ontology-Based Expert System for Cattle Disease Diagnosis
Technologies and Innovation - Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings
A Byte Pattern Based Method for File Compression
Application of Prediction Algorithms in a Web System to Optimize Ornamental Fish Sales at Granlevein Farm, Churute
Applying Data Science and Machine Learning for Predictive Analytics in Organizational Decision-Making
Mobile Applications for Crops Management
Knowledge Extraction from Twitter Towards Infectious Diseases in Spanish
CropPestO: An Ontology Model for Identifying and Managing Plant Pests and Diseases
Role of Semantic Technologies in Engineering Andragogy Ecosystem
Funprog: A Gamification-Based Platform for Higher Education
Ontological Model of Knowledge Management for Research and Innovation
The Extended Hierarchical Linguistic Model in Fuzzy Cognitive Maps
Knowledge-Based Model for Curricular Design in Ecuadorian Universities
Texture and Color-Based Analysis to Determine the Quality of the Manila Mango Using Digital Image Processing Techniques
IXHEALTH: A Multilingual Platform for Advanced Speech Recognition in Healthcare
Metric Identification Evaluating Security Information: A Systematic Literature Review
On Intelligent Fingerprinting of Antique Buildings from Clay Composition
Innovating Chemistry Education: Integrating Cultural Knowledge through a Practical Guide and Augmented Reality
Search for Damage of the Citrus Miner to the Lemon Leaf, Implementing Artificial Vision Techniques
Recurrent Neural Networks (RNN) to Predict the Curve of COVID-19 in Ecuador During the El Niño Phenomenon
Neuromarketing and Facial Recognition: A Systematic Literature Review
A Photogrammetry Software as a Tool for Precision Agriculture: A Case Study
Automatic Detection of Melanoma in Human Skin Lesions
Automated Creation of a Repository for Learning Words in the Area of Computer Science by Keyword Extraction Methods and Text Classification
Detection of Motorcyclists Without a Safety Helmet Through YOLO: Support for Road Safety
The Present World of the Expert System and its Competitive Contribution in Medicine
Prediction of the Yield Per Hectare of the Crop of Chili Pepper (Capsicumchinense), by Means of a Simulation Model with GIS. A Case Study in Santo Domingo - San Jacinto Del Bua
Opinion Mining for Measuring the Social Perception of Infectious Diseases. An Infodemiology Approach
Gamification Tools as a Learning Strategy in Virtual Classes in University Students: Elemental Education Major Case Study
A Machine Learning Study About the Vulnerability Level of Poverty in Perú
Metric Study: Use of Memory Corresponding to the ISO/IEC25010 Standard in Augmented Reality Applications
Predicting Academic Performance in Mathematics Using Machine Learning Algorithms
Information Systems Based on Computer Vision for the Control of Sigatoka Black Disease in Bananas
Mirroring Tools and Interaction Indicators in Collaborative Work: A Systematic Review
Souriau-Casimir Lie Groups Thermodynamics and Machine Learning
Information Geometry and Integrable Hamiltonian Systems
Wrapped Statistical Models on Manifolds: Motivations, The Case SE(n), and Generalization to Symmetric Spaces
Computational Dynamics of Reduced Coupled Multibody-Fluid System in Lie Group Setting
Geometric Integration of Measure-Preserving Flows for Sampling
Relevant Differential Topology in Statistical Manifolds
A Practical Hands-on for Learning Graph Data Communities on Manifolds
Material Modeling via Thermodynamics-Based Artificial Neural Networks
The Geometry of Some Thermodynamic Systems
Information Geometry and Quantum Fields
Bayesian Inference on Local Distributions of Functions and Multidimensional Curves with Spherical HMC Sampling
Nonparametric Estimations and the Diffeological Fisher Metric
Geometric Structures of Statistical Physics, Information Geometry, and Learning - SPIGL'20, Les Houches, France, July 27-31
Structure des Systèmes Dynamiques Jean-Marie Souriau's Book 50th Birthday
Quasiconvex Jensen Divergences and Quasiconvex Bregman Divergences
A Lecture About the Use of Orlicz Spaces in Information Geometry
Galilean Thermodynamics of Continua
Learning Physics from Data: A Thermodynamic Interpretation
Dirac Structures and Variational Formulation of Thermodynamics for Open Systems
Sampling and Statistical Physics via Symmetry
Jean-Marie Souriau's Symplectic Model of Statistical Physics: Seminal Papers on Lie Groups Thermodynamics - Quod Erat Demonstrandum
An Exponential Family on the Upper Half Plane and Its Conjugate Prior
Sliding Mode Boundary Control for Heat Equations with Uncertain Dynamic Actuators
Sliding mode control of uncertain systems using multirate output feedback functional observer
Non-smooth missiles guidance: Interceptor-defender scenario with uncertainties
Sliding mode control of a forestry-standard mobile hydraulic system
Sliding mode control for a class of underactuated systems using feedforward normal form: A slosh-container system
Discrete implementation of sliding mode controllers satisfying accuracy level specifications
Robust Control for Perturbed Linear Systems with Time-Varying Delay via Sliding Mode Control
A fixed-time second order sliding mode observer for a class of nonlinear systems
Stabilization of Uncertain Nonlinear Systems via Immersion and Invariance based Sliding Mode Control
Discrete sliding mode control for systems with arbitrary relative degree output
High order integral nested sliding mode control
Design of a discrete-time terminal sliding mode repetitive controller
Estimation of Contaminants Decomposition in Solid Phase with Ozone by Differential Neural Networks with Discontinuous Learning Law