בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
efficient resolution » efficient solution, efficient solutions, efficient evaluation
resolution function » resolution functional, resolution refutations, resolution simulation
function efficient » functions efficient, junction efficient, junctions efficient
parallel function » parallel functional, parallel auction, parallel union
function https » functions https, fiction https
efficient resolution » efficient solution, efficient solutions, efficient evaluation
resolution function » resolution functional, resolution refutations, resolution simulation
function efficient » functions efficient, junction efficient, junctions efficient
parallel function » parallel functional, parallel auction, parallel union
function https » functions https, fiction https
1
יצא לאור 2006
תוכן הענינים:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... DEVICES. 3.1.Separation efficiency of a CE-chip. 3.2.Separation of biomacromolecules and particles. 4...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2014
תוכן הענינים:
“... Tracking -- Efficient Resolution of Hyper-Redundancy Using Splines -- Kinematic Modeling of an EAP Actuated...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2013
תוכן הענינים:
“... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... with Multi-seeds Detection and Parallel Extension -- Highly Space Efficient Counters for Perl Compatible...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים:
“... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים:
“... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2012
תוכן הענינים:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים:
“... Solvers for Finite Element Applications -- Efficient Parallel Algorithm for Constructing a Unit Triangular...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2005
תוכן הענינים:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים:
“...-Parallel Tree Matching Algorithm for Patterns with Horizontal VLDC’s -- A Partition-Based Efficient...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני



