Logic Programming and Automated Reasoning White Papers

(View All Report Types)
Advances in Data Warehouse Performance
sponsored by IBM
WHITE PAPER: Learn how DB2 can help you meet the demands of business intelligence by reducing query response time from hours to seconds, supporting real time data warehousing, and optimizing your storage while lowering operating costs.
Posted: 28 Nov 2007 | Published: 01 May 2007

IBM

Essentials Guide to Table Partitioning and Data Lifecycle Management
sponsored by EMC Corporation
WHITE PAPER: Database partitioning provides improvements to maintenance and performance. This paper examines the benefits of partitioning a database into smaller, workable chunks, rather than an entire monolithic piece.
Posted: 02 May 2006 | Published: 01 Mar 2006

EMC Corporation

Why Strategic Automation Empowers Employees for HR and Workplace Services
sponsored by ServiceNow
WHITE PAPER: This paper provides survey insights from 520 employees using internal shared services, such as HR and workplace services and explores how employees perceive the use of self-service tools and a centralized company portal and the impact on the wider business.
Posted: 14 Feb 2023 | Published: 14 Feb 2023

TOPICS:  IT Management
ServiceNow

Service Experience: The Next Value Driver for Global Business Services
sponsored by ServiceNow
WHITE PAPER: This guide sets forth a roadmap to begin the GBS experience journey based upon the lessons learned from several pioneering organizations.
Posted: 06 Oct 2023 | Published: 06 Oct 2023

TOPICS:  IT Management
ServiceNow

16 Ways Dell OpenManage Helps Your Business
sponsored by Dell Technologies & Intel®
WHITE PAPER: Access this infographic that highlights the 16th generation of Dell PowerEdge servers with 16 examples of how OpenManage portfolio enhances server range.
Posted: 15 May 2024 | Published: 15 May 2024

TOPICS:  IT Management
Dell Technologies & Intel®

Ten Ways to Replace Ineffective Meetings
sponsored by Slack
WHITE PAPER: How your business can increase productivity and cut costs by swapping meetings with asynchronous work and task automation.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

Forrester TEI Report on BigQuery and Looker - English (US)
sponsored by Google Cloud
WHITE PAPER: Learn about the cost savings and business benefits enabled by BigQuery and Looker.
Posted: 09 Jun 2023 | Published: 09 Jun 2023

TOPICS:  IT Management
Google Cloud

2021 Vendor Showdown: IT Service Management Providers
sponsored by ServiceNow
WHITE PAPER: Read this paper for Gartner's profile of vendors in the Enterprise ITSM tool market and find out why Gartner named ServiceNow a Leader 7 years in a row.
Posted: 08 Jul 2022 | Published: 08 Jul 2022

TOPICS:  IT Management
ServiceNow

2022 Gartner® Critical Capabilities for IT Service Management Platforms
sponsored by ServiceNow
WHITE PAPER: Read to learn about Gartner's key findings, recommendations, and other insights on the IT service management platform market that ServiceNow views as invaluable This paper also explains why Gartner scored ServiceNow's ITSM platform higher than any other platform.
Posted: 25 Jan 2023 | Published: 25 Jan 2023

TOPICS:  IT Management
ServiceNow

Real-Time Monitoring in Complex Data Centers
sponsored by Beta Systems
WHITE PAPER: When it comes to running your data center, it’s obvious that monitoring is an essential component of successful data centers. Access this e-guide to learn the 6 essential steps for building effective real-time monitoring across your hybrid IT data center.
Posted: 04 Nov 2021 | Published: 30 Oct 2020

Beta Systems