Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
2017
(3)
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
      1. 
      Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
      by 
      Zhan, Naijun. author.
      http://dx.doi.org/10.1007/978-3-319-47016-0
      Format: 
      Excerpt: 
      Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL Prover -- 9
      Cover image for Biometric Security and Privacy Opportunities & Challenges in The Big Data Era
      2. 
      Biometric Security and Privacy Opportunities & Challenges in The Big Data Era
      by 
      Jiang, Richard. editor.
      http://dx.doi.org/10.1007/978-3-319-47301-7
      Format: 
      Excerpt: 
      Biometrics in Big Data Issues -- Multimodal Biometric Fusion via Ensemble Learning -- Fuzzy Logic for Precise
      Cover image for Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1
      3. 
      Proceedings of Sixth International Conference on Soft Computing for Problem Solving SocProS 2016, Volume 1
      by 
      Deep, Kusum. editor.
      http://dx.doi.org/10.1007/978-981-10-3322-3
      Format: 
      Excerpt: 
      between intuitionistic fuzzy programming and goal programming -- Implementation of Fuzzy Logic on FORTRAN