Preprint
Refine
Year of publication
Document Type
- Preprint (1185) (remove)
Keywords
- AG-RESY (17)
- Case-Based Reasoning (16)
- Mehrskalenanalyse (10)
- RODEO (10)
- Approximation (9)
- Fallbasiertes Schliessen (9)
- Wavelet (9)
- Boltzmann Equation (7)
- Inverses Problem (7)
- Location Theory (7)
- Numerical Simulation (7)
- Case Based Reasoning (6)
- Abstraction (5)
- Fallbasiertes Schließen (5)
- Gravitationsfeld (5)
- Robotics (5)
- case-based problem solving (5)
- integer programming (5)
- wavelets (5)
- CoMo-Kit (4)
- Force-Torque (4)
- Knowledge Acquisition (4)
- NURBS (4)
- Regularisierung (4)
- Sphäre (4)
- case-based reasoning (4)
- consistency (4)
- haptotaxis (4)
- multiscale model (4)
- nonparametric regression (4)
- time series (4)
- Assembly (3)
- COMOKIT (3)
- Cauchy-Navier equation (3)
- Combinatorial optimization (3)
- Geodäsie (3)
- HANDFLEX (3)
- Intensity modulated radiation therapy (3)
- Internet (3)
- Knowledge acquisition (3)
- Kugel (3)
- Manipulation skills (3)
- Maschinelles Lernen (3)
- Modellierung (3)
- Multicriteria Optimization (3)
- Multicriteria optimization (3)
- Multiobjective optimization (3)
- Spherical Wavelets (3)
- Spline (3)
- Wavelet-Analyse (3)
- average density (3)
- confluence (3)
- deformable objects (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)
- 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)
- Diagnose technischer Systeme (2)
- Distributed Software Development (2)
- Expertensysteme (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)
- Mathematikunterricht (2)
- Mixture Models (2)
- Multileaf collimator sequencing (2)
- Multiobjective programming (2)
- Multiresolution Analysis (2)
- Multivariate Approximation (2)
- Navigation (2)
- Neural networks (2)
- PATDEX (2)
- Palm distributions (2)
- Parallel volume (2)
- Particle Methods (2)
- Poisson-Gleichung (2)
- Prozesssteuerung (2)
- Quantum mechanics (2)
- RONAF (2)
- RSWK (2)
- Randwertproblem / Schiefe Ableitung (2)
- Rarefied Gas Dynamics (2)
- Regularization (2)
- Robotik (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)
- computer aided planning (2)
- connectedness (2)
- consecutive ones property (2)
- convergence (2)
- coset enumeration (2)
- degenerate diffusion (2)
- delay (2)
- density distribution (2)
- design patterns (2)
- discretization (2)
- disjoint union (2)
- facets (2)
- fallbasiertes Schliessen (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)
- praxisorientiert (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)
- Accounting (1)
- Acid-mediated tumor invasion (1)
- AdS/CFT (1)
- Adjoint system (1)
- Agents (1)
- Algebraic Geometry (1)
- Algebraic optimization (1)
- Algorithmics (1)
- Alter (1)
- Alterssicherung (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)
- Automation (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)
- Bitlisten (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)
- CAP (1)
- CAS (1)
- CAx (1)
- CAx Technology (1)
- CAx-Anwendungen (1)
- CAx-Technik (1)
- CFL type conditions (1)
- CHAMP (1)
- CHAMP-Mission (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 Planning (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)
- Cochlea Implant (1)
- Cochlea Implantat (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)
- Computer assistierte Chirurgie (1)
- Computer assistierte Chirurgie (CAS) (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)
- DES (1)
- Damon-Eshbach spin wave modes (1)
- Datenreduktion (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)
- Didaktik (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)
- EU (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)
- Ermöglichungsdidaktik (1)
- Euler's equation of motion (1)
- Evaluation (1)
- Evolution Equations (1)
- Evolutionary Integral Equations (1)
- Experimental Data (1)
- FEM-FCT stabilization (1)
- Fachdidaktik (1)
- Fallbasierte Planung (1)
- Fallbasiertes Planen (1)
- Faltung (1)
- Faltung <Mathematik> (1)
- Families of Probability Measures (1)
- Farbmodell (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)
- Frauen (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)
- Gebäude (1)
- Gebäudeautomation (1)
- General Knowledge (1)
- Genetic Algorithm (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)
- Gravitation (1)
- Gravitational Field (1)
- Gravitationsmodell (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)
- Huffman (1)
- Huffman-Code (1)
- Husimi (1)
- Hybrid Codes (1)
- Hydrological Gravity Variations (1)
- Hydrologie (1)
- Hyperbolic Conservation (1)
- IDEA (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)
- Indexierung (1)
- Inductive Theorem Proving (1)
- Induktive Logische Programmierung (1)
- Induktiven Logischen Programmierung (1)
- Industrial Applications (1)
- Industrial Ecology (1)
- Information Theory (1)
- Inhaltserschließung (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)
- KLUEDO (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)
- Kompetenz (1)
- Kompetenzatlas (1)
- Komprimierung (1)
- Konstruktive Approximation (1)
- Konvergenz (1)
- Kooperation (1)
- Kryptographie (1)
- Kryptologie (1)
- Kugelfunktion (1)
- Kullback Leibler distance (1)
- L-curve Methode (1)
- L2-Approximation (1)
- LCSH (1)
- Label correcting algorithm (1)
- Label setting algorithm (1)
- Lagrangian Functions (1)
- Laplace transform (1)
- Lattice Boltzmann Method (1)
- Lattice Boltzmann methods (1)
- Laufkomprimierung (1)
- Lavrentiev regularization (1)
- Lavrentiev regularization for equations with monotone operators (1)
- Learnability (1)
- Learning from Nature (1)
- Learning systems (1)
- Legendre Wavelets (1)
- Lernalgorithmen (1)
- Level sets (1)
- Lexicographic Order (1)
- Lexicographic max-ordering (1)
- Linear Integral Equations (1)
- Linear membership function (1)
- Lineare Algebra (1)
- Lineare Integralgleichung (1)
- Linux (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)
- Logik (1)
- Logische Programmierung (1)
- Lokalkompakte Kerne (1)
- Low-discrepancy sequences (1)
- MACAO (1)
- MILOS (1)
- MLE (1)
- MOCO (1)
- MOO (1)
- MVP-L (1)
- Machine Scheduling (1)
- Map Building (1)
- Markov Chain (1)
- Markov process (1)
- Markov switching (1)
- Massendichte (1)
- Mathematische Modellierung (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)
- 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)
- Netzwerk (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)
- PABS-Methode (1)
- PARO (1)
- PATDEX 2 (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)
- Problemlösung (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)
- RGB (1)
- RLE (1)
- RSA (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)
- Rechnernetze (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)
- SCM (1)
- SDL-oriented Object Modeling Technique (1)
- SKALP (1)
- SOMT (1)
- SPn-approximation (1)
- STEP (1)
- SWB (1)
- Saddle Points (1)
- Sandwich Algorithm (1)
- Satellitendaten (1)
- Satellitengeodäsie (1)
- Satellitengradiogravimetrie (1)
- Scalar-type operator (1)
- Scattered-Data-Interpolation (1)
- Scheduling (1)
- Schlagwortkatalogisierung (1)
- Schneesport (1)
- Schneesportausbildung (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)
- Server (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 Configuration Management (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)
- Spindynamik (1)
- Spline-Interpolation (1)
- Spline-Wavelets (1)
- Split Operator (1)
- Split-Operator (1)
- Sprachen (1)
- Square-mean Convergence (1)
- Standortplanung (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)
- Stücklisten (1)
- Systemarchitektur (1)
- TCP/IP (1)
- Tactics (1)
- Tensorfeld (1)
- Termination (1)
- Theorem of Plemelj-Privalov (1)
- Tiefengeothermie (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)
- Umwelt-Audit-Verordnung (1)
- Uniform matroids (1)
- Universal objective function (1)
- Unschärferelation (1)
- Unterricht (1)
- VMEbus (1)
- Value-at-Risk (1)
- Van Neumann-Kakutani transformation (1)
- Vector Time (1)
- Vektorfeld (1)
- Verkehsplanung (1)
- Verschlüsselung (1)
- Verteiltes System (1)
- Vetor optimization (1)
- Vigenere (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 (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)
- Workflowmanagement (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 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 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)
- homological algebra (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)
- knowledge-based planning (1)
- konzeptuelle Modelierung (1)
- label setting algorithm (1)
- large deviations (1)
- learning (1)
- learning algorithms (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)
- magnetische Vielfachschichten (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)
- mehrwertig (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)
- rekursiv aufzählbare Sprachfamilien (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)
- spectral sequences (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)
- verlustfrei (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)
- wissensbasierte Systeme (1)
- wissensbasierter Systeme der Arbeitsplanerstellung (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 (608)
- Kaiserslautern - Fachbereich Informatik (346)
- Kaiserslautern - Fachbereich Physik (159)
- Fraunhofer (ITWM) (19)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (17)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (17)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (15)
- Kaiserslautern - Fachbereich Sozialwissenschaften (2)
- Universitätsbibliothek (2)
Anhand des vom Gutachterausschuß der Stadt Kaiserlautern zur Verfügung gestellten Datenmaterials soll untersucht werden, welche Faktoren den Verkehrswert eines bebauten Grundstücks beeinflussen. Mit diesen Erkenntnissen soll eine möglichst einfache Formel ermittelt werden, die eine Schätzung für den Verkehrswert liefert, und die dabei die in der Vergangenheit erzielten Kaufpreise berücksichtigt. Für die Lösung dieser Aufgabe bietet sich das Verfahren der multiplen linearen Regression an. Auf die theoretischen Grundlagen soll hier nicht näher eingegangen werden, man findet sie in jedem Buch über mathematische Statistik, oder in [1]. Bei der Analyse der Daten wurde im großen und ganzen der Weg eingeschlagen, den Angelika Schwarz in [1] beschreibt. Ihre Ergebnisse lassen sich jedoch nicht direkt übertragen, da die dort betrachteten Grundstücke unbebaut waren. Da bei der statistischen Auswertung großer Datenmengen ein immenser Rechenaufwand anfällt, ist es unverzichtbar, professionelle statistische Software einzusetzen. Es stand das Programm S-Plus 2.0 (PC-Version für Windows) zur Verfügung. Sämtliche Berechnungen und alle Grafiken in diesem Bericht wurden in S-Plus erstellt.
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.
Zeitreihen und Modalanalyse
(1987)
Die Arbeit ist zu verstehen als ein Teil im großen Projekt der Universität Kaiserslautern, das sich unter dem Namen Technomathematik um die dringend erforderliche Verständigung zwischen Technik und Mathematik bemüht.; Der große Leitfaden war das Buch von Natke: Einführung in Theorie und Praxis der Zeitreihen- und Modalanalyse, Schilderung der wesentlichen dort verwendeten Ideen der indirekten Systemidentifikation sowie des wahrscheinlichkeitstheoretischen und physikalisch-technischen Hintergrundes.
Bei der Programmierung geht es in vielfältiger Form um Identifikation von Individuen: Speicherorte,Datentypen, Werte, Klassen, Objekte, Funktionen u.ä. müssen definierend oder selektierend identifiziert werden.Die Ausführungen zur Identifikation durch Zeigen oder Nennen sind verhältnismäßig kurz gehalten,wogegen der Identifikation durch Umschreiben sehr viel Raum gewidmet ist. Dies hat seinen Grunddarin, daß man zum Zeigen oder Nennen keine strukturierten Sprachformen benötigt, wohl aber zumUmschreiben. Daß die Betrachtungen der unterschiedlichen Formen funktionaler Umschreibungen soausführlich gehalten sind, geschah im Hinblick auf ihre Bedeutung für die Begriffswelt der funktionalen Programmierung. Man hätte zwar die Formen funktionaler Umschreibungen auch im Mosaikstein "Programmzweck versus Programmform" im Kontext des dort dargestellten Konzepts funktionaler Programme behandeln können, aber der Autor meint, daß der vorliegende Aufsatz der angemessenerePlatz dafür sei.
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.