Refine
Year of publication
- 2004 (25) (remove)
Document Type
- Report (25) (remove)
Keywords
- Inverses Problem (2)
- MAC type grid (2)
- Regularisierung (2)
- Wavelet (2)
- multilayered material (2)
- poroelasticity (2)
- Abstract linear systems theory (1)
- Ambient Intelligence (1)
- Bartlett spectrum (1)
- Biot-Savart Operator (1)
- Biot-Savart operator (1)
- CHAMP <Satellitenmission> (1)
- Elektrotechnik (1)
- Front Propagation (1)
- Geomagnetic Field Modelling (1)
- Geomagnetismus (1)
- Geomathematik (1)
- Gravimetrie (1)
- Helmholtz-Decomposition (1)
- Helmholtz-Zerlegung (1)
- Human resource modeling (1)
- IMRT planning on adaptive volume structures – a significant advance of computational complexity (1)
- Infiltration (1)
- Inkorrekt gestelltes Problem (1)
- Lattice Boltzmann methods (1)
- Liquid Polymer Moulding (1)
- Mie-Darstellung (1)
- Mie-Representation (1)
- Modelling (1)
- Multi-dimensional systems (1)
- Networked Control Systems (1)
- Netzwerk (1)
- Non-Newtonian flow (1)
- One-dimensional systems (1)
- Performance of iterative solvers (1)
- Preconditioners (1)
- Regelung (1)
- SAW filters (1)
- SGG (1)
- SST (1)
- Satellitengradiometrie (1)
- Simulation (1)
- Szenario (1)
- Vectorial Wavelets (1)
- Vektor-Wavelets (1)
- Vektorkugelfunktionen (1)
- Vektorwavelets (1)
- applied mathematics (1)
- asymptotic homogenization (1)
- basic systems theoretic properties (1)
- contact problems (1)
- deformable porous media (1)
- eigenvalue problems (1)
- error estimates (1)
- fast Fourier transform (1)
- fiber-fluid interaction (1)
- finite elements (1)
- finite volume discretization (1)
- finite volume discretizations (1)
- fluid-structure interaction (1)
- geomathematics (1)
- glass processing (1)
- harmonic density (1)
- harmonische Dichte (1)
- human factors (1)
- image analysis (1)
- learning curve (1)
- linear elasticity (1)
- liquid composite moulding (1)
- microstructure simulation (1)
- modelling (1)
- non-Newtonian flow in porous media (1)
- optimization (1)
- parallel computing (1)
- piezoelectric periodic surface acoustic wave filters (1)
- porous microstructure (1)
- power spectrum (1)
- productivity (1)
- pseudo-plastic fluids (1)
- random set (1)
- simulation (1)
- software process (1)
- spinning processes (1)
- stokes (1)
- technology (1)
- tr (1)
- upscaling (1)
- vector spherical harmonics (1)
- vectorial wavelets (1)
- virtual material design (1)
- visualization (1)
- wave propagation (1)
Faculty / Organisational entity
We propose a framework for the synthesis of temporal logic programs which are formulated in a simple temporal logic programming language from both positive and negative examples. First we will prove that results from the theory of first order inductive logic programming carry over to the domain of temporal logic. After this we will show how programs formulated in the presented language can be generalized or specialized in order to satisfy the specification induced by the sets of examples.