Arama Sonuçları - ((function computation) or (functions computational)) programming applications method cases*

Şunu mu demek istediniz:
programming applications » processing applications
functions computational » functions computation , directions computational , section computational
function computation » function computing , function decomposition , section computational
applications method » applications methods , application method , application methods
method cases » method case , method cassels , method caused

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...”
Tam Metin Erişim

Elektronik Ekitap

Stochastic Linear Programming Models, Theory, and Computation /

Yazar: Kall, Peter., Kall, Peter., Mayer, János.
Baskı/Yayın Bilgisi 2005

İçindekiler: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Tam Metin Erişim

Elektronik Ekitap

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... for Detecting Colonic Polyps -- A Novel Computer Aided Detection (CADe) Scheme for Colonic Polyps Based...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Tam Metin Erişim

Elektronik Ekitap

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”
Tam Metin Erişim

Elektronik Ekitap

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Tam Metin Erişim

Elektronik Ekitap

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”
Tam Metin Erişim

Elektronik Ekitap

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
Tam Metin Erişim

Elektronik Ekitap

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Communication and Computing

Baskı/Yayın Bilgisi 2015

İçindekiler: “... in MECG Using Sample and Channel Convolution Matrices -- Application of SHAZAM Based Audio Fingerprinting...”
Tam Metin Erişim

Elektronik Ekitap

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Benchmarking Software Requirements Documentation for Space Application -- Verifying Mode Consistency...”
Tam Metin Erişim

Elektronik Ekitap

Stochastic Control Theory Dynamic Programming Principle /

Yazar: Nisio, Makiko., Nisio, Makiko.
Baskı/Yayın Bilgisi 2015

Konular: “...Functional analysis....”
Tam Metin Erişim

Elektronik Ekitap

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Tam Metin Erişim

Elektronik Ekitap

Small signal oscillatory instability control of power system using posicast controller and evolutionary programming

Yazar: Mirfendereski, Shojaeddin
Baskı/Yayın Bilgisi 2014

Konular: “...Evolutionary programming (Computer science)...”
Tam Metin Erişim

Tez

Domain of Attraction Analysis and Control via SOS Programming /

Yazar: Chesi, Graziano., Chesi, Graziano.
Baskı/Yayın Bilgisi 2011

İçindekiler: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Tam Metin Erişim

Elektronik Ekitap

Towards the Internet of Services: The THESEUS Research Program

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in CONTENTUS -- Semantic Processing of Medical Data -- Intelligent Healthcare Applications -- Mobile Radiology...”
Tam Metin Erişim

Elektronik Ekitap

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt