Refine
Year of publication
- 1999 (351)
- 1998 (90)
- 2000 (74)
- 1996 (58)
- 1997 (57)
- 1995 (50)
- 1994 (35)
- 2001 (33)
- 2014 (27)
- 1993 (26)
- 2003 (19)
- 1991 (18)
- 2013 (18)
- 1992 (17)
- 2002 (14)
- 2005 (14)
- 2006 (14)
- 2007 (14)
- 2015 (14)
- 1990 (11)
- 2004 (9)
- 2011 (9)
- 2008 (8)
- 2009 (8)
- 2012 (7)
- 2016 (7)
- 1989 (5)
- 1987 (4)
- 1988 (4)
- 2010 (4)
- 1984 (3)
- 1985 (3)
- 2017 (3)
- 2018 (3)
- 2019 (2)
- 1979 (1)
- 1981 (1)
- 2021 (1)
- 2023 (1)
Document Type
- Preprint (1037) (remove)
Language
- English (1037) (remove)
Keywords
- AG-RESY (14)
- Approximation (9)
- Case-Based Reasoning (9)
- RODEO (9)
- Mehrskalenanalyse (8)
- Wavelet (8)
- Boltzmann Equation (7)
- Location Theory (7)
- Numerical Simulation (7)
- Case Based Reasoning (6)
- Inverses Problem (6)
- Abstraction (5)
- case-based problem solving (5)
- integer programming (5)
- wavelets (5)
- Gravitationsfeld (4)
- Knowledge Acquisition (4)
- NURBS (4)
- Robotics (4)
- Sphäre (4)
- case-based reasoning (4)
- consistency (4)
- haptotaxis (4)
- multiscale model (4)
- nonparametric regression (4)
- time series (4)
- COMOKIT (3)
- Cauchy-Navier equation (3)
- CoMo-Kit (3)
- Combinatorial optimization (3)
- Fallbasiertes Schliessen (3)
- Fallbasiertes Schließen (3)
- Force-Torque (3)
- HANDFLEX (3)
- Intensity modulated radiation therapy (3)
- Internet (3)
- Knowledge acquisition (3)
- Kugel (3)
- Multicriteria Optimization (3)
- Multicriteria optimization (3)
- Multiobjective optimization (3)
- Regularisierung (3)
- Spherical Wavelets (3)
- Spline (3)
- Wavelet-Analyse (3)
- average density (3)
- confluence (3)
- distributed software development (3)
- distributed software development process (3)
- explanation-based learning (3)
- hub location (3)
- lattice Boltzmann method (3)
- low Mach number limit (3)
- network flows (3)
- neural network (3)
- numerics (3)
- problem solving (3)
- resolution (3)
- tangent measure distributions (3)
- vibration (3)
- Algebraic Optimization (2)
- Assembly (2)
- Beam-on time (2)
- Brillouin light scattering spectroscopy (2)
- Brownian motion (2)
- CAPlan (2)
- CHAMP <Satellitenmission> (2)
- CIM-OSA (2)
- CORBA (2)
- Cauchy-Navier-Gleichung (2)
- Change analysis (2)
- Combinatorial Optimization (2)
- Decomposition and Reconstruction Schemes (2)
- Decomposition cardinality (2)
- Deduction (2)
- Deformable Objects (2)
- Distributed Software Development (2)
- Field splitting (2)
- GOCE <Satellitenmission> (2)
- GRACE <Satellitenmission> (2)
- Galerkin-Methode (2)
- Geometrical Algorithms (2)
- Gravimetrie (2)
- Gröbner bases (2)
- HOT (2)
- Harmonische Spline-Funktion (2)
- Hypervolume (2)
- Integer-valued time series (2)
- Isogeometric Analysis (2)
- Kalman filtering (2)
- Kinetic Schemes (2)
- Kugelflächenfunktion (2)
- Lokalisation (2)
- MOLTKE-Projekt (2)
- Manipulation (2)
- Manipulation skills (2)
- Mixture Models (2)
- Multileaf collimator sequencing (2)
- Multiobjective programming (2)
- Multiresolution Analysis (2)
- Multivariate Approximation (2)
- Neural networks (2)
- Palm distributions (2)
- Parallel volume (2)
- Particle Methods (2)
- Poisson-Gleichung (2)
- Quantum mechanics (2)
- Randwertproblem / Schiefe Ableitung (2)
- Rarefied Gas Dynamics (2)
- Regularization (2)
- SDL (2)
- Sobolev-Raum (2)
- Software Agents (2)
- Spline-Approximation (2)
- Subset selection (2)
- TOVE (2)
- Term rewriting systems (2)
- Up Functions (2)
- Wills functional (2)
- Wissensakquisition (2)
- application (2)
- approximate identity (2)
- artificial neural networks (2)
- asymptotic analysis (2)
- asymptotic behavior (2)
- autoregressive process (2)
- average densities (2)
- building automation (2)
- cancer cell invasion (2)
- case based reasoning (2)
- case-based planning (2)
- combinatorial optimization (2)
- combined systems with sha (2)
- connectedness (2)
- consecutive ones property (2)
- convergence (2)
- coset enumeration (2)
- deformable objects (2)
- degenerate diffusion (2)
- delay (2)
- density distribution (2)
- design patterns (2)
- discretization (2)
- disjoint union (2)
- facets (2)
- formal specification (2)
- genetic algorithms (2)
- geometric ergodicity (2)
- global existence (2)
- harmonic density (2)
- heat equation (2)
- hidden variables (2)
- incompressible Navier-Stokes equations (2)
- innermost termination (2)
- inverse problems (2)
- isogeometric analysis (2)
- k-link shortest path (2)
- kinetic equations (2)
- lacunarity distribution (2)
- learning system (2)
- limit and jump relations (2)
- mixture (2)
- mobile robots (2)
- modularity (2)
- moment realizability (2)
- occupation measure (2)
- optimal control (2)
- optimization (2)
- order-two densities (2)
- pH-taxis (2)
- parabolic system (2)
- particle method (2)
- particle methods (2)
- pyramid scheme (2)
- radiotherapy (2)
- regular surface (2)
- regularization (2)
- regularization wavelets (2)
- reproducing kernel (2)
- reproduzierender Kern (2)
- requirements engineering (2)
- resonances (2)
- reuse (2)
- satellite gravity gradiometry (2)
- self-organization (2)
- semiconductor superlattice (2)
- spin wave quantization (2)
- stationarity (2)
- stationary radiative transfer equation (2)
- subgroup problem (2)
- temporal logic (2)
- termination (2)
- theorem prover (2)
- trajectory planning (2)
- uniqueness (2)
- universal objective function (2)
- valid inequalities (2)
- weak solution (2)
- weak termination (2)
- 2-d kernel regression (1)
- AR-ARCH (1)
- Abel integral equations (1)
- Abelian groups (1)
- Abgeschlossenheit (1)
- Ableitung höherer Ordnung (1)
- Acid-mediated tumor invasion (1)
- AdS/CFT (1)
- Adjoint system (1)
- Agents (1)
- Algebraic Geometry (1)
- Algebraic optimization (1)
- Algorithmics (1)
- Alter (1)
- Analogy (1)
- Analysis (1)
- Analytic semigroup (1)
- Applications (1)
- Approximation Algorithms (1)
- Approximative Identität (1)
- Associative Memory Problem (1)
- Automated Reasoning (1)
- Automated theorem proving (1)
- Automatic Theorem Provi (1)
- Automatische Spracherkennung (1)
- Autonomous mobile robots (1)
- Autoregression (1)
- Autoregressive time series (1)
- Bayes risk (1)
- Behinderter (1)
- Bernstein Kern (1)
- Bernstejn-Polynom (1)
- Bessel functions (1)
- Biorthogonalisation (1)
- Bisector (1)
- Black-Scholes model (1)
- Blackboard architecture (1)
- Boundary Value Problem (1)
- Boundary Value Problems (1)
- Box Algorithms (1)
- Box-Algorithm (1)
- Brillouin light scattering (1)
- CAx (1)
- CAx Technology (1)
- CFL type conditions (1)
- CHAMP (1)
- CNC-Maschine (1)
- CPLD (1)
- CUSUM statistic (1)
- Cantor sets (1)
- Capacity (1)
- Capital-at-Risk (1)
- Carreau law (1)
- Case Study (1)
- Case-Based Classification Algorithms (1)
- Case-Based Reasoning Systems (1)
- Case-Based Representability (1)
- Case-based problem solving (1)
- Cauchy-Navier scaling function and wavelet (1)
- Causal Ordering (1)
- Causality (1)
- Certifying Compilers (1)
- Chapman Enskog distributions (1)
- Chorin's projection scheme (1)
- Classification (1)
- Coherent State (1)
- Collaborative Design (1)
- Collision Operator (1)
- Collocation Method plus (1)
- Completion (1)
- Complexity (1)
- Complexity and performance of numerical algorithms (1)
- Computational Fluid Dynamics (1)
- Computer Assisted Tomograp (1)
- Concept mapping (1)
- Concept maps (1)
- Constraint Graphs (1)
- Continuous Location (1)
- Contract net (1)
- Control Design Styles (1)
- Convex Analysis (1)
- Convex geometry (1)
- Convexity (1)
- Cooperative decision making (1)
- Correlation (1)
- Correspondence with other notations (1)
- Cosine function (1)
- Coxeter groups (1)
- Crofton's intersection formulae (1)
- Damon-Eshbach spin wave modes (1)
- Decision Making (1)
- Decision support (1)
- Declarative and Procedural Knowledge (1)
- Decomposition of integer matrices (1)
- Dense gas (1)
- Dependency Factors (1)
- Derivatives (1)
- Design Patterns (1)
- Design Styles (1)
- Diagnosesystem (1)
- Difference Reduction (1)
- Differential Cross-Sections (1)
- Dirichlet series (1)
- Dirichlet-Problem (1)
- Discrete Bicriteria Optimization (1)
- Discrete decision problems (1)
- Discrete velocity models (1)
- Distributed Computation (1)
- Distributed Deb (1)
- Distributed Software Development Projects (1)
- Distributed System (1)
- Distributed software development support (1)
- Distributed systems (1)
- Distribution and Combination of Theorem Provers (1)
- Domain Decomposition (1)
- Domain decomposition (1)
- Dynamic cut (1)
- Dynamische Topographie (1)
- EBG (1)
- EGM96 (1)
- EM algorith (1)
- EM algorithm (1)
- EXPRESS-G (1)
- Earliest arrival augmenting path (1)
- Earth' (1)
- Earth's disturbing potential (1)
- Ecological Economics (1)
- Ecommerce (1)
- Eigenschwingung (1)
- Elastic properties (1)
- Elastische Deformation (1)
- Elastizität (1)
- Electron states in low-dimensional structures (1)
- Elliptic-parabolic equation (1)
- Enskog equation (1)
- Enterprise modeling (1)
- Enterprise modelling (1)
- Equality reasoning (1)
- Equational Reasoning (1)
- Euler's equation of motion (1)
- Evaluation (1)
- Evolution Equations (1)
- Evolutionary Integral Equations (1)
- Experimental Data (1)
- FEM-FCT stabilization (1)
- Fallbasiertes Planen (1)
- Faltung (1)
- Faltung <Mathematik> (1)
- Families of Probability Measures (1)
- Fast Wavelet Transform (1)
- Feature Technology (1)
- Features (1)
- Feed-forward Networks (1)
- Fiber spinning (1)
- Finite Dominating Sets (1)
- First--order optimality system (1)
- Fokker-Planck equation (1)
- Forbidden Regions (1)
- Fredholm integral equation of the second kind (1)
- Frequency Averaging (1)
- Function of bounded variation (1)
- Functional Programs (1)
- Fuzzy Programming (1)
- GOCE <satellite mission> (1)
- GPS-satellite-to-satellite tracking (1)
- GRACE (1)
- GRACE <satellite mission> (1)
- Gauge Distances (1)
- Gaussian random noise (1)
- General Knowledge (1)
- Genetic Algorithm (1)
- Geodäsie (1)
- Geodätischer Satellit (1)
- Geometric Ergodicity (1)
- Geometrical algorithms (1)
- Geometrical nonlinear Reissner–Mindlin shell (1)
- Geostrophisches Gleichgewicht (1)
- Geothermal Flow (1)
- Geothermal Systems (1)
- Gleichmäßige Approximation (1)
- Global Optimization (1)
- Global Predicate Detection (1)
- Global optimization (1)
- Glättung (1)
- Glättungsparameterwahl (1)
- Grad expansion (1)
- Graph coloring (1)
- Gravimetry (1)
- Gravitational Field (1)
- Greedy Algorithm (1)
- Greedy algorithm (1)
- Grid Graphs (1)
- Gröbner base (1)
- Gröbner bases in monoid and group rings (1)
- HTE (1)
- Hadwiger's recursive de nition of the Euler number (1)
- Hamiltonian (1)
- Hamiltonian groups (1)
- Harmonische Dichte (1)
- Harmonische Funktion (1)
- Helmholtz decomposition (1)
- Hierarchies (1)
- High frequency switching (1)
- Higher Order Differentials as Boundary Data (1)
- Hilbert transform (1)
- Hochschild homology (1)
- Hochschild-Homologie (1)
- Homogeneous Relaxation (1)
- Homologietheorie (1)
- Husimi (1)
- Hybrid Codes (1)
- Hydrological Gravity Variations (1)
- Hydrologie (1)
- Hyperbolic Conservation (1)
- INGARCH (1)
- IVR (1)
- Identifiability (1)
- Ill-Posed Problems (1)
- Ill-posed Problems (1)
- Ill-posed problem (1)
- Improperly posed problems (1)
- Impulse control (1)
- Inductive Theorem Proving (1)
- Industrial Applications (1)
- Industrial Ecology (1)
- Information Theory (1)
- Instance-based Learning (1)
- Integral Equations (1)
- Integral transform (1)
- Intelligent Agents (1)
- Intelligent Object Fusion (1)
- Intelligent agents (1)
- Interleaved Planning (1)
- Internet Based Software Process Management Environment (1)
- Internet knowledge base (1)
- Internet knowledge reuse (1)
- Interoperability (1)
- Interpolation of rotations (1)
- Interpolation of the Director (1)
- Inverse Problem (1)
- Inverse problems in Banach spaces (1)
- Ising model (1)
- Isotropy (1)
- Iterative Methods (1)
- Jacobian (1)
- Java (1)
- Jeffreys' prior (1)
- K-best solution (1)
- K-cardinality trees (1)
- Kallianpur-Robbins law (1)
- Kinetic Schems (1)
- Kinetic Theory of Gases (1)
- Kinetic theory (1)
- Knapsack problem (1)
- Knowledge-based Techniques (1)
- Knuth-Bendix completion algorithm (1)
- Kohonen's SOM (1)
- Kompakter Träger <Mathematik> (1)
- Konstruktive Approximation (1)
- Konvergenz (1)
- Kugelfunktion (1)
- Kullback Leibler distance (1)
- L-curve Methode (1)
- L2-Approximation (1)
- Label correcting algorithm (1)
- Label setting algorithm (1)
- Lagrangian Functions (1)
- Laplace transform (1)
- Lattice Boltzmann Method (1)
- Lattice Boltzmann methods (1)
- Lavrentiev regularization (1)
- Lavrentiev regularization for equations with monotone operators (1)
- Learnability (1)
- Learning from Nature (1)
- Learning systems (1)
- Legendre Wavelets (1)
- Level sets (1)
- Lexicographic Order (1)
- Lexicographic max-ordering (1)
- Linear Integral Equations (1)
- Linear membership function (1)
- Lineare Integralgleichung (1)
- Local completeness (1)
- Locally Supported Radial Basis Functions (1)
- Locally stationary processes (1)
- Location problems (1)
- Location theory (1)
- Logic Design (1)
- Logical Time (1)
- Lokalkompakte Kerne (1)
- Low-discrepancy sequences (1)
- MACAO (1)
- MLE (1)
- MOCO (1)
- MOO (1)
- Machine Scheduling (1)
- Map Building (1)
- Markov Chain (1)
- Markov process (1)
- Markov switching (1)
- Massendichte (1)
- Matroids (1)
- Maturity of Software Engineering (1)
- Max-Ordering (1)
- Mechanical Engineering (1)
- Mehrdimensionale Spline-Funktion (1)
- Mehrkriterielle Optimierung (1)
- Metaphor (1)
- Methods (1)
- Mie representation (1)
- Minimum Principle (1)
- Minkowski space (1)
- Modellierung (1)
- Moduli Spaces (1)
- Molodensky Problem (1)
- Molodensky problem (1)
- Moment sequence (1)
- Monoid and group rings (1)
- Monotone dynamical systems (1)
- Monte Carlo (1)
- Monte Carlo method (1)
- Mortar methods (1)
- Multi-patch connection (1)
- Multicriteria Location (1)
- Multiple Criteria (1)
- Multiple Objective Programs (1)
- Multiple criteria analysis (1)
- Multiple criteria optimization (1)
- Multiple objective combinatorial optimization (1)
- Multiple objective optimization (1)
- Multiresolution analysis (1)
- Multiscale Methods (1)
- Multiscale model (1)
- Multisresolution Analysis (1)
- Multivariate (1)
- NP (1)
- NP-completeness (1)
- Nature as Model (1)
- Navier Stokes equation (1)
- Navier-Stokes equations (1)
- Navier-Stokes-Gleichung (1)
- Nearest-Neighbor Classification (1)
- Network flows (1)
- Neumann-Problem (1)
- Newtonsches Potenzial (1)
- Non-convex body (1)
- Nonlinear dynamics (1)
- Nonlinear isogeometric analysis (1)
- Nonlinear regression (1)
- Nonparametric AR-ARCH (1)
- Nonparametric regression (1)
- Nonsmooth contact dynamics (1)
- Nonstationary processes (1)
- Numerics (1)
- Numerische Mathematik (1)
- Numerisches Verfahren (1)
- Object-OrientedCase Representation (1)
- On-line algorithm (1)
- Ontolingua (1)
- Ontology (1)
- Open System Architecture (1)
- Open-Source (1)
- Optimal Prior Distribution (1)
- Optimal control (1)
- Optimal portfolios (1)
- Optimal semiconductor design (1)
- Optimierung (1)
- Orthonormalbasis (1)
- PARO (1)
- PATDEX (1)
- PERA (1)
- PLAN Abstraction (1)
- POD (1)
- Palm distribution (1)
- Panel clustering (1)
- Paradigm (1)
- Pareto Optimality (1)
- Pareto Points (1)
- Pareto optimality (1)
- Partial functions (1)
- Perceptron (1)
- Perona-Malik filter (1)
- Petri nets (1)
- Phase Space (1)
- Philosophy (1)
- Philosophy of Nature (1)
- Planning and Verification (1)
- Poisson autoregression (1)
- Poisson regression (1)
- Polyhedral Gauges (1)
- Polynomapproximation (1)
- Polynomial Eigenfunctions (1)
- Pontrjagin (1)
- Position- and Orientation Estimation (1)
- Potential transform (1)
- Problem Solvers (1)
- Process Chain (1)
- Process Management (1)
- Process support (1)
- Produktionsdesign (1)
- Project Management (1)
- Project prioritization (1)
- Project selection (1)
- Propagator (1)
- Quasi-identities (1)
- Radiative Heat Trasfer (1)
- Radiative heat transfer (1)
- Random Errors (1)
- Random body (1)
- Random differential equations (1)
- Random number generation (1)
- Rarefied Gas Flows (1)
- Rarefied Gsa Dynamics (1)
- Rarefied Polyatomic Gases (1)
- Rayleigh Number (1)
- Reaction-diffusion equations (1)
- ReasoningSystems (1)
- Rectifiability (1)
- Recurrent Networks (1)
- Recurrent neural networks (1)
- Reflection (1)
- Rehabilitation clinics (1)
- Reissner-Mindlin Shell (1)
- Representation (1)
- Requirements engineering (1)
- Requirements/Specifications (1)
- Resolvent Estimate (1)
- Resonant tunneling diode (1)
- Richtungsableitung (1)
- Riemann-Siegel formula (1)
- Riesz Transform (1)
- Robust reliability (1)
- SKALP (1)
- SPn-approximation (1)
- STEP (1)
- Saddle Points (1)
- Sandwich Algorithm (1)
- Satellitendaten (1)
- Satellitengeodäsie (1)
- Satellitengradiogravimetrie (1)
- Scalar-type operator (1)
- Scattered-Data-Interpolation (1)
- Scheduling (1)
- Seismic Modeling (1)
- Seismische Tomographie (1)
- Seismische Welle (1)
- Self-Referencing (1)
- Semantics of Programming Languages (1)
- Semantik (1)
- Semiclassics (1)
- Semigroups (1)
- Sequential test (1)
- Shannon capacity (1)
- Shannon optimal priors (1)
- Shannon-Capacity (1)
- Shearlets (1)
- Sheaves (1)
- Shell not requiring drilling rotation stabilization (1)
- Shock Wave Problem (1)
- Shortest path problem (1)
- Signalanalyse (1)
- Similarity Assessment (1)
- Similarity measures (1)
- Simulation (1)
- Simultaneous quantifier elimination (1)
- Skalierungsfunktion (1)
- Slender-Body Approximations (1)
- Smalltalk (1)
- Smoothed Particle Hydrodynamics (1)
- Sobolev spaces (1)
- Sobolevräume (1)
- Software Engineering (1)
- Software Process Support (1)
- Software development (1)
- Software engineering (1)
- Spatial Binary Images (1)
- Spectral Analysis (1)
- Spherical (1)
- Spherical Harmonics (1)
- Spherical Multiresolution Analysis (1)
- Sphärische Wavelets (1)
- Spline-Interpolation (1)
- Spline-Wavelets (1)
- Split Operator (1)
- Split-Operator (1)
- Square-mean Convergence (1)
- Standorttheorie (1)
- Statistical Experiments (1)
- Stieltjes transform (1)
- Stochastisches Feld (1)
- Stokes Flow (1)
- Stoner-like magnetic particles (1)
- Stratifaltigkeiten (1)
- Structure Theory (1)
- Tactics (1)
- Tensorfeld (1)
- Termination (1)
- Theorem of Plemelj-Privalov (1)
- Time-Space Multiresolution Analysis (1)
- Timetabling (1)
- Topology Preserving Networks (1)
- Translation Validation (1)
- Translation planes (1)
- Treatment of kinks (1)
- Triangular fuzzy number (1)
- Tunneling (1)
- UML (1)
- Uniform matroids (1)
- Universal objective function (1)
- Unschärferelation (1)
- VMEbus (1)
- Value-at-Risk (1)
- Van Neumann-Kakutani transformation (1)
- Vector Time (1)
- Vektorfeld (1)
- Verkehsplanung (1)
- Vetor optimization (1)
- Virtual Corporation (1)
- Virtual Software Projects (1)
- Vision (1)
- Vollständigkeit (1)
- Voronoi diagram (1)
- WETICE 98 (1)
- Wannier-Stark states (1)
- Wannier-Stark systems (1)
- Wavelet Analysis auf regulären Flächen (1)
- Wavelet-Transformation (1)
- Wavelets auf der Kugel und der Sphäre (1)
- Weak substitution method (1)
- Weißes Rauschen (1)
- Wellengeschwindigkeit (1)
- Wide Area Multimedia Group Interaction (1)
- Wissenserwerb (1)
- Word problem (1)
- Workflow Replication (1)
- World Wide Web (1)
- Zeitabhängigkeit (1)
- Zeitliche Veränderungen (1)
- Zonal Kernel Functions (1)
- Zyklische Homologie (1)
- absorption spectrum (1)
- acid-mediated tumor invasion (1)
- active damping (1)
- activity-based model (1)
- adaption (1)
- adaptive grid generation (1)
- additive Gaussian noise (1)
- adjacency (1)
- adjoint approach (1)
- adjoints (1)
- aggressive space mapping (1)
- algebraic geometry (1)
- algorithm (1)
- analogy (1)
- anisotropic coupling between magnetic i (1)
- anisotropic diffusion (1)
- approximation methods (1)
- approximative Identität (1)
- arbitrary function (1)
- area loss (1)
- arrays of magnetic dots and wires (1)
- artificial intelligence (1)
- assembly sequence design (1)
- associated Legendre functions (1)
- asymptotic expansions (1)
- asymptotic preserving numerical scheme (1)
- asynchronous circuits (1)
- automated code generation (1)
- automated computer learning (1)
- automated proof planner (1)
- automated synchronization (1)
- automated theorem proving (1)
- autonomes Lernen (1)
- autonomous learning (1)
- ball (1)
- bicriteria shortest path problem (1)
- bicriterion path problems (1)
- bidirectional search (1)
- billiards (1)
- bipolar quantum drift diffusion model (1)
- body wave velocity (1)
- bootstrap (1)
- bottleneck (1)
- boundary-value problems of potent (1)
- branch and cut (1)
- bus controller (1)
- business process modelling (1)
- business process reengineering (1)
- cancer (1)
- cancer radiation therapy (1)
- cardinality constraint combinatorial optimization (1)
- case-based planner (1)
- cash management (1)
- center and median problems (1)
- center hyperplane (1)
- centrally symmetric polytope (1)
- change point (1)
- changepoint test (1)
- chaos (1)
- chaotic dynamics (1)
- charged fluids (1)
- chemotaxis (1)
- chemotherapy (1)
- classical solutions (1)
- clo (1)
- co-learning (1)
- common transversal (1)
- communication architectures (1)
- communication protocols (1)
- communication subsystem (1)
- compact operator equation (1)
- competitive analysis (1)
- compilation (1)
- complete presentations (1)
- complex System Development (1)
- compressible Navier Stokes equations (1)
- computation (1)
- computational complexity (1)
- computer aided planning (1)
- computer program (1)
- computer-supported cooperative work (1)
- concept representation (1)
- conceptual design (1)
- conceptual representation (1)
- concurrent software (1)
- conditional quantile (1)
- conditional quantiles (1)
- conformal partial wave analysis (1)
- consecutive ones matrix (1)
- conservative extension (1)
- constraint satisfaction problem (CSP) (1)
- constraint-based reasoning (1)
- constructive approximation (1)
- continuous media (1)
- control theory (1)
- convex distance funtion (1)
- convex models (1)
- convex operator (1)
- convex optimization (1)
- cooling processes (1)
- cooperative problem solving (1)
- count data (1)
- coverage error (1)
- crack diagnosis (1)
- crash modelling (1)
- cusp forms (1)
- customization of communication protocols (1)
- cut (1)
- cut basis problem (1)
- cuts (1)
- cyclic homology (1)
- da (1)
- damage diagnosis (1)
- data structure (1)
- data-adaptive bandwidth choice (1)
- decision support (1)
- decrease direction (1)
- deficiency (1)
- deflections of the vertical (1)
- deformable object (1)
- delay management problem (1)
- denoising (1)
- density gradient equation (1)
- derivative-free iterative method (1)
- descent algorithm (1)
- description of reactive systems (1)
- design processes (1)
- diagnostic problems (1)
- diffusive scaling (1)
- direct product (1)
- directional derivative (1)
- discrete element method (1)
- discrete equilibrium distributions (1)
- discrete measure (1)
- discrete velocity models (1)
- displacement problem (1)
- distributed (1)
- distributed c (1)
- distributed deduction (1)
- distributed document management (1)
- distributed enterprise (1)
- distributed groupware environment (1)
- distributed multi-platform software development (1)
- distributed multi-platform software development projects (1)
- distributed software configuration management (1)
- distributed softwaredevelopment tools (1)
- distribution (1)
- domain decomposition (1)
- domain decomposition methods (1)
- drift diffusion (1)
- drift-diffusion limit (1)
- dynamical topography (1)
- efficient solution (1)
- eigenvalues (1)
- elasticity problem (1)
- energy transport (1)
- enhanced coercivity (1)
- epitaxial Ni80Fe20/Fe50Mn50 bilayers (1)
- epsilon-constraint method (1)
- equilibrium state (1)
- equilibrium strategies (1)
- estimation (1)
- exact fully discrete vectorial wavelet transform (1)
- exact solution (1)
- exchange coupling (1)
- exchange rate (1)
- exchange-bias bilayer Fe/MnPd (1)
- experience base (1)
- experimental software engineering (1)
- explicit representation (1)
- explicit representations (1)
- explizite Darstellung (1)
- exponential rate (1)
- f-dissimilarity (1)
- facility location (1)
- fallbasiertes Schliessen (1)
- fallbasiertes planen (1)
- fast approximation (1)
- film casting (1)
- final prediction error (1)
- finite difference method (1)
- finite pointset method (1)
- finite size scaling (1)
- finite volume methods (1)
- finite-difference methods (1)
- fixpoint theorem (1)
- flexible-link (1)
- flexible-link robot (1)
- fluid dynamic equations (1)
- formal description techniques (1)
- formal reasoning (1)
- formulation as integral equation (1)
- fractals (1)
- frames (1)
- free boundary (1)
- frequency bands (1)
- frequency splitting betwe (1)
- freqzency bands (1)
- fundamental cut (1)
- fundamental systems (1)
- gas dynamics (1)
- gauge (1)
- general multidimensional moment problem (1)
- generalized Gummel itera (1)
- generalized inverse Gaussian diffusion (1)
- generic design of a customized communication subsystem (1)
- geodetic (1)
- geomagnetic field modelling from MAGSAT data (1)
- geometric measure theory (1)
- geometrical algorithms (1)
- geometry of measures (1)
- geopotential determination (1)
- global optimization (1)
- go-or-grow (1)
- go-or-grow dichotomy (1)
- goal oriented completion (1)
- gradient descent reprojection (1)
- granular flow (1)
- graph and network algorithm (1)
- graph search (1)
- gravimetry (1)
- gravitational field recovery (1)
- growing sub-quadratically (1)
- growth optimal portfolios (1)
- harmonic WFT (1)
- harmonic balance (1)
- harmonic scaling functions and wavelets (1)
- harmonic wavelets (1)
- harmonische Dichte (1)
- head-on collisions (1)
- heat radiation (1)
- heterogeneous large-scale distributed DBMS (1)
- heuristic (1)
- hidden Markov (1)
- high-level caching of potentially shared networked documents (1)
- higher order (1)
- higher order tableau (1)
- higher-order anisotropies (1)
- higher-order calculi (1)
- higher-order moments (1)
- higher-order tableaux calculus (1)
- higher-order theorem prover (1)
- hub covering (1)
- hybrid method (1)
- hyper-quasi-identities (1)
- hyperbolic conservation laws (1)
- hyperbolic systems of conservation laws (1)
- hypergeometric functions (1)
- hyperplane transversal (1)
- hyperquasivarieties (1)
- image denoising (1)
- image processing (1)
- image restoration (1)
- incident wave (1)
- incompressible Euler equation (1)
- incompressible limit (1)
- industrial robots (1)
- industrial supervision (1)
- inelastic light scattering (1)
- information (1)
- information systems engineering (1)
- initial temperature (1)
- initial temperature reconstruction (1)
- instantaneous phase (1)
- instanton method (1)
- integer GARCH (1)
- integer-valued time series (1)
- intelligent agents (1)
- intensity map segmentation (1)
- interband tunneling (1)
- interest oriented portfolios (1)
- internal approximation (1)
- internet event synchronizer (1)
- intersection local time (1)
- intra- and extracellular proton dynamics (1)
- invariant theory (1)
- inverse Fourier transform (1)
- inverse mathematical models (1)
- inverse optimization (1)
- inverse problem (1)
- inversion method (1)
- isochronous streams (1)
- iterative bandwidth choice (1)
- jump diffusion (1)
- junction (1)
- k-cardinality minimum cut (1)
- k-max (1)
- kernel estimate (1)
- kernel estimates (1)
- kinetic approach (1)
- kinetic models (1)
- kinetic semiconductor equations (1)
- kinetic theory (1)
- knowledge space (1)
- label setting algorithm (1)
- large deviations (1)
- learning (1)
- level set method (1)
- level splitting (1)
- lifetime statistics (1)
- lifetimes (1)
- limit models (1)
- linear programming (1)
- linear transport equation (1)
- linked abstraction workflows (1)
- local bandwidths (1)
- local multiscale (1)
- local orientation (1)
- local search algorithm (1)
- local stationarity (1)
- local support (1)
- localization (1)
- localizing basis (1)
- locally compact (1)
- locally compact kernels (1)
- locally maximal clone (1)
- locally supported (Green's) vector wavelets (1)
- location (1)
- location problem (1)
- location theory (1)
- locational analysis (1)
- log averaging methods (1)
- log-utility (1)
- logarithmic average (1)
- logarithmic averages (1)
- logarithmic utility (1)
- logical analysis (1)
- logische Analyse (1)
- lokal kompakt (1)
- lokaler Träger (1)
- lokalisierende Basis (1)
- lokalisierende Kerne (1)
- low discrepancy (1)
- macroscopic quantum coherence (1)
- magnetic Ni80Fe20 wires (1)
- magnetic anisotropies (1)
- magnetostatic surface spin waves (1)
- manipulation (1)
- many-valued logic (1)
- martingale measu (1)
- mass difference (1)
- massive neutrinos (1)
- matrix decomposition (1)
- maximum a posteriori estimation (1)
- maximum capacity path (1)
- maximum entropy (1)
- maximum entropy moment (1)
- maximum flows (1)
- maximum likelihood estimation (1)
- maximum-entropy (1)
- mesh-free method (1)
- metastable states (1)
- middleware (1)
- minimal paths (1)
- minimax estimation (1)
- minimax risk (1)
- minimum cost flows (1)
- minimum cut (1)
- minimum fundamental cut basis (1)
- mixing (1)
- mixture models (1)
- mixture of quantum fluids and classical fluids (1)
- mobile agents (1)
- mobile agents approach (1)
- modal derivatives (1)
- model reduction (1)
- modelling time (1)
- moduli spaces (1)
- moment methods (1)
- monitoring and managing distributed development processes (1)
- monlinear vibration (1)
- monogenic signals (1)
- monoid- and group-presentations (1)
- monotropic programming (1)
- motion planning (1)
- multi-agent architecture (1)
- multi-hypothesis diagnosis (1)
- multicriteria minimal path problem is presented (1)
- multicriteria optimization (1)
- multidimensional Kohonen algorithm (1)
- multileaf collimator (1)
- multileaf collimator sequencing (1)
- multiliead collimator sequencing (1)
- multimedia (1)
- multiple collision frequencies (1)
- multiple objective (1)
- multiple objective linear programming problem (1)
- multiple-view product modeling (1)
- multiplicative noise (1)
- multiresolution analysis (1)
- multiscale analysis (1)
- multiscale approximation on regular telluroidal surfaces (1)
- multiscale modeling (1)
- multiscale models (1)
- mutiresolution (1)
- narrowing (1)
- natural language semantics (1)
- navigation (1)
- negotiation (1)
- neighborhood search (1)
- network flow (1)
- network location (1)
- neural networks (1)
- never-meet property (1)
- non-commutative geometry (1)
- non-convex body (1)
- non-convex optimization (1)
- non-linear dynamics (1)
- non-linear wavelet thresholding (1)
- non-local filtering (1)
- non-stationary time series (1)
- noninformative prior (1)
- nonlinear finite element method (1)
- nonlinear heat equation (1)
- nonlinear inverse problem (1)
- nonlinear thresholding (1)
- nonlocal sample dependence (1)
- norm (1)
- normal cone (1)
- normal mode (1)
- normality (1)
- normed residuum (1)
- number of objectives (1)
- numeraire portfolios (1)
- numerical integration (1)
- numerical methods for stiff equations (1)
- object frameworks (1)
- object-oriented software modeling (1)
- on-line algorithms (1)
- one-dimensional self-organization (1)
- online optimization (1)
- optical lattices (1)
- optimal portfolios (1)
- order selection (1)
- order-sorted logic (1)
- order-three density (1)
- order-two density (1)
- orthogonal bandlimited and non-bandlimited wavelets (1)
- oscillation (1)
- ovoids (1)
- parallel numerical algorithms (1)
- parallel processing (1)
- parameter choice (1)
- parameter identification (1)
- paramodulation (1)
- partial differential equations (1)
- partial differential-algebraic equations (1)
- partition of unity (1)
- path planning (1)
- penalization (1)
- personnel scheduling (1)
- physicians (1)
- plan enactment (1)
- planar Brownian motion (1)
- planning (1)
- point-to-point (1)
- polycyclic group rings (1)
- polyhedral analysis (1)
- polyhedral norm (1)
- polynomial weight functions (1)
- porous media (1)
- porous media flow (1)
- portfolio optimisation (1)
- portfolio optimization (1)
- positivity preserving time integration (1)
- potential operators (1)
- prefix reduction (1)
- prefix string rewriting (1)
- prefix-rewriting (1)
- preservation of relations (1)
- problem formulation (1)
- problem solvers (1)
- process model (1)
- process modelling (1)
- process support system (PROSYT) (1)
- process-centred environments (1)
- profiles (1)
- programmable client-server systems (1)
- projected quasi-gradient method (1)
- projection method (1)
- proof presentation (1)
- properly efficient solution (1)
- protocol (1)
- pseudo-compressibility method (1)
- pseudospectral methods (1)
- pyramid schemes (1)
- quadratic forms (1)
- qualitative threshold model (1)
- quantile autoregression (1)
- quantum mechanics (1)
- quasi-P (1)
- quasi-SH (1)
- quasi-SV (1)
- quasi-one-dimensional spin wave envelope solitons (1)
- quasivarieties (1)
- radiation therapy (1)
- radiative heat transfer (1)
- random noise (1)
- rarefied gas flows (1)
- rate control (1)
- rate of convergence (1)
- ratio ergodic theorem (1)
- reaction-diffusion-taxis equations (1)
- reaction-diffusion-transport equations (1)
- reactive systems (1)
- real time (1)
- real-time (1)
- real-time temporal logic (1)
- receptive safety properties (1)
- reconstruction formula (1)
- redundancy (1)
- redundant robots (1)
- reference prior (1)
- refraction (1)
- regularization by wavelets (1)
- reguläre Fläche (1)
- reinitialization (1)
- rela (1)
- reliability (1)
- renormalization group (1)
- representative systems (1)
- requirements (1)
- residual based error formula (1)
- resource constrained shortest path problem (1)
- rewriting (1)
- robot (1)
- robot control (1)
- robot kinematics (1)
- robustness (1)
- rostering (1)
- rotating machinery (1)
- roughening transition (1)
- rule-based reasoning (1)
- s external gravitational field (1)
- satellite gradiometry (1)
- satellite-to-satellite tracking (1)
- scalar conservation laws (1)
- scalarization (1)
- scale discrete spherical vector wavelets (1)
- scale-space (1)
- scaled translates (1)
- scaling functions (1)
- scheduling (1)
- scheduling theory (1)
- schlecht gestellt (1)
- schnelle Approximation (1)
- search algorithms (1)
- search-space-problem (1)
- second order upwind discretization (1)
- seismic wave (1)
- self-localization (1)
- semi-classical limits (1)
- sequent calculus (1)
- set covering (1)
- severely ill-posed inverse problems (1)
- shape aniso-tropies (1)
- shape optimization (1)
- shear flow (1)
- shock wave (1)
- short magnetic fieldpulses (1)
- shortest path problem (1)
- sieve estimate (1)
- similarity measure (1)
- single domain uniaxial magnetic particles (1)
- singular fluxes (1)
- singular optimal control (1)
- singular spaces (1)
- singuläre Räume (1)
- sink location (1)
- skolemization (1)
- slope limiter (1)
- smoothing (1)
- software agents (1)
- software project (1)
- software project management (1)
- software reuse (1)
- solar neutrinos (1)
- solution formula (1)
- special entropies (1)
- sphere (1)
- spherical approximation (1)
- spherical splines (1)
- spin wave excitations (1)
- spline (1)
- spline and wavelet based determination of the geoid and the gravitational potential (1)
- spline-wavelets (1)
- splitting function (1)
- squares (1)
- stability (1)
- stability uniformly in the mean free path (1)
- state-based formalism (1)
- stationary solutions (1)
- statistical experiment (1)
- steady Boltzmann equation (1)
- stochastic differential equations (1)
- stochastic interest rate (1)
- stochastic stability (1)
- stop location (1)
- strictly quasi-convex functions (1)
- strong theorems (1)
- strongly polynomial-time algorithm (1)
- subgroup presentation problem (1)
- superstep cycles (1)
- switching properties (1)
- system behaviour (1)
- systems (1)
- tactics (1)
- tension problems (1)
- test (1)
- theorem proving (1)
- thermal equilibrium state (1)
- thin h-BN films (1)
- threshold choice (1)
- time-delayed carrying capacities (1)
- time-dependent shortest path problem (1)
- time-varying autoregression (1)
- time-varying covariance (1)
- topology preserving maps (1)
- traffic planning (1)
- transition rates (1)
- transverse bias field (1)
- treatment planning (1)
- trial systems (1)
- triclinic medium (1)
- tumor acidity (1)
- tumor cell invasion (1)
- tumor cell migration (1)
- two-dimensional self-focused spin wave packets (1)
- two-fold symmetric (1)
- two-scale expansion (1)
- typical examples (1)
- uncapacitated facility location (1)
- uncertainty principle (1)
- unidirectional uniaxial and four-fold anisotropy contribution (1)
- uniform central limit theorem (1)
- uniform consistency (1)
- uniform ergodicity (1)
- value preserving portfolios (1)
- value-at-risk (1)
- variable cardinality case (1)
- vector wavelets (1)
- vectorial multiresolution analysis (1)
- vehicular traffic (1)
- verication theorem (1)
- virtual market place (1)
- viscosity solutions (1)
- visual process modelling environment (1)
- wavelet estimators (1)
- wavelet transform (1)
- weak dependence (1)
- weak solutions (1)
- weight optimization (1)
- well-posedness (1)
- windowed Fourier transform (1)
- winner definition (1)
- work coordination (1)
- world modelling (1)
- world-modelling (1)
- worst-case scenario (1)
- yttrium-iron garnet (YIG) fi (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Mathematik (554)
- Kaiserslautern - Fachbereich Informatik (290)
- Kaiserslautern - Fachbereich Physik (157)
- Fraunhofer (ITWM) (19)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (9)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (6)
- Kaiserslautern - Fachbereich Sozialwissenschaften (1)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (1)
We consider the problem to evacuate several regions due to river flooding, where sufficient time is given to plan ahead. To ensure a smooth evacuation procedure, our model includes the decision which regions to assign to which shelter, and when evacuation orders should be issued, such that roads do not become congested.
Due to uncertainty in weather forecast, several possible scenarios are simultaneously considered in a robust optimization framework. To solve the resulting integer program, we apply a Tabu search algorithm based on decomposing the problem into better tractable subproblems. Computational experiments on random instances and an instance based on Kulmbach, Germany, data show considerable improvement compared to an MIP solver provided with a strong starting solution.
We present a convenient notation for positive/negativeADconditional equations. Theidea is to merge rules specifying the same function by using caseAD, ifAD, matchAD, and letADexpressions.Based on the presented macroADruleADconstruct, positive/negativeADconditional equational specifiADcations can be written on a higher level. A rewrite system translates the macroADruleADconstructsinto positive/negativeADconditional equations.
The Internet has fallen prey to its most successful service, the World-Wide Web. The networksdo not keep up with the demands incurred by the huge amount of Web surfers. Thus, it takeslonger and longer to obtain the information one wants to access via the World-Wide Web.Many solutions to the problem of network congestion have been developed in distributed sys-tems research in general and distributed file and database systems in particular. The introduc-tion of caching and replication strategies has proven to help in many situations and thereforethese techniques are also applied to the WWW. Although most problems and associated solu-tions are known, some circumstances are different with the Web, forcing the adaptation ofknown strategies. This paper gives an overview about these differences and about currentlydeployed, developed, and evaluated solutions.
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document management and change management for distributed projects. The framework enables hypermedia-based integration of arbitrary legacy and new information resources available via a range of protocols, not necessarily known in advance to us as the general framework developers nor even to the environment instance designers. The repositories in which such information resides may be dispersed across the Internet and/or an organizational intranet. The framework also permits a range of client models for user and tool interaction, and applies an extensible suite of collaboration services, including but not limited to multi-participant workflow and coordination, to their information retrievals and updates. That is, the framework is interposed between clients, services and repositories - thus "middleware". We explain how our framework makes it easy to realize a comprehensive collection of workgroup and workflow features we culled from a requirements survey conducted by NASA.
Abstract: Winding number transitions from quantum to classical behavior are studied in the case of the 1+1 dimensional Mottola-Wipf model with the space coordinate on a circle for exploring the possibility of obtaining transitions of second order. The model is also studied as a prototype theory which demonstrates the procedure of such investigations. In the model at hand we find that even on a circle the transitions remain those of first order.
Abstract: Following our earlier investigations we examine the quantum-classical winding number transition in the Abelian-Higgs system. It is demonstrated that the winding number transition in this system is of the smooth second order type in the full range of parameter space. Comparison of the action of classical vortices with that of the sphaleron supports our finding.
In recent years several computational systems and techniques fortheorem proving by analogy have been developed. The obvious prac-tical question, however, as to whether and when to use analogy hasbeen neglected badly in these developments. This paper addresses thisquestion, identifies situations where analogy is useful, and discussesthe merits of theorem proving by analogy in these situations. Theresults can be generalized to other domains.
Using particle methods to solve the Boltzmann equation for rarefied gases numerically, in realistic streaming problems, huge differences in the total number of particles per cell arise. In order to overcome the resulting numerical difficulties the application of a weighted particle concept is well-suited. The underlying idea is to use different particle masses in different cells depending on the macroscopic density of the gas. Discrepance estimates and numerical results are given.