Tag: Logic in computer science

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Logic in computer science

Staying A Step Ahead Of Hackers With Continuous Verification

Added to Collection on: 2021-06-16 06:56:15

Tags for this article:

Digital electronics
Computing
Academic disciplines
Formal methods
Software testing
Logic in computer science
Electronic design automation
Integrated circuits
Verification
Formal verification
Computer security
Logic simulation

Click the tags to see associated articles and topics

View Article Details
The Era of 'Optical Computers' Operated by Light Is Fast Approaching | Lab Manager

Added to Collection on: 2022-05-04 13:26:31

Tags for this article:

Logic gate
Optical computing
Logic families
Academic disciplines
Technology
Logic in computer science
Mathematical logic
Noise-based logic
Perovskite solar cell

Click the tags to see associated articles and topics

View Article Details
Meet Axiomise's Ashish Darbari at DAC to Learn about Benefits of Formal Verification

Added to Collection on: 2022-06-28 14:45:45

Tags for this article:

Formal methods
Academic disciplines
Computing
Digital electronics
Logic in computer science
Formal verification
Theoretical computer science
Verification
RISC-V
Formal equivalence checking
Cadence Design Systems
Ashish Darbari

Click the tags to see associated articles and topics

View Article Details
What Is an Expert System? - Definition from Whatis.com - TechTarget

Added to Collection on: 2022-07-09 05:16:49

Tags for this article:

Academic disciplines
Branches of philosophy
Articles
Expert systems
Artificial intelligence
Automated reasoning
Decision support systems
Logic in computer science
Inference engine
Knowledge-based systems
Forward chaining
Knowledge representation and reasoning

Click the tags to see associated articles and topics

View Article Details
What Is Fuzzy Logic? Definition, Working, Pros and Cons - Spiceworks

Added to Collection on: 2022-12-09 12:36:52

Tags for this article:

Fuzzy logic
Logic
Academic disciplines
Articles
Artificial intelligence
Non-classical logic
Logic in computer science
Fuzzy set
Membership function
Control system
Truth value
Fuzzy concept

Click the tags to see associated articles and topics

View Article Details
AI-Powered Proof Generator Helps Debug Software - IEEE Spectrum

Added to Collection on: 2024-01-25 18:32:02

Tags for this article:

Proof theory
Formal methods
Automated theorem proving
Logic in computer science
Proof assistants
Isabelle
Mathematical proof
Formal proof
Formal verification
Yuriy Brun
Baldur

Click the tags to see associated articles and topics

View Article Details
Medical equipment effectiveness evaluation model based on cone-constrained DEA and ...

Added to Collection on: 2024-04-23 14:38:45

Tags for this article:

Long short-term memory
Fuzzy logic
Logic in computer science
Ordered weighted averaging
Atkinson–Stiglitz theorem
Lambda

Click the tags to see associated articles and topics

View Article Details
Central Piedmont Community College

Added to Collection on: 2024-07-08 18:17:11

Tags for this article:

Numerical software
Solver
Problem Solvers
Mathematics
Formal methods
Logic in computer science

Click the tags to see associated articles and topics

View Article Details
Minimize generative AI hallucinations with Amazon Bedrock Automated Reasoning checks

Added to Collection on: 2025-04-01 17:26:49

Tags for this article:

Deep learning
Logic in computer science
Machine learning
Computational neuroscience
Programming paradigms
Guard rail
Artificial intelligence
Automated reasoning
Generative artificial intelligence
Large language model
Hallucination
Amazon Web Services
McKinsey & Company

Click the tags to see associated articles and topics

View Article Details
DeFi Security: Exploring the Potential of Formal Verification - BlockTelegraph

Added to Collection on: 2025-04-14 00:59:45

Tags for this article:

Theoretical computer science
Formal methods
Logic in computer science
Software quality
Decentralized finance
Formal verification
Runtime verification
Verification
Computer security
Correctness
Cryptographic protocol
Ethereum

Click the tags to see associated articles and topics

View Article Details
Book a Demo