yusuke1997/dblp-id-title huggingface dataset:
Labelled Tableaux for Linear Time Bunched Implication Logic
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators
Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk)
Unifying Graded Linear Logic and Differential Operators
Laplace Distributors and Laplace Transformations for Differential Categories
A Quantitative Version of Simple Types
Strategies as Resource Terms, and Their Categorical Semantics
Linear Logic Using Negative Connectives
Mirroring Call-By-Need, or Values Acting Silly
Some Formal Structures in Probability (Invited Talk)
Knowledge Problems vs Unification and Matching: Dichotomy Results
Call-By-Value, Again!
Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory
Univalent Enriched Categories and the Enriched Rezk Completion
Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics
Nominal Anti-Unification with Atom-Variables
Internal Effectful Forcing in System T
A Graphical Proof Theory of Logical Time
How Can We Make Trustworthy AI? (Invited Talk)
A Linear Type System for L^p-Metric Sensitivity Analysis
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Categorical Continuation Semantics for Concurrency
Completion and Reduction Orders (Invited Talk)
Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation
For the Metatheory of Type Theory, Internal Sconing Is Enough
Duality in Action (Invited Talk)
Branch Sequentialization in Quantum Polytime
On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles
On the Lattice of Program Metrics
Polynomial Termination Over ℕ Is Undecidable
On Average-Case Hardness of Higher-Order Model Checking
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti
Conditional Bisimilarity for Reactive Systems
Nominal Techniques for Software Specification and Verification (Invited Talk)
Simulating Dependency Pairs by Semantic Labeling
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs
Refining Constructive Hybrid Games
Böhm and Taylor for All!
Computation First: Rebuilding Constructivism with Effects (Invited Talk)
Certified Decision Procedures for Two-Counter Machines
Automating Boundary Filling in Cubical Agda
Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk)
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
The Difference λ-Calculus: A Language for Difference Categories
A Fibrational Tale of Operational Logical Relations
Solvability for Generalized Applications
Two Decreasing Measures for Simply Typed λ-Terms
Commutation Groups and State-Independent Contextuality
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers
Adjoint Natural Deduction
Combining Generalization Algorithms in Regular Collapse-Free Theories
Rewriting for Monoidal Closed Categories
Galois Connecting Call-by-Value and Call-by-Name
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
Towards Constructive Hybrid Semantics
Output Without Delay: A π-Calculus Compatible with Categorical Semantics
Delooping Generated Groups in Homotopy Type Theory
On Iteration in Discrete Probabilistic Programming
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)
Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses
Positional Injectivity for Innocent Strategies
String Diagrams for Optics
What Does It Take to Certify a Conversion Checker?
Efficient Full Higher-Order Unification
Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten!
Compositional Confluence Criteria
Constraint Solving over Multiple Similarity Relations
Optimizing a Non-Deterministic Abstract Machine with Environments
WANDA - a Higher Order Termination Tool (System Description)
The New Rewriting Engine of Dedukti (System Description)
A Profunctorial Scott Semantics
Functorial Models of Differential Linear Logic
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
Recursion and Sequentiality in Categories of Sheaves
Comprehension and Quotient Structures in the Language of 2-Categories
Adequate and Computational Encodings in the Logical Framework Dedukti
Certifying the Weighted Path Order (Invited Talk)
A Reflection on Continuation-Composing Style
From Partial to Monadic: Combinatory Algebra with Effects
On Quantitative Algebraic Higher-Order Theories
A Localization Algorithm for Wireless Sensor Networks
The Adaptive Multicast Data Origin Authentication Protocol
Multicast Storage and Forwarding Method for Distributed Router
An Efficient Lookup Service in DHT Based Communication System
On the Spatial-temporal Reachability of DTNs
CoISM: Improving Security and Accuracy of BGP through Information Sharing
A Prediction Algorithm for Real-Time Video Traffic Based on Wavelet Packet
Research on Efficient Non-slotted Tree Structures for Advance Reservation
Frontiers in Internet Technologies - Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers
VRBAC: An Extended RBAC Model for Virtualized Environment and Its Conflict Checking Approach
A PSO-Optimized Nash Equilibrium-Based Task Scheduling Algorithm for Wireless Sensor Network
A Connectivity Invariant Dynamic Multichannel Assignment Method for VANET
The Evaluation of Online Social Network's Nodes Influence Based on User's Attribute and Behavior
An Efficient Short Null Keys Based Scheme for Securing Network Coding Against Pollution Attacks
Towards Internet Innovation: Software Defined Data Plane
Detecting Community Structures in Social Networks with Particle Swarm Optimization
A Conflict-Related Rules Detection Tool for Access Control Policy
A Bayesian Investment Model for Online P2P Lending
An Improved Cooperative Model of P2P and ISP
Multi-dimensional Forwarding Tables
A Personalized k-Anonymity with Fake Position Generation for Location Privacy Protection
Mining Network Behavior Specifications of Malware Based on Binary Analysis
Frontiers in Internet Technologies - Third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised Selected Papers
P2P Traffic Identification Using Support Vector Machine and Cuckoo Search Algorithm Combined with Particle Swarm Optimization Algorithm
Research on Resource Management in PaaS Based on IaaS Environment
Sub-channel and Power Allocation for Multiuser OFDM Systems with Proportional Rate Constraints Based on Genetic Algorithms
TraSt: A Traffic Statistic Framework for Evaluating 3G Charging System and Smart Phone Applications
East-West Bridge for SDN Network Peering
Mirror Data to the Ceiling: A New Completely Wireless Data Center
Assessing Survivability of Inter-domain Routing System under Cascading Failures
A Computer Network Defense Policy Refinement Method
Multi-Constrained Multi-Path Routing for Server-Centric Data Center Networks
Hierarchical Adaptive Recovery Algorithm in Mobile ALM
A Novel Direct Anonymous Attestation Scheme Using Secure Two-Party Computation
Performance Evaluation of Routing Schemes in Data Center Clos Networks
An Efficient Update Mechanism for GPU-Based IP Lookup Engine Using Threaded Segment Tree
'Dark Germany': Temporal Characteristics and Connectivity Patterns in Online Far-Right Protests Against Refugee Housing
Phans, Stans and Cishets: Self-Presentation Effects on Content Propagation in Tumblr
The effect of user features on churn in social networks
R -energy for evaluating robustness of dynamic networks
Unpicking the privacy paradox: can structuration theory help to explain location-based privacy decisions?
Archetypal Narratives in Social Machines: Approaching Sociality through Prosopography
Web Access Literacy Scale to Evaluate How Critically Users Can Browse and Search for Web Information
Toward a next generation of network models for the web
Recipe recommendation using ingredient networks
Is There Personalization in Twitter Search? A Study on polarized opinions about the Brazilian Welfare Reform
Public versus Less-Public News Engagement on Facebook: Patterns Across Bias and Reliability
SPENCE: a model to describe, measure and map online/offline community
Don't worry, be happy: the geography of happiness on Facebook
Internet use, in- and exclusion in decision-making processes within political parties
Abortion and Miscarriage on Twitter: Sentiment and Polarity Analysis from a gendered perspective
The Drift of #MyBodyMyChoice Discourse on Twitter
Towards a theoretical approach for analysing music recommender systems as sociotechnical cultural intermediaries
Examining the Role of Mood Patterns in Predicting Self-Reported Depressive symptoms
Measuring Digital Literacy with Eye Tracking: An examination of skills and performance based on user gaze
An investigation into correlations between financial sentiment and prices in financial markets
EAN: Event Attention Network for Stock Price Trend Prediction based on Sentimental Embedding
How "big vs" dominate chinese microblog: a comparison of verified and unverified users on sina weibo
Towards Safer Online Spaces: Deep Learning for Hate Speech Detection in Code-Mixed Social Media Conversations
The Rise and Fall of Fake News sites: A Traffic Analysis
Towards a Novel Benchmark for Automatic Generation of ClaimReview Markup
AAA: Fair Evaluation for Abuse Detection Systems Wanted
The problem of identifying misogynist language on Twitter (and other online social spaces)
Cores matter? An analysis of graph decomposition effects on influence maximization problems
Is there anybody out there?: social media as a new social fetish
The web as an adaptive network: coevolution of web behavior and web structure
Opinions on Homeopathy for COVID-19 on Twitter
Beyond Sentiment: Examining the Role of Moral Foundations in User Engagement with News on Twitter
The utility of social and topical factors in anticipating repliers in Twitter conversations
Noospheric consciousness: integrating neural models of consciousness and of the web
HAEM: Obtaining Higher-Quality Classification Task Results with AI Workers
Information diffusion on twitter: the case of the 2013 iranian presidential election
Emotional States vs. Emotional Words in Social Media
Not Here, Go There: Analyzing Redirection Patterns on the Web
A content-linking-context model for "notice-and-take-down" procedures
Can we predict eat-out preference of a person from tweets?
EDSV: Emerging Defect Surveillance for Vehicles
Insights from brands in Facebook
Community detection: from plain to attributed complex networks
Experiences surveying the crowd: reflections on methods, participation, and reliability
Link recommendations: Their impact on network structure and minorities
Focused Crawl of Web Archives to Build Event Collections
Analyzing Textual (Mis)Information Shared in WhatsApp Groups
Topical anomaly detection from Twitter stream
Behavioural role analysis for multi-faceted communication campaigns in Twitter
LlamaFur: learning latent category matrix to find unexpected relations in Wikipedia
YouTubers Not madeForKids: Detecting Channels Sharing Inappropriate Videos Targeting Children
Understanding video-ad consumption on YouTube: a measurement study on user behavior, popularity, and content properties
Abstractions, Expressions and Online Collectives
You shall not pass: detecting malicious users at registration time
A new system for evaluating brand importance: A use case from the fashion industry
Challenging social media analytics: web science perspectives
Latent dirichlet allocation: stability and applications to studies of user-generated content
Using social network analysis to predict online contributions: the impact of network diversity in cross-cultural collaboration
Internet Regulation Media Coverage in Russia: Topics and Countries
Rethinking measurements of social media use by charities: a mixed methods approach
'Digital Wildfires': a challenge to the governance of social media?
YouTubing at Home: Media Sharing Behavior Change as Proxy for Mobility Around COVID-19 Lockdowns
The configuration of networked publics on the web: evidence from the Greek Indignados movement
Predicting Political Polarization from Cyberbalkanization: Time series analysis of Facebook pages and Opinion Poll during the Hong Kong Occupy Movement
Bad news travel fast: a content-based analysis of interestingness on Twitter
Developing the 'Pro-human' Web
ICTs, Social Media and Tendencies of Radicalization in the Sahel: [Keynote Web Science Workshop DigDivDigHum-20]
On the Characteristics of Ranking-based Gender Bias Measures
Scholarometer: a system for crowdsourcing scholarly impact metrics
On Identifying Anomalies in Tor Usage with Applications in Detecting Internet Censorship
Dogs Good, Trump Bad: The Impact of Social Media Content on Sense of Well-Being
Amplifying Academic Research through YouTube: Engagement Metrics as Predictors of Citation Impact
Ongoing Events in Wikipedia: A Cross-lingual Case Study
Subgraph Representation Learning for Team Mining
Online Footsteps to Purchase: Exploring Consumer Behaviors on Online Shopping Sites
Are mobile users more vigilant?
Analysing the duration of trending topics in Twitter using wikipedia
From Yellow Peril to Model Minority: Asian stereotypes in social media during the COVID-19 pandemic
Detecting Multimodal Fake News with Gated Variational AutoEncoder
Explanations for AI: Computable or Not?
Analysing the Effect of Recommendation Algorithms on the Spread of Misinformation
The Web Practice of Mathematicians on the Web: An Insight into Significant but Neglected Web Groups
Towards web documents quality assessment for digital humanities scholars
The Potential for Serious Spaceships to Make a Serious Difference
Infowar on the Web: When the Caliphate goes Online
RTbust: Exploiting Temporal Patterns for Botnet Detection on Twitter
BlueFinder: recommending wikipedia links using DBpedia properties
Are user-contributed reviews community property?: exploring the beliefs and practices of reviewers
Geolocated Social Media Posts are Happier: Understanding the Characteristics of Check-in Posts on Twitter
An Automated Pipeline for Character and Relationship Extraction from Readers Literary Book Reviews on Goodreads.com
Understanding the Effect of Deplatforming on Social Networks
Too Little, Too Late: Moderation of Misinformation around the Russo-Ukrainian Conflict
Popular, but hardly used: Has Google Analytics been to the detriment of Web Analytics?
General Collective Intelligence and Web Science
Wisdom of the local crowd: detecting local events using social media data
Exploring Web Archives Through Temporal Anchor Texts
Proceedings of the 16th ACM Web Science Conference, WEBSCI 2024, Stuttgart, Germany, May 21-24, 2024
Location tracking via social networking sites
A Broad Evaluation of the Tor English Content Ecosystem
Young People's Policy Recommendations on Algorithm Fairness
WebSci '22: 14th ACM Web Science Conference 2022, Barcelona, Spain, June 26 - 29, 2022
Introduction to WebSci'21 Workshop 'Democratic Futures and the Web'
Toward Google borders
Good News for People Who Love Bad News: Centralization, Privacy, and Transparency on US News Sites
WebSci '21: 13th ACM Web Science Conference 2021, Virtual Event, United Kingdom, 21-25 June, 2021, Companion Publication
WebSci '21: 13th ACM Web Science Conference 2021, Virtual Event, United Kingdom, June 21-25, 2021
Negotiating the web science curriculum through shared educational artefacts
Global Digital Infrastructure in a Post-Pandemic World
DistrustRank: Spotting False News Domains
Social Biases in Knowledge Representations of Wikidata separates Global North from Global South
TweetSense: Context Recovery for Orphan Tweets by Exploiting Social Signals in Twitter
Institutional Repositories as a Data Trust Infrastructure
Enhancing Creativity as Innovation via Asynchronous Crowdwork
Mining cross-cultural relations from Wikipedia: A study of 31 European food cultures
When the filter bubble bursts: collective evaluation dynamics in online communities
Decentralization Funded by Centralization: Understanding Crypto Joint-Investment Network
Reading the source code of social ties
A longitudinal study of the top 1% toxic Twitter profiles
Graph structure in the web: aggregated by pay-level domain
Limiting Tags Fosters Efficiency
Tracking Twitter for epidemic intelligence: case study: EHEC/HUS outbreak in Germany, 2011
Bigger Isn't Better: The Ethical and Scientific Vices of Extra-Large Datasets in Language Models
Social Gamification in Enterprise Crowdsourcing
What sets Verified Users apart?: Insights, Analysis and Prediction of Verified Users on Twitter
Automated Discovery of Internet Censorship by Web Crawling
Paving the WAI: Defining Web-Augmented Interactions
Auditing Algorithmic Bias on Twitter
Breaking Cycles In Noisy Hierarchies
Buying unlicensed slimming drugs from the web: a virtual ethnography
Web Science for Digital Empowerment: WSDC 2021
Live It Up: Analyzing Emotions and Language Use in Tweets during the Soccer World Cup Finals
The Role of Interface Design on Prompt-mediated Creativity in Generative AI
Gender Classification and Bias Mitigation in Facial Images
What Makes Some Workplaces More Favorable to Remote Work? Unpacking Employee Experiences During COVID-19 Via Glassdoor
Measuring and Characterizing Hate Speech on News Websites
Loosing "friends" on Facebook
Are Anti-Feminist Communities Gateways to the Far Right? Evidence from Reddit and YouTube
Query for Architecture, Click through Military: Comparing the Roles of Search and Navigation on Wikipedia
The new blocs on the block: using community forums to foster new neighbourhoods
Investor Retention in Equity Crowdfunding
An activity-based information-theoretic annotation of social graphs
Analyzing temporal dynamics in Twitter profiles for personalized recommendations in the social web
Under the Shadow of Sunshine: Characterizing Spam Campaigns Abusing Phone Numbers Across Online Social Networks
How much is said in a microblog?: A multilingual inquiry based on Weibo and Twitter
Unpacking the Dilemma: The Dual Impact of AI Instructors' Social Presence on Learners' Perceived Learning and Satisfaction, Mediated by the Uncanny Valley
Social media analytics for understanding inter-region interest change dynamics and their causes
Measuring tie strength in implicit social networks
The Effect of Collective Attention on Controversial Debates on Social Media
Mining user behaviours: a study of check-in patterns in location based social networks
Data and algorithmic bias in the web
Fighting Against Fake News During Pandemic Era: Does Providing Related News Help Student Internet Users to Detect COVID-19 Misinformation?
Survey on governance of user-generated content in web communities
Ranking Buildings and Mining the Web for Popular Architectural Patterns
What makes a viral song? Unraveling music virality factors
From networked publics to issue publics: reconsidering the public/private distinction in web science
Reconceptualizing imitation in social tagging: a reflective search model of human web interaction
Empowering Borrowers in their Choice of Lenders: Decoding Service Quality from Customer Complaints
Efficient Tracking of Breaking News in Twitter
GitHub Repository Complexity Leads to Diminished Web Archive Availability
Studying Personality through the Content of Posted and Liked Images on Twitter
A manifesto for data sharing in social media research
Uncovering the Nucleus of Social Networks
Multi-Means Analysis of Information Diffusion in Telegram
Pelagios and the emerging graph of ancient world data
An Initial Study of Depression Detection on Mandarin Textual through BERT Model
Building Sociality through Sharing: Seniors' Perspectives on Misinformation
Mining web query logs to analyze political issues
The psychology of job loss: using social media data to characterize and predict unemployment
Identifying research talent using web-centric databases
Drivers of Polarized Discussions on Twitter during Venezuela Political Crisis
"Subverting the Jewtocracy": Online Antisemitism Detection Using Multimodal Deep Learning
Large-scale analytics of dynamics of choice among discrete alternatives
Stateless Puzzles for Real Time Online Fraud Preemption
The Ethical Challenges of Publishing Twitter Data for Research Dissemination
Why individuals seek diverse opinions (or why they don't)
Petition growth and success rates on the UK No. 10 Downing Street website
Characterizing Regional and Behavioral Device Variations Across the Twitter Timeline: A Longitudinal Study
Using Semantically Unrelated and Opposite Terms for In-Context Learning: A Case Study in Identifying Political Aversion in Tweets
Towards Real-time Lifetime Prediction of Information Diffusion
Scientific Accountability: Detecting Salient Features of Retracted Articles
The Secret Life of Immortal Data
Language on Reddit Reveals Differential Mental Health Markers for Individuals posting in Immigration Communities
Analyzing Political Discourse on Discord during the 2024 U.S. Presidential Election
Blockchain for Social Good: Combating Misinformation on the Web with AI and Blockchain
Lost in Recursion: Mining Rich Event Semantics in Knowledge Graphs
Virtual caucasus on VK social networking site
Colonel Blotto on Facebook: the effect of social relations on strategic interaction
How to Conduct an Ethics Assessment of AI in Policing
Everybody Thinks Online Participation is Great - for Somebody Else: A Qualitative and Quantitative Analysis of Perceptions and Expectations of Online Participation in the Green Party Germany
Digital Sabotage and Inter-Community Dynamics: An Empirical Examination of Reddit's 2023 Moderator Strike
Comparing Audience Appreciation to Fact-Checking Across Political Communities on Reddit
Propaganda and Misinformation on Facebook and Twitter during the Russian Invasion of Ukraine
Towards a Cyberphysical Web Science: A Social Machines Perspective on Pokémon GO!
A Unified Deep Learning Architecture for Abuse Detection
Rumoring during extreme events: a case study of deepwater horizon 2010
On the use of Jargon and Word Embeddings to Explore Subculture within the Reddit's Manosphere
Characterizing and Predicting Social Correction on Twitter
Uncovering the wider structure of extreme right communities spanning popular online networks
Exploring Long Running News Stories using Wikipedia
Supply and demand of independent UK music artists on the web
Britain's Mood, Entailed Weekly: In Silico Longitudinal Surveys with Fine-Tuned Large Language Models
Harnessing Collective Intelligence in P2P Lending
Who is targeted? Detecting social group mentions in online political discussions
Deciphering Conversational Networks: Stance Detection via Hypergraphs and LLMs
Public Perception of a Country: Exploring Tweets About Qatar
Fake News vs Satire: A Dataset and Analysis
The communication infrastructure during the learning process in web based collaborative learning systems
Web science and human-computer interaction: when disciplines collide
Here Be Livestreams: Trade-offs in Creating Temporal Maps of Reddit
Analyzing Discourse Communities with Distributional Semantic Models
A Typology of Socialbots (Abbrev.)
Teaching Data Journalism in a World of Tool and Tech Overload
InstaCan: Examining Deleted Content on Instagram
Web dynamics as a random walk: how and why power laws occur
Exploring the Potential of Knowledge Graphs to Support Distant Knowledge Search for Innovation
Micro Archives as Rich Digital Object Representations
Value Activity Monitoring
Developing an Indigenous Cultural Values Based Emoji Messaging System: A Socio-Technical Systems Innovation Approach
Proceedings of the 1st International Workshop on Online Safety, Trust and Fraud Prevention, OnSt@WebSci 2016, Hannover, Germany, May 22-25, 2016
Sic transit gloria mundi virtuali ?: promise and peril in the computational social science of clandestine organizing
Diabetes Tracker: An Information System to assist and track nutritional information
Research Infrastructure for Web Science
Framing the Fray: Conflict Framing in Indian Election News Coverage