Rezultati - programming shape https function structures https

1

New Aspects of Axonal Structure and Function

Izdano 2010

Kazalo: “... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”
Polni tekst

Elektronski eKnjiga

2

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Izdano 2007

Kazalo: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Polni tekst

Elektronski eKnjiga

3

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Izdano 2007

Kazalo: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Polni tekst

Elektronski eKnjiga

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Izdano 2008

Kazalo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Polni tekst

Elektronski eKnjiga

5

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Izdano 2012

Kazalo: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
Polni tekst

Elektronski eKnjiga

6

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Izdano 2005

Kazalo: “... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”
Polni tekst

Elektronski eKnjiga

7

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Izdano 2008

Kazalo: “... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...”
Polni tekst

Elektronski eKnjiga

8

BONUS Algorithm for Large Scale Stochastic Nonlinear Programming Problems

od Diwekar, Urmila., Diwekar, Urmila., David, Amy.
Izdano 2015

Kazalo: “... Functions and Kernel Density Estimation -- 4. The BONUS Algorithm -- 5. Water Management under Weather...”
Polni tekst

Elektronski eKnjiga

9

IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials Status and Perspectives /

Izdano 2006

Kazalo: “... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”
Polni tekst

Elektronski eKnjiga

10

SH Domains Structure, Mechanisms and Applications /

Izdano 2015

Kazalo: “... -- Structure-Function Relationship of Bacterial SH3 Domains -- Activation of PI3K by Thyroid Hormone Nuclear...”
Polni tekst

Elektronski eKnjiga

11

Optimization with PDE Constraints ESF Networking Program 'OPTPDE' /

Izdano 2014

Kazalo: “...Solution of 2D Contact Shape Optimization Problems -- Phase Field Methods for Binary Recovery...”
Polni tekst

Elektronski eKnjiga

12

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Izdano 2007

Kazalo: “... Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis...”
Polni tekst

Elektronski eKnjiga

13

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Izdano 2014

Kazalo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Polni tekst

Elektronski eKnjiga

14

Foundation Flash 8

od Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Izdano 2006

Kazalo: “... -- Working with Color and Images -- Motion Tweening -- Shape Tweening -- Masks and Masking -- Advanced...”
Polni tekst

Elektronski eKnjiga

15

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Izdano 2010

Kazalo: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Polni tekst

Elektronski eKnjiga

16

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Izdano 2005

Kazalo: “... Structures -- Shape Analysis by Predicate Abstraction -- Predicate Abstraction and Canonical Abstraction...”
Polni tekst

Elektronski eKnjiga

17

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Polni tekst

Elektronski eKnjiga

18

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Izdano 2005

Kazalo: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Polni tekst

Elektronski eKnjiga

19

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Izdano 2010

Kazalo: “... for Computing Optimal Coalition Structures in Non-linear Logistics Domains -- Collaborative Systems -- Moral...”
Polni tekst

Elektronski eKnjiga

20

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Izdano 2010

Kazalo: “... Classifier -- Boosting Algorithm with Sequence-Loss Cost Function for Structured Prediction -- Application...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje