Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program function » programme function, programs functional, program foundation
function control » functions control, junction control, functional control
program integer » program inverter, problem integer, programming integer
integer program » integer programs, integer programming
https » http
program function » programme function, programs functional, program foundation
function control » functions control, junction control, functional control
program integer » program inverter, problem integer, programming integer
integer program » integer programs, integer programming
https » http
1
Published 2012
Table of Contents:
“....- Subgradient based outer approximation for mixed integer secondorder cone programming.-Perspective...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”View full text
Electronic
eBook
6
“... results for the PID controller lose their validity and need to be adjusted according to the change...”
View full text
View full text
Article
7
Published 2010
Table of Contents:
“... Grass -- On Solvability of the Rate Control Problem in Wired-cum-Wireless Networks -- Integer...”View full text
Electronic
eBook
8
by Raddwan, Basheer, Al-Wagih, Khalil, Al-Baltah, Ibrahim A., Alrshah, Mohamed A., Al-Maqri, Mohammed A.
Published 2019
“...Recently, Network Function Virtualization (NFV) and Software Defined Networking (SDN) have...”Published 2019
View full text
Article
9
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of Rewrite Systems for Polytime Functions -- On the Controller Synthesis for Finite-State Markov Decision...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Programming Problem Involving (F, α, ρ, d) − V-type-I Functions -- Chapter 59: Consistency of Unconditional...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... -- Specifying and Reasoning About Dynamic Access-Control Policies -- On Keys and Functional Dependencies...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Reversible Abstract Machines -- Synthesizing Loops for Program Inversion -- Frugal Encoding in Reversible...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Combinatorial Optimization with Controllable Risk Aversion Level -- Approximating Minimum Power Covers...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Algebra: A. Baraviera et al -- 7 Periodic Homogenization of Deterministic Control Problems via Limit...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook