yusuke1997/dblp-id-title huggingface dataset:
Public Accountability: Understanding Sentiments towards Artificial Intelligence across Dispositional Identities
The Foz Coa rock art case: towards a new relationship between science and policy making in Portugal?
Social acceptance of RFID as a biometric security method
Ethics of AI as practical ethics
The impact of new technology on science communication
Qual+Quant=? Integrating the Social with the Technical in a Regulatory Evidence Base
Demystifying the number of the beast in the book of revelation: Examples of ancient cryptology and the interpretation of the "666" conundrum
On media and disinformation: Examining viewer judgment of political video authenticity
Credibility and information naïveté in socially networked information
Evaluation of Groundwater Risk due to Anthropogenic Activities in a Coastal Plain of the Seto Inland Sea, Japan
Gender, technology and work: understanding patterns in women's employment in science and technology occupations
Scholarly/professional scientific and engineering societies and globalization
Program management in a period of strategic realignment: a practitioner's perspective
The Wholly Alliance: Psychographics Ethics and the Internet of Things
A network of IBM technical women
Only Location: A Systematic Literature Review on Context Marketing
2015 IEEE International Symposium on Technology and Society, ISTAS 2015, Dublin, Ireland, November 11-12, 2015
Are less able readers disadvantaged by reading in electronic environments?
An exploratory study of student confidence in using electronic books as learning tools
"Women in engineering": a history and politics of a struggle in the making of a statistical category
Defending Deep Learning Based Anomaly Detection Systems Against White-Box Adversarial Examples and Backdoor Attacks
'Of weighty reasons and indiscriminate blankets: The retention of DNA for forensic purposes'
A falls detection system for the elderly based on a WSN
Iris recognition on consumer devices - Challenges and progress
Sustainable development and engineering: ethical and public policy implications
A Case Study on a Sustainable Framework for Ethically Aware Predictive Modeling
Applying "big data" and business intelligence insights to improving clinical care for cancer
Women in computer science: where have we been and where are we going?
Investigating older and younger peoples' motivations for lifelogging with wearable cameras
Intellectual property in cyberspace-what technological/legislative tools are necessary for building a sturdy global information infrastructure?
When engineering systems fail - the disconnection between continuity plans and organisational behaviour
2003 International Symposium on Technology and Society, Crime Prevention, Security and Design, ISTAS/CPTED 2003, Amesterdam, The Netherlands, September 26-28, 2003
Personal computing in community organisations: expertise out of context
Environmental progress versus economic development in central and eastern Europe. A case study of Poland from 1988 to 1995
Emergence of creativity in learning via social technologies
Canada's policy approach to "killer robots" and the ethics of autonomous weapons systems
Technical authority in the media: public debate on the Strategic Defense Initiative
Implication of new technologies in deafness healthcare: deafness rehabilitation using prospective design of hearing aid systems
"Star Wars" revisited-a continuing case study in ethics and safety-critical software
Harvesting Faces from Social Media Photos for Biometric Analysis
Challenges for video communications in remote and rural communities
Promoting Internet literacy in isolated communities: a teaching experiment on information society at the University of the Aegean
Addressing ethical and professional risks of ICT development using software development impact statements
The internet of things and its impact on social relationships involving mutual trust
Developing parliamentary web portals for citizens, MPs and related groups - Challenges and proposed solutions
Identity awareness and re-use of research data in veillance and social computing
Technologizing the home: Mary Pennington and the rise of domestic food refrigeration
Toward Upcycled and Sustainable Robotics: Developing an Accessible, Flexible, and Environmentally Friendly Robotics Platform
Compounding barriers to fairness in the digital technology ecosystem
'I like, stalk them on Facebook': Teachers' 'privacy' and the risks of social networking sites
Modularization and semantics of learning objects in a cooperative knowledge space
A snapshot of the subject matter of computing ethics
"Clik-Thru" Terms of Service: Blockchain smart contracts to improve consumer engagement?
We've Got to Talk: Emergency Communications and Engineering Ethics
Information and communication technology for groups: Applications to management education
The Language of Phishing, Pharming, and Other Internet Fraud-Metaphorically Speaking
Cyborg rights
Comparative assessment of cyber-physical threats to megacities
The Neubot project: A collaborative approach to measuring internet neutrality
Smart cities through the lens of human rights
Civil applications of dual-use technology in Russia (case-study of lasers)
Taiwan's Entry Quarantine System
Internet marketing, consumer surveillance and personal privacy: social exchange or panoptic control?
Safety in the workplace of 1904
Ethical Considerations in AI-Based Recruitment
Electronic commerce and its socio-economic implications in Brazilian small and medium enterprises
Addressing the Threat: An Examination of Science and Technology Policy Addressing Weapons of Mass Destruction
Use of Numerical Groundwater Modeling to Evaluate Uncertainty in Conceptual Models of Recharge and Hydrostratigraphy
Applying Action Design Science Research to Develop a Conceptual Design for Smart Contracts in Real Estate Transaction Processes: The Potential of Blockchain Technology for Transaction Symmetry, Speed and Transparency
Risk assessment tools on trial: Lessons learned for "Ethical AI" in the criminal justice system
Exploring the Perceptions of Professional Values among First-Year Engineering Students: A Cross-Cultural Comparison
User study on family communication in China
Using information management systems and processes to support shared care for colorectal cancer survivors
Extraction and analysis of tripartite relationships from Wikipedia
A potential loss of trust as a result of the conflicting messages within information security research
Improving classroom visual accessibility with cooperative smartphone recordings
Design for Sustainability: Exploring Cultural Attributes in an Indian Village for Nature Connectedness - A Grounded Theory Approach
Bridging the Gender Gap in STEM with Mobile Technology
GPS navigation... but what is it doing to us?
Arbiter: Improved Smart City Operations through Decentralized Autonomous Organization
Can the Hawkes process be used to evaluate the spread of online information?
From value-lists to value-based engineering with IEEE 7000™
Paradigms, pitfalls and the pipeline: gender issues in the information technology workforce
The impact of digital books upon print publishing
Informing Government Decision-Making with Online Citizen Feedback and Social Media: Pedestrianization of Streets
Workspace design, ergonomics and gender
Building science identity in first-year engineering students
The PIPWatch toolbar: Combining PIPEDA, PETs and market forces through social navigation to enhance privacy protection and compliance
Knowledge management and its application model in enterprise information systems
The Future of Agriculture: Analysing User Sentiment on Smart Farming with Explainable Artificial Intelligence
ICT supported extension services in conservation agriculture information access for small holder farmers in Laikipia County, Kenya
Public participation in national forest management: a case study of the Monongahela National Forest, West Virginia
Gender, culture and science: exploring underrepresentation
Wireless: from Marconi to McCaw
Bio-inspired solutions for intelligent android perception and control
SENECA method for a social evaluation of energy projects
In Search of a Pattern and Algorithmic Code for COVID-19: A Participant Self-Customized Awareness Systems for Diagnostics, Simulation, Tracing and Pattern Matching
Towards place-based privacy: Challenges and opportunities in the "smart" world
A critique of the U.S. Genetic Privacy Act
Dignity or degradation: The risks and realities of carebots in Quebec
Neuroenhancement: an Ethical Analysis
Women working at the manufacture of electrical machinery, 1904: film and text
Security implications of high-power microwave technology
Watching, welcoming, and analyzing cyberspace
Embedded governance in technology and the development of the smart grid
Discourse, Challenges, and Prospects Around the Adoption and Dissemination of Software Bills of Materials (SBOMs)
Societal-Consciousness in the Computing Curricula: A Time for Serious Introspection
Co-Designing Socio-Technical Interventions with Skilled Trade Workers
Social impact method of energy analysis: improvements and results
Cyber, Social and Communication Failures in the Implantable Medical Device Ecosystem
Watching Me, Watching You. (Process surveillance and agency in the workplace)
"About your smartphone usage" - Privacy in location-based mobile participation
Progress depends on unbalance and disorder
Applying virtual stories to enhance University students learn-to-learn competence for practicum preparation: an empirical exploratory study
Privacy, Data Rights and Cybersecurity: Technology for Good in the Achievement of Sustainable Development Goals
The Prospect of the Internet of Renewable Energy (IoRE) in Electricity Networks
The role of experts in social media - Are the tertiary educated engaged?
The socialist: "silicon ceiling": East German women in computer science
Achieving Reinforcement Learning Speedup via Quantum Kernel Estimation
Cultural imperialism and the Internet
Ethics, law and information technology: the transformative role of rhetoric
Considering sustainability through ethical approaches and their practical application
Robots, Ethics, and Pandemics: How Might a Global Problem Change the Technology's Adoption?
The "girl next door" in virtual play space: victim, or vixen, or invisible?
Critical digital systems and the ethic of expediency
Systematically designed license exams in non-native countries to accelerate globalizing pace
Limited horizons, limited influence: information technology experts and the crisis of the London Ambulance Service
The K-Net broadband deployment model: Enabling Canadian Aboriginal community control of telecom infrastructure through relationship building and heterogeneous engineering
The democratization of systems of public opinion formation
Social Vulnerability in the Context of Water Infrastructure Management
Identity, authentication, and identifiers in digital government
Security and the architectural expression of territory
Large group displays: Using differentiation of command to filter data
Co-designing a community-led Internet assessment tool in Rigolet, Nunatsiavut, Canada
Cloud Computing Data Breaches in News Media: Disclosure of Personal and Sensitive Data
Fairness of Machine Learning Algorithms for the Black Community
Globalization and international competition
ISTAS 22 Inaugural Talk - Challenges to SSIT
Antipersonnel mine detection on infrared images
A framework for applying technology to learning
Chinese and American women compared: experiences and opportunities in science and technology
Blind visionaries: A case for broadening engineers' ethical duties
Information ethics in the design, creation and use of metadata
Entrepreneurship with a design for social justice mindset: A case for Hello Tractor
A brief examination of security and crime prevention in hospitals
Ranking and Unranking Trees Using Regular Reductions
A Discontinuity in Pattern Inference
Computing the Largest Empty Rectangle
Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size
Rice-Like Theorems for Automata Networks
An O(N^(1.5+epsilon)) Expected Time Algorithm for Canonization and Isomorphism Testing of Trivalent Garphs
The Complexity of Solving Linear Equations over a Finite Ring
Distributed Online Frequency Assignment in Cellular Networks
Throughput Maximization in the Speed-Scaling Setting
Semantical Principles in the Modal Logic of Coalgebras
STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings
Ground Tree Rewriting Graphs of Bounded Tree Width
Analysis of the Harmonic Algorithm for Three Servers
Embedding Graphs with Bounded Treewidth into Optimal Hypercubes
Optimal Query Complexity for Reconstructing Hypergraphs
Counting in the Two Variable Guarded Logic with Transitivity
Real-Time Automata and the Kleene Algebra of Sets of Real Numbers
Entropy Games and Matrix Multiplication Games
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Nancy, France, March 4-6, 2010
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards
Connectivity for Wireless Agents Moving on a Cycle or Grid
Improved Algorithms for Dynamic Page Migration
An Improved Randomized Truthful Mechanism for Scheduling Unrelated Machines
Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs
Information Theory in Property Testing and Monotonicity Testing in Higher Dimension
Towards an Atlas of Computational Learning Theory
Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model (ATAM)
Model Counting for CNF Formulas of Bounded Modular Treewidth
Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries
The #a = #b Pictures Are Recognizable
Reachability in Unions of Commutative Rewriting Systems Is Decidable
Testing Generalised Freeness of Words
Matching Polygonal Curves with Respect to the Fréchet Distance
Finding and Counting Patterns in Sparse Graphs
Interval Approximations of Message Causality in Distributed Executions
Profinite Methods in Automata Theory
Derandomizing Isolation Lemma for K3, 3-free and K5-free Bipartite Graphs
Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers
Individual Communication Complexity: Extended Abstract
Dominating Cliques in Graphs with Hypertree Structures
Partially Persistent Search Trees with Transcript Operations
Rent, Lease or Buy: Randomized Algorithms for Multislope Ski Rental
Non-Deterministic Two-Tape Automata are More Powerful Then Deterministic Ones
Classes of Bounded Counting Type and their Inclusion Relations
STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings
On the Automatic Analysis of Recursive Security Protocols with XOR
Parameterized Complexity Dichotomy for Steiner Multicut
Multiple Random Walks on Paths and Grids
On Aperiodic Trace Languages
All-Pairs Nearly 2-Approximate Shortest-Paths in O(n 2 polylog n) Time
The Nature and Meaning of Perturbations in Geometric Computing
The Complete Axiomatization of Cs-congruence
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
An Automatic Speed-up of Random Access Machines with Powerful Arithmetic Instructions
Computing Optimal Tolls with Arc Restrictions and Heterogeneous Players
On Slender Context-free Languages
Lower Bounds for Multi-Pass Processing of Multiple Data Streams
Generalized Model-Checking Problems for First-Order Logic
Cost Sharing and Strategyproof Mechanisms for Set Cover Games
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
Hard Promise Problems and Nonuniform Complexity
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity
A Proof System for Type Theory and CCS
Lower Bounds on Key Derivation for Square-Friendly Applications
A Randomized Competitive Algorithm for Evaluating Priced AND/OR Trees
Toward Better Depth Lower Bounds: Strong Composition of XOR and a Random Function
Deadlock-Free Interval Routing Schemes
A Faster Algorithm for Constrained Correlation Clustering
Pay Today for a Rainy Day: Improved Approximation Algorithms for Demand-Robust Min-Cut and Shortest Path Problems
Faster Counting and Sampling Algorithms Using Colorful Decision Oracle
On the Existence of Hard Sparse Sets under Weak Reductions
Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems
Circuit Evaluation for Finite Semirings
Lower Bounds for Graph-Walking Automata
On the Decomposition of Finite-Valued Streaming String Transducers
An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical Communications
Deriving Stack Semantics Congruent to Standard Denotational Semantics
Construction of a Family of Factorizing Codes
Dominating Sets and Connected Dominating Sets in Dynamic Graphs
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers
Graph coloring, communication complexity and the stubborn problem (Invited talk)
Near-Optimal Complexity Bounds for Fragments of the Skolem Problem
A Regular and Complete Notion of Delay for Streaming String Transducers
Series-Parallel Posets: Algebra, Automata and Languages
Two-variable first order logic with modular predicates over words
Frontmatter, Foreword, Conference Organization, External Reviewers, Table of Contents
On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract)
Enumerating All Solutions for Constraint Satisfaction Problems
Split Contraction: The Untold Story
Removing epsilon-Transitions in Timed Automata
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
Strong Stability in the Hospitals/Residents Problem
Directed Regular and Context-Free Languages
Reconstructing Words Using Queries on Subwords or Factors
Evolutionary Algorithms and the Maximum Matching Problem
The Polynomially Bounded Perfect Matching Problem Is in NC 2
Combinatorial Expressions and Lower Bounds
Nondterminism Within P
Local Limit Distributions in Pattern Statistics: Beyond the Markovian Models
Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods
Convergence and Approximation in Potential Games
Testing for Unboundedness of FIFO Channels
Pattern Matching in Trace Monoids (Extended Abstract)
A Lower Bound Technique for Restricted Branching Programs and Applications
Measuring Nondeterminism in Pushdown Automata
Computability of Extender Sets in Multidimensional Subshifts
Refined Notions of Parameterized Enumeration Kernels with Applications to Matching Cut Enumeration
Kolmogorov Complexity and the Recursion Theorem
Parameterized Matching in the Streaming Model
Decremental Sensitivity Oracles for Covering and Packing Minors
Precise Average Case Complexity
Restless Temporal Path Parameterized Above Lower Bounds
The complexity of approximating conservative counting CSPs
Optimal Schedules for d-D Grid Graphs with Communication Delays (Extended Abstract)
Circuits versus Trees in Algebraic Complexity
Cheating to Get Better Roommates in a Random Stable Matching
Linear Space Data Structures for Finite Groups with Constant Query-Time
Size-Treewidth Tradeoffs for Circuits Computing the Element Distinctness Function
Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete
On Cascades of Reset Automata
Scheduling Independent Jobs on Hypercubes
Active Context-Free Games
Bi-Immunity Separates Strong NP-Completeness Notions
STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings
The Complexity of Checking Quasi-Identities over Finite Algebras with a Mal'cev Term
Extending Merge Resolution to a Family of QBF-Proof Systems
MOD p -tests, Almost Independence and Small Probability Spaces (Extended Abstract)
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
On the Construction of Optimal Time Adders (Extended Abstract)
Quantum Approximate Counting with Nonadaptive Grover Iterations
Gossiping and Broadcasting versus Computing Functions in Networks
Avoidable Patterns on 2 Letters
A Strongly Polynomial Algorithm for Linear Programs with at Most Two Non-Zero Entries per Row or Column (Invited Talk)
Complexity of Problems on Graphs Represented as OBDDs (Extended Abstract)
Large Flocks of Small Birds: on the Minimal Size of Population Protocols
On Pairwise Spanners
Preprocessing Under Uncertainty
A Packet Routing Protocol for Arbitrary Networks
The Complexity of Deciding Statistical Properties of Samplable Distributions
Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Tournaments
Implementation of a Transition Sematics for Parallel Programs with Shared Variables
Shorest Edge-Disjoint Paths in Graphs
Computational Complexity of the Extended Minimum Cost Homomorphism Problem on Three-Element Domains
Succinct Population Protocols for Presburger Arithmetic
Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs
Lempel-Ziv Factorization May Be Harder Than Computing All Runs
A ZPP NP[1] Lifting Theorem
Memory Organization Schemes for Large Shared Data: A Randomized Solution for Distributed Memory Machines
Exact Matching: Algorithms and Related Problems
Recursive Randomized Coloring Beats Fair Dice Random Colorings
Regular Tree Languages Definable in FO
The Step Failure Semantics
Parameterised Counting in Logspace
A Note on the Almost-Everywhere Hierarchy for Nondeterministic Time
Fine-Grained Algorithms and Complexity (Invited Talk)
The Ambiguity of Primitive Words
Cyclic Rational Transductions and Polynomials of Rational Functions
Shapley meets Shapley
Efficient Minimal Perfect Hashing in Nearly Minimal Space
The Complexity of Poor Man's Logic
On the Power of Border Width-2 ABPs over Fields of Characteristic 2
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings
Polynomial Time Approximation Schemes for the Multiprocessor Open and Flow Shop Scheduling Problem
Lower Bounds for Combinatorial Algorithms for Boolean Matrix Multiplication
Improved Quantum Communication Complexity Bounds for Disjointness and Equality
On Paths in Networks with Valves
Optimal Bounds on the Approximation of Boolean Functions with Consequences on the Concept of Hardware
Methodology for Proving the Termination of Logic Programs
The Büchi Complementation Saga
Decidable Sentences for Context-Free Groups
Sum-Multicoloring on Paths
Improved Online Algorithms for the Sorting Buffer Problem
Simulation of Large Networks on Smaller Networks
Inducing an Order on Cellular Automata by a Grouping Operation
Positional Determinacy of Infinite Games
Solving One Variable Word Equations in the Free Group in Cubic Time
On the Power of Parity Polynomial Time
On Sharing, Memoization, and Polynomial Time
Proximity of a Grid
Sparse Sets, Approximable Sets, and Parallel Queries to NP
On Randomness in Hash Functions (Invited Talk)
Graphical Models: Queries, Complexity, Algorithms (Tutorial)
Branching-time Model Checking of One-counter Processes
Online Bin Packing with Advice
Multi-List Ranking: Complexity and Applications
Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra
Local Density and Its Distributed Approximation
Constructive Discrepancy Minimization with Hereditary L2 Guarantees
Maximum Matching via Maximal Matching Queries
Dynamic Sharing of a Multiple Access Channel
Graph Reconstruction with a Betweenness Oracle
Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification
Randomized Algorithm for Agreeable Deadlines Packet Scheduling
Noisy (Binary) Searching: Simple, Fast and Correct
The Price of Anarchy in Cooperative Network Creation Games
Completeness and Weak Completeness Under Polynomial-Size Circuits
Statistical Physics and Algorithms (Invited Talk)
Preface - 25th International Symposium on Theoretical Aspects of Computer Science
Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces
Complexity Theoretical Results on Nondeterministic Graph-Driven Read-Once Branching Programs
On Finer Separations Between Subclasses of Read-Once Oblivious ABPs
Welfare Maximization with Friends-of-Friends Network Externalities