11 citations
- Centre National de la Recherche ScientifiqueFR1 paper
- Coventry UniversityGB1 paper
- Fondazione Bruno KesslerIT1 paper
- Johannes Kepler University of LinzAT1 paper
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
- Max Planck Institute for InformaticsDE1 paper
- RWTH Aachen UniversityDE1 paper
- Systems, Applications & Products in Data Processing (Canada)CA1 paper
- Université de LorraineFR1 paper
- University of BathGB1 paper
- University of FreiburgDE1 paper
- University of GenoaIT1 paper
3 papers
cs.SC2016★ 4 cited
Satisfiability Checking and Symbolic Computation
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of deci…
physics.optics2012★ 11 cited
Polarization Invariants and Retrieval of Surface Parameters Using Polarization Measurements in Remote Sensing Applications
Yu. K. Shestopaloff
Using polarization measurements in remote sensing and optical studies allows retrieving more information. We consider relationship between the reflection coefficients of plane and…
physics.gen-ph2012★ 1 cited
Distributed Parametric Effect in Long Lines and its Applications
Yu. K. Shestopaloff
The article considers a parametric effect which takes place when the velocity of signal propagation in a long line changes. We found the analytical solution describing the form of…