|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12490 occurrences of 5603 keywords
|
|
|
Results
Found 32916 publication records. Showing 32916 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Mikhail Ju. Moshkov, Marcin Piliszczuk |
On Partial Tests and Partial Reducts for Decision Tables. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
partial test, greedy algorithm, partial cover, partial reduct |
50 | Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko |
Lower Bounds on Minimal Weight of Partial Reducts and Partial Decision Rules. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
partial decision rules, greedy algorithms, weights, Partial reducts |
48 | Yu Du, Wayne Dai |
Partial reluctance based circuit simulation is efficient and stable. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
magnetic field, partial reluctance, vector potential, inductance, extraction, shielding |
44 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Well-Founded and Partial Stable Semantics Logical Aspects. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics |
42 | Reihaneh Safavi-Naini, Huaxiong Wang |
Secret sharing schemes with partial broadcast channels. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
94A17, 68P30, AMS classifications 94A62 |
42 | Jian Pei, Haixun Wang, Jian Liu, Ke Wang 0001, Jianyong Wang 0001, Philip S. Yu |
Discovering Frequent Closed Partial Orders from Strings. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
data mining, partial orders, Frequent patterns, strings, closed patterns |
42 | Anton Setzer |
Partial Recursive Functions in Martin-Löf Type Theory. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory |
42 | Kenichi Asai |
Online partial evaluation for shift and reset. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations |
41 | Xiangnan Zhou, Qingguo Li |
Partial residuated structures and quantum structures. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra |
41 | Stephen-John Craig, Michael Leuschel |
LIX: an Effective Self-applicable Partial Evaluator for Prolog. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application |
41 | Boris A. Romov |
Partial Hyperclones on a Finite Set. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation |
41 | Anup Kumar Raghavan, Peter Sutton |
JPG - A Partial Bitstream Generation Tool to Support Partial Reconfiguration in Virtex FPGAs. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
JBits, FPGA design flow, Partial Bitstream, Xilinx Virtex, Partial Reconfiguration |
38 | Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons |
Fast and loose reasoning is morally correct. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning |
38 | Özgür Sümer |
Partial covering of hypergraphs. |
SODA |
2005 |
DBLP BibTeX RDF |
partial hypergraph cover, partial set cover, greedy algorithm |
38 | Sebastian Weik |
Registration of 3-D Partial Surface Models using Luminance and Depth Information. |
3DIM |
1997 |
DBLP DOI BibTeX RDF |
3D partial surface model registration, luminance information, textured surface models, overlapping partial models, camera-based depth information, 3D Euclidian distances, motion estimation, computer graphics, convergence, optical flow, image registration, merging, stereo image processing, quaternions, degrees of freedom, three-dimensional objects, depth information |
38 | Niels H. Christensen, Robert Glück |
Offline partial evaluation can be as accurate as online partial evaluation. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis |
38 | Hans-Jürgen Hoehnke |
Quasi-varieties: A special access. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones |
38 | Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko |
On Partial Covers, Reducts and Decision Rules. |
Trans. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
partial decision rules, Rough sets, greedy algorithms, partial covers, partial reducts |
38 | Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko |
On Partial Covers, Reducts and Decision Rules with Weights. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
partial decision rules, greedy algorithms, weights, partial covers, partial reducts |
36 | John B. Polhill |
New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classification 05B10 |
36 | Francine Blanchet-Sadri, N. C. Brownstein, Andy Kalcic, Justin Palumbo, Tracy Weyand |
Unavoidable Sets of Partial Words. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Partial words, Unavoidable sets, Combinatorics on words |
36 | Lennart Augustsson |
O, partial evaluator, where art thou? |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
applications, haskell, partial evaluator |
36 | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
Fast partial evaluation of pattern matching in strings. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
partial evaluation, string matching, memoization |
35 | Neil D. Jones, Carsten K. Gomard, Peter Sestoft |
Partial Evaluation for the Lambda Calculus. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Satnam Singh, Nicholas McKay |
Partial Evaluation of Hardware. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | John Hatcliff |
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Olivier Danvy |
Type-Directed Partial Evaluation. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Torben Æ. Mogensen |
Partial Evaluation: Concepts and Applications. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Jesper Jørgensen |
SIMILIX: A Self-Applicable Partial Evaluator for Scheme. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Lennart Augustsson |
Partial Evaluation in Aircraft Crew Planning. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Jens Palsberg |
Eta-Redexes in Partial Evaluation. |
Partial Evaluation |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Olivier Danvy |
Pragmatics of Type-Directed Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Michael Leuschel, Bern Martens |
Global Control for Partial Deduction through Characteristic Atoms and Global Trees. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Torben Æ. Mogensen |
Evolution of Partial Evaluators: Removing Inherited Limits. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Michael Sperber |
Self-Applicable Online Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | John Hughes |
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Peter Sestoft |
MK Pattern Match Compilation and Partial Evaluation. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Ugo Montanari, Marco Pistore |
History dependent verification for partial order systems. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Albert R. Meyer, Alexander Moshe Rabinovich |
A solution of an interleaving decision problem by a partial order technique. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Wolfgang Thomas |
Elements of an automata theory over partial orders. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Doron A. Peled |
Partial order reduction: Linear and branching temporal logics and process algebras. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Patrice Godefroid |
On the costs and benefits of using partial-order methods for the verification of concurrent systems. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | David C. Luckham |
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
35 | Eike Best |
Partial order verification with PEP. |
Partial Order Methods in Verification |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Jingsen Chen |
Average Cost to Produce Partial Orders. |
ISAAC |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm |
33 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system |
33 | Nam Nguyen 0001, Rich Caruana |
Classification with partial labels. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
partial labels, support vectors |
33 | Jörg Eisfeld, Leo Storme, Péter Sziklai |
On the Spectrum of the Sizes of Maximal Partial Line Spreads in PG(2n, q), n >= 3. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
maximal partial line spreads, projective spaces |
33 | Germán Vidal |
Quasi-terminating logic programs for ensuring the termination of partial evaluation. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
quasi-termination, partial deduction |
33 | Sarah Thompson, Alan Mycroft |
Bit-level partial evaluation of synchronous circuits. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
partial evaluation, loop unrolling, synchronous circuits |
32 | Bozena Staruch, Bogdan Staruch |
First Order Theories for Partial Models. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
partial model, possible sets of sentences, infallible sets of sentences, Scott’s domain, extension, standard models, default logic, partial algebra |
32 | Yi Tao 0001, William I. Grosky, Chunnian Liu |
An Automatic Partial Deduction System for Constraint Logic Programs. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming |
32 | Ajay Khoche, Erik Brunvand |
Testing self-timed circuits using partial scan. |
ASYNC |
1995 |
DBLP DOI BibTeX RDF |
sequential network, partial scan environment, logic testing, sequential circuits, asynchronous circuits, partial scan, data paths, self-timed circuits |
32 | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
The Ecce and Logen partial evaluators and their web interfaces. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction |
32 | Hong Jiang, Kenneth C. Smith |
PPMB: A Partial-Multiple-Bus Multiprocessor Architecture with Improved Cost-Effectiveness. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
PPMB, partial-multiple-bus multiprocessor architecture, processor-oriented partial-multiple-bus, memory-oriented partial-multiple-bus, system bandwidth, simulation, performance evaluation, design, performance analysis, interconnection networks, computer architecture, multiprocessor interconnection networks, cost-effectiveness, arbitration |
30 | Lucien Haddad, Dietlinde Lau |
Characterization of Partial Sheffer Functions in 3-Valued Logic. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Deepak Rajan, Philip S. Yu |
Discovering Partial Orders in Binary Data. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jovanka Pantovic, Gradimir Vojvodic |
On the Partial Hyperclone Lattice. |
ISMVL |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Boris A. Romov |
Some Properties of Local Partial Clones on an Infinite Set. |
ISMVL |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Sang-Hun Lee, Kunwoo Lee |
Partial entity structure: a compact non-manifold boundary representation based on partial topological entities. |
Symposium on Solid Modeling and Applications |
2001 |
DBLP DOI BibTeX RDF |
topological entity, data structure, geometric modeling, boundary representation, non-manifold |
30 | Qi Zhang 0001, Yue Zhang, Haomin Yu, Xuanjing Huang 0001 |
Efficient partial-duplicate detection based on sequence matching. |
SIGIR |
2010 |
DBLP DOI BibTeX RDF |
partial-duplicate detection, MapReduce, sequence matching |
30 | Alan P. Reynolds, Beatriz de la Iglesia |
A multi-objective GRASP for partial classification. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
Partial classification, Data mining, Multi-objective optimization, GRASP, Rule induction |
30 | Jimei Yang, Shengcai Liao, Stan Z. Li |
Automatic Partial Face Alignment in NIR Video Sequences. |
ICB |
2009 |
DBLP DOI BibTeX RDF |
Partial Faces, MBGC, SIFT, Face Alignment |
30 | Kohtaro Tadaki |
Partial Randomness and Dimension of Recursively Enumerable Reals. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
recursively enumerable real, partial randomness, Chaitin ? number, program-size complexity, universal probability, dimension, algorithmic randomness |
30 | Jing Bai 0004, Shuming Gao, Weihua Tang, Yusheng Liu, Song Guo |
Semantic-based partial retrieval of CAD models for design reuse. |
Symposium on Solid and Physical Modeling |
2009 |
DBLP DOI BibTeX RDF |
partial retrieval, reusable region, design reuse, CAD model |
30 | Zbigniew Kokosinski |
On Parallel Generation of Partial Derangements, Derangements and Permutations. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
derangement, partial derangement, derangement generation, permutation generation, permutation |
30 | Yi Liu, Hongbin Zha, Hong Qin 0001 |
Shape Topics: A Compact Representation and New Algorithms for 3D Partial Shape Retrieval. |
CVPR (2) |
2006 |
DBLP DOI BibTeX RDF |
partial shape retrieval, a bag-of-words model, probabilistic text analysis, Shape representation |
30 | Germán Puebla, Claudio Ochoa |
Poly-controlled partial evaluation. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
control rules, optimization, partial evaluation |
30 | Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero |
Partial Order Reductions for Security Protocol Verification. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
partial order reductions and security, Model checking |
30 | María Alpuente, Moreno Falaschi, Germán Vidal |
Partial Evaluation of Functional Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation |
30 | Maciej Koutny |
Partial Order Semantics of Box Expressions. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics |
30 | Carsten K. Gomard |
A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
partial evaluation, lambda calculus, compiler generation, self-application |
30 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
30 | Jacques Carette, Michael Kucera |
Partial evaluation of Maple. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
residual theorems, partial evaluation, Maple, symbolic computation |
30 | Lennart Augustsson |
Partial Evaluation in Aircraft Crew Planning. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
airline crew scheduling, generalized constant propagation, program transformation, partial evaluation |
29 | Markus Probst, Michael Lülfesmann, Mike Nicolai, H. Martin Bücker, Marek Behr, Christian H. Bischof |
On the Influence of Constitutive Models on Shape Optimization for Artificial Blood Pumps. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Pradeep Atwal, Sergio Conti, Benedict Geihe, Martin Pach, Martin Rumpf, Rüdiger Schultz |
On Shape Optimization with Stochastic Loadings. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Rolf Rannacher, Boris Vexler, Winnifried Wollner |
A Posteriori Error Estimation in PDE-constrained Optimization with Pointwise Inequality Constraints. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas R. Gauger, Caslav Ilic, Stephan Schmidt 0003, Volker Schulz 0001 |
Non-parametric Aerodynamic Shape Optimization. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Karsten Eppler, Helmut Harbrecht |
Shape Optimization for Free Boundary Problems - Analysis and Numerics. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Michael Hinze, Arnd Rösch |
Discretization of Optimal Control Problems. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Denise Holfeld, Philipp Stumm, Andrea Walther |
Structure Exploiting Adjoints for Finite Element Discretizations. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Apel, Dieter Sirch |
A Priori Mesh Grading for Distributed Optimal Control Problems. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Ira Neitzel, Fredi Tröltzsch |
Numerical Analysis of State-constrained Optimal Control Problems for PDEs. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Michael Gröschel, Günter Leugering, Wolfgang Peukert |
Model Reduction, Structure-property Relations and Optimization Techniques for the Production of Nanoscale Particles. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Ekaterina A. Kostina, Olga I. Kostyukova |
Computing Covariance Matrices for Constrained Nonlinear Large Scale Parameter Estimation Problems Using Krylov Subspace Methods. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | René Pinnau, Norbert Siedow |
Optimization and Inverse Problems in Radiative Heat Transfer. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Andreas Günther, Michael Hinze, Moulay Hicham Tber |
A Posteriori Error Representations for Elliptic Optimal Control Problems with Control and State Constraints. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Dominik Meidner, Boris Vexler |
Adaptive Space-Time Finite Element Methods for Parabolic Optimization Problems. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Eberhard Bänsch, Peter Benner |
Stabilization of Incompressible Flow Problems by Riccati-based Feedback. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Michael Hinze, Morten Vierling |
A Globalized Semi-smooth Newton Method for Variational Discretization of Control Constrained Elliptic Optimal Control Problems. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas R. Gauger, Andreas Griewank, Adel Hamdi, Claudia Kratzenstein, Emre Özkaya, Thomas Slawig |
Automated Extension of Fixed Point PDE Solvers for Optimal Design with Bounded Retardation. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Hans Georg Bock, Andreas Potschka, Sebastian Sager, Johannes P. Schlöder |
On the Connection Between Forward and Optimization Problem in One-shot One-step Methods. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Luise Blank, Harald Garcke, Lavinia Sarbu, Tarin Srisupattarawanit, Vanessa Styles, Axel Voigt |
Phase-field Approaches to Structural Topology Optimization. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Achim Küpper, Sebastian Engell |
Optimization of Simulated Moving Bed Processes. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Eberhard Bänsch, Manfred Kaltenbacher, Günter Leugering, Fabian Schury, Fabian Wein |
Optimization of Electro-mechanical Smart Structures. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Frank Haußer, Sandra Janssen, Axel Voigt |
Control of Nanostructures through Electric Fields and Related Free Boundary Problems. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Debora Clever, Jens Lang 0001, Stefan Ulbrich, J. Carsten Ziems |
Generalized Multilevel SQP-methods for PDAE-constrained Optimization Based on Space-Time Adaptive PDAE Solvers. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Luise Blank, Martin Butz, Harald Garcke, Lavinia Sarbu, Vanessa Styles |
Allen-Cahn and Cahn-Hilliard Variational Inequalities Solved with Optimization Techniques. |
Constrained Optimization and Optimal Control for Partial Differential Equations |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 32916 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|