yusuke1997/dblp-id-title huggingface dataset:
Early Theorising of Information Systems and their Larger Contexts. Personal Experiences and Reflections
"Nothing I could use at all"
Value-sensitive Action Design Research. Improving the consideration and traceability of values in design decisions
Software Process Improvement and Human Judgement Heuristics
Introduction the debate section: A short review to the past and present of participatory design
The Shaping of the Scandinavian Socio-Technical IS Research Tradition. Confessions of an accomplice
Designing for Prolonged Mastery. On involving old people in Participatory Design
Software Effort Estimation as Collective Accomplishment: An analysis of estimation practice in a multi-specialist team
From Physical Food Security to Digital Food Security. Delivering value through blockchain
Information Technology and Transitions in the Public Service: a Comparison of Scandinavia and the United States
Taking the Longer Road
Debating Sociomateriality: Entanglements, imbrications, disentangling, and agential cuts
Switching Behaviour in Smartphone Messaging Services The influences of context, content, and service features
Http Log Analysis: An Approach to Studying the Use of Web-Based Information Systems
Information Systems Research and Social Responsibility
Intuitive User Interfaces
Articulation of Actions in Distributed Collaborative Learning
Work Informatics - Mon Amour
Political Artifacts In Scandinavia: An American Perspective
Supporting Design Communication with Explicit Representation of Evaluation Feedback
The Curse of the Smart Machine? Digitalisation and the children of the mainframe
Computer Semiotics
Analyzing an SPI Project with the Map Framework
SJIS Mission. Topical Areas and Research Approaches
P for Pragmatic: A note relating to Beck's concern for work place democracy, arguing for IT design skills to become part of public education
Who designs the 'Smart City'? An argument for democratising Big Data
My road to Infrastructure
Organisational Prototyping: Adopting CSCW Applications in Organisations
National IT plans: Critique and debate
Digital leaders and the transformation of the IT function
An Affordances Apparatus for Enterprise Social Media
Paradigms for Sale: Information systems in the process of radical change
Technology-Mediated Learning Systems For Project Work
What Influences Regular Case Use in Organizations? An Empirically Based Model
Understanding the Temporality of Organizational Motivation for Crowdsourcing
Reflection note: Smart City Research in a Societal Context. A Scandinavian perspective and beyond?
Uniting Workers and Citizens in IS Design With and Through Data
Using Agile Practices to Influence Motivation within IT Project Teams
Introduction to the Special Issue: E-Government in Scandinavia
Systems Development Research in Scandinavia: Three Theoretical Schools
The Three Cycle View of Design Science
Special Issue Editorial. Information Infrastructures in Healthcare. Action Research, Interventions, and Participatory Design
From Milk to Cow. Reflections on the data governance of Parmigiano Reggiano
Infrastructural Work in Child Welfare: incommensurable politics in the Dutch Child Index
From Duty to Distress. A sociological exploration of technostress in organizations through the lens of obligations
Mobile Informatics
Nature and Purpose of Conceptual Frameworks in Design Science
The Motivation Behind Employee-driven Digital Innovation
Labor is More Than Work: Using labor analysis to study use situations and jobs
E-Commerce Research in Australia: Inviting a Comparative Analysis
Socio-Technical Design of Computer-Assisted Work: A Discussion of the ETHICS and Tavistock Approaches
Creating a Space For Change Within Sociomaterial Entanglements
Digital Innovation and Organizational Culture: The Case of a Danish Media Company
Rethinking the Concept of Commitment in Software Process Improvement
Democracy Squared: Designing On-Line Political Communities to Accommodate Conflicting Interests
The Effect of ERP System Workarounds on Organizational Control: An interpretivist case study
Visualization of a Document Collection with Implicit and Explicit Links: the ViBe System
Attending to how We Think about Technology
Penetration of Information Technology in Organizations: A Comparative Study Using Stage Models and Transaction Costs
Capabilities and Perspectives for Cybernized Services: Commentary to Tuure Tuunanen and colleagues' IRIS/SCIS keynote reflection
Developing Knowledge Through IS Design Science Research: For Whom, What Type of Knowledge, and How?
Heterogeneous Inter-Organisational IT Innovation Creation: Institutional constraints in a public sector oriented market
The Anatomy of Scandinavian Journal of Information Systems
Neither fair nor legal. How and why untrustworthy digital ecosystems evolve
Designing Computer Systems from a Human Perspective: The Use of Narratives
Dependencies between Work Activities, Technical Artifacts, Space, and Work Organisation: Flexibility issues
A Layered Organizing Logic for Generative AI Evolution. Insights from digital infrastructure theory
Proxy Lady - Mobile Support for Opportunistic Communication
Engaged Scholarship in IS Research
The Embedded Panopticon: Visibility Issues of Remote Diagnostics Surveillance
From digitalization to cybernization: Delivering value with cybernized services
How to Teach Empirical Research Methods in Information Systems? Report from a SCIS/IRIS 2019 Workshop
Examining Technostress at Different Types of Data Scientists' Workplaces
Wickedness in Design for People Diagnosed with Schizophrenia
Design. Building the Solution or Framing a Problem?
Smart Environments? Reflections on the role of metaphors in IS
Scalability through Cultivation
Ontological Evaluation of Conceptual Models
Approaches to Appreciate Information Systems Methodologies: A Soft Systems Survey
Beyond the Common-Sense of Practice - A Case for Organizational Informatics: A comment
Beyond Metaphysics and Theory Consumerism: A comment to Rose, Jones, and Truex "Socio-Theoretic Accounts of IS: The Problem of Agency"
The Building Blocks of Academic Writing in the Field of Information Systems
Rigour in Action Research: Some Observations and a Plea
Data-driven Labor Organizing. Helping workers or driving the insatiable hunger for data?
Work. Computers. Design
On Ontological Foundations of Conceptual Modelling: A Response to Wyssusek
A Framework For Software Risk Management
Playing in Reality: A Paradigm Case
Improving IS Functions Step by Step: the Use of Focus Area Maturity Models
Explaining Project Risks. A case study of causal mapping in an agile software teamagile software team
Filtering, Negotiating and Shifting in the Understanding of Information System Requirements
Inside a Digital Experiment: Co-producing Telecare Services for Older People
A Paradigmatic Analysis of Information Systems As a Design Science
Designing Controllable Accountabilities of Future Internet of Things Applications
Infurgy Manifesto
Open-Ended Interaction in Coorperative Prototyping: A Video-Based Analysis
Exploring CSCW Mechanisms to Realize Constant Accessibility Without Inappropriate Interaction
Living with technology
RMF4DSR: A Risk Management Framework for Design Science Research
Implementation og Web-based Information Systems in Distributed Organizations: A Change Management Approach
The Social Construction of the Software Operation: Reinforcing effects in metrics programs
Why Are Organizational Theories So Rarely Used in Scandinavian IS Research?
Digital Coloniality. An Ubuntu perspective
The Design Challenge
Diffusion of Case: An obstacle race?
The High Speed Balancing Game: How Software Companies Cope with Internet Speed
Crowdwork as an Elevator of Human Capital. A sustainable human development perspective
Commentary on Tuure Tuunanen's Keynote
Design in an Organizational Context: an Experiment
Euc Chargeback Systems and their impacts on End User Behavior
Ole Hanseth, a Free Researcher
Intermingling AI and IoT Affordances: The expansion of social opportunities for service users and providers
Value Creation in Knowledge Networks. Five design principles
On Computing the Measurable Amounts of the Two Jugs Problem
A Brief Note on the Approach to the Conic Sections of a Right Circular Cone from Dynamic Geometry
Evolution of the Mathematical Collection of the Polish Virtual Library of Science
Signature-based Perceptual Nearness: Application of Near Sets to Image Retrieval
Non-existence of Some Nearly Perfect Sequences, Near Butson-Hadamard Matrices, and Near Conference Matrices
A Brief Survey on the Contribution of Mirka Miller to the Security of Statistical Databases
A Mechanical Geometer
Automaticity of One-Relator Semigroups with Length Less Than or Equal to Three
Three-Body Problem with Variable Masses that Change Anisotropically at Different Rates
Computational Simulation of the Thermal Effects on Composite Slabs Under Fire Conditions
Automatic Constructibility Checking of a Corpus of Geometric Construction Problems
Permutation Patterns and Cell Decompositions
Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES
On Total Edge Irregularity Strength of Generalized Web Graphs and Related Graphs
Total Vertex Irregularity Strength of 1-Fault Tolerant Hamiltonian Graphs
Tropicalization of Classical Moduli Spaces
A Mixed Heuristic for Generating Cocyclic Hadamard Matrices
Bar Code: A Visual Representation for Finite Sets of Terms and Its Applications
On a Combinatorial Framework for Fault Characterization
A Calculus for Generic, QoS-Aware Component Composition
Automated Reasoning in Social Choice Theory: Some Remarks
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
Automatic Generation of Diagrammatic Subway Maps for Any Date with Maple
Smoothness Test for Polynomials Defined Over Small Characteristic Finite Fields
A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals
A Credibility Framework for Extreme Value-at-Risk
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Non Parametric Distributed Inference in Sensor Networks Using Box Particles Messages
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems
The Global k-Means Clustering Analysis Based on Multi-Granulations Nearness Neighborhood
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity
All Arbitrarily Fixed Generalized Banana Trees Are Graceful
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics
The n th Order Implicit Differentiation Formula for Two Variables with an Application to Computing All Roots of a Transcendental Function
Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks
Embedding of Recursive Circulants into Certain Necklace Graphs
Application of Computer Algebra System and the Mean-Value Theory for Evaluating Electrostatic Potential and Its Associated Field for Nontrivial Configurations
The Construction of 3D Conformal Motions
Syntactic Structures and the General Markov Models
Testing Hyperbolicity of Real Polynomials
The DG/K-Based Approach for Synthesizing of CAM System for Sculptured Surface Machining on Multi-Axis NC Machine
Construction of the Outer Automorphism of $${\mathcal {S}}_{6}$$ S 6 via a Complex Hadamard Matrix
m -Polar Fuzzy Labeling Graphs with Application
Towards an Intelligent and Dynamic Geometry Book
Preemptive Scheduling of Equal-Length Jobs in Polynomial Time
Hamiltonian Dynamical Systems: Symbolical, Numerical and Graphical Study
Gröbner Bases for Boolean Function Minimization
A Time-Splitting Tau Method for PDE's: A Contribution for the Spectral Tau Toolbox Library
Traces of the Group Law on the Kummer Surface of a Curve of Genus 2 in Characteristic 2
Relative Difference Sets and Hadamard Matrices from Perfect Quaternionic Arrays
Robust Approximate Zeros in Banach Space
Using Dual Quaternion to Study Translational Surfaces
Metric Free Nearness Measure using Description-based Neighbourhoods
Computing Perturbations in the Two-Planetary Three-Body Problem with Masses Varying Non-isotropically at Different Rates
Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks
A Framework for an ICT-Based Study of Parametric Integrals
On Multivariate Hermitian Quadratic Forms
Computer Algebra Tales on Goppa Codes and McEliece Cryptography
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation
Using Monodromy to Avoid High Precision in Homotopy Continuation
Syntactic Structures and Code Parameters
Scale Free Properties of Random k -Trees
The Depth of Compositions
Presentation of the Book The Gröbner Cover
New Results on EX Graphs
Exploration of Dual Curves Using a Dynamic Geometry and Computer Algebra System
Solution Curves of Equations in the Differential Space
Design, Concepts, and State of the Art of the swMATH Service
Efficient Checking of Separating Indeterminates
Applications of Rational Orthogonal Matrices
Classification of Simple Modules of the Ore Extension $K[X][Y; f\frac{d}{dX}]$
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing
On a Class of Central Configurations in the Planar 3n -Body Problem
A New Approach to Pattern Matching in Degenerate DNA/RNA Sequences and Distributed Pattern Matching
Half-Explicit Exponential Runge-Kutta Methods for Index-1 DAEs in Helicopter Simulation
Symbolic Computation for Rankin-Cohen Differential Algebras: A Case Study
Testing Sign Conditions on a Multivariate Polynomial and Applications
Scalability and Communication in Parallel Low-Complexity Lossless Compression
Using a CAS/DGS to Analyze Computationally the Configuration of Planar Bar Linkage Mechanisms Based on Partial Latin Squares
Pivoting in Extended Rings for Computing Approximate Gröbner Bases
Embedding of Biological Regulatory Networks and Property Preservation
Synchronization and Self-organization in Complex Networks for a Tuberculosis Model
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring
In Honour of Bill Wadge
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge
An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread
Creative Telescoping on Multiple Sums
Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations
Factorization and Resultants of Partial Differential Operators
HOL(y)Hammer: Online ATP Service for HOL Light
Sliding Mode Techniques for Robust Trajectory Tracking as well as State and Parameter Estimation
A Noncommutative Algebraic Operational Calculus for Boundary Problems
On Contractions of Lie Algebras
Automated Exploration of Envelopes and Offsets with Networking of Technologies
On n-sectors of the Angles of an Arbitrary Triangle
T-Coloring of Certain Networks
Topological Analysis of Syntactic Structures
Supra-Hereditary Properties of Hypergraphs
Computing Zeta Functions of Superelliptic Curves in Larger Characteristic
On the Weak Order Ideal Associated to Linear Codes
A Math Query Language with an Expanded Set of Wildcards
On Succinct Representations of Binary Trees
Degree Upper Bounds for Involutive Bases
Brauer and Geršgorin Locations of Zeros of Perturbed Chebyshev Polynomials of the Second Kind by Dilation
Relative Gröbner and Involutive Bases for Ideals in Quotient Rings
Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases
Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the Plane
Decomposition of Modular Codes for Computing Test Sets and Graver Basis
Linear Differential Elimination for Analytic Functions
Vladimir Gerdt: A Computer Algebra Enthusiast
Symbolic Approach to 2-Orthogonal Polynomial Solutions of a Third Order Differential Equation
Algorithmic Detection of Conserved Quantities for Finite-Difference Schemes
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology
Challenging Theorem Provers with Mathematical Olympiad Problems in Solid Geometry
Cycle Partition of Two-Connected and Two-Edge Connected Graphs
Application of an Intelligent Control on Economics Dynamic System: The Attractive Invariant Ellipsoid Approach
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
An Implementation of the Lê-Teissier Method for Computing Local Euler Obstructions
A Validated Real Function Calculus
A Bayesian Model for Root Computation
Boolean Functions: Degree and Support
A Bertrand Duopoly Game with Differentiated Products Reconsidered
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design
Digitization of Mathematical Editions in Serbia
Analysis of Local Search Landscapes for k -SAT Instances
Extension of the Set of Complex Hadamard Matrices of Size 8
Linear Layout of Directed Grid Graph
Thinning Out Redundant Empirical Data
Rational First Integrals of Separable Differential Equations
Recent Advances in MercuryDPM
On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations
Coxeter Triangulations Have Good Quality
Binary Isodual Codes Having an Automorphism of Odd Prime Order
Pseudozero Set of Real Multivariate Polynomials
A Signature Based Border Basis Algorithm
Conversion of Element Representations in Galois Rings
On the Optimal Triangulation of Convex Hypersurfaces, Whose Vertices Lie in Ambient Space
A Modified Hermite Interpolation with Exponential Parameterization
Non-overlapping Common Substrings Allowing Mutations
Coquelicot: A User-Friendly Library of Real Analysis for Coq
Wadge Reducibility and Infinite Computations
A Geometric Investigation of the Invariant Algebraic Curves in Two Dimensional Lotka-Volterra Systems
Load Bearing Capacity of Light Timber Frame Walls Under Fire
Improved Alignment-Based Algorithm for Multilingual Text Compression
The Freedom to Extend OpenMath and its Utility
New Difference Gröbner Bases and Bivariate Difference Dimension Polynomials
Applications of CAS in the Teaching and Learning of Discrete Mathematics
Symmetry-Based Algorithms for Invertible Mappings of Polynomially Nonlinear PDE to Linear PDE
Calculating the Minimum Distance of a Toric Code via Algebraic Algorithms
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega
Tactics for Hierarchical Proof
On the Location of Pseudozeros of a Complex Interval Polynomial
Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach
Relations Between Möbius and Coboundary Polynomials
A General Tractable Density Concept for Graphs
On a General Family of 2-Orthogonal Polynomial Eigenfunctions of a Third Order Differential Equation via Symbolic Computation
Total Irregularity Strength of Three Families of Graphs
Near Sets: An Introduction
Counting Lattice Points on Bargraphs of Catalan Words
Nori Diagrams and Persistent Homology
Compositional Properties of Alignments
TiGL: An Open Source Computational Geometry Library for Parametric Aircraft Design
Mathematical Context in Interactive Documents
Last Symbol Distribution in Pattern Avoiding Catalan Words
Algorithmic Approach for Formal Fourier Series
An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case
Mixed Subdivisions Suitable for the Greedy Canny-Emiris Formula
A Block Structure for Cocyclic Hadamard Matrices of Order 8p
Estimating the Volumes of the Cones in a Gröbner Fan
Face Antimagic Labeling of Jahangir Graph
A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains
A Survey on Computational Aspects of Polynomial Amoebas
Behavior of the Fiber and the Base Points of Parametrizations Under Projections
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
On Convex Functions with Complex Order Through Bounded Boundary Rotation
An Algorithm to Compute the Adjoint Ideal of an Affine Plane Algebraic Curve
A Principled, Complete, and Efficient Representation of C++
Partially Local Multi-way Alignments
Globally Convergent, Iterative Path-Following for Algebraic Equations
On the Topology of Real Algebraic Plane Curves
Robust Hadamard Matrices, Unistochastic Rays in Birkhoff Polytope and Equi-Entangled Bases in Composite Spaces
Unitals in Projective Planes of Order 25
Super Edge-Magic Models
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks
Automated Deduction and Knowledge Management in Geometry
Connectivity Spaces
Scoring Unusual Words with Varying Mismatch Errors
Rational General Solutions of Trivariate Rational Differential Systems
An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors
A Scratch Covering Algorithm Using Affine Projection Method
Teaching Students Nonlinear Programming with Computer Algebra System
Semantics of OpenMath and MathML3
The Non-Archimedean Theory of Discrete Systems
Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory
An Improved Bernstein Global Optimization Algorithm for MINLP Problems with Application in Process Industry
Binary Image Compression via Monochromatic Pattern Substitution: Sequential and Parallel Implementations
Exploring the Isoptics of Fermat Curves in the Affine Plane Using DGS and CAS
Computer Algebra Challenges in Nanotechnology: Accurate Modeling of Nanoscale Electro-optic Devices Using Finite Elements Method
Self-Dual Codes Over Chain Rings
Fast, Practical Algorithms for Computing All the Repeats in a String
A Low-Rank Matrix Approach to Compute Polynomial Approximations of Smooth Two-Dimensional Functions
Discrete Variational Calculus for B-Spline Curves
Stochastic Arithmetic in Multiprecision
Interval Methods for Model Qualification: Methodology and Advanced Application
First Order Perturbation and Local Stability of Parametrized Systems
Improvement of an Incremental Signature-Based Comprehensive Gröbner System Algorithm
Level Sets of the Value Function in Differential Games with Two Pursuers and One Evader. Interval Analysis Interpretation
Modeling of an Asymptotically Central Markov Process on 3D Young Graph
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability
Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq
Redundant τ -Adic Expansions II: Non-Optimality and Chaotic Behaviour
Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD
Solving Differential and Integral Equations with Tau Method
Divisive Cover
Non-homogeneous Chain of Harmonic Oscillators
Optimal Eighth Order Iterative Methods
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective
A Graph Library for Isabelle
On Effective Analytic Continuation
Memories of Vladimir Gerdt
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method
Towards a Certified Version of the Encyclopedia of Triangle Centers
An Optimal Algorithm for the k -Fixed-Endpoint Path Cover on Proper Interval Graphs
A Normal Form Algorithm for Regular Differential Chains
Familiarizing Students with Definition of Lebesgue Integral: Examples of Calculation Directly from Its Definition Using Mathematica
Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification
Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC
Isotypeness of Models and Knowledge Bases Equivalence
Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology
VIBes: A Visualizer for Intervals and Boxes
On Plick Graphs with Coarseness Number One
Two almost-circles, and two real ones
Bounds on the Dimension of Trivariate Spline Spaces: A Homological Approach
The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods
Foreword to the Special Focus on Constraints and Combinations
Estimating the Employment Band of Inaction with Multiple Breaks due to Labor Market Reforms
Collaborative Verification-Driven Engineering of Hybrid Systems
Analysis and Optimal Control of an Intracellular Delayed HIV Model with CTL Immune Response