Refine
Year of publication
- 2003 (29) (remove)
Document Type
- Report (29) (remove)
Has Fulltext
- yes (29)
Keywords
- Lineare Algebra (4)
- Mathematikunterricht (4)
- Modellierung (4)
- linear algebra (4)
- modelling (4)
- praxisorientiert (4)
- mathematical education (3)
- Ambient Intelligence (2)
- Elektrotechnik (2)
- Lineare Optimierung (2)
- Regelung (2)
- Simplex (2)
- Stücklisten (2)
- Szenario (2)
- linear optimization (2)
- praxis orientated (2)
- simplex (2)
- : Navier-Stokes equations (1)
- : multiple criteria optimization (1)
- : multiple objective programming (1)
- AG-RESY (1)
- AKLEON (1)
- Blocked Neural Networks (1)
- Brinkman (1)
- CAD (1)
- Code Inspection (1)
- Discrete linear systems (1)
- Folgar-Tucker equation (1)
- Fräsen (1)
- Hals-Nasen-Ohren-Chirurgie (1)
- Hals-Nasen-Ohren-Heilkunde (1)
- Hankel matrix (1)
- Heston model (1)
- Hörgerät (1)
- Implantation (1)
- Informatik (1)
- Integer programming (1)
- Knowledge Extraction (1)
- META-AKAD (1)
- Mastoid (1)
- Mastoidektomie (1)
- Multicriteria decision making (1)
- Navier-Stokes (1)
- Networked Control Systems (1)
- Netzwerk (1)
- Nonlinear Regression (1)
- Nonlinear multigrid (1)
- Ohrenchirurgie (1)
- Option pricing (1)
- Produktion (1)
- RONAF (1)
- Roboter (1)
- SIMPLE (1)
- Schädelchirurgie (1)
- Stein equation (1)
- adaptive local refinement (1)
- adaptive refinement (1)
- adaptive triangulation (1)
- asymptotic homogenization (1)
- automated analog circuit design (1)
- batch presorting problem (1)
- behavioral modeling (1)
- bills of material (1)
- bills of materials (1)
- circuit sizing (1)
- cliquet options (1)
- clustering and disaggregation techniques (1)
- competetive analysis (1)
- computer algebra (1)
- coupled flow in plain and porous media (1)
- decision support systems (1)
- dif (1)
- discrete facility location (1)
- discrete location (1)
- efficient set (1)
- evolutionary algorithms (1)
- expert system (1)
- fatigue (1)
- fiber orientation (1)
- forward starting options (1)
- fuzzy logic (1)
- genetic algorithms (1)
- incompressible flow (1)
- injection molding (1)
- interactive navigation (1)
- knowledge management (1)
- knowledge representation (1)
- lid-driven flow in a (1)
- logistics (1)
- macro modeling (1)
- mastoid (1)
- mastoidectomy (1)
- mathematica education (1)
- model reduction (1)
- multigrid methods (1)
- multiscale structures (1)
- non-Newtonian flow in porous media (1)
- non-local conditions (1)
- numerical simulation (1)
- oil filters (1)
- online optimization (1)
- otorhinolaryngological surgery (1)
- polynomial algorithms (1)
- project management and scheduling (1)
- projection-type splitting (1)
- real-life applications. (1)
- representative systems of Pareto solutions (1)
- singularity (1)
- software development (1)
- stability (1)
- stochastic volatility (1)
- strategic (1)
- strength (1)
- supply chain management (1)
- symbolic analysis (1)
- system simulation (1)
- variable neighborhood search (1)
- visual (1)
- visual interfaces (1)
Faculty / Organisational entity
We propose several algorithms for efficient Testing of logical Implication in the case of ground objects. Because the problem of Testing a set of propositional formulas for (un)satisfiability is \(NP\)-complete there's strong evidence that there exist examples for which every algorithm which solves the problem of testing for (un)satisfiability has a runtime that is exponential in the length of the input. So will have our algorithms. We will therefore point out classes of logic programs for which our algorithms have a lower runtime. At the end of this paper we will give an outline of an algorithm for theory refinement which is based on the algorithms described above.
We consider the problem of pricing European forward starting options in the presence of stochastic volatility. By performing a change of measure using the asset price at the time of strike determination as a numeraire, we derive a closed-form solution based on Heston’s model of stochastic volatility.
One of the main goals of an organization developing software is to increase the quality of the software while at the same time to decrease the costs and the duration of the development process. To achieve this, various decisions e.ecting this goal before and during the development process have to be made by the managers. One appropriate tool for decision support are simulation models of the software life cycle, which also help to understand the dynamics of the software development process. Building up a simulation model requires a mathematical description of the interactions between di.erent objects involved in the development process. Based on experimental data, techniques from the .eld of knowledge discovery can be used to quantify these interactions and to generate new process knowledge based on the analysis of the determined relationships. In this paper blocked neuronal networks and related relevance measures will be presented as an appropriate tool for quanti.cation and validation of qualitatively known dependencies in the software development process.
Dieses Szenario ist eine Erweiterung eines Teilszenarios von Human Centered Manufacturing. Dabei geht es um die Montage der Energieelektrik für industrielle Anlagen. Im Jahr 2015 enthält die Ausrüstung eines Elektromonteurs bei der Verdrahtung von Schaltschränken u.a. einen Schutzhelm mit integrierter Farbkamera, integriertem Mikrofon und einem Lautsprecher im Ohrbereich sowie einen automatisch gesteuerten Laserpointer. Auf der Baustelle sind keine Pläne mehr erforderlich. Der Monteur benötigt keinen Plan während der Montage.
In this paper we focus on the strategic design of supply chain networks. We propose a mathematical modeling framework that captures many practical aspects of network design problems simultaneously but which have not received adequate attention in the literature. The aspects considered include: dynamic planning horizon, generic supply chain network structure, external supply of materials, inventory opportunities for goods, distribution of commodities, facility configuration, availability of capital for investments, and storage limitations. Moreover, network configuration decisions concerning the gradual relocation of facilities over the planning horizon are considered. To cope with fluctuating demands, capacity expansion and reduction scenarios are also analyzed as well as modular capacity shifts. The relation of the proposed modeling framework with existing models is discussed. For problems of reasonable size we report on our computational experience with standard mathematical programming software. In particular, useful insights on the impact of various factors on network design decisions are provided.
Asymptotic homogenisation technique and two-scale convergence is used for analysis of macro-strength and fatigue durability of composites with a periodic structure under cyclic loading. The linear damage accumulation rule is employed in the phenomenological micro-durability conditions (for each component of the composite) under varying cyclic loading. Both local and non-local strength and durability conditions are analysed. The strong convergence of the strength and fatigue damage measure as the structure period tends to zero is proved and their limiting values are estimated.
In this paper we consider the location of stops along the edges of an already existing public transportation network, as introduced in [SHLW02]. This can be the introduction of bus stops along some given bus routes, or of railway stations along the tracks in a railway network. The goal is to achieve a maximal covering of given demand points with a minimal number of stops. This bicriterial problem is in general NP-hard. We present a nite dominating set yielding an IP-formulation as a bicriterial set covering problem. We use this formulation to observe that along one single straight line the bicriterial stop location problem can be solved in polynomial time and present an e cient solution approach for this case. It can be used as the basis of an algorithm tackling real-world instances.