תוצאות חיפוש - ((function computation) or (functions conditional)) programming validating method using*

אפשרויות חיפוש:
programming validating » programming evaluating , programming writing , programming balancing
functions conditional » functions functional , functional conditioning , functions computational
function computation » function computing , function decomposition , section computational
validating method » validation methods , locating method , estimating method

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

יצא לאור 2014

תוכן הענינים: “... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

יצא לאור 2012

תוכן הענינים: “... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

יצא לאור 2013

תוכן הענינים: “... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

יצא לאור 2008

תוכן הענינים: “...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Statistical Modeling and Analysis for Complex Data Problems

יצא לאור 2005

תוכן הענינים: “... Fourier Series Methods -- Conditions for the Validity of F-Ratio Tests for Treatment and Carryover Effects...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

יצא לאור 2008

תוכן הענינים: “... for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Neural network modeling and optimization for spray-drying coconut milk using genetic algorithm and particle swarm optimization

מאת Lee, Jesee Kar Ming
יצא לאור 2022

נושאים: “...Neural networks (Computer science)...”
קבל טקסט מלא

Thesis

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007 /

יצא לאור 2007

תוכן הענינים: “... Mechanism in Short-Channel Bulk Ge-pMOSFETs with Different Channel and Surface Orientations -- Validation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedi...

יצא לאור 2007

תוכן הענינים: “... with Handfuls of Examples -- Domain Adaptation of Conditional Probability Models Via Feature Subsetting...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Linking and Aligning Scores and Scales

יצא לאור 2007

תוכן הענינים: “... Further Thoughts on Concordance -- Vertical Scaling -- Practical Issues in Vertical Scaling -- Methods...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

יצא לאור 2014

תוכן הענינים: “... Temperature Prediction Based on Support Vector Machine -- Towards the Computation of A Nash Equilibrium...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Assessment of river water quality using an expert system

מאת Abdul Ghani, Pauziah Hanum
יצא לאור 2010

“... problem. The main objective is to build a prototype of ES-RWQ with an assessment method, and the ability...”
קבל טקסט מלא

Thesis

Assessment of river water quality using an expert system

מאת Abdul Ghani, Pauziah Hanum
יצא לאור 2010

“... problem. The main objective is to build a prototype of ES-RWQ with an assessment method, and the ability...”
קבל טקסט מלא

Thesis

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Problems -- A New Hybrid NM Method and Particle Swarm Algorithm for Multimodal Function Optimization...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

International Handbook of Occupational Therapy Interventions

יצא לאור 2015

תוכן הענינים: “... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Machine Learning: ECML 2006 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “...: Conditional Random Fields for Logical Sequences -- Unsupervised Multiple-Instance Learning for Functional...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש