Søgeresultater - program inversion https function structures https

1

Inverse Analyses with Model Reduction Proper Orthogonal Decomposition in Structural Mechanics /

af Buljak, Vladimir., Buljak, Vladimir.
Udgivet 2012

Indholdsfortegnelse: “... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2007

Indholdsfortegnelse: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Få fuldtekst

Electronisk eBog

3

Fracture Mechanics Inverse Problems and Solutions /

af Bui, Huy Duong., Bui, Huy Duong.
Udgivet 2006

Indholdsfortegnelse: “... -- Tomographic Evaluation of Materials -- The Reciprocity Gap Functional for Crack Detection -- Methods...”
Få fuldtekst

Electronisk eBog

4

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2006

Indholdsfortegnelse: “... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”
Få fuldtekst

Electronisk eBog

6

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Udgivet 2010

Indholdsfortegnelse: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Få fuldtekst

Electronisk eBog

7

Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Common String Partition Parameterized -- Hardness and Approximability of the Inverse Scope Problem...”
Få fuldtekst

Electronisk eBog

8

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “..., High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative...”
Få fuldtekst

Electronisk eBog

9

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Få fuldtekst

Electronisk eBog

10

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”
Få fuldtekst

Electronisk eBog

11

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”
Få fuldtekst

Electronisk eBog

12

Data Analysis and Decision Support

Udgivet 2005

Indholdsfortegnelse: “... Structured Classifier for Symbolic Class Description -- A Diversity Measure for Tree-Based Classifier...”
Få fuldtekst

Electronisk eBog

13

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Få fuldtekst

Electronisk eBog

14

Recent Advances in Matrix and Operator Theory

Udgivet 2008

Indholdsfortegnelse: “...Inverse Problems for First-Order Discrete Systems -- Stability of Dynamical Systems via...”
Få fuldtekst

Electronisk eBog

15

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Udgivet 2007

Indholdsfortegnelse: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Få fuldtekst

Electronisk eBog

16

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Få fuldtekst

Electronisk eBog

17

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Udgivet 2005

Indholdsfortegnelse: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Få fuldtekst

Electronisk eBog

18

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Udgivet 2008

Indholdsfortegnelse: “... Warping for Image Texture Similarity -- Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2010

Indholdsfortegnelse: “... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...”
Få fuldtekst

Electronisk eBog

20

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning