An approach to the extension of a theorem prover by advanced structuring mechanismsMaksym BortinÉpuisé4,3Prévenez-moi
Overcoming the failure of the classical generalized interior-point regularity conditions in convex optimizationErnö Robert CsetnekÉpuisé4,3Prévenez-moi
Automatic cell cycle analysis based on live cell fluorescence microscopy image sequencesNathalie HarderÉpuisé4,3Prévenez-moi
Logical foundations of database transformations for complex value databasesQing WangÉpuisé4,3Prévenez-moi
Symbolic computation with infinite sequences of p-groups with fixed coclassDörte FeichtenschlagerÉpuisé4,3Prévenez-moi
Systematic design of distributed industrial manufacturing control systemsMartin HirschÉpuisé4,3Prévenez-moi
Rheology and dynamics of simple and complex liquids in mesoporous matricesSimon Alexander GrünerÉpuisé4,3Prévenez-moi
Proceedings of the 4th International Beilstein Symposium on Experimental Standard Conditions of Enzyme CharacterizationsMartin G. HicksÉpuisé4,3Prévenez-moi
The Eurosystem approach to monetary policy and liquidity managementLeyli AllanazarovaÉpuisé4,3Prévenez-moi
The influence of international trade on economic growth and distribution in developing countriesTobias BidlingmaierÉpuisé4,3Prévenez-moi
Enantioselective transition-metal mediated dehydrogenation in the gas phaseFrancesca Rita NovaraÉpuisé4,3Prévenez-moi
6th Workshop on Computation of Biochemical Pathways and Genetic NetworksKatrin Hübner-WeitzÉpuisé4,3Prévenez-moi
Exploiting hypergraph grammars for the realization of syntax-based user assistance in diagram editorsSteffen MazanekÉpuisé4,3Prévenez-moi
Probabilistic modeling for segmentation in magnetic resonance images of the human brainMichael WelsÉpuisé4,3Prévenez-moi
First order quasi-linear PDEs with BV boundary data and applications to image inpaintingThomas MärzÉpuisé4,3Prévenez-moi
Synthesis and characterization of anisotropic colloidal particlesMartin HoffmannÉpuisé4,3Prévenez-moi
Primary school teachers' content knowledge in physics and its impact on teaching and stundents' achievementAnnika OhleÉpuisé4,3Prévenez-moi
Geological vs. climatological diversification in the mediterranean areaRosa Maria Lo PrestiÉpuisé4,3Prévenez-moi
Spatial use and habitat selection of white-tailed eagles (Haliaeetus albicilla) in GermanyFriederike ScholzÉpuisé4,3Prévenez-moi
Scanning tunneling microscopy and spectroscopy of aluminum based quasicrystals and approximantsRuben Rafael MäderÉpuisé4,3Prévenez-moi
Neutron scattering investigations of zero- and one-dimensional quantum magnetsOliver PieperÉpuisé4,3Prévenez-moi
Two-sided projective resolutions, periodicity and local algebrasStefanie KüpperÉpuisé4,3Prévenez-moi
Fluctuations and synchronization in complex physiological systemsAicko Yves SchumannÉpuisé4,3Prévenez-moi
Fast and accurate finite-element multigrid solvers for PDE simulations on GPU clustersDominik GöddekeÉpuisé4,3Prévenez-moi