Arama Sonuçları - programme function https function graphs https

1

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Yazar: Czerwinski, Robert., Czerwinski, Robert., Kania, Dariusz.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... Optimization Based on Graphs of Outputs -- Conclusions -- Output File Format -- Conclusion....”
Tam Metin Erişim

Elektronik Ekitap

2

Dynamics of Complex Autonomous Boolean Networks

Yazar: Rosin, David P., Rosin, David P.
Baskı/Yayın Bilgisi 2015

Konular: “...Applications of Graph Theory and Complex Networks. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

3

Mixed Integer Nonlinear Programming

Baskı/Yayın Bilgisi 2012

İçindekiler: “... nonlinear programming -- Using expression graphs in optimization algorithms -- Symmetry in mathematical...”
Tam Metin Erişim

Elektronik Ekitap

4

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
Tam Metin Erişim

Elektronik Ekitap

5

Logic Synthesis for Compositional Microprogram Control Units

Yazar: Barkalov, Alexander., Barkalov, Alexander., Titarenko, Larysa.
Baskı/Yayın Bilgisi 2008

İçindekiler: “...-programmable logic devices -- Synthesis of basic circuits of compositional microprogram control units...”
Tam Metin Erişim

Elektronik Ekitap

6

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Tam Metin Erişim

Elektronik Ekitap

7

Multiple Classifier Systems 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Classifiers with Application to AdaBoost -- Interactive Boosting for Image Classification -- Cluster and Graph...”
Tam Metin Erişim

Elektronik Ekitap

8

Cellular Automata in Image Processing and Geometry

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Hulls and Metric Gabriel Graphs -- Cellular automaton shading for building envelopes -- Pattern...”
Tam Metin Erişim

Elektronik Ekitap

9

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...”
Tam Metin Erişim

Elektronik Ekitap

10

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Using PBIL -- New Application of Graph Mining to Video Analysis -- Classification by Multiple Reducts...”
Tam Metin Erişim

Elektronik Ekitap

11

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Tam Metin Erişim

Elektronik Ekitap

12

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
Tam Metin Erişim

Elektronik Ekitap

13

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
Tam Metin Erişim

Elektronik Ekitap

14

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and IPv6 Network -- An Efficient Multicast Hybrid Routing Protocol for MANETs -- Applications of Graph...”
Tam Metin Erişim

Elektronik Ekitap

15

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”
Tam Metin Erişim

Elektronik Ekitap

16

Advances in Cryptology -- CRYPTO 2012 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Graphs.- Attribute-Based and Functional Encryption -- Functional Encryption with Bounded Collusions via...”
Tam Metin Erişim

Elektronik Ekitap

17

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Programmable Logic Controllers Using Power Fingerprinting -- Timing of Cyber-Physical Attacks on Process...”
Tam Metin Erişim

Elektronik Ekitap