An inflationary fixed point operator in XQuery (2009)
Afanasiev, L., Grust, T., Marx, M., Rittinger, J., Teubner, J.
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restrictions on the expressible...
Complete axiomatizations for XPath fragments (2009)
Cate, B. Ten, Litak, T., Marx, M.
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specically, we axiomatize downward single axis...
Named entity normalization in user generated content (2009)
Jijkoun, V., Khalid, M.A., Marx, M., Rijke, M. De
Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and entity tracking. In...
Entity models for trigger-reaction documents (2009)
Khalid, M.A., Marx, M., Makkes, M.X.
We define the notion of an entity model for a special kind of document popular on the web: an article followed by a list of reactions on that article, usually by many authors, usually inverse...
Using web-sources for location based systems on mobile phones (2009)
The paper describes the implementation of a context aware location and time based system on a normal mobile phone, with a minimum of requirements (Bluetooth, Internet access, Java ME, and a simple...
High resolution delay locked loop for time synchronization with multi path mitigation (2009)
Accurate localization Systems, based on the measurement of the time of flight of a signal between radio devices, also known as Real Time Location Systems (RTLS) are becoming increasingly important...
On the singular spectrum for adiabatic quasi-periodic Schr\"odinger Operators (2008)
In this paper we study spectral properties of a family of quasi-periodic Schr\"odinger operators on the real line in the adiabatic limit. We assume that the adiabatic iso-energetic curve has a real...
Report on the International Workshop on Pattern Representation and (2008)
A Tribute, Professor Hongjun Lu, M. J. Carey, J. Han, G. Koloniari, E. Pitoura, ...
An analysis of XQuery benchmarks (2008)
This paper presents a survey and an analysis of the XQuery benchmark publicly available in 2006—XMach-1, XMark, X007, the Michigan benchmark, and XBench—from different perspectives. We address...
S-Band Hom-Damper Calculations And Experiments (2007)
M. Dohlus, M. Marx, N. Holtkamp, P. Hülsmann, M. Kurz, ...
Damper cells for higher order modes are necessary for the S-band linear collider to suppress higher order dipole modes, which are harmful to the beam. It is foreseen to employ two single cell damper...
--Some Performance Aspects- (2007)
Forschungszentrum Jlich Gmbh, Interner Bericht, P. Jansen, M. Marx, W. E. Nagel, M. Vaefien, ...
Today, most of the Cray multiprocessor systems are still used within a multiprogramming environment. In such environments, there are two main issues contributing to whether or not production codes...
XCheck: a platform for benchmarking XQuery engines (2006)
L. Afanasiev, M. Franceschet, M. Marx, E. Zimuel
XCheck is a tool for assessing the relative performance of different XQuery/XPath engines by means of benchmarks consisting of a set of XML queries and a set of XML documents. Given a benchmark and a...
Pedestrian detection and localization using antenna array and sequential triangulation (2005)
We propose a novel RF-based technique for pedestrian detection and localization. The approach involves a passive antenna array receiver at the vehicle side and a low-power transmitter attached to the...
Best-match querying from document-centric XML (2004)
Kamps, J., Marx, M., Rijke, M. De, Sigurbjörnsson, B.
On the Web, there is a pervasive use of XML to give lightweight semantics to textual collections. Such documentcentric XML collections require a query language that can gracefully handle structural...
Begemann, Gerrit, Marx, M., Mebus, Katharina, Meyer, Axel, Bastmeyer, Martin
Retinoic acid (RA) has been identified as a key signal involved in the posteriorization of vertebrate neural ectoderm. The main biosynthetic enzyme responsible for RA signaling in the hindbrain and...
Marx, M., Marschner, B., Nelson, P.N.
Perennial grass growth forms the basis of beef production systems in northern Australia. To improve pasture productivity the woody legume Stylosanthes has been introduced into these native pastures....
Products, or how to create modal logics of high complexity (2001)
The aim of this paper is to exemplify the complexity of the satisfiability problem of products of modal logics. Our main goal is to arouse interest for the main open problem in this area: a tight...
The computational complexity of hybrid temporal logics (2000)
Areces, C, Blackburn, P, Marx, M
In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role...
Regulated alternative splicing of CD44. (2000)
König, H., Weg-Remers, S., Marx, M., Matter, N., Ponta, H., Herrlich, P.
24.Jahrestagung der Deutschen Gesellschaft für Zellbiologie, Karlsruhe, 26.-30.März 2000
Matter, N., Marx, M., Weg-Remers, S., Ponta, H., Herrlich, P., König, H.
The Journal of Biological Chemistry, 275(2000) S.35353-60
Complexity of products of modal logics (1999)
A relatively new way of combining modal logics is to consider their products. The main application of these product logics lies in the description of parallel computing processes. Axiomatics and...
Tableau calculus for local cubic modal logic and its implementation (1999)
Marx, M, Mikulàs, S, Schlobach, S
In this paper we investigate the two-variable fragment of modal logics of relations interpreted on local squares, LC2. A labelled tableau calculus is presented and its soundness and completeness are...
Undecidability of compass logic (1999)
It is known that the tiling technique can be used to give simple proofs of undecidability of various two-dimensional modal and temporal logics. However, up until now, the simplest two-dimensional...
Diplomarbeit, Universität Karlsruhe 1999
Antitumor effects of erucylphosphocholine on brain tumor cells in vitro and in vivo. (1998)
Erdlenbruch, B., Jendrossek, V., Marx, M., Hunold, A., Eibl, H., Lakomek, M.
Magnet design for the TESLA FEL second bunch compression system (1996)
Ivanov, I N, Kukarnikov, S I, Limberg, T, Marx, M, Molodozhentsev, A Yu, Petrov, V A
S-band HOM-damper calculations and experiments (1995)
Dohlus, M, Marx, M, Holtkamp, N, Hülsmann, P, Müller, W F, Kurz, M, ...
Determination of the strong coupling constant ($\alpha_{s}$) using W+jets processes (1995)
Abachi, S, Abbott, B, Abolins, M, Acharya, B S, Adam, I, Adams, D L, ...
Cray Scientific Library (libsci) and Parallelism - Some Performance Aspects (1994)
P. Jansen, M. Marx, W. E. Nagel, M. Romberg, M. Vaeßen, R. Zimmermann
Today, most of the Cray multiprocessor systems are still used within a multiprogramming environment. In such environments, there are two main issues contributing to whether or not production codes...
Addition of oral clonidine to postoperative patient-controlled analgesia with i.v. morphine (1994)
BENHAMOU, D., NARCHI, P., HAMZA, J., MARX, M., SEMBEIL, F.
Using a randomized, double-blind, placebo-controlled design, we have investigated, in 40 patients undergoing major abdominal surgery, the effect of oral clonidine 300 μg, 1 h before and 12 h after...
HELENA: a beauty factory in Hamburg (1992)
Albrecht, H, Böhm, G, Ehrlichmann, H, Michel, E, Nowak, H, Nowak, S, ...
Solution of Maxwell’s equations (1992)
Bartsch, M., Dehler, M., Dohlus, M., Ebeling, F., Hahne, P., Klatt, R., ...
Verlag erlaubt nur die Nutzung von Pre- und Post-Prints
Urinary Secretory Immunoglobulin A in Acute Renal AUograft Rejection (1990)
Marx, M., Weber, M., Köhler, H.
Periodical determinations of the urinary secretory immunoglobulin A (S-IgA) excretion rate were performed in 12 cadaveric graft recipients. In five patients with primary functioning grafts the S-IgA...
Marx, M., Weber, M., Merkel, F., Meyer, K.–H., Büschenfelde, Zum, Köhler, H.
The purpose of this study was to investigate possible additive effects of calcium antagonists on the cyclosporin A (CsA)–induced inhibition of cellular immunity. Human T–cells were isolated using...
Tăţulescu, M, Rogoz, S, Marx, M, Stanciu, L, ...
Observations sur les polypes de la matrice suivies de quelques propositions / (1829)
Thesis (doctoral)--Faculté de Médecine de Paris, 1829.
A Two-Pillar DSGE Monetary Policy Model for the Euro Area.
Barthélemy, J., Clerc L., Marx, M.
Whereas the bulk of the literature on DSGE models provides a rationale for inflation targeting strategies, there is no model doing such a job for the strategy implemented for almost ten years now by...