Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
1
Pubblicazione 2007
Sommario:
“... Simulation Based on Mass-Spring System -- Sweeping Surface Generated by a Class of Generalized Quasi-cubic...”Testo
Elettronico
eBook
2
Pubblicazione 2015
Sommario:
“... Theorem for Continuous Quasi-Uninorms -- Globally Monotone Extended Aggregation Functions -- A Survey...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“... -- Generating Modulo-2 Linear Invariants for Hardware Model Checking -- Suraq — A Controller Synthesis Tool...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“... Linear-Size Circuits -- A K-Provers Parallel Repetition Theorem for a Version of No-Signaling Model...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“... -- Optimizing Squares Covering a Set of Points -- Algorithms for Fair Partitioning of Convex Polygons -- A Quasi...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... Excitation for Speech Generation Based on Recursive Volterra Systems -- A Simple, Quasi-linear, Discrete...”Testo
Elettronico
eBook
7
Pubblicazione 2014
Sommario:
“... Multiplier Using Urdhva Triyakbhyam Sutra -- Multi-Algorithm Decision Level Fusion Using Finger Knuckle Print...”Testo
Elettronico
eBook
8
Pubblicazione 2013
Sommario:
“...The Lovasz Local Lemma – A Survey -- An Improved Knapsack Solver for Column Generation...”Testo
Elettronico
eBook
9
Pubblicazione 2008
Sommario:
“... to Know if a Linear Code Is a Group Code? -- Witness Sets -- On Rank and Kernel of ?4-Linear Codes...”Testo
Elettronico
eBook
10
Pubblicazione 2005
Sommario:
“... Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic...”Testo
Elettronico
eBook
11
Pubblicazione 2014
Sommario:
“... for Communicating Markov Processes -- Hybrid Systems -- A Statistical Approach for Computing Reachability of Non...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“... Finite Set of Words Is Linear -- On the Computational Capacity of Parallel Communicating Finite Automata...”Testo
Elettronico
eBook
13
Pubblicazione 2007
Sommario:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”Testo
Elettronico
eBook
14
Pubblicazione 2008
Sommario:
“... That Preserve Volumes -- Sampling Hypersurfaces through Diffusion -- A 2-Source Almost-Extractor for Linear...”Testo
Elettronico
eBook



