yusuke1997/dblp-id-title huggingface dataset:
TAI-PRM: trustworthy AI - project risk management framework towards Industry 5.0
Community-in-the-loop: towards pluralistic value creation in AI, or - why AI needs business ethics
Reimagining Artificial Intelligence for zoonotic disease detection in Africa: a decolonial approach rooted in community engagement and local knowledge
AI-produced certainties in health care: current and future challenges
Why reciprocity prohibits autonomous weapons systems in war
The double-edged sword of AI: Ethical Adversarial Attacks to counter artificial intelligence for crime
Epistemic virtues and ethics of explanation in machine learning
Aligning with ideal values: a proposal for anchoring AI in moral expertise
Exploring the mutations of society in the era of generative AI
Ethical and equitable approaches in AI for vector-borne disease management
A critique of the 'as-if' approach to machine ethics
Ethical AI governance: mapping a research ecosystem
Biden's Executive Order on AI: strengths, weaknesses, and possible reform steps
Ethical frameworks for automated vehicles: a systematic analysis and design
Assessing deep learning: a work program for the humanities in the age of artificial intelligence
The dual edge of AI: advancing and endangering scientific integrity in chemistry
How to gain control and influence algorithms: contesting AI to find relevant reasons
Adopting smart glasses responsibly: potential benefits, ethical, and privacy concerns with Ray-Ban stories
Generative artificial intelligence outputs, copyright infringement, and the assignment of liability
Animating the sacred: the ethical and cultural implications of AI-powered awakening of pharaonic symbols using deepfake techniques
Command responsibility in military AI contexts: balancing theory and practicality
Ethics and the use of generative AI in professional editing
AI governance systems: a multi-scale analysis framework, empirical findings, and future directions
Systematic literature review on bias mitigation in generative AI
"Can AI make Hitler cry?" exploring the use of AI in Holocaust education across four generations
A framework for ethical AI-HRM development and use
Optimizing beyond optimization: Heideggerian limits and artificial intelligence
On human genome manipulation and Homo technicus: the legal treatment of non-natural human subjects
Trustworthy tech companies: talking the talk or walking the walk?
The ethics of analog AI
Does attitude towards plagiarism predict aigiarism using ChatGPT?
Artificial intelligence agent in clinical trial operations: a fictional (for now) case study
From AI security to ethical AI security: a comparative risk-mitigation framework for classical and hybrid AI governance
Technology, liberty, and guardrails
Measuring meaningful human control in human-AI teaming: effects of team design in AI-assisted pandemic triage
The ethico-politics of design toolkits: responsible AI tools, from big tech guidelines to feminist ideation cards
Eu regulatory ecosystem for ethical AI
Conformity assessment under the EU AI act general approach
A new epoch of face analytics: technological evolution through ethical and legal challenges
The role of ChatGPT in disrupting concepts, changing values, and challenging ethical norms: a qualitative study
Towards responsible media recommendation
Superintelligent AI and meaning in life
ChatGPT-based posthumous memories of a terminally ill patient: metabioethics and generative AI at the service of palliative medicine
An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering
Keeping an AI on the mental health of vulnerable populations: reflections on the potential for participatory injustice
From interpretation to supervision: reconstructing radiologists' roles in the age of weak artificial intelligence
Toward ethical AI through Bayesian uncertainty in neural question answering
Replika in the Metaverse: the moral problem with empathy in 'It from Bit'
The ethics of envisioning spam free email inboxes
Needs and artificial intelligence
Gender mobility in the labor market with skills-based matching models
Securing tomorrow: a comprehensive survey on the synergy of Artificial Intelligence and information security
A statistical approach to detect disparity prone features in a group fairness setting
Faces and places: navigating the cross-border legal challenges of AI facial recognition technologies
What do academics say about artificial intelligence ethics? An overview of the scholarship
Ethical and legal considerations for nutrition virtual coaches
Representation, justification, and explanation in a value-driven agent: an argumentation-based approach
Ought we align the values of artificial moral agents?
Ethical issues deriving from the delayed adoption of artificial intelligence in medical imaging
Apropos of "Speciesist bias in AI: how AI applications perpetuate discrimination and unfair outcomes against animals"
Symbiosis, not alignment, as the goal for liberal democracies in the transition to artificial general intelligence
Establishing counterpoints in the sonic framing of AI narratives
Not a mirror, a caricature: How LLMs reproduce cultural identity?
Deep learning in radiology: ethics of data and on the value of algorithm transparency, interpretability and explainability
ACESOR: a critical engagement in systems of oppression AI assessment tool
A precautionary approach to autonomous vehicles
Exploring K-12 content-area teachers' preferences and challenges in using AI tools in graduate coursework
AI ethics and its pitfalls: not living up to its own standards?
How AI hype impacts the LGBTQ + community
Exploring key stakeholders' perspectives on integrating the EU AI Act with the MDR for certifying AI medical devices
Artificial intelligence and consumer manipulations: from consumer's counter algorithms to firm's self-regulation tools
Meaningful human control: actionable properties for AI system development
If robots are people, can they be made for profit? Commercial implications of robot personhood
Multi-faceted role of artificial intelligence (AI) in cardiopulmonary resuscitation (CPR): a narrative review
Proposed EU AI Act - Presidency compromise text: select overview and comment on the changes to the proposed regulation
Humans, super humans, and super humanoids: debating Stephen Hawking's doomsday AI forecast
The algorithm will see you now: how AI evaluates neurosurgeons
An approach to sociotechnical transparency of social media algorithms using agent-based modelling
Democracy, epistemic agency, and AI: political epistemology in times of artificial intelligence
Ethics in human-AI teaming: principles and perspectives
An assessment of synthetic data generation, use and disclosure under Canadian privacy regulations
QI 2 : an interactive tool for data quality assurance
Can machines be trustworthy?
The statistical fairness field guide: perspectives from social and formal sciences
From human-system interaction to human-system co-action and back: ethical assessment of generative AI and mutual theory of mind
An ecosystemic view on information, data, and knowledge: insights on agential AI and relational ethics
Protecting ownership rights of ML models using watermarking in the light of adversarial attacks
Sustainable AI and the third wave of AI ethics: a structural turn
Trustability and trustworthiness: conceptual foundations and the case of AI
The AI ethicist's dilemma: fighting Big Tech by supporting Big Tech
Why do experts disagree on existential risk? A survey of AI experts
An entryway into technology ethics. Sven Nyholm's This is Technology Ethics: An Introduction (2023)
Frontrunner model for responsible AI governance in the public sector: the Dutch perspective
The problem of fairness in tools for algorithmic fairness
Harmonizing creativity and ethics in AI systems
Bias and comparison framework for abusive language datasets
Safety criticism and ethical dilemma of autonomous vehicles
Exploring gender bias in AI-generated definitions of role models: a cross-linguistic perspective
What kind of trust does AI deserve, if any?
From ethical AI frameworks to tools: a review of approaches
Ethical challenges and strategic responses to AI integration in psychological assessment
Search methods for tile sets in patterned DNA self-assembly
A historical probability based noise generation strategy for privacy protection in cloud computing
Fuzzy relation equations and reduction of fuzzy automata
SAT backdoors: Depth beats size
Theft and Conspiracy in the Take-Grant Protection Model
QoS enhancements and performance analysis for delay sensitive applications
The Equivalence of Stack Counter Acceptors and Quasi-Realtime Acceptors
Computing with Membranes
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms
A modeling approach for estimating performance and energy consumption of storage systems
A linear vertex kernel for maximum internal spanning tree
Replication and Consistency in a Distributed Environment
Polynomial Time Computations in Models of ET
Sublogarithmic approximation for telephone multicast
Introduction to special issue on High Performance Computing Architectures and Systems
The Maximum Value Problem and NP Real Numbers
Accessibility of Values as a Determinant of Relative Complexity in Algebras
Groups and NTS Languages
New techniques and tighter bounds for local computation algorithms
Satisfiability of ECTL ⁎ with constraints
Implication Problems for Functional Constraints on Databases Supporting Complex Objects
Column Subset Selection Problem is UG-hard
Multiset rewriting over Fibonacci and Tribonacci numbers
SOS specifications for uniformly continuous operators
Referenced Automata and Metaregular Families
Succinctness of pattern-based schema languages for XML
Expressing Combinatorial Optimization Problems by Linear Programs
Integer factoring and modular square roots
Space complexity of perfect matching in bounded genus bipartite graphs
A hybrid approach for scalable sub-tree anonymization over big data using MapReduce on cloud
Closure of Varieties of Languages under Products with Counter
On CD-systems of stateless deterministic R-automata with window size one
Pipelining in multi-query optimization
Genus characterizes the complexity of certain graph problems: Some tight results
Computational complexity of covering multigraphs with semi-edges: Small cases
Graph planning with expected finite horizon
Prune-and-search with limited workspace
Two parallel algorithms for finding all minimal maximum subsequences
Optimal preemptive scheduling for general target functions
The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
Handle NLC Grammars and R.E. Languages
Languages polylog-time reducible to dot-depth 1/2
Combining Fairness with Throughput: Online Routing with Multiple Objectives
Further Results on Generalized Predictor-Corrector Methods
Realizing public announcements by justifications
GYO Reductions, Canonical Connections, Tree and Cyclic Schemas, and Tree Projections
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
Hybrid approach for context-aware service discovery in healthcare domain
Lower Bound Arguments with "Inaccessible" Numbers
Representation of ordered trees with a given degree distribution
Elementary Indefinite Integration Theory for the Computer
HV-planarity: Algorithms and complexity
On the distributed complexity of the semi-matching problem
(In)approximability of maximum minimal FVS
A new definition of homomorphic signature for identity management in mobile cloud computing
Characterizing Multiterminal Flow Networks and Computing Flows in Networks of Small Treewidth
The set of realizations of a max-plus linear sequence is semi-polyhedral
Generalization Error of Combined Classifiers
On Program Schemata Equivalence
On the speed of constraint propagation and the time complexity of arc consistency testing
Multi-Oracle Interactive Protocols with Constant Space Verifiers
Complexity Results for Classes of Quantificational Formulas
On the Existence of Minimal Realizations of Linear Dynamical Systems over Noetherian Integral Domains
Finding large 3-free sets I: The small n case
A randomized Numerical Aligner (rNA)
Node Replacements in Embedding Normal Form
Word equations in non-deterministic linear space
Exploration of dynamic networks: Tight bounds on the number of agents
Multidimensional range queries on hierarchical Voronoi overlays
TTL: a modular language for hardware/software systems design
Extensions of Asynchronous Circuits and the Delay Problem. I: Good Extensions and the Delay Problem of the First Kind
A Proof System for the First-Order Relational Calculus
Insertion operations on deterministic reversal-bounded counter machines
Detours in directed graphs
Cloud federation in a layered service model
Reachability in pushdown register automata
Special Issue on COLT 2000 - Guest Editor's Foreword
Regular Trees and the Free Iterative Theory
A General Approach to One-Step Iterative Methods with Application to Eigenvalue Problems
A new universal designated verifier transitive signature scheme for big graph data
Reset Machines
Building large k -cores from sparse graphs
Finding connected secluded subgraphs
Finding Pseudoperipheral Nodes in Graphs
Program Structures: Some New Characterisations
On the binary and Boolean rank of regular matrices
The edit distance to k-subsequence universality
LR-drawings of ordered rooted binary trees and near-linear area drawings of outerplanar graphs
A Note on 'Indecomposable Parallel Maps' by S. Amoroso, and I. J. Epstein
AFL with the Semilinear Property
Simplifying XML Schema: Single-type approximations of regular tree languages
The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers
Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights
Performance modeling and analysis for randomly walking mobile users with Markov chains
Addition machines, automatic functions and open problems of Floyd and Knuth
The satisfiability problem for a quantitative fragment of PCTL
Maximizing Sharing of Protected Information
Normal Forms and Conservative Extension Properties for Query Languages over Collection Types
Iterative rounding 2-approximation algorithms for minimum-cost vertex connectivity problems
Finding Patterns Common to a Set of Strings
Grid recognition: Classical and parameterized computational perspectives
Fuzzy Star Functions, Probabilistic Automata, and Their Approximation by Nonprobabilistic Automata
Polynomial Time Approximation Schemes for Dense Instances of NP-Hard Problems
Task-structured probabilistic I/O automata
Learning an Intersection of a Constant Number of Halfspaces over a Uniform Distribution
The extended equation of Lyndon and Schützenberger
A Generalized Approach to Formal Languages
Approximating the dense set-cover problem
Detection and mitigation of sinkhole attacks in wireless sensor networks
The Decidability of a Mapping Problem for Generalized Sequential Machines with Final States
Win-win kernelization for degree sequence completion problems
Hardness results for approximating the bandwidth
Restrained medium access control on adversarial shared channels
A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory
Testing Finite State Machines: Fault Detection
Efficient algorithms for multichromosomal genome rearrangements
Parameter Passing in Nondeterministic Recursive Programs
On approximating tree spanners that are breadth first search trees
A Structure Theory of Automata Characterized by Groups
Optimal consensus set for digital Flake hyperspheres in n D
On convergence and threshold properties of discrete Lotka-Volterra population protocols
Hierarchies of Turing Machines with Restricted Tape Alphabet Size
Monitoring the edges of product networks using distances
Computational Complexity of Algebraic Functions
Universal traversal sequences with backtracking
A Counting Algorithm for a Cyclic Binary Query
Reusing and Modifying Rulebases by Predicate Substitution
Variable Precision Rough Set Model
Pair Grammars, Graph Languages and String-to-Graph Translations
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks
Tight Bound on Johnson's Algorithm for Maximum Satisfiability
Galactic token sliding
Learning languages in a union
Editor's Forword
Improved bounds on sorting by length-weighted reversals
Journal of Computer and System Sciences Special Issue on Query Answering on Graph-Structured Data
Maximum number of fixed points in AND-OR-NOT networks
Computation of Powers of Multivariate Polynomials over the Integers
Lattice-based unidirectional infinite-use proxy re-signatures with private re-signature key
Compression Using Efficient Multicasting
Some Investigations on FCFS Scheduling in Hard Real Time Applications
Special Issue on PODS 1999 - Guest Editors' Foreword
Length-bounded cuts: Proper interval graphs and structural parameters
A divide and conquer algorithm for deciding group cellular automata dynamics
Maximizing the number of integer pairs summing to powers of 2 via graph labeling and solving restricted systems of linear (in)equations
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems
Approximate realizations for outerplanaric degree sequences
Equivalence Problem of Non-Deterministic Finite Automata
A representation theorem for (q-)holonomic sequences
A Self-Stabilizing Distributed Algorithm to Find the Median of a Tree Graph
Frameworks for designing in-place graph algorithms
Collaboration reputation for trustworthy Web service selection in social networks
Estimation on Domain of Attraction and Convergence Rate of Hopfield Continuous Feedback Neural Networks
On approximating four covering and packing problems
Monotonic hybrid systems
Computing maximum matchings in temporal graphs
Connection-Trap-Free Database Schemes
Abstract Computational Complexity and Cycling Computations
A Lower Bound for Radio Broadcast
The isomorphism conjecture for constant depth reductions
Superdeterministic DPDAS: The Method for Accepting Does Affect Decision Problems
A heuristic flow-decomposition approach for generalized processor sharing under self-similar traffic
Complex-valued wavelet network
Developing a power-efficient and low-cost 3D NoC using smart GALS-based vertical channels
Cook Reducibility is Faster than Karp Reduciblity in NP
Efficient monochromatic and bichromatic probabilistic reverse top-k query processing for uncertain big data
Proving Containment of Bounded AFL
Parameterized complexity of multi-node hubs
Faster Shortest-Path Algorithms for Planar Graphs
Some Independent Families of One-Letter Languages
A Framework for Solving VLSI Graph Layout Problems
The Amalgamation of Automata
An Optimal Predicate Locking Scheduler
Automata-Theoretic Techniques for Modal Logics of Programs
Frontiers of tractability for typechecking simple XML transformations
A Hierarchy of Deterministic Languages
Inferring answers to queries
An improved algorithm for the Steiner tree problem with bounded edge-length
Establishing Certain Bounds Concerning Finite Automata
On temporal graph exploration
The Computational Complexity of Program Schemata
Applied Computational Geometry: Towards Robust Solutions of Basic Problems
A parameterized algorithm for the Maximum Agreement Forest problem on multiple rooted multifurcating trees
On the Stability of Linear Recurrence Equations with Arbitrary Time Lags
An O(EVlog²V) Algorithm for the Maximal Flow Problem
When are emptiness and containment decidable for probabilistic automata?
Dual ceiling protocol for real-time synchronization under preemption threshold scheduling
Decidability and universality of quasiminimal subshifts
New Algorithms for Multilink Robot Arms
Efficient Distribution-Free Learning of Probabilistic Concepts
Self-Routing Superconcentrators
Distributed Event Algebras
Input-Dependent-Only Object Histories
Lower bounds for non-black-box zero knowledge
Personalized multi-user view and content synchronization and retrieval in real-time mobile social software applications
Time-Extraction for Temporal Logic-Logic Programming and Local Process Time
Algebraic Characterization of Reducible Flowcharts
A Solution to the Optimal Pursuit Problem for Distributed Parameter Systems
Length of polynomials over finite groups
Exploiting schemas in data synchronization
Processor-Time Tradeoffs in PRAM Simulations
Vector space formulation of probabilistic finite state automata
A bridging model for multi-core computing
Equivalence of pushdown automata via first-order grammars
Somewhat semantic secure public key encryption with filtered-equality-test in the standard model and its extension to searchable encryption
Extending Lookahead for LR Parsers
Multitape Finite Automata with Rewind Instructions
Scattered Context Grammars
Voronoi-based range and continuous range query processing in mobile databases
All Pairs Shortest Paths for Graphs with Small Integer Length Edges
Computation and Construction Universality of Reversible Cellular Automata
Cloud-based automatic test data generation framework
A mechanisation of some context-free language theory in HOL4
An Asymptotically Optimal Layout for the Shuffle-Exchange Graph
A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic
Testing Problems with Sublearning Sample Complexity
Unitarity plus causality implies localizability
Temporal vertex cover with a sliding time window
Abstract Voronoi diagram in 3-space
Dynamic heterogeneous team formation for robotic urban search and rescue
The sequence equivalence problem for primitive D0L systems
Parameter reduction and automata evaluation for grammar-compressed trees
Left-Derivation Bounded Languages
Transforming Curves on Surfaces
Message matching-based greedy behavior detection in delay tolerant networks
On a Characterization of the Nonregular Set of Primes
Unique Complements and Decomposition of Database Schemata
Recognition of Topological Equivalence of Patterns by Array Automata
Relative Serializability: An Approach for Relaxing the Atomicity of Transactions
Uniform Rational Approximation with Osculatory Interpolation
Upper and lower bounds for finding connected motifs in vertex-colored graphs
On the severity of Braess's Paradox: Designing networks for selfish users is hard
On the Decidability of Homomorphism Equivalence for Languages
Parameterized complexity of dominating set variants in almost cluster and split graphs
Checking Sets, Test Sets, Rich Languages and Commutatively Closed Languages
Mixed Pfair/ERfair scheduling of asynchronous periodic tasks
A tree-based regressor that adapts to intrinsic dimension
Linear Algorithms on Recursive Representations of Trees
Special Issue on Trajectory-based Behaviour Analytics
S 2 p is subset of ZPP NP
Multiparty Protocols, Pseudorandom Generators for Logspace, and Time-Space Trade-Offs
On the Complexity of Ranking
On hybrid models of quantum finite automata
Fine-grained complexity of rainbow coloring and its variants
A New Abstract Combinatorial Dimension for Exact Learning via Queries
Proactive workload management in dynamic virtualized environments
Network-based computing
Structure of the Invertible CA Transformations Group
Characterizing Linear Size Circuits in Terms of Pricacy
Management and applications of trust in Wireless Sensor Networks: A survey
The Hairy Ball problem is PPAD-complete
Towards a characterization of constant-factor approximable finite-valued CSPs
The Powerset Algebra as a Natural Tool to Handle Nested Database Relations
Fast periodic graph exploration with constant memory
Collapsing Degrees
Conservative constraint satisfaction re-revisited
Languages of R-Trivial Monoids
Communication-efficient distributed oblivious transfer
An Axiomatization of D-scheme Strong Equivalence
Regular Expressions and the Equivalence of Programs
Commutative One-Counter Languages are Regular
Various Kinds of Automata with Weights
Multicore computing systems: Architecture, programming tools, and applications
Performance evaluation for self-healing distributed services and fault detection mechanisms
On solution discovery via reconfiguration
Soft computing methods for WiMax Network Planning on 3D Geographical Information Systems
On the Decidability of Semilinearity for Semialgebraic Sets and Its Implications for Spatial Databases - CORRIGENDUM