The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for partial with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1959 (15) 1960-1963 (15) 1964-1965 (16) 1966-1967 (23) 1968 (18) 1969-1970 (26) 1971 (21) 1972 (15) 1973 (17) 1974 (21) 1975 (51) 1976 (28) 1977 (34) 1978 (27) 1979 (36) 1980 (52) 1981 (34) 1982 (54) 1983 (37) 1984 (50) 1985 (77) 1986 (65) 1987 (121) 1988 (178) 1989 (173) 1990 (203) 1991 (239) 1992 (236) 1993 (307) 1994 (304) 1995 (370) 1996 (436) 1997 (427) 1998 (495) 1999 (560) 2000 (642) 2001 (675) 2002 (826) 2003 (936) 2004 (1202) 2005 (1447) 2006 (1638) 2007 (1630) 2008 (1691) 2009 (1409) 2010 (847) 2011 (837) 2012 (963) 2013 (935) 2014 (976) 2015 (926) 2016 (965) 2017 (1065) 2018 (1052) 2019 (1209) 2020 (1418) 2021 (1375) 2022 (1478) 2023 (1540) 2024 (453)
Publication types (Num. hits)
article(15226) book(51) data(8) incollection(164) inproceedings(17164) phdthesis(266) proceedings(37)
Venues (Conferences, Journals, ...)
CoRR(2316) PEPM(453) IEEE Access(319) Appl. Math. Comput.(264) IEEE Trans. Commun.(208) IEEE Trans. Inf. Theory(188) CDC(173) Discret. Math.(169) Theor. Comput. Sci.(161) Sensors(159) ICC(153) AAAI(150) ICASSP(149) CVPR(130) IEEE Trans. Wirel. Commun.(130) J. Comput. Phys.(130) More (+10 of total 4341)
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
53Mikhail Ju. Moshkov, Marcin Piliszczuk On Partial Tests and Partial Reducts for Decision Tables. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial test, greedy algorithm, partial cover, partial reduct
50Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko Lower Bounds on Minimal Weight of Partial Reducts and Partial Decision Rules. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial decision rules, greedy algorithms, weights, Partial reducts
48Yu Du, Wayne Dai Partial reluctance based circuit simulation is efficient and stable. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF magnetic field, partial reluctance, vector potential, inductance, extraction, shielding
44Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Well-Founded and Partial Stable Semantics Logical Aspects. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
42Reihaneh Safavi-Naini, Huaxiong Wang Secret sharing schemes with partial broadcast channels. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 94A17, 68P30, AMS classifications 94A62
42Jian Pei, Haixun Wang, Jian Liu, Ke Wang 0001, Jianyong Wang 0001, Philip S. Yu Discovering Frequent Closed Partial Orders from Strings. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data mining, partial orders, Frequent patterns, strings, closed patterns
42Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 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
42Kenichi Asai Online partial evaluation for shift and reset. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
41Xiangnan Zhou, Qingguo Li Partial residuated structures and quantum structures. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
41Stephen-John Craig, Michael Leuschel LIX: an Effective Self-applicable Partial Evaluator for Prolog. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
41Boris A. Romov Partial Hyperclones on a Finite Set. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation
41Anup Kumar Raghavan, Peter Sutton JPG - A Partial Bitstream Generation Tool to Support Partial Reconfiguration in Virtex FPGAs. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF JBits, FPGA design flow, Partial Bitstream, Xilinx Virtex, Partial Reconfiguration
38Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons Fast and loose reasoning is morally correct. Search on Bibsonomy POPL The full citation details ... 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. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF partial hypergraph cover, partial set cover, greedy algorithm
38Sebastian Weik Registration of 3-D Partial Surface Models using Luminance and Depth Information. Search on Bibsonomy 3DIM The full citation details ... 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
38Niels H. Christensen, Robert Glück Offline partial evaluation can be as accurate as online partial evaluation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
38Hans-Jürgen Hoehnke Quasi-varieties: A special access. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
38Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko On Partial Covers, Reducts and Decision Rules. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF partial decision rules, Rough sets, greedy algorithms, partial covers, partial reducts
38Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko On Partial Covers, Reducts and Decision Rules with Weights. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF partial decision rules, greedy algorithms, weights, partial covers, partial reducts
36John B. Polhill New negative Latin square type partial difference sets in nonelementary abelian 2-groups and 3-groups. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS Classification 05B10
36Francine Blanchet-Sadri, N. C. Brownstein, Andy Kalcic, Justin Palumbo, Tracy Weyand Unavoidable Sets of Partial Words. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial words, Unavoidable sets, Combinatorics on words
36Lennart Augustsson O, partial evaluator, where art thou? Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF applications, haskell, partial evaluator
36Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde Fast partial evaluation of pattern matching in strings. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF partial evaluation, string matching, memoization
35Neil D. Jones, Carsten K. Gomard, Peter Sestoft Partial Evaluation for the Lambda Calculus. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Satnam Singh, Nicholas McKay Partial Evaluation of Hardware. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35John Hatcliff An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Olivier Danvy Type-Directed Partial Evaluation. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Torben Æ. Mogensen Partial Evaluation: Concepts and Applications. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Jesper Jørgensen SIMILIX: A Self-Applicable Partial Evaluator for Scheme. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Lennart Augustsson Partial Evaluation in Aircraft Crew Planning. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Jens Palsberg Eta-Redexes in Partial Evaluation. Search on Bibsonomy Partial Evaluation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Olivier Danvy Pragmatics of Type-Directed Partial Evaluation. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Michael Leuschel, Bern Martens Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Torben Æ. Mogensen Evolution of Partial Evaluators: Removing Inherited Limits. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Michael Sperber Self-Applicable Online Partial Evaluation. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35John Hughes Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Peter Sestoft MK Pattern Match Compilation and Partial Evaluation. Search on Bibsonomy Dagstuhl Seminar on Partial Evaluation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Ugo Montanari, Marco Pistore History dependent verification for partial order systems. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Albert R. Meyer, Alexander Moshe Rabinovich A solution of an interleaving decision problem by a partial order technique. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Wolfgang Thomas Elements of an automata theory over partial orders. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Doron A. Peled Partial order reduction: Linear and branching temporal logics and process algebras. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Patrice Godefroid On the costs and benefits of using partial-order methods for the verification of concurrent systems. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35David C. Luckham Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Eike Best Partial order verification with PEP. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33Jingsen Chen Average Cost to Produce Partial Orders. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Robin Bergenthum, Jörg Desel, Sebastian Mauser Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
33Damien Imbs, Michel Raynal Help When Needed, But No More: Efficient Read/Write Partial Snapshot. Search on Bibsonomy DISC The full citation details ... 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
33Nam Nguyen 0001, Rich Caruana Classification with partial labels. Search on Bibsonomy KDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF partial labels, support vectors
33Jörg Eisfeld, Leo Storme, Péter Sziklai On the Spectrum of the Sizes of Maximal Partial Line Spreads in PG(2n, q), n >= 3. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF maximal partial line spreads, projective spaces
33Germán Vidal Quasi-terminating logic programs for ensuring the termination of partial evaluation. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quasi-termination, partial deduction
33Sarah Thompson, Alan Mycroft Bit-level partial evaluation of synchronous circuits. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial evaluation, loop unrolling, synchronous circuits
32Bozena Staruch, Bogdan Staruch First Order Theories for Partial Models. Search on Bibsonomy Stud Logica The full citation details ... 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
32Yi Tao 0001, William I. Grosky, Chunnian Liu An Automatic Partial Deduction System for Constraint Logic Programs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
32Ajay Khoche, Erik Brunvand Testing self-timed circuits using partial scan. Search on Bibsonomy ASYNC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sequential network, partial scan environment, logic testing, sequential circuits, asynchronous circuits, partial scan, data paths, self-timed circuits
32Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine The Ecce and Logen partial evaluators and their web interfaces. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction
32Hong Jiang, Kenneth C. Smith PPMB: A Partial-Multiple-Bus Multiprocessor Architecture with Improved Cost-Effectiveness. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
30Lucien Haddad, Dietlinde Lau Characterization of Partial Sheffer Functions in 3-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Deepak Rajan, Philip S. Yu Discovering Partial Orders in Binary Data. Search on Bibsonomy ICDM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Jovanka Pantovic, Gradimir Vojvodic On the Partial Hyperclone Lattice. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Boris A. Romov Some Properties of Local Partial Clones on an Infinite Set. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Sang-Hun Lee, Kunwoo Lee Partial entity structure: a compact non-manifold boundary representation based on partial topological entities. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2001 DBLP  DOI  BibTeX  RDF topological entity, data structure, geometric modeling, boundary representation, non-manifold
30Qi Zhang 0001, Yue Zhang, Haomin Yu, Xuanjing Huang 0001 Efficient partial-duplicate detection based on sequence matching. Search on Bibsonomy SIGIR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF partial-duplicate detection, MapReduce, sequence matching
30Alan P. Reynolds, Beatriz de la Iglesia A multi-objective GRASP for partial classification. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial classification, Data mining, Multi-objective optimization, GRASP, Rule induction
30Jimei Yang, Shengcai Liao, Stan Z. Li Automatic Partial Face Alignment in NIR Video Sequences. Search on Bibsonomy ICB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial Faces, MBGC, SIFT, Face Alignment
30Kohtaro Tadaki Partial Randomness and Dimension of Recursively Enumerable Reals. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recursively enumerable real, partial randomness, Chaitin ? number, program-size complexity, universal probability, dimension, algorithmic randomness
30Jing Bai 0004, Shuming Gao, Weihua Tang, Yusheng Liu, Song Guo Semantic-based partial retrieval of CAD models for design reuse. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial retrieval, reusable region, design reuse, CAD model
30Zbigniew Kokosinski On Parallel Generation of Partial Derangements, Derangements and Permutations. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF derangement, partial derangement, derangement generation, permutation generation, permutation
30Yi Liu, Hongbin Zha, Hong Qin 0001 Shape Topics: A Compact Representation and New Algorithms for 3D Partial Shape Retrieval. Search on Bibsonomy CVPR (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF partial shape retrieval, a bag-of-words model, probabilistic text analysis, Shape representation
30Germán Puebla, Claudio Ochoa Poly-controlled partial evaluation. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF control rules, optimization, partial evaluation
30Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero Partial Order Reductions for Security Protocol Verification. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF partial order reductions and security, Model checking
30María Alpuente, Moreno Falaschi, Germán Vidal Partial Evaluation of Functional Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation
30Maciej Koutny Partial Order Semantics of Box Expressions. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics
30Carsten K. Gomard A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF partial evaluation, lambda calculus, compiler generation, self-application
30Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla PET: a partial evaluation-based test case generation tool for Java bytecode. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
30Jacques Carette, Michael Kucera Partial evaluation of Maple. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF residual theorems, partial evaluation, Maple, symbolic computation
30Lennart Augustsson Partial Evaluation in Aircraft Crew Planning. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF airline crew scheduling, generalized constant propagation, program transformation, partial evaluation
29Markus 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. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Pradeep Atwal, Sergio Conti, Benedict Geihe, Martin Pach, Martin Rumpf, Rüdiger Schultz On Shape Optimization with Stochastic Loadings. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Rolf Rannacher, Boris Vexler, Winnifried Wollner A Posteriori Error Estimation in PDE-constrained Optimization with Pointwise Inequality Constraints. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Nicolas R. Gauger, Caslav Ilic, Stephan Schmidt 0003, Volker Schulz 0001 Non-parametric Aerodynamic Shape Optimization. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Karsten Eppler, Helmut Harbrecht Shape Optimization for Free Boundary Problems - Analysis and Numerics. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Michael Hinze, Arnd Rösch Discretization of Optimal Control Problems. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Denise Holfeld, Philipp Stumm, Andrea Walther Structure Exploiting Adjoints for Finite Element Discretizations. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Thomas Apel, Dieter Sirch A Priori Mesh Grading for Distributed Optimal Control Problems. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Ira Neitzel, Fredi Tröltzsch Numerical Analysis of State-constrained Optimal Control Problems for PDEs. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Michael Gröschel, Günter Leugering, Wolfgang Peukert Model Reduction, Structure-property Relations and Optimization Techniques for the Production of Nanoscale Particles. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Ekaterina A. Kostina, Olga I. Kostyukova Computing Covariance Matrices for Constrained Nonlinear Large Scale Parameter Estimation Problems Using Krylov Subspace Methods. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29René Pinnau, Norbert Siedow Optimization and Inverse Problems in Radiative Heat Transfer. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Andreas Günther, Michael Hinze, Moulay Hicham Tber A Posteriori Error Representations for Elliptic Optimal Control Problems with Control and State Constraints. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Dominik Meidner, Boris Vexler Adaptive Space-Time Finite Element Methods for Parabolic Optimization Problems. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Eberhard Bänsch, Peter Benner Stabilization of Incompressible Flow Problems by Riccati-based Feedback. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Michael Hinze, Morten Vierling A Globalized Semi-smooth Newton Method for Variational Discretization of Control Constrained Elliptic Optimal Control Problems. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Nicolas 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. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Hans Georg Bock, Andreas Potschka, Sebastian Sager, Johannes P. Schlöder On the Connection Between Forward and Optimization Problem in One-shot One-step Methods. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Luise Blank, Harald Garcke, Lavinia Sarbu, Tarin Srisupattarawanit, Vanessa Styles, Axel Voigt Phase-field Approaches to Structural Topology Optimization. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Achim Küpper, Sebastian Engell Optimization of Simulated Moving Bed Processes. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Eberhard Bänsch, Manfred Kaltenbacher, Günter Leugering, Fabian Schury, Fabian Wein Optimization of Electro-mechanical Smart Structures. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Frank Haußer, Sandra Janssen, Axel Voigt Control of Nanostructures through Electric Fields and Related Free Boundary Problems. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Debora Clever, Jens Lang 0001, Stefan Ulbrich, J. Carsten Ziems Generalized Multilevel SQP-methods for PDAE-constrained Optimization Based on Space-Time Adaptive PDAE Solvers. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Luise Blank, Martin Butz, Harald Garcke, Lavinia Sarbu, Vanessa Styles Allen-Cahn and Cahn-Hilliard Variational Inequalities Solved with Optimization Techniques. Search on Bibsonomy Constrained Optimization and Optimal Control for Partial Differential Equations The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license