Evaluation - PDFSEARCH.IO - Document Search Engine

Evaluation
Results: 177294

#	Item
21	Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:40 Computer programming Statistical randomness Computing Operations research Queueing theory Markov processes Recursion Theoretical computer science Qt Queue Linear programming Mathematical optimization
22	Mentoring in der Politik – Evaluation des Pilotprojekts Add to Reading List Source URL: www.ekf.admin.ch Language: German
23	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-03-15 18:34:02 Mathematical logic Logic Boolean algebra Mathematics Complexity classes True quantified Boolean formula Predicate logic FO PSPACE-complete Boolean Propositional calculus Model theory
24	Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2008-03-05 10:22:30 Internet architecture Computing Network architecture Internet Quality of service Teletraffic Resource Reservation Protocol Network protocols Integrated services Mobile IP Handover RSVP
25	Einladung zu einem RISE-Einführungskurs für landwirtschaftliche Berater am 4. und 5. Februar 2019 RISE (Response-inducing sustainability evaluation) Sehr geehrte Damen und Herren, die LWK-Niedersachsen, das RISE-Team d Add to Reading List Source URL: www.hafl.bfh.ch Language: German - Date: 2018-09-11 02:55:29
26	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-07-08 14:32:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
27	Evaluation des Bürokratiemonitors INTERFACE Politikstudien Forschung Beratung März 2015 Impressum Add to Reading List Source URL: www.seco.admin.ch Language: French
28	REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms Steven Gay ∗, Pierre Schaus ∗, Stefano Vissicchio † ∗ Universite catholique de Louvain, † University College London Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-10-24 20:49:21 Computing Mathematics Mathematical software Routing Internet architecture Emerging technologies Network architecture Load balancing Open Shortest Path First Computer network Solver Network topology
29	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2010-06-01 10:39:41 Logic Mathematical logic Mathematics Boolean algebra Complexity classes Metalogic Model theory True quantified Boolean formula Satisfiability FO PSPACE-complete Well-formed formula
30	An Evaluation of the Sieving Device YASD for 1024-bit Integers* SHARCS 2006, Cologne, Germany April 4, 2006 Naoyuki Hirota (UEC), ○Tetsuya Izu (FUJITSU), Noboru Kunihiro (UEC), Kazuo Ohta (UEC) Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-19 03:56:50 Cryptography Integer factorization algorithms Weizmann Institute of Science Computational hardness assumptions TWINKLE TWIRL General number field sieve Integer factorization Factor base RSA World records