1
Pubblicazione 2006
Sommario: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
Testo
Elettronico eBook
3
di Lee, Kent D., Lee, Kent D.
Pubblicazione 2014
Soggetti: ...Programming languages (Electronic computers)....
Testo
Elettronico eBook
4
Soggetti: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...
Testo
Elettronico eBook
7
Pubblicazione 2013
Sommario: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
Testo
Elettronico eBook
9
... crafted by seamlessly combining two established loss functions: Mean Square Error (MSE) and LogCosh...
Testo
Articolo
10
Sommario: ...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...
Testo
Elettronico eBook
11
Sommario: ... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...
Testo
Elettronico eBook
12
Pubblicazione 2005
Sommario: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Testo
Elettronico eBook
14
Pubblicazione 2013
Sommario: ... Set Segmentation for Ultrasound Imaging -- Region Based Contour Detection by Dynamic Programming...
Testo
Elettronico eBook
15
Sommario: ... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...
Testo
Elettronico eBook
16
Pubblicazione 2013
Sommario: ... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...
Testo
Elettronico eBook
17
Soggetti: ...Programming languages (Electronic computers)....
Testo
Elettronico eBook
18
di Sun, Wenyu., Sun, Wenyu., Yuan, Ya-Xiang.
Pubblicazione 2006
Sommario: ... of Constrained Optimization -- Quadratic Programming -- Penalty Function Methods -- Feasible Direction Methods...
Testo
Elettronico eBook
19
Pubblicazione 2007
Sommario: ... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Testo
Elettronico eBook