yusuke1997/dblp-id-title huggingface dataset:
Software Engineering for Mathematics
Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics
Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge
Automating Abstraction Computation of Hybrid Systems
POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics
Isabelle as Document-Oriented Proof Assistant
OpenMath-RDF: RDF Encodings for OpenMath Objects and Content Dictionaries
Biform Theories in Chiron
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code
Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
Incidence Simplicial Matrices Formalized in Coq/SSReflect
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics
A Formalization of All Notions in the Statement of a Theorem by Deligne
Metamath Zero: Designing a Theorem Prover Prover
Formalization of Bing's Shrinking Method in Geometric Topology
Formalizing a Named Explicit Substitutions Calculus in Coq
The ForMaRE Project - Formal Mathematical Reasoning in Economics
Learning2Reason
An Architecture for Distributed Mathematical Web Services
Large Formal Wikis: Issues and Solutions
Formalizing the Gromov-Hausdorff space
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
Sophize Markdown and Collaboration Interface
Formalizing Coppersmith's Method in Isabelle/HOL
Validating Mathematical Theorems and Algorithms with RISCAL
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices
Guiding Inferences in Connection Tableau by Recurrent Neural Networks
Proving an Execution of an Algorithm Correct?
A Proof-Theoretic Approach to Hierarchical Math Library Organization
Formula Concept Discovery and Recognition
Producing Symmetrical Facts for lIsts induced by the List Reversal Mapping in Isabelle/HOL (short paper)
Evasiveness Through Binary Decision Diagrams
Predicate Logic with Sequence Variables and Sequence Function Symbols
Type Inference for ZFH
Certified Algorithms for Numerical Semigroups in Rocq
Monitoring the Impact of Teacher's Intervention in Inquiry-Based Mathematics Learning with the use of Dynamic Geometry
Remote Verification System for Mizar Integrated with Emwiki
Deep Learning for Automated Theorem Proving - Extended Abstract
Theory Morphisms in Church's Type Theory with Quotation and Evaluation
Equational Generalization Problems with Atom-Variables
Proof Transformation by CERES
Recommendation systems in mathematical character recognition
FEncy: Spreadsheet Formulae Exploration
A Meta Language for Mathematical Reasoning
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Lightweight Realms
Strategies for Parallel Markup
Zeta Types and Tannakian Symbols as a Method for Representing Mathematical Knowledge
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019
The Omega Number: Irreducible Complexity in Pure Math
The SymbolicData Project - Towards a Computer Algebra Social Network
Software Citations, Information Systems, and Beyond
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
Highlighting Named Entities in Input for Auto-formulation of Optimization Problems
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus
BNF-Style Notation as It Is Actually Used
On the Formalization of the Heat Conduction Problem in HOL
Krextor - An Extensible Framework for Contributing Content Math to the Web of Data
Integrating Web Services into Active Mathematical Documents
Automating Change of Representation for Proofs in Discrete Mathematics
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
Using Formal Concept Analysis in Mathematical Discovery
Proving Results About OEIS Sequences with Walnut
2012 - A Year of
Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval
A Cross-Platform Open Source 3D Object Reconstruction System using a Laser Line Projector
Effiziente Modellierung von 2D-Polygonen auf Touchscreens
Application-specific Semantic Information Extraction from Unstructured Data
48 GHz Power Amplifier for mm-wave LO Distribution Circuitry in 90 nm CMOS
Annotating Table Headers Based on Semantic Web Resources
A Comparison between Principal Component Analysis and Factor Analysis
Forderungen an ein Datenmodell für Rekombination als Ansatz für Künstliche Kreativität
Gamification in der Softwareentwicklung: Chancen und Möglichkeiten
Using a Dynamic Schedule to Increase the Performance of Tiling in Stencil Computations
Survey of Feature Detectors and Descriptors in Surgical Domain
Flow-Design and Event-Based Components: A New Approach in Designing Software Compared to Established Procedures
Computational Modeling of Stereolithography
Efficient Downscaling of JPEG-Compressed Images
Design and Implementation of a Model-Driven Approach for Restful APIs
5th IEEE Germany Student Conference, IEEE GSC 2014, June 26-27, 2014, Passau, Germany
The future of homomorphic cryptography in Smart Grid applications
ATHLET Framework for Embedding/Extending: An Efficient, Flexible & Easy-to-use Python Framework to a Large FORTRAN Code
Analysis of a Distributed Cluster-Based Spectrum Mobility Protocol for Cognitive Radio Ad-Hoc Networks
Interactive Visualizations for Search Processes
The Gold Standard in Corpus Annotation
Biometric Identification Based on Iris Pattern
Comparison of Trace-Port-Designs for On-Chip-Instruction-Trace
Estimating Potential Parallelism by Data-Dependence Profiling
Bit Error Rate Testing Serial Communication Equipment using Pseudo-Random Bit Sequences
Model-Driven Development of a Biosignal Analysis Framework: Benefits and Impacts on Processes
3th IEEE Germany Student Conference, IEEE GSC 2012, November 8-9, 2012, Passau, Germany
A Framework for Aligning Ontologies
Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings
Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt
Logical Reconstruction of RDF and Ontology Languages
On Subtyping of Tree-Structured Data: A Polynomial Approach
Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits
A PDDL Based Tool for Automatic Web Service Composition
Combining Safe Rules and Ontologies by Interfacing of Reasoners
Composing Frameworks and Components for Families of Semantic Web Applications
XML Querying Using Ontological Information
Web Rules Need Two Kinds of Negation
Rules and Queries with Ontologies: A Unified Logical Framework
The RuleML Family of Web Rule Languages
Generating Contexts for Expression Data Using Pathway Queries
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules
Semantic Web Reasoning for Analyzing Gene Expression Profiles
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying
Fuzzy Time Intervals System Description of the FuTI-Library
Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining
Integrating Description Logics and Answer Set Programming
Extending an OWL Web Node with Reactive Behavior
Information Gathering in a Dynamic World
Static Type-Checking of Datalog with Ontologies
Reasoning with Temporal Constraints in RDF
XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages
Bidirectional Mapping Between OWL DL and Attempto Controlled English
On Reasoning on Time and Location on the Web
Semantic Web Architecture: Stack or Two Towers?
Towards More Precise Typing Rules for
A Geospatial World Model for the Semantic Web
Systematics and Architecture for a Resource Representing Knowledge about Named Entities
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Towards the Adaptive Semantic Web
Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt
A General Language for Evolution and Reactivity in the Semantic Web
On Types for XML Query Language Xcerpt
SomeWhere in the Semantic Web
Semantic Web Logic Programming Tools
DR-DEVICE: A Defeasible Logic System for the Semantic Web
Web Queries with Style: Rendering Xcerpt Programs with CSS NG
Reasoning about Communicating Agents in the Semantic Web
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in AL-Log
Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
A Revised Architecture for Semantic Web Reasoning
Semantic Web Reasoning for Ontology-Based Integration of Resources
A Visual Language for Web Querying and Reasoning
Interaction Protocols and Capabilities: A Preliminary Report
A Prototype of a Descriptive Type System for Xcerpt
Extracting Mathematical Semantics from Documents
Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints?
Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming
AMa chi oS - Abstract Machine for Xcerpt: Architecture and Principles
Reasoning in Attempto Controlled English
Semantic Web Reasoning Using a Blackboard System
Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
Supporting Open and Closed World Reasoning on the Web
Towards Generic Query, Update, and Event Languages for the Semantic Web
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach
Descriptive Typing Rules for Xcerpt
Computational Treatment of Temporal Notions: The CTTN-System
Automated Reasoning Support for First-Order Ontologies
Developing an Understanding of Digital Intelligence as a Prerequisite of Digital Competence
Applying Lessons Learned from Counselling: on Nurturing Relations in E-Government Projects
The 5th Mediterranean Conference on Information Systems, MCIS 2010, Tel-Aviv-Yaffo Academic College, Tel Aviv, Israel, September 12-14, 2010
Information Systems Change as Process: The Case of Forskerfabrikken
An Attempt to Define Context Awareness in Mobile E-Health Environments
Paradoxes of Visibility in Activism: The Inter-play of Online Power Dynamics Between Activists and the State in the Egyptian Revolution
Rethinking Sustainable Public Organizations by Information Technology
The Use Of Free And Paid Digital Product Reviews On Mobile Devices In In-Store Purchase Situations
A Review of SD-Logic Resources in Information Systems
A Methodology for Economic Crisis Policy Analytics
Remote Elderly Monitoring Systems on a Human-centric Perspective
Relational Agency in Software Development Collaborations: the Case of the E-demon Project Team in the UK E-Science Programme
Towards Digital Business Process Models in Higher Education Institutions: a Case Study based on the Onboarding of Student Employees
An Exploratory Study Of The Effects Of Virtuality On Team Effectiveness
Bridging the Gap between Business Process Modeling and Software Requirements Analysis: a Case Study
Proposing A Supply Chain Analytics Reference Model As Performance Enabler
The Knowledge-Gap Reduction in Software Engineering
Value Creation through Data tracking Technologies in the Football Industry obstacles and dysfunctional effects
Emerging Challenges of Online video for Learning
An Ontology to Support Non-Invasive Diagnosis of Heritage Metals
Contextual Computing Based Services in Tourism
REPRESENTATION OF MULTI-STRUCTURED Documents with OWL. Applications to Philology
Trust in Co-sourced Software Development
Innovating Science: Open Access and the Situated Field of Physics
Developing A System To Evaluate Text's Suitability For Use In Greek Language Teaching
Process Models as Transformation Vehicle for Strategic Alignment
Can Design Science be Used for Design?
In Search of a Possible the Missing Variable - the Relationship between Trust, Learning Involvement, and KMS Adoption
A Tool For Teaching Spline Methods In A Computer Graphics Course
Impact Of Business And Information Strategies Alignment On Business Performance
A First Literature Review On Enterprise Reference Architecture
Use of E-Participation Tools for Support of Policy Modelling at Regional Level
Emerging Models for Corporate Welfare and HR Management in the Service-dominant Logic
Crowdsourcing Travel Experience: a Case Study of User Participation on the Tourism Australia Facebook Page
Knowledge Sharing in a Cultural Heritage Context: an Exploratory Study
Information Systems Governance as a System of Rules: Hierarchical and Heterarchical Implementation
A SWOT Analysis of the Soft-Computing Paradigms SOA/SoC/Cloud Combination (C-SOA) in Software Development
Now: the participatory Marketplace for a Tourist Destination
Satisfaction And Continuance In An Online Information Market
E-Readiness of the Service Enterprises in China
Hierarchical Examination of Success Factors across ERP Life-Cycle
The Socio-Logic Of The IT Marketplace And Long-term Relationships Between Banks And IT Fims
Means Of Achieving Business Process Management Success Factors
A Question of Progress: Face-to-Face Relationships versus Face-to-Screen Relationships
Evaluating Privacy Practices in Web 2.0 Services
An Exploration Of Parameters Affecting Employee Energy Conversation Behaviour At The Workplace, Towards IOT-Enabled Behavioural Interventions
From Understanding to Use and Compete: A translational Platform for Business Transformation
Ideal Types of Online Shoppers - A Qualitative Analysis of Online Shopping Behavior
Collaboration in Digitalized Environment: multitouch as a boundary Object
Building Physicians' Trust In e-Health: An Application To EHCR Systems
Use of ERP Systems: a Social shaping Perspective
The Role of Path Dependence in the Business Model Adaptation: from Traditional to Digital Business Models
Challenges to Newspapers in Digital Platform Ecosystems
The determinants of Cloud Computing Adoption by Large European Firms
The Effects of Enterprise Systems on the Absorptive Capacity of Greek Firms
Profiting from Customer Data: a Proposed Research Agenda
Who Pays "Premium" in the Age of Free Services? Findings from a Media Website
Usage Patterns of Health Information Exchange: Antecedents and Consequences
Systems Analysts in Chaordic Organizations
A Qualitative Evaluation of a Cross-Border Identity Management System to Support Public Administration: Insights and Lessons Learned
Analyzing Sentiments from Social Media: The Case of Financial Markets
Trust in e-Voting Systems: A Case Study
A Study into the Classification of Enterprise Architecture Benefits
Habits In virtual Teams: An Exploratory Study
The Role Of Affective Commitment In ERP Adoption: An Empirical Study
Does Distance Matter? An is curriculum Challenge
Critical Privacy Factors of Internet of Things Services: An Empirical Investigation with Domain Experts
A Framework For Service Preliminary Planning In e-Government Initiatives
Emerging Collective Intelligence Business Models
Decentralization Analysis based on Blockchain Technology Related Projects
Mobile Apps for Omnichannel Retailing: Revealing the Emerging Showroom Phenomenon
Aligning Security Awareness With Information Systems Security Management
Integration of Internet Users in Innovation Processes
Open and Responsible Innovation Concepts for Competitive Advantage
A Distributed E-Learning Service for Remote Areas
Enhancing Computer Mediated Communication by Designing an Email Prototype: a Case Study
A Second Step Back for Managing Ambiguity besides Reducing Uncertainty
Determinants of Acceptance of Mobile Games through Structural equation Modeling
Using Time-Series and Sentiment Analysis to Detect the Determinants of Bitcoin Prices
Characteristics Of Social Networking Services
Economic Perspective Of Omnichannel: A Preliminary Analysis
The Message Content Category As Analysis Unit For Discussions Study In Asynchronous Distance Education Fora
A Multi-Theoretical Framework of Motivation in Open Source Software
Drivers of Business Intelligence-based Value Creation: The Experts' View
Herding cats: or Model-Based Alignment of Heterogeneous Practices
Contextual Design in Information Systems - a participatory Approach Based on Understanding Practices, Meanings and Challenges?
Adoption Of Electronic Supply Chain Collaboration Services: The Effect Of Collaboration Climate And The Role Of Perceptions Of E-Marketplace Participation Impact
Resources for Configurability in an Organizational Project of ERP Implementation: a Case from the Italian Public Administration
An assessment of the ICT Security Skills in the Industrial Sector as Provided Through Education and Training
Performance Analysis of Public Cloud Computing Providers
Exploring Hotel Service Quality Experience Indicators in User-Generated Content: a Case Using Tripadvisor Data
Map Requirement Engineer Model (Shipping Domain)
Trust, Privacy and Transparency with Blockhain Technology in Logistics
How is Gamification Perceived in Health and Wellness Technology Companies: Views from Four Companies of Different Size
Expanding Business from Products to Digital Services: Value Dimensions of Digital Services Enabled by Embedded Technology
Service-Oriented Architecture Adoption In A Portuguese Company: A case Study
Crudi Framework - Maximizing ROI and Agility in Information Systems Investment Decisions
Evaluation Of e-Government Services From The Citizen Perspective
Mobile Data Services Usage: An In Depth Investigation Of The Influence Of The "Personal Layer" Of Place
A Framework that enables the Use of Experience in Conceptual Modelling
Big Data and Strategy: A research Framework
How do IT Resources Support the Value Generation Process of the Organization? An Ontology Based Approach
The Emergence of the 'Silent-Traveller': Cyprus as an Innovative Destination
Policy Processes Support through Interoperability with Social Media
Privacy and the Digital Generation Gap: Myth and Reality
Managing Heterogeneity in Search-advertisers' Objectives
Erp Impact on Strategic Flexibility of the Firm: the Case of Tunisian SME's
Securing Video Integrity Using Decentralized Trusted Timestamping on the Bitcoin Blockchain
Emotions while Shopping on Web sites: a Research Proposal
Long-Term Quality Outsourcing Relationships: not a Chimaera anymore! Sec Services as a Prime Example in the Banking Sector
Mobility and Security in the New Way of Working: Employee Satisfaction in a Choose Your Own Device(CYOD) Environment
Metis : Creativity Of Global Virtual Teams Applied To New Product Development
RFID-Integrated Retail Supply Chain Services: Lessons Learnt From The Smart Project
Institutional effects of Comparative Government regulation for the Protection and Privacy of Health Data in the Cloud
Mobile Application Privacy Risks : Viber Users' De-Anonymization Using Public Data
Information Systems and Stakeholder engagement - First Results from Content Analysis
Tangible Information Technology Infrastructure Assets and Organizational Agility: an Investigation of manufacturing Small and Medium Enterprises
Students' Misconceptions of Java Exceptions
Developing A User-Consumer Typology In The Context Of Location Based Mobile Services: A Multidisciplinary Research Approach
LESIM: A Novel Lexical Similarity Measure Technique for Multimedia Information Retrieval
Relationship between Outsourcing and ICT Adoption in Facility Management Supply Chain
Big Data Technologies: Additional Features or Replacement for Traditional Data Management Systems?
Classifying Web 2.0 Supported Applications By Pattern Of Usage: Functional & Technical ISSUES
Crowdsourcing Innovation: A Risk Management Approach
Adoption of E-Services in Libraries: Danish Experiences and Challenges
The Matrix: Techno-Human Actors and Special effects as a Vehicle for is Research Dissemination
Belonging to T- or l-Profession? About Professional and Organizational Challenges for Knowledge Management
A Study of Users' Perception of IT Governance During Information Technology Adoption in Organisations
Did the Reduction of ICT Investment due to the 2008 Economic Crisis Affect the Innovation Performance of Firms? - An Exploratory Analysis Based on Firm Data for the European Glass, Ceramics and Cement Industry
Motivational Factors For IT Compliance With A Mandated IS: The Case Of A University
An Empirical Investigation of the Drivers and Outcomes of Information Technology Governance by Boards of Directors
Design And Lab Experiment Of A Stress Detection Service Based On Mouse Movements
It Based Production Management in Medium Sized Industrial Businesses - an Empirical Study
Cryptocurrency Value Formation: An Empirical Analysis Leading to a Cost of Production Model for Valuing Bitcoin
Case Study: Development of Egovernmnet Information Systems in Bulgaria
A Socio-Technical Perspective on reproducibility in Research Data Management
Which "kind" of Trust for Buying Online? An Intercultural Study
From Self-interest To Commons: Distinct Aspect Of social Bookmarking Services
Building A Big Data Analytical Pipeline With Hadoop For Processing Enterprise XML Data
A Systematic literature Review of the Application of Capability Approach in the ICT4D studies
Architectural Coordination of Transformation: Implications from Game Theory
The Impact Of Digital Transformation In The Financial Services Industry: Insights From An Open Innovation Initiative In Fintech In Greece
Public-sector Digitization: An Analytical Cost-effective Framework
On the Creation of Sustainable Design Patterns of ICT Integration in the Classroom
Italy's One-stop Business shops: Why 'Innovation by Law' is a Car without wheels
Exploring The Efforts Of The Greek State To Implement ICT Programmes: An Alternative Interpretation
A Model for the Portuguese Online Retailers Adoption of Web 2.0 Tools
Intra-transactional Interaction in Internet Auctions: The Impact on Outcomes
Ten Million Tourists in 2010 How Morocco Can Succeed by Developing E-Tourism
Examining the Factors that Influence the IT Innovation Process
Continuous Auditing: A Practical Maturity Model
Web Observatories: Concepts, State Of The Art & Beyond
Transformation From Business Process Models To Process Ontology: A Case Study
Towards Global E-Agriculture: the Challenge of Web-Based Decision Support Systems for Growers
IT Outsourcing Governance: Contracts, Relationships And Modes Of Control
Hard And Soft ICT Capital And Cloud Computing Benefits
The Effect Of Online Reviews On Hotel Pricing
Information Systems Outsourcing: an Empirical Study of Success Factors
Schedules of Reinforcement and Game Experience
Tweeting from the Danger Zone: the Use of Twitter by Emergency Agency during Mitchell Factory Fire in Canberra
The Case Of The Local Information Society Of e-Trikala
Integrating Disaster Recovery Plan Activities Into The System Development Life Cycle
Users' Attitudes on Mobile Devices: Can Users' Practices Protect their Sensitive Data?
The Civil Society as an Innovation Partner in Public Policy Making: Co-Creating the Greek National Action Plan on Open Government
Information Seeking Strategies in Organizational Information Architecture
Business Process Model Reuse In A Multi-Channel / Multi-Product Environment-Problem Identification And Tentative Design
The lost Dimension of Strategic Alignment
A short survey on modern virtual environments that utilize AI and synthetic data
Supply Chain Business Process And IT Infrastructure Support For Cultivating Absorptive Capacity Capability: A Cluster Analysis Study