Logic in computer science

Cognitive Explainable Artificial Intelligence (AI) startup recognized as Top 5 Leading Global Companies in The Fourth Industrial Revolution (4IR or Industry 4.0), by Oxford Academic report

Retrieved on: 
Tuesday, July 27, 2021
Academic disciplines, Articles, Branches of science, Iranian inventions, Lotfi A. Zadeh, Non-classical logic, Artificial intelligence, Logic in computer science, Xai, Fuzzy logic

POTOMAC, Md., July 27, 2021 /PRNewswire/ --Z Advanced Computing, Inc. (ZAC), the pioneer Cognitive Explainable-AI (Artificial Intelligence) (Cognitive XAI) software startup, has been recognized as the Top 5 Leading Global Companies in The Fourth Industrial Revolution (4IR or Industry 4.0), by an Oxford Academic paper (The Journal of Industrial and Corporate Change, Vol.

Key Points: 
  • POTOMAC, Md., July 27, 2021 /PRNewswire/ --Z Advanced Computing, Inc. (ZAC), the pioneer Cognitive Explainable-AI (Artificial Intelligence) (Cognitive XAI) software startup, has been recognized as the Top 5 Leading Global Companies in The Fourth Industrial Revolution (4IR or Industry 4.0), by an Oxford Academic paper (The Journal of Industrial and Corporate Change, Vol.
  • 1, pages 137159, Table 2A, 24-June-2021, by Jongho Lee and Keun Lee).
  • The development is headed by Saied Tadayon, a scientist and veteran software developer, who got his PhD from Cornell at age 23.
  • The late Prof. Lotfi Zadeh of UC Berkeley (Father of Fuzzy Logic, co-inventor of Z-Transform, and AI Hall-of-Fame inductee) is also one of ZAC inventors.

Health Logic Interactive Announces Appointment of Scientific Advisory Board Members and First Virtual Meeting

Retrieved on: 
Wednesday, June 9, 2021
Mental processes, Academic disciplines, Logic, Philosophical logic, Logic in computer science, Abstraction, Reasoning, HOL

"We are thrilled to add what management believes to be three key members of the CKD research community to Health Logics Scientific Advisory Board.

Key Points: 
  • "We are thrilled to add what management believes to be three key members of the CKD research community to Health Logics Scientific Advisory Board.
  • Health Logic Interactive, through its wholly owned operating subsidiary My Health Logic, is developing and commercializing consumer focused handheld point-of-care diagnostic devices that connect to patient's smartphones and digital continued care platforms.
  • For more information visit us at: www.healthlogicinteractive.com
    Further information regarding Health Logic Interactive Inc. and its disclosure documents are available on SEDAR at www.sedar.com .
  • View original content to download multimedia: http://www.prnewswire.com/news-releases/health-logic-interactive-announc...
    SOURCE Health Logic Interactive Inc.

CTL Launches New 24" and 27" Computer Monitors

Retrieved on: 
Wednesday, May 19, 2021
Video formats, Logic in computer science, Temporal logic, Computation tree logic, 1080p

b'PORTLAND, Ore., May 19, 2021 /PRNewswire/ --CTL announced the launch of two new monitor models, the CTL IP2381 24" VA FHD Monitor and the CTL IP2781 27" ADS QHD Monitor .

Key Points: 
  • b'PORTLAND, Ore., May 19, 2021 /PRNewswire/ --CTL announced the launch of two new monitor models, the CTL IP2381 24" VA FHD Monitor and the CTL IP2781 27" ADS QHD Monitor .
  • The CTL IP2381 is a 24" 1920 x 1080 Full High Definition display that supports better productivity in the office, in the classroom, or when working from home.
  • The CTL IP2781 is a 27" 2560 x 1440 Quad High Definition monitor that features ADS plane control technology for superior performance.
  • The CTL IP2381 24" and CTL IP2781 27" monitors offer an incredible viewing experience for any type of workflow.\nBoth monitors have a thin bezel for a more interactive feel along with high luminance controls for better brightness regulation.

Giskard Consensus Protocol Serves PlatON with Its Extremely High Security and Stability

Retrieved on: 
Thursday, April 1, 2021
Formal methods, Logic in computer science, Verification, Runtime verification, Cryptographic protocol

SINGAPORE, April 1, 2021 /PRNewswire/ -- The security and stability of the PlatON Giskard Consensus Protocol has been verified by Runtime Academic Level.

Key Points: 
  • SINGAPORE, April 1, 2021 /PRNewswire/ -- The security and stability of the PlatON Giskard Consensus Protocol has been verified by Runtime Academic Level.
  • Runtime Verification has verified the security of PlatON Giskard Consensus Protocol through COQ certification assistant verification.
  • According to the technical report released by Runtime Verification, the Giskard Consensus Protocol has demonstrated extremely high security and stability during the verification, laying a strong foundation for the good operation of the PlatON system.
  • Two parties, according to the requirements of extremely fine particle size, carried out "high pressure" verification to the Giskard consensus.

Fluent Recognized as Multi-Category Mobile Leader in 2021 AppsFlyer Performance Index XII

Retrieved on: 
Thursday, March 25, 2021
AppsFlyer, Logic in computer science, Fluent

NEW YORK, March 25, 2021 (GLOBE NEWSWIRE) -- Fluent, Inc. (NASDAQ: FLNT), a leading data-driven performance marketing company, was named across seven lists in AppsFlyers Performance Index XII , up from four lists in edition XI.

Key Points: 
  • NEW YORK, March 25, 2021 (GLOBE NEWSWIRE) -- Fluent, Inc. (NASDAQ: FLNT), a leading data-driven performance marketing company, was named across seven lists in AppsFlyers Performance Index XII , up from four lists in edition XI.
  • 2021 marks Fluents third consecutive year being featured among top mobile growth leaders on AppsFlyers Performance Index.
  • An industry-standard, the latest AppsFlyer Performance Index is its most comprehensive to date, spanning 29 billion installs and 60 billion opens across 16,000 apps.
  • AppsFlyer first introduced its Performance Index in 2015 to showcase up-and-coming media sources and encourage a diversified ecosystem.

Valtrix and Codasip Cooperate on Verification of RISC-V Systems

Retrieved on: 
Wednesday, March 24, 2021
Verification, Altera, Formal methods, Software testing, Electronic engineering, Companies, Hardware acceleration, Theoretical computer science, Logic in computer science

The cooperation is based on applying the Valtrix STING product to add to Codasip's extensive methodologies for processor verification.

Key Points: 
  • The cooperation is based on applying the Valtrix STING product to add to Codasip's extensive methodologies for processor verification.
  • "Complex CPU and SoC implementations require thorough verification before the products are released to the end user," said Shubhodeep Roy Choudhury, Valtrix CEO.
  • "Codasip practices rigorous verification in order to ensure the quality of its processor IPproducts," said Philippe Luc, Director of Verification at Codasip.
  • Codasip uses the combination of Codasip Studio, in-house tools, and third-party tools for processor verification.

Fluent Announces Recipients of Inaugural Business Empowerment Program to Support Minority and Women-Owned Businesses

Retrieved on: 
Friday, January 15, 2021
Articles, Logic in computer science, Egalitarianism, Fluent, Empowerment

Following a year where minority and women-owned businesses were severely impacted due to the COVID-19 pandemic, coupled with historically limited opportunities for funding and growth, Fluent launched the Business Empowerment Program on October 27th, 2020.

Key Points: 
  • Following a year where minority and women-owned businesses were severely impacted due to the COVID-19 pandemic, coupled with historically limited opportunities for funding and growth, Fluent launched the Business Empowerment Program on October 27th, 2020.
  • As part of Fluents ongoing DEI initiative, theBusiness Empowerment Programsupports minority and women-led businesses tosucceed in todays digital economy.
  • As part of the application process, business owners shared examples of how the program would further drive their business goals.
  • Additional information on the program and commentary from each recipient can be found on Fluents Business Empowerment Program pag e .

Fluent, Inc. Announces Preliminary Financial Metrics for 2020

Retrieved on: 
Thursday, January 14, 2021
Logic in computer science, Fluent, Earnings before interest, taxes, depreciation and amortization

NEW YORK, Jan. 14, 2021 (GLOBE NEWSWIRE) -- Fluent, Inc.(NASDAQ: FLNT), a leading data-driven performance marketing company, today announced preliminary financial metrics for its full year and fourth quarter 2020.

Key Points: 
  • NEW YORK, Jan. 14, 2021 (GLOBE NEWSWIRE) -- Fluent, Inc.(NASDAQ: FLNT), a leading data-driven performance marketing company, today announced preliminary financial metrics for its full year and fourth quarter 2020.
  • These preliminary metrics, which are subject to final reporting and audit procedures, are reflected below:
    Full-year 2020 revenue is anticipated to be $309.7 - $310.7 million, representing growth of 10.1% compared to full-year 2019.
  • Adjusted EBITDA is anticipated to be in the range of $39.0 - $41.0 million, representing growth of 15.4% compared to full-year 2019.
  • Ryan Schulke, Fluents Chief Executive Officer, commented, "We are pleased to share our preliminary full-year 2020 results.

Axiomise Presents a Unique Coverage-Driven RISC-v Formal Verification Solution

Retrieved on: 
Tuesday, December 8, 2020
Digital electronics, Electronic engineering, Electronic design automation, Theoretical computer science, Formal methods, Instruction set architectures, Formal verification, Logic in computer science, Functional verification, RISC-V, Logic simulation, Reduced instruction set computer

LONDON, Dec. 8, 2020 /PRNewswire/ --Axiomise will present a unique, coverage-driven verification solution for RISC-V processors in the RISC-V Summit 2020 being held from 8-10 December.

Key Points: 
  • LONDON, Dec. 8, 2020 /PRNewswire/ --Axiomise will present a unique, coverage-driven verification solution for RISC-V processors in the RISC-V Summit 2020 being held from 8-10 December.
  • Axiomise has designed an automated formal verification solution for RISC-V that proves compliance testing through formal proofs rather than simulation.
  • Using the state-of-the-art abstraction techniques, Axiomise has built a push-button, formal verification solution to achieve three goals - catch bugs, prove bug absence, and sign-off designs with metric-driven coverage solution leveraging any formal verification tool in the market.
  • Using their formalISA app, Axiomise can accomplish ISA compliance and full functional verification against the published ISA from the RISC-V international.

Valtrix Broadens Support For RISC-V Design Verification With Latest Updates To STING

Retrieved on: 
Tuesday, December 8, 2020
Instruction set architectures, Computer architecture, Microcontrollers, RISC-V, Computing, Reduced instruction set computer, Computers, Verification, Formal methods, Logic in computer science

The latest update to STING includes the support to verify all the recent changes to the RISC-V user and privilege specifications, which include the latest draft versions of the vector and bit manipulation standard extensions.

Key Points: 
  • The latest update to STING includes the support to verify all the recent changes to the RISC-V user and privilege specifications, which include the latest draft versions of the vector and bit manipulation standard extensions.
  • Preliminary support for the draft version of the RISC-V hypervisor extension has also been added to enable testing of virtualization use-cases.
  • For more information on Valtrix's design verification technology and products, visit https://www.valtrix.in
    STING, the flagship product of Valtrix, is a design verification platform for RISC-V based implementations.
  • STING also provides a RISC-V architecture verification suite to provide users an easy ramp into verification readiness.