yusuke1997/dblp-id-title huggingface dataset:
Two Way Deterministic Pushdown Automaton Languages and Some Open Problems in the Theory of Computation
Explicit near-fully X-Ramanujan graphs
Extension Complexity of Independent Set Polytopes
A Dining Philosophers Algorithm with Polynomial Response Time
Sampling, Counting, and Large Deviations for Triangle-Free Graphs Near the Critical Density
Faster Algorithms for String Matching Problems: Matching the Convolution Bound
Number Theoretic Functions Computable by Polymorphic Programs (Extended Abstract)
Markov Chain Algorithms for Planar Lattice Structures (Extended Abstract)
General Bounds on Statistical Query Learning and PAC Learning with Noise via Hypothesis Bounding
Fat Triangles Determine Linearly Many Holes
Table Machine Simulation
Popular Conjectures as a Barrier for Dynamic Planar Graph Algorithms
General Dynamic Routing with Per-Packet Delay Guarantees of O(distance + 1 / session rate)
Deterministic Superimposed Coding with Applications to Pattern Matching
Fast Matching Algorithms for Points on a Polygon (Extended Abstract)
Computational Dynamical Systems
Isomorphism of Graphs of Bounded Valence Can Be Tested in Polynomial Time
Fast Decision Algorithms Based on Union and Find
Slimming Down Search Structures: A Functional Approach to Algorithm Design
On-line Scheduling in the Presence of Overload
On the Expressive Power of Attribute Grammars
Balloon Popping With Applications to Ascending Auctions
Oblivious Routing for the Lp-norm
All Pairs Shortest Paths in Weighted Directed Graphs ¾ Exact and Almost Exact Algorithms
Approximation Algorithms for Single-minded Envy-free Profit-maximization Problems with Limited Supply
Fully Dynamic All Pairs Shortest Paths with Real Edge Weights
A Quantum Bit Commitment Scheme Provably Unbreakable by both Parties
On-Line End-to-End Congestion Control
The Complexity of Checkers on an N * N Board - Preliminary Report
Lower Bounds on Communication Complexity in Distributed Computer Networks (Preliminary Version)
Chernoff Bounds and Reverse Hypercontractivity on HDX
A Rectangular Logic Array
Optimal Evolutionary Tree Comparison by Sparse Dynamic Programming (Extended Abstract)
Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality
Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weight
An Inverse-Ackermann Style Lower Bound for the Online Minimum Spanning Tree
Fast Numerical Multivariate Multipoint Evaluation
Sampling Graphs without Forbidden Subgraphs and Unbalanced Expanders with Negligible Error
Edit Distance in Near-Linear Time: it's a Constant Factor
Streaming Algorithms via Precision Sampling
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes
All Pairs Shortest Paths in Undirected Graphs with Integer Weights
On Subexponential Parameterized Algorithms for Steiner Tree and Directed Subset TSP on Planar Graphs
Planar Graphs: Random Walks and Bipartiteness Testing
Benchmark Design and Prior-independent Optimization
Non-Malleable Non-Interactive Zero Knowledge and Adaptive Chosen-Ciphertext Security
Distributed PCP Theorems for Hardness of Approximation in P
On Approximate Nearest Neighbors in Non-Euclidean Spaces
Continuity, Uniqueness and Long-Term Behavior of Nash Flows Over Time
Tape-Bounds for Time-Bounded Turing Machines
An introduction to speed independent circuit theory
The Online Median Problem
Flip-width: Cops and Robber on dense graphs
When can we sort in o(n log n) time?
More Output-Sensitive Geometric Algorithms (Extended Abstract)
Motion Planning in the Presence of Moving Obstacles
PSPACE Has Constant-Round Quantum Interactive Proof Systems
"Go With the Winners" Algorithms
Generating Quasi-Random Sequences from Slightly-Random Sources (Extended Abstract)
Chasing Ghosts: Competing with Stateful Policies
Walking an Unknown Street with Bounded Detour
Self-Stabilization By Local Checking and Correction (Extended Abstract)
Sublinear-Time Parallel Algorithms for Matching and Related Problems
Polytope Range Searching and Integral Geometry (Extended Abstract)
On the Power of Small-Depth Threshold Circuits
Space Searching for Intersecting Objects
An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles
Strong LTCs with Inverse Poly-Log Rate and Constant Soundness
An Application of Higher Reciprocity to Computational Number Theory (Abstract)
Exponential Complexity Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions Over Finite Fields
An Improved Worst-Case to Average-Case Connection for Lattice Problems
A (Slightly) Improved Bound on the Integrality Gap of the Subtour LP for TSP
A Randomized Maximum-Flow Algorithm
The Role of Interactivity in Local Differential Privacy
The Complexity of Parallel Sorting
Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions
O(1) Insertion for Random Walk d-ary Cuckoo Hashing up to the Load Threshold
53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012
Delays and the Capacity of Continuous-Time Channels
A Replacement for Voronoi Diagrams of Near Linear Size
(1 + eps)-Approximate Sparse Recovery
The Probabilistic Method Yields Deterministic Parallel Algorithms
A Las Vegas-NC Algorithm for isomorphism of graphs with bounded multiplicity of eigenvalues
Faster Circuits and Shorter Formulae for Multiple Addition, Multiplication and Symmetric Boolean Functions
A Hash Table Without Hash Functions, and How to Get the Most Out of Your Random Bits
Framework for ER-Completeness of Two-Dimensional Packing Problems
0(sqrt (log n)) Approximation to SPARSEST CUT in Õ(n 2 ) Time
Improved Online Correlated Selection
Distributed Lower Bounds for Ruling Sets
SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle
Unambiguous DNFs and Alon-Saks-Seymour
Semi-Thue Systems and Representations of Trees
Kolmogorov's Structure Functions with an Application to the Foundations of Model Selection
Efficient Reconstruction of Random Multilinear Formulas
Fast Parallel Matrix and GCD Computations
A New Framework for Distributed Submodular Maximization
Strong Fault-Tolerance for Self-Assembly with Fuzzy Temperature
Lower Bounds on Interactive Compressibility by Constant-Depth Circuits
The Coin Problem with Applications to Data Streams
New Algorithms and Lower Bounds for Monotonicity Testing
FOCS 2005 - Title Page
On the Communication Complexity of Sparse Set Disjointness and Exists-Equal Problems
Testing Equalities of Multiplicative Representations in Polynomial Time (Extended Abstract)
Tight Bounds for Online Vector Scheduling
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Error Reduction for Extractors
Statistical Properties of Random Digital Sequences
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)
Succinct quantum proofs for properties of finite groups
Probabilistic Representation of Formal Languages
Dynamic "Succincter"
Model Theoretic Aspects of Computational Complexity
Chow Parameters in Pseudothreshold Logic
A Better-Than-2 Approximation for Weighted Tree Augmentation
Unit Capacity Maxflow in Almost $O(m^{4/3})$ Time
Generalized Kolmogorov Complexity and the Structure of Feasible Computations (Preliminary Report)
A Dichotomy for Regular Expression Membership Testing
On the Composition of Parallel Program Schemata
Threshold gate network synthesis
Efficient Inverse Maintenance and Faster Algorithms for Linear Programming
Simulating (log ^c n)-wise Independence in NC
Witnesses for Boolean Matrix Multiplication and for Shortest Paths
Scheduling Parallel Machines On-Line
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version
The Equivalence and Learning of Probabilistic Automata (Extended Abstract)
Multiple-Source Multiple-Sink Maximum Flow in Directed Planar Graphs in Near-Linear Time
Closest-Point Problems
On Worst-Case Learning in Relativized Heuristica
Planar F-Deletion: Approximation, Kernelization and Optimal FPT Algorithms
Quantum Algorithms for Hidden Nonlinear Structures
Randomness vs. Time: De-Randomization under a Uniform Assumption
Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems
Generic Transformation of Data Structures
Efficient Oblivious Branching Programs for Threshold Functions
Tiling a Polygon with Rectangles
Doubley-Efficient Interactive Proofs for Distribution Properties
Towards a Final Analysis of Pairing Heaps
Constructive Results from Graph Minors: Linkless Embeddings
Applications of Random Algebraic Constructions to Hardness of Approximation
Certifying Euclidean Sections and Finding Planted Sparse Vectors Beyond the √n Dimension Threshold
Computational Two-Party Correlation: A Dichotomy for Key-Agreement Protocols
Interior-Point Methods in Parallel Computation
Finite-Resolution Computational Geometry
Arithmetic Circuits: A Chasm at Depth Four
Byzantine Agreement in Constant Expected Time (and Trusting No One)
A Randomized Time-Space Tradeoff of \tildeO(m\tildeR) for USTCON
An Algorithmic Version of the Hypergraph Regularity Method
Local Graph Partitions for Approximation and Testing
Simple Tabulation, Fast Expanders, Double Tabulation, and High Independence
Quantum Weak Coin-Flipping with Bias of 0.192
Monitoring Service Choreographies from Multiple Sources
Model-Based Evaluation of the Availability of a CBTC System
Supporting resilience in air traffic management
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010
A reconfigurable component model using reflection
A New Approach to Software Reliability
Synthesis of Resilient Choreographies
The Role of Parts in the System Behaviour
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
On the impact of fault tolerance tactics on architecture patterns
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
A resilient architecture for DHT-based distributed collaborative environments
Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
Holistic Processing and Exploring Event Logs
Risk Assessment Based Cloudification
Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation
The threat of uncertainty in service-oriented architecture
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages
A UML-based method for risk analysis of human-robot interactions
Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB
Linking Modelling in Event-B with Safety Cases
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems
Availability modelling of a virtual black box for automotive systems
Considering Execution Environment Resilience: A White-Box Approach
Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development
Predictive Analytics: A Shortcut to Dependable Computing
Predictability and Evolution in Resilient Systems
Empirical Assessment of Resilience
An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agent Systems
Modelling and analysing resilience as a security issue within UML
Towards Agile Development of Critical Software
Towards reasoning about teleo-reactive programs for robust real-time systems
Optimizing Verification of Structurally Evolving Algebraic Petri Nets
Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles
Architecting Resilient Computing Systems: Overall Approach and Open Issues
On fault tolerance reuse during refinement
A Case Study in Refinement-Based Modelling of a Resilient Control System
Adding resilience to message oriented middleware
Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems
A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling
Design support and tooling for dependable embedded control software
Evaluation of Open Source Operating Systems for Safety-Critical Applications
Towards a Model-Driven Infrastructure for Runtime Monitoring
Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
Augmenting formal development of control systems with quantitative reliability assessment
Idealized Fault-Tolerant Components in Requirements Engineering
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning
Engineering Cross-Layer Fault Tolerance in Many-Core Systems
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
Adaptive Domain-Specific Service Monitoring
100 Years of Software - Adapting Cyber-Physical Systems to the Changing World
Configurable Fault Trees
Supporting Architectural Design Decisions Evolution through Model Driven Engineering
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages
An evolving hierarchical & modular approach to resilient software
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem
Verifying Multi-core Schedulability with Data Decision Diagrams
Services for fault-tolerant conflict resolution in air traffic management
A Framework for Assessing Safety Argumentation Confidence
A/B Testing in E-commerce Sales Processes
Quantitative Verification of System Safety in Event-B
Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics
An industrial application of formal model based development: the Metrô Rio ATP case
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs
Preliminary Interdependency Analysis (PIA): Method and Tool Support
Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Resiliency Variance in Workflows with Choice
WRAD: Tool Support for Workflow Resiliency Analysis and Design
Simulation Testing and Model Checking: A Case Study Comparing these Approaches
Modelling Autonomous Resilient Multi-robotic Systems
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
Incorporating fault tolerance tactics in software architecture patterns
The SafeCap Project on Railway Safety Verification and Capacity Simulation
On the Use of Quality Models to Characterize Trustworthiness Properties
Verification and Validation of a Pressure Control Unit for Hydraulic Systems
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems
Security-Informed Safety: If It's Not Secure, It's Not Safe
On Applying FMEA to SOAs: A Proposal and Open Challenges
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming
Modelling Resilience of Data Processing Capabilities of CPS
Modelling for Systems with Holistic Fault Tolerance
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems
Dependability in dynamic, evolving and heterogeneous systems: the connect approach
Supporting the Evolution of Free and Open Source Software Distributions
Fault-Tolerant IoT - A Systematic Mapping Study
Towards a Model-Driven Security Assurance of Open Source Components
Community Resilience Engineering: Reflections and Preliminary Contributions
SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008
Experiences in engineering active replication into a traditional three-tiered client-server system
Assume-Guarantee Testing of Evolving Software Product Line Architectures
Experience-Based Model Refinement
Extended exceptions for contingencies
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Modeling and Monitoring of Hierarchical State Machines in Scala
Formal development of cooperative exception handling for mobile agent systems
An integrated framework for the dependability evaluation of distributed mobile applications
Addressing Security Properties in Systems of Systems: Challenges and Ideas
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
Stochastic Activity Networks for the Verification of Knowledge Bases
Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User
RPL: a policy language for dynamic reconfiguration
Formal Verification of the On-the-Fly Vehicle Platooning Protocol
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary
Toward Testing Self-organizations in Multi-Embedded-Agent Systems
Resilience through dynamic reconfiguration in agent systems
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
A Generated Property Specification Language for Resilient Multirobot Missions
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
FAS: Introducing a Service for Avoiding Faults in Composite Services
Preliminary Contributions Towards Auto-resilience
cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
A Formal Approach to Designing Reliable Advisory Systems
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions
Language Enrichment for Resilient MDE
Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Automatic Generation of Description Files for Highly Available Services
Prediction of Alcohol Consumption Demand Based on A Machine Learning Approach
Research on the Application of Data Governance and Road Network Situation Assessment Technology in Smart Highway
Research on Personalized Employment Recommendation System for Higher Vocational Students Based on Deep Learning Algorithms
Research on the Variation Patterns of Water Content in Fresh Tea Leaves Across Different Withering Environments
An Entity-Relationship Extraction Method for Epidemiological investigation Texts Based on Machine Reading Comprehension
Natural Disasters and Financial Risk: A Unified Prediction Model
Hardware and Software Infrastructure Driven by Big Data: Challenges and Prospects
Evolutionary Game Analysis of the Adoption of New Energy Logistics Vehicles under Dual Credit Policy
Industrial Internet edge computing security risk analysis and protection research
Evolutionary Strategies for Collaborative Innovation in Artificial Intelligence-Based New Energy Vehicle Enterprises
Development and design of Hainan extreme weather power training based on VR technology
Monte Carlo Insights: Mitigating Investment Risks in Oil Sands Projects
Construction Project Management Method Based on BIM Technology
Modeling and Analysis of Telecom User churn Warning
Risk analysis and selection decision model of family farm entrepreneurial projects
Topic Mining Analysis Based on the LDA Model for Petroleum Engineering Texts
Research on Function Design of Geological Park Tourism APP Based on the Kano Model
Research on germplasm resource management based on blockchain technology
Research on the Agricultural Risk Management in the Era of Big Data
Construction of Financial Conversational Assistant via Large Language Models
A Hybrid Nearest Neighbor Based SMOTE Oversampling Algorithm
Rapid location technology of power grid around airport based on three-dimensional visualization of clearance area and GIS
GLU-Transformer for Predicting Withdrawal in VLE
A Bimodal RGB-D Semantic Segmentation Algorithm Based on Attention Mechanism: Research and application of dual-mode RGB-D semantic segmentation algorithm based on attention mechanism in deep learning
Real-time path planning of general aircraft based on deep reinforcement learning
A review of trajectory data preprocessing and mining technology research
Research on Predicting Sports Performance of College Students Based on Particle Swarm Optimization Neural Network
Empirical analysis based on structural equation modelling About ChatGPT acceptance risk
A Machine Learning Approach to Detecting Financial Anomalies in Large Global Companies
Vigilance Against Autonomous Mining of Trade Secrets During Python-Based Web Crawling of Data
An Algorithm Combining Hidden States for Monotonic Value Function Factorisation
Security Risk Evaluation of Military Skill Training in Universities Based on AHP-Cloud Model
EWM-TOPSIS and BP Neural Network for Typhoon Disaster Risk Assessment and Mitigation Capacity Enhancement in Southeast Coastal Economic Zone
An effective approach for risk hierarchy and control in chemical parks using a combination of systematic engineering and deep learning
Provincial Energy Supply and Demand Risk Assessment Based on GRA-AHP-EWM Method
Research on construction site digital intelligence construction based on 3D design results
Aircraft risk inducement analysis based on small probability features
Proceedings of the 2024 4th International Conference on Big Data, Artificial Intelligence and Risk Management, ICBAR 2024, Chengdu, China, November 15-17, 2024
Security Mechanism Based Automotive Software Update Management Strategy
Study on Regional Differences in the Level of Competitiveness of China's Road Traffic
Research on the Portfolio Model of Deep Reinforcement Learning Based on Twin Delayed Deep Deterministic Policy Gradient Algorithm
Unsupervised Deep Infrared and Visible Homography Estimation Algorithm Based on Content-Aware
The Review of Deep Learning-Based Low-Light Image Enhancement Algorithms
Rethinking Translation Invariance in Transfer-based Adversarial Attacks
Development And Application of Electronic Tax Declaration Robot for Individual Income Tax Based on Uipath
Research on Adaptive Information Behaviors of Elderly Users under the Perspectives of Technology Acceptance and Emotional Perception - - Taking the mini programs of WeChat and Alipay as an example
COVID-19 Risk Analysis Based on Population Migration Big Data: A Case Study of Wuhan
A Unified Identity Authentication Method Based on Face Information
Current Status and Prospects of Risk Management Research in the Era of Big Data Intelligence