Search Results for Logic.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

69 sonuç bulundu

1 2 3 4 5 6

000000000000DEFAULTTR

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

25.

Formal Methods for Discrete-Time Dynamical Systems

Belta, Calin. author.

http://dx.doi.org/10.1007/978-3-319-50763-7

Format:

Alıntı:

Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region

26.

Uncertainty Modeling Dedicated to Professor Boris Kovalerchuk on his Anniversary

Kreinovich, Vladik. editor.

http://dx.doi.org/10.1007/978-3-319-51052-1

Format:

Alıntı:

Approach to Dimensionality Reduction in Model Construction -- Physics Of The Mind, Dynamic Logic, and

27.

Advances in Intelligent Process-Aware Information Systems Concepts, Methods, and Technologies

Grambow, Gregor. editor.

http://dx.doi.org/10.1007/978-3-319-52181-7

Format:

Alıntı:

about Process Models: What Description Logic Offers to Business Process Model Analysis -- Improving

28.

Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach

Shen, Qikun. author.

http://dx.doi.org/10.1007/978-3-319-52530-3

Format:

Alıntı:

Logic System-based Adaptive FC for NSV Attitude Dynamics with Multiple Faults -- Command Filtered

29.

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm

Amador, Leticia. author.

http://dx.doi.org/10.1007/978-3-319-54295-9

Format:

Alıntı:

the trajectory in an autonomous mobile robot. When Interval Type-2 Fuzzy Logic System is implemented

30.

Computer-Aided Design of Microfluidic Very Large Scale Integration (mVLSI) Biochips Design Automation, Testing, and Design-for-Testability

Hu, Kai. author.

http://dx.doi.org/10.1007/978-3-319-56255-1

Format:

Alıntı:

logic level, i.e., complete defect coverage for all valves and microchannels; Includes a method for

31.

Introduction to Morphogenetic Computing

Resconi, Germano. author.

http://dx.doi.org/10.1007/978-3-319-57615-2

Format:

Alıntı:

morphogenetic computing. At the Boolean logic truth value, we substitute a set of truth (active sets) values

32.

Trends in Software Testing

Mohanty, Hrushikesha. editor.

http://dx.doi.org/10.1007/978-981-10-1415-4

Format:

Alıntı:

-- Separation Logic to Meliorate Software Testing and Validation -- mDSM: A Transformative Approach to

33.

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Sahana, Sudip Kumar. editor.

http://dx.doi.org/10.1007/978-981-10-2525-9

Format:

Alıntı:

PART 1: Fuzzy Logic -- PART 2: Artificial Neural Network -- PART 3: Genetic Algorithm and Bio

34.

PLD Based Design with VHDL RTL Design, Synthesis and Implementation

Taraate, Vaibbhav. author.

http://dx.doi.org/10.1007/978-981-10-3296-7

Format:

Alıntı:

Constructs -- 4 Combinational Logic Design Using VHDL Constructs -- Sequential Logic Design -- Introduction

35.

Granular, Soft and Fuzzy Approaches for Intelligent Systems Dedicated to Professor Ronald R. Yager

Kacprzyk, Janusz. editor.

http://dx.doi.org/10.1007/978-3-319-40314-4

Format:

Alıntı:

-lasting service to the fuzzy logic, and the artificial and computational intelligence communities. It has been

36.

Hesitant Fuzzy Methods for Multiple Criteria Decision Analysis

Zhang, Xiaolu. author.

http://dx.doi.org/10.1007/978-3-319-42001-1

Format:

Alıntı:

represents a valuable reference guide for graduate students and researchers in the both fields of fuzzy logic

	{displayName}	{count}
{error}