yusuke1997/dblp-id-title huggingface dataset:
Assessing the Robustness of Conversational Agents using Paraphrases
Test-Driven Anonymization in Health Data: A Case Study on Assistive Reproduction
Identifying and Generating Missing Tests using Machine Learning on Execution Traces
TCP-Net++: Test Case Prioritization Using End-to-End Deep Neural Networks - Deployment Analysis and Enhancements
Validating Gaussian Process Models with Simulation-Based Calibration
Resource-Aware Online Permanent Fault Detection Mechanism for Streaming Convolution Engine in Edge AI Accelerators
Automation of Datamorphic Testing
Computer Vision Intelligence Test Modeling and Generation: A Case Study on Smart OCR
Neural Network Based Test Case Generation for Data-Flow Oriented Testing
An Empirical Testing of Autonomous Vehicle Simulator System for Urban Driving
Behavior Pattern-Driven Test Case Selection for Deep Neural Networks
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Testing acoustic scene classifiers using Metamorphic Relations
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure
Construction of Semantic Model for GUI of Mobile Applications Using Deep Learning
A Classification Study on Testing and Verification of AI-based Systems
SALVO: Automated Generation of Diversified Tests for Self-driving Cars from Existing Maps
Enhancing Text Classification Models with Generative AI-aided Data Augmentation
Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance
Leveraging Deep Learning Models for Cross-function Null Pointer Risks Detection
Challenges of Testing Machine Learning Based Systems
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems
Datamorphic Testing: A Method for Testing Intelligent Applications
A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic
Improving Automated GUI Testing by Learning to Avoid Infeasible Tests
AI Test Modeling and Analysis for Intelligent Chatbot Mobile App - A Case Study on Wysa
An Image Quality Assessment Method for Surface Defect Inspection
Generation of Movement Explanations for Testing Gesture Based Co-Operative Learning Applications
Outline of an Independent Systematic Blackbox Test for ML-based Systems
MEH-FEST-NA: An Ensemble Defense System Against Adversarial Attacks in Speaker Verification Systems
Message From the General Chairs; IEEE AITest 2024
Chatbot Testing Using AI Planning
Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems
Utilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving Functions
A Testing Framework for AI Linguistic Systems (testFAILS)
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008
On the b-Partite Random Asymmetric Traveling Salesman Problem and Its Assignment Relaxation
The Non-approximability of Non-Boolean Predicates
Derandomization That Is Rarely Wrong from Short Advice That Is Typically Good
Scheduling on a Constant Number of Machines
Optimal Lower Bounds for 2-Query Locally Decodable Linear Codes
Randomized Rounding for Semidefinite Programs-Variations on the MAX CUT Example
Second-Order Methods for Distributed Approximate Single- and Multicommodity Flow
High Degree Vertices and Eigenvalues in the Preferential Attachment Graph
Computational Analogues of Entropy
Testing Parenthesis Languages
Approximating Market Equilibria
Approximation on the Web: A Compendium of NP Optimization Problems
Dimensionality Reductions That Preserve Volumes and Distance to Affine Spaces, and Their Algorithmic Applications
On the 2-Colorability of Random Hypergraphs
Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems
Randomness, Stochasticity and Approximations
Using Approximation Hardness to Achieve Dependable Computation
Nearly Linear Time Approximation Schemes for Euclidean TSP and Other Geometric Problems
Random Sampling of Euler Tours
Is Constraint Satisfaction Over Two Variables Always Easy?
A Nearly Linear Size 4-Min-Wise Independent Permutation Family by Finite Geometries
A Polynomial Time Approximation Scheme for the Multiple Knapsack Problem
Tally Languages Accepted by Monte Carlo Pushdown Automata
Complexity of Sequential Pattern Matching Algorithms
Super-bits, Demi-bits, and NP/qpoly-natural Proofs
Web Search via Hub Synthesis
Proclaiming Dictators and Juntas or Testing Boolean Formulae
Probabilistic Construction of Small Strongly Sum-Free Sets via Large Sidon Sets
Small k-Dominating Sets of Regular Graphs
Approximating Minimum Manhattan Networks
A New Approximation Algorithm for the Demand Rouring and Slotting Problem with Unit Demands on Rings
Randomness-Optimal Characterization of Two NP Proof Systems
Mixing in Time and Space for Lattice Spin Systems: A Combinatorial View
Multicoloring Planar Graphs and Partial k-Trees
63-Approximation Algorithm for MAX DICUT
Quantum Walks on the Hypercube
On the Derandomization of Space-Bounded Computations
On Various Cooling Schedules for Simulated Annealing Applied to the Job Shop Problem
Completeness and Robustness Properties of Min-Wise Independent Permutations
L Infinity Embeddings
Online Weighted Flow Time and Deadline Scheduling
"Balls into Bins" - A Simple and Tight Analysis
Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings
A Probabilistic-Time Hierarchy Theorem for "Slightly Non-uniform" Algorithms
On Extracting Private Randomness over a Public Channel
Approximation Algorithms for Budget-Constrained Auctions
A Gambling Game Arising in the Analysis of Adaptive Randomized Rounding
Tornado Codes: Practical Erasure Codes Based on Random Irregular Graphs
The Satisfiability Threshold for Randomly Generated Binary Constraint Satisfaction Problems
Stochastic Machine Scheduling: Performance Guarantees for LP-based Priority Policies
Fringe Analysis of Synchronized Parallel Algorithms on 2-3 Trees
Quicksort Again Revisited
On the Graph-Density of Random 0/1-Polytopes
A Derandomization Using Min-Wise Independent Permutations
On Testing Convexity and Submodularity
Effective Routing and Scheduling in Adversarial Queueing Networks
A Randomized Time-Work Optimal Parallel Algorithm for Finding a Minimum Spanning Forest
Approximation Algorithms for Covering Polygons with Squares and Similar Problems
Randomization, Approximation, and Combinatorial Algorithms and Techniques, Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99, Berkeley, CA, USA, August 8-11, 1999, Proceedings
Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
Scheduling with Unexpected Machine Breakdowns
Set Cover with Requirements and Costs Evolving over Time
A Role of Constraint in Self-Organization
Bounds on 2-Query Codeword Testing
A Random Server Model for Private Information Retrieval or How to Achieve Information Theoretic PIR Avoiding Database Replication
Sample Spaces with Small Bias on Neighborhoods and Error-Correcting Communication Protocols
A High Performance Approximate Algorithm for the Steiner Problem in Graphs
On a Generalized Ruin Problem
Bisection of Random Cubic Graphs
Probabilistic Approximation of Some NP Optimization Problems by Finite-State Machines
On the Derandomization of Constant Depth Circuits
Order in Pseudorandomness
Approximation Algorithms for Channel Allocation Problems in Broadcast Networks
The "Burnside Process" Converges Slowly
Continuous-Time Quantum Walks on the Symmetric Group
Incremental Codes
Low Discrepancy Sets Yield Approximate Min-Wise Independent Permutation Families
Weak and Strong Recognition by 2-way Randomized Automata
An FPTAS for Quickest Multicommodity Flows with Inflow-Dependent Transit Times
Random-Based Scheduling: New Approximations and LP Lower Bounds
On Euclidean Embeddings and Bandwidth Minimization
Using Complex Semidefinite Programming for Approximating MAX E2-LIN3
A Simple Dual Ascent Algorithm for the Multilevel Facility Location Problem
A 3/2-Approximation Algorithm for Augmenting the Edge-Connectivity of a Graph from 1 to 2 Using a Subset of a Given Edge Set
Approximation Schemes for Ordered Vector Packing Problems
Parallel Random Search and Tabu Search for the Minimal Consistent Subset Selection Problem
Perfectly Balanced Allocation
Fast Approximate PCPs for Multidimensional Bin-Packing Problems
Counting Distinct Elements in a Data Stream
Some Approximation Results for the Maximum Agreement Forest Problem
Improved Derandomization of BPP Using a Hitting Set Generator
Using Hard Problems to Derandomize Algorithms: An Incomplete Survey
A Greedy Facility Location Algorithm Analyzed Using Dual Fitting
Asymmetry in k-Center Variants
Robotic Exploration, Brownian Motion and Electrical Resistance
Faster Algorithms for MAX CUT and MAX CSP, with Polynomial Expected Time for Sparse Instances
Algorithms for Graph Partitioning on the Planted Partition Model
The Maximum Acyclic Subgraph Problem and Degree-3 Graphs
Finding Sparse Induced Subgraphs of Semirandom Graphs
Combinatorial Linear Programming: Geometry Can Help
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques, 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA, USA, August 18-20, 2001, Proceedings
On the Equivalence between the Primal-Dual Schema and the Local-Ratio Technique
On the Eigenvalue Power Law
Exact Sampling in Machine Scheduling Problems
Randomization and Approximation Techniques in Computer Science, Second International Workshop, RANDOM'98, Barcelona, Spain, October 8-10, 1998, Proceedings
Efficient Redundant Assignments under Fault-Tolerance Constraints
Discrete Quantum Walks Hit Exponentially Faster
Almost Optimal (on the average) Combinatorial Algorithms for Boolean Matrix Product Witnesses, Computing the Diameter (Extended Abstract)
Approximate Testing of Visual Properties
Polynominal Time Approximation Schemes for Some Dense Instances of NP-Hard Optimization Problems
A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem
A Linear Time Approximation Scheme for the Job Shop Scheduling Problem
Percolation on Finite Cayley Graphs
On the Complexity of Approximating k-Dimensional Matching
Minimizing Stall Time in Single and Parallel Disk Systems Using Multicommodity Network Flows
Computing Graph Properties by Randomized Subcube Partitions
Approximation of Multi-color Discrepancy
An Improved Algorithm for Approximating the Radii of Point Sets
An Algorithmic Embedding of Graphs via Perfect Matchings
Testing the Diameter of Graphs
Approximating Rooted Connectivity Augmentation Problems
Minimizing Average Completion of Dedicated Tasks and Interval Graphs
Near-optimum Universal Graphs for Graphs with Bounded Degrees
Correlation Clustering with Partial Information
Approximation Schemes for Generalized 2-Dimensional Vector Packing with Application to Data Placement
Randomization and Approximation Techniques in Computer Science, International Workshop, RANDOM'97, Bolognna, Italy, July 11-12. 1997, Proceedings
Equitable Coloring Extends Chernoff-Hoeffding Bounds
Scheduling with Machine Cost
On Balls and Bins with Deletions
'Go with the winners' Generators with Applications to Molecular Modeling
Randomized Lower Bounds for Online Path Coloring
An Improved Decomposition Theorem for Graphs Excluding a Fixed Minor
Hill-Climbing vs. Simulated Annealing for Planted Bisection Problems
On Computing Ad-hoc Selective Families
A Note on Bounding the Mixing Time by Linear Programming
On-Line Bin-Stretching
Constructive Bounds and Exact Expectations for the Random Assignment Problem
Testing Low-Degree Polynomials over GF(2(
Error-Correcting Codes and Pseudorandom Projections
Improved Bounds for Sampling Contingency Tables
Distribution-Free Property Testing
Improved Linear Time Approximation Algorithms for Weighted Matchings
Deterministic Hypergraph Coloring and Its Applications
Linear Consistency Testing
On the Hardness of Approximate Multivariate Integration
Counting and Sampling H-Colourings
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003, Proceedings
Greedily Approximating the r-independent Set and k-center Problems on Random Instances
An Online Algorithm for the Postman Problem with a Small Penalty
Improved Testing Algorithms for Monotonicity
Tight Bounds for Testing Bipartiteness in General Graphs
Pfaffian Algorithms for Sampling Routings on Regions with Free Boundary Conditions
Random Geometric Problems on [0, 1]²
Resource-Bounded Randomness and Compressibility with Respect to Nonuniform Measures
Covering Graphs Using Trees and Stars
omega-Regular Languages Are Testable with a Constant Number of Queries
Hardness Results for the Power Range Assignmet Problem in Packet Radio Networks
A 2-Approximation Algorithm for the Soft-Capacitated Facility Location Problem
Talagrand's Inequality and Locality in Distributed Computing
Independent Sets in Hypergraphs with Applications to Routing via Fixed Paths
Disjoint Paths in Expander Graphs via Random Walks: A Short Survey
Classifying Special Interest Groups in Web Graphs
The Lovász Number of Random Graphs
Approximating the Degree-Bounded Minimum Diameter Spanning Tree Problem
Probabilistic and Deterministic Approximations of the Permanent (abstract)
USENIX Conference on Web Application Development, WebApps'10, Boston, Massachusetts, USA, June 23-24, 2010
GuardRails: A Data-Centric Web Application Security Framework
Poor Man's Social Network: Consistently Trade Freshness for Scalability
Modeling and Reasoning about DOM Events
Pixaxe: A Declarative, Client-Focused Web Application Framework
Executing Web Application Queries on a Partitioned Database
DBTaint: Cross-Application Information Flow Tracking via Databases
Don't Repeat Yourself: Automatically Synthesizing Client-side Validation Code for Web Applications
JavaScript in JavaScript (js.js): Sandboxing Third-Party Scripts
Featherweight Firefox: Formalizing the Core of a Web Browser
AjaxTracker: Active Measurement System for High-Fidelity Characterization of AJAX Applications
Silo: Exploiting JavaScript and DOM Storage for Faster Page Loads
Jigsaw: Efficient, Low-effort Mashup Isolation
xJS: Practical XSS Prevention for Web Application Development
The Effectiveness of Application Permissions
BenchLab: An Open Testbed for Realistic Benchmarking of Web Applications
Social Networks Profile Mapping Using Games
Detecting Malicious Web Links and Identifying Their Attack Types
Managing State for Ajax-Driven Web Components
Experiences on a Design Approach for Interactive Web Applications
Maverick: Providing Web Applications with Safe and Flexible Access to Local Devices
2nd USENIX Conference on Web Application Development, WebApps'11, Portland, Oregon, USA, June 15-16, 2011
SVC: Selector-based View Composition for Web Frameworks
LIBERATED: A Fully In-Browser Client and Server Web Application Debug and Test Environment
Separating Web Applications from User Data Storage with BSTORE
JSZap: Compressing JavaScript Code
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications
Hybrid Cloud Support for Large Scale Analytics and Web Processing
PHP Aspis: Using Partial Taint Tracking to Protect Against Injection Attacks
Exploring the Relationship Between Web Application Development Tools and Security
JSMeter: Comparing the Behavior of JavaScript Benchmarks with Real Web Applications
Resource Provisioning of Web Applications in Heterogeneous Clouds
Gibraltar: Exposing Hardware Devices to Web Pages Using AJAX
SeerSuite: Developing a Scalable and Reliable Application Framework for Building Digital Libraries by Crawling the Web
Secure Data Preservers for Web Services
Leveraging Cognitive Factors in Securing WWW with CAPTCHA
Aperator: Making Tweets Enable Actionable Commands on Third Party Web Applications
3rd USENIX Conference on Web Application Development, WebApps'12, Boston, MA, USA, June 13, 2012
GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications
Quality and Accessibility in Blended Learning and Hybrid Solutions at Higher Education Level: A Word from the Students
University Students' Online Social Presence and Digital Competencies in the COVID-19 Virus Situation
A Case Study of Teachers' First Designs Using ASYMPTOTE: A Tool for Teaching and Learning Mathematics Online
Challenges and Solutions in Teaching Practicum During COVID-19 Pandemic
An Autoethnographic Approach to Faculty Development Through a Longitudinal Analysis of a Co-taught Workshop
How to Assess Job Satisfaction and Self-efficacy in Teachers' Professional Training with "Best" Questionnaire: A Perspective Article
Assessing Attitudes Towards Collaboration of Students in Self-directed Online Groups in Higher Education
Evaluation of Pedagogical Strategies Based on Socio-Affective Scenarios in a Virtual Learning Environment
Managing Students from 23 Different Countries in Distance Learning: The Foundation Course Experience of the University of Pisa
Improving Student Progression in Distance Learning Using Synchronous Webinars
Promoting Meaningful Learning in Topology Supported by Undergraduate Students' Video Creations
Making Use of Virtual Reality for Artificial Intelligence Education
Higher Education Learning Methodologies and Technologies Online - 4th International Conference, HELMeTO 2022, Palermo, Italy, September 21-23, 2022, Revised Selected Papers
The FRAVAL Project. - Rethinking Assessment as Learning Between Schools and Universities
Higher Education Learning Methodologies and Technologies Online - Third International Workshop, HELMeTO 2021, Pisa, Italy, September 9-10, 2021, Revised Selected Papers
Incremental and Interpretable Learning Analytics Through Fuzzy Hoeffding Decision Trees
The Psychological Impact of Online Learning During the COVID-19 Pandemic. A Survey on a Sample of Italian Undergraduates
E-tutor Profiles in Online Higher Education: Skills and Organizational Models
Personalized Feedback in University Contexts: Exploring the Potential of AI-Based Techniques
Digital Multisensory Storytelling as Educational-Didactic Methodology for Emotional Literacy
Digital Tools to Enhance Interdisciplinary Mathematics Teaching Practices in High School
The Use of a Gamified Learning App in Accounting Education: Exploring the Impact of COVID-19
Narrative Learning and Transformative Practices in Higher Distance Education
Augmented Didactic: The Potential of Gesture in Mobile Learning to Enhance Learning
The ARETE Ecosystem for the Creation and Delivery of Open Augmented Reality Educational Resources: The PBIS Case Study
Semiautomatic Grading of Short Texts for Open Answers in Higher Education
The Inclusive Design of a Learning Path with Integrated Digital Teaching in the Education Science Degree Course at the University of Genoa
Facing the Didactic Emergency During Covid-19 Pandemic in an Analytical Chemistry Laboratory
A Methodological Framework to Cultivate Transformative Learning in Faculty Development
Students' Coping and Study Strategies: Did Emergency Remote Teaching Support the Students During the Pandemic?
An Ecological-Integrated Framework for an Inclusive Academia
Combining Augmented Reality and Fairy Tales to Teach Science to Primary School Students: Teachers' Experience from the Fairy Tale Science Augmented (FAnTASIA) Project
Exploring Undergraduates' Attitudes Towards ChatGPT. Is AI Resistance Constraining the Acceptance of Chatbot Technology?
eLearning Course Design in Higher Education to Maximize Students' Performance
Differences in the Comprehension of the Limit Concept Between Prospective Mathematics Teachers and Managerial Mathematicians During Online Teaching
A 3D Visual Programming Language for Tangible Coding in Extended Reality
Artificial Intelligence for Personalized Learning in K-12 Education. A Scoping Review
An Empirical Study to Predict Student Performance Using Information of the Virtual Learning Environment
Kahoot! and Student-Generated Formative Assessment: A Pilot Study
Brain Wave, Heart Rate, and Facial Expression Relationship Validation During Programming Learning Comprehension Study
Distance Learning and Digital Scholarship: New Challenges for Faculty Development
Performing Art-Based Methodology for Empathetic Transposition into Online Learning Experiences
Using Process Mining to Understand Students' and Teams' Dynamics
A Novel Keyword Ontology Generator Method Tested on "Digital Transformation in Higher Education" Topic
A Digital Educational Path with an Interdisciplinary Perspective for Pre-service Mathematics Primary Teachers' Professional Development
Self-efficacy and Digital Skill of University Teachers
Sport and Exercise Sciences Degrees in Italy: Comparison Between Online and Traditional Teaching Models
Online Teaching in Higher Education with the Support of Start@Unito During Covid-19 Pandemic
How Did University Students Adapt to the "New Normal" of Teaching and Learning During the Pandemic? Preliminary Indications from Semi-structured Interviews
Engaging Mathematics Teachers as Designers of Digital Educational Resources to Foster Their Awareness in Counsel
Ontology for Constructively Aligned, Collaborative, and Evolving Engineer Knowledge-Management Platforms
The Strategic Role of the E-Tutor in New Learning Contexts
Thinking Groups and the Development of Affective Problem-Solving Competencies in Online Learning Environments at the University Level
The Rational Numbers in a Pre-service Mathematics Teacher Educational Path Highlighting the Role of Feedback in the Formative Assessment
The Educational Relationship Between Teachers and Young Tennis Players Continued During the Covid-19 Outbreak: Is the Online Teaching a New Start also for the University?
Higher Education Learning Methodologies and Technologies Online - 5th International Conference, HELMeTO 2023, Foggia, Italy, September 13-15, 2023, Revised Selected Papers
Supporting Instructors with Course Attendance and Quality Prediction in Synchronous Learning
Academic Development Strategies to Support Teaching and Learning Processes Integrated with Technologies: Lessons Learnt at University of Trento
Two years of Blended Synchronous Mode Learning in Higher Education. The Students' Experience Told Through Their Metaphors
Psychological Outcomes and Effectiveness of a Collaborative Video-Based Learning Tool for Synchronous Discussions
Digital Wisdom Development and Self-reflection of Teacher Candidates
Teaching IoT in the Classroom and Remotely
AI-Driven Inclusion: Exploring Automatic Text Simplification and Complexity Evaluation for Enhanced Educational Accessibility
Empowering Positive Behaviors: A Gamification-Based Approach
Improvement of Art Creative Skills by the Means of Signature Pedagogy in Online Musical Education
Who Fears the Big Bad Climate Change? Analysis of Emotional Reactions to Global Warming in Virtual Reality
Predicting Learning Outcomes in Distance Learning Universities: Perspectives from an Integrated Model
Improving Student Online Interactions and Teacher's Ability to Manage Them with the Quick Chat Moodle Plugin
The Role of Educational Interventions in Facing Social Media Threats: Overarching Principles of the COURAGE Project
What Factors Contribute to the Success of Adult Training in Distance Learning? A Multi-dimensional Analysis
Teaching Cybersecurity: The Evaluation of Nabbovaldo and Blackmail from Space
Online Problem Based Learning for the Professional Development of Educators
The 'Sophisticated' Knowledge of e-Teacher. Re-shape Digital Resources for Online Courses
Leveraging Explainable AI Methods and Tools for Educational Data