OneSpin Solutions GmbH provides formal verification solutions for ASIC, SoC, and FPGA designs. It offers 360 MV Product Family, a formal assertion-based verification solution for RTL designs available today; and 360 Equivalence Checker, an automated verification solution to show the functional equivalence of design representations.
Smartpipe is creating the only global, real-time, privacy compliant and completely secure data ecosystem for the monetisation of network operators’ rich customer data.
Seerene is a code+people management platform.
BeMyEye is a European crowdsourced in-store data as a service (DAAS) provider.
zeotap unites the world's most valuable data to fuel growth.The first company to win major telecom operators around the world as data partners, zeotap has since become the leader in sourcing, refining and distributing high-quality data from large enterprises. We have earned our partners’ trust through a strict focus on regulatory compliance, privacy-by-design and information security, including ISO 27001 certification.
Intersec enables companies to derive value from their network and IT big data and to facilitate services innovation.
Kayrros is an advanced data analytics company that helps global energy market participants make better investment decisions.
IHS provides information and analysis to support the decision-making process of businesses and governments in industries.
Arcadia Data builds the industry’s only Unified Visual Analytics and BI Platform for big data.
Recognized as a leader in the Gartner 2017 Magic Quadrant for Insight Engines and other analyst reports, Sinequa provides a Cognitive Search & Analytics platform for Fortune Global 2000 companies and government agencies. Using advanced Natural Language Processing (NLP) and Machine Learning algorithms, the solution offers insights extracted from structured and unstructured data.