Risultati della ricerca - parallel observing programming function function https

Cerca anche:
observing programming » observing programmes , observing programs , solving programming
programming function » programming functional , programming functionals , programme function
parallel observing » parallelism observing , parallel operating , parallel string
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Pubblicazione 2015

Sommario: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo

Elettronico eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Pubblicazione 2010

Sommario: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Testo

Elettronico eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
Testo

Elettronico eBook

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Pubblicazione 2010

Sommario: “...) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View...”
Testo

Elettronico eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Testo

Elettronico eBook

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Testo

Elettronico eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Pubblicazione 2005

Sommario: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Testo

Elettronico eBook

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Pubblicazione 2006

Sommario: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Testo

Elettronico eBook

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Testo

Elettronico eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
Testo

Elettronico eBook

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Pubblicazione 2005

Sommario: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Testo

Elettronico eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Testo

Elettronico eBook

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

di Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Pubblicazione 2014

Soggetti: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
Testo

Elettronico eBook

Sourcebook of Models for Biomedical Research

Pubblicazione 2008

Sommario: “... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...”
Testo

Elettronico eBook

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Pubblicazione 2012

Sommario: “... Complexity Proto-Value Function Learning from Sensory Observations with Incremental Slow Feature Analysis...”
Testo

Elettronico eBook

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Pubblicazione 2013

Sommario: “... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”
Testo

Elettronico eBook

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Pubblicazione 2012

Sommario: “... Parallel Robot -- Non-smooth Observer for Mechanical Systems Based on Sandwich Model with Backlash...”
Testo

Elettronico eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Pubblicazione 2015

Sommario: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
Testo

Elettronico eBook

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Pubblicazione 2012

Sommario: “... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”
Testo

Elettronico eBook

Restringi la ricerca