Sökresultat - ((section computational) or (functions computational)) programming validation methods using*

Menade du:
functions computational » functions computation , function computation , directions computational
programming validation » programming validating , programming evaluation , programming animation
section computational » prediction computational , design computational , effective computational
validation methods » valuation methods , evaluation methods , visualization methods
methods using » method using , methods used

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Publicerad 2014

Innehållsförteckning: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hämta fulltext

Elektronisk E-bok

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Publicerad 2008

Innehållsförteckning: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking...”
Hämta fulltext

Elektronisk E-bok

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...”
Hämta fulltext

Elektronisk E-bok

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hämta fulltext

Elektronisk E-bok

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Publicerad 2008

Innehållsförteckning: “... Function -- A Robust Methodology for Comparing Performances of Clustering Validity Criteria -- Natural...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Hämta fulltext

Elektronisk E-bok

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”
Hämta fulltext

Elektronisk E-bok

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Hämta fulltext

Elektronisk E-bok

Transactions on High-Performance Embedded Architectures and Compilers IV

Publicerad 2011

Innehållsförteckning: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Hämta fulltext

Elektronisk E-bok

Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis /

av Harrell , Jr., Frank E., Harrell , Jr., Frank E.
Publicerad 2015

Innehållsförteckning: “... Modeling Strategies -- Describing, Resampling, Validating and Simplifying the Model -- R Software...”
Hämta fulltext

Elektronisk E-bok

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool...”
Hämta fulltext

Elektronisk E-bok

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicerad 2007

Innehållsförteckning: “...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...”
Hämta fulltext

Elektronisk E-bok

Vertebrate Embryogenesis Embryological, Cellular, and Genetic Methods /

Publicerad 2011

Innehållsförteckning: “... the Early Xenopus laevis Embryo -- Manipulation of Gene Function in Xenopus laevis -- Developmental Genetics...”
Hämta fulltext

Elektronisk E-bok

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

Publicerad 2008

Innehållsförteckning: “... Semantic Web Image Repository for Biological Research Images -- Formal Languages -- Mapping Validation...”
Hämta fulltext

Elektronisk E-bok

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I /

Publicerad 2013

Innehållsförteckning: “...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...”
Hämta fulltext

Elektronisk E-bok

Genome-Wide Association Studies and Genomic Prediction

Publicerad 2013

Innehållsförteckning: “... -- Overview of Statistical Methods for Genome-Wide Association Studies (GWAS) -- Statistical Analysis...”
Hämta fulltext

Elektronisk E-bok

Imaging in Drug Discovery and Early Clinical Trials

Publicerad 2005

Innehållsförteckning: “... in the intact organism -- Disease phenotyping: structural and functional readouts -- Evaluation of drug...”
Hämta fulltext

Elektronisk E-bok

Analytical model for partially prestressed concrete beam-column elements

av Esfahani, Milad Hafezolghorani
Publicerad 2017

“.... In order to validate the developed analytical model, plasticity formulation and the developed FE computer...”
Hämta fulltext

Lärdomsprov

Begränsa sökningen