搜索结果: 1-14 共查到“计算机科学技术 Logic”相关记录14条 . 查询时间(0.043 秒)
2017年智能系统中智集合和逻辑专题会议（Special Session on Neutrosophic Set and Logic in Intelligent System）
2017年 智能系统 中智集合 逻辑 专题会议
2017/6/23
Neutrosophic set and logic are gaining significant attention in solving many real life decision making problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and in...
2017IEEE第47届多值逻辑国际研讨会（2017 IEEE 47th International Symposium on Multiple-Valued Logic）(ISMVL)
IEEE 第47届 多值逻辑 研讨会
2017/3/30
The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 47th annual symposium in Novi Sad, Serbia, on May 22-24, 2017.
The symposium will bring together researcher...
Toward “valleytronic” devices for data storage or computer logic systems
valleytronic data storage computer logic systems
2017/3/30
Faster, more efficient data storage and computer logic systems could be on the horizon thanks to a new way of tuning electronic energy levels in two-dimensional films of crystal, discovered by researc...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Detecting Races in Relay Ladder Logic Programs
Detecting Races Relay Ladder Logic Programs
2016/5/24
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extreme...
Expressiveness and Succinctness of First-Order Logic on Finite Words
Ehrenfeucht-Fra飐s?game finite model theory first-order logic generalized star-height satisfiability succinctness
2014/12/18
Expressiveness, and more recently, succinctness, are two central concerns of finite model theory and descriptive complexity theory. Succinctness is particularly interesting because it is closely relat...
Towards Logic Functions as the Device using Spin Wave Functions Nanofabric
Spin Wave Functions (SPWFs) Spintronics Threshold Logic Parallel Counters Magnonic Logic
2014/12/8
As CMOS technology scaling is fast approaching its fundamental limits, several new nano-electronic devices have been proposed as possible alternatives to MOSFETs. Research on emerging devices mainly f...
Protecting Network Processors with High Performance Logic Based Monitors
Network Processors Security Monitors Hardware Programmable DE4 NetFPGA Determinitic Finite Automaton
2014/12/8
Technological advancements have transformed the way people interact with the world. The Internet now forms a critical infrastructure that links different aspects of our life like personal communicatio...
Document Logic: Risk Analysis of Business Processes through Document Authenticity
Formal methods business process modeling risk analysis internal control rewriting logic
2014/3/11
Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple tr...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...
Mediative Fuzzy Logic for Controlling Population Size in Evolutionary Algorithms
mediative fuzzy logic dynamic population size HEM
2013/1/29
In this paper we are presenting an intelligent method for controlling population size in evolutionary algorithms. The method uses Mediative Fuzzy Logic for modeling knowledge from experts about what s...
A Novel Multiple Valued Logic OHRNS Modulo rn Adder Circuit
Computer Arithmetic Residue Number System Multiple Valued Logic One-Hot
2010/2/2
Residue Number System (RNS) is a modular
representation and is proved to be an instrumental tool in many
digital signal processing (DSP) applications which require high-speed
computations. RNS is a...
The European Association for Computer Science Logic was founded on July 14th 1992, by computer scientists and logicians from 14 countries, on the initiative of Egon Boerger who also acted as the first...
Researchers Create DNA Logic Circuits That Work in Test Tubes
Computers logic circuits laptop
2006/12/18
December 7,2006,PASADENA, Calif.--Computers and liquids are not very compatible, as many a careless coffee-drinking laptop owner has discovered. But a new breakthrough by researchers at the California...