IOS Press Strong Normalisation of Cut-Elimination in Classical Logic (2008)
C. Urban, Marseille France, G. M. Bierman
Abstract. In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive than...
Institut de Mathématiques de Luminy, CNRS Marseille, (2008)
C. Urban, Marseille France, G. M. Biermany
Computer Laboratory,
Benesch, M., Windelberg, M., Sauseng, W., Witt, V., Fleischhack, G., Lackner, H., ...
Background: The aim of this study was to evaluate feasibility and toxicity of bevacizumab (Avastin®), a monoclonal antibody directed against the vascular endothelial growth factor in children and...
C. Urban, Marseille France, G. M. Bierman
Institut de Math ematiques de Luminy,
Getting in touch with Candida albicans: The cell wall of a fungal pathogen (2006)
Sohn, K., Schwenk, J., Urban, C., Lechner, J., Schweikert, M., Rupp, S.
The cell wall of fungi is a highly complex structure consisting of a network of polysaccharides ill which a plethora of different proteins are embedded. It is one of the major organelles of the cell...
Nanoparticle-based diagnostic 3D-protein-biochip for Candida albicans (2006)
Borchers, K., Hiller, E., Urban, C., Weber, A., Rupp, S., Tovar, G.E.M.
Identification of covalently-linked proteins in the cell wall of C. albicans (2005)
Hiller, E., Sohn, K., Urban, C., Gnau, V., Nordheim, A., Brunner, H., ...
Thioredoxin-Peroxidase von C. albicans als virulenzspezifischer Marker (2005)
Urban, C., Sohn, K., Brunner, H., Rupp, S.
WO2004101612 A UPAB: 20041216 NOVELTY - Characterizing and/or detecting the differentiation stages of Candida cells (A), is new. DETAILED DESCRIPTION - Method for characterizing and/or detecting the...
Urban, C., Sohn, K., Schröppel, K., Brunner, H., Rupp, S.
Candida albicans is one of the most common fungal pathogens in humans. The cell wall is the first contact site between host and pathogen and thus is critical for colonization and infection of the...
Sohn, K., Röhm, M., Urban, C., Saunders, N., Rothenstein, D., Lottspeich, F., ...
We applied two-dimensional gel electrophoresis to identify downstream effectors of CPH1 and EFG1 under hypha-inducing conditions in Candida albicans. Among the proteins that were expressed in...
Feasibility of high-dose interleukin-2 in heavily pretreated pediatric cancer patients (2005)
Schwinger, W., Klass, V., Benesch, M., Lackner, H., Dornbusch, H. J., Sovinz, P., ...
Background:: The administration of high-dose interleukin-2 (IL-2) seems to be a therapeutic option for children with refractory and metastatic solid malignancies. Methods:: We prospectively studied...
Identification of cell surface determinants in Candida albicans. (2003)
Urban,C., Sohn,K., Lottspeich,F., Schweikert,M., Brunner,H., Rupp,S.
Urban,C., Sohn,K., Lottspeich,F., Brunner,H., Rupp,S.
To identify cell surface proteins of Candida albicans, the predominant fungal pathogen in humans, we have established an approach using a membrane impermeable biotin derivative in combination with...
Urban, C., Sohn, K., Lottspeich, F., Brunner, H., Rupp, S.
To identify cell surface proteins of Candida albicans, the predominant fungal pathogen in humans, we have established an approach using a membrane impermeable biotin derivative in combination with...
Identification of cell surface determinants in Candida albicans. (2003)
Urban, C., Sohn, K., Lottspeich, F., Schweikert, M., Brunner, H., Rupp, S.
Identification of cell surface determinants in Candida albicans (2003)
Urban, C., Sohn, K., Lottspeich, F., Schweikert, M., Brunner, H., Rupp, S.
Urban, C., Sohn, K., Lottspeich, F., Brunner, H., Rupp, S.
To identify cell surface proteins of Candida albicans, the predominant fungal pathogen in humans, we have established an approach using a membrane impermeable biotin derivative in combination with...
Frantz, S., Hartmann, H., Doslik, N., Wanner, M., Kaim, W., ...
The dinuclear radical anion complexes {(mu- L)[Re(CO)(3)Cl](2)}(.-), L = 2,2'-azobispyridine (abpy) and 2,2'-azobis(5-chloropyrimidine) (abcp), were investigated by EPR at 9.5, 94, 230, and 285 GHz...
Sohn, K., Urban, C., Brunner, H., Rupp, S.
Cell wall dynamics in C. albicans, the most common fungal pathogen in man, underlie regulatory processes during the yeast- to-hyphae transition. To analyze this regulation on the transcriptional...
Strong normalisation for a gentzen-like cut-elimination procedure (2001)
Abstract. In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimination...
Greco, M., Gennaro, M., Valagussa, P., Agresti, R., Ferraris, C., Ferrari, B., ...
We addressed the problem of the need for axillary dissection in clinically node-negative breast cancer by determining how the information provided by the dissection suggests a different treatment to...
Strong Normalisation of Cut-Elimination in Classical Logic (1999)
Abstract. In this paper a strongly normalising cut-elimination procedure is presented for classical logic. The procedure adapts the standard cut transformations, see for example [12]. In particular...
Strong Normalisation of Cut-Elimination in Classical Logic (1999)
Abstract. In this paper a strongly normalising cut-elimination procedure is presented for classical logic. The procedure adapts the standard cut transformations, see for example [12]. In particular...
High speed superconducting flywheel system for energy storage. (1995)
Bornemann, H.J., Urban, C., Boegler, P., Ritter, T., Zaitsev, O., Weber, K., ...
Proc.of the 4th Internat.Conf.on Materials and Mechanisms of Superconductivity and High Temperature Superconductors, Grenoble, F, July 4-9, 1994
Engineering prototype of a superconducting flywheel for long-term energy storage. (1995)
Bornemann, H.J., Tonoli, A., Ritter, T., Urban, C., Zaitsev, O., Weber, K., ...
Proc.of the Conf.on Applied Superconductivity, Boston, Mass., October 16-21, 1994
Hochtemperatursupraleiter (HTSL)-Massivkörper und ihre Anwendungen. (1995)
Bornemann, H.J., Burghardt, Th., Henning, W., Rietschel, H., Ritter, T., Schmitt, U., ...
Supraleitung in der Energietechnik, TÜV-Akademie, München, 10.-11.Mai 1995
Ritter, T., Urban, C., Tonoli, A., Zaitsev, O., Burgkhardt, T., Schöchlin, A., ...
Hannover-Messe, 5.-9.April 1995
Low friction in a flywheel system with passive superconducting magnetic bearings. (1995)
Bornemann, H.J., Ritter, T., Urban, C., Zaitsev, O., Weber, K., Rietschel, H.
Applied Superconductivity, 2(1994) S.439-47
Energiespeicher mit HTSL-Magnetlagern. (1995)
Bornemann, H.J., Urban, C., Boegler, P., Ritter, T., Zaitsev, O., Weber, K., ...
Supraleitung und Tieftemperaturtechnik : zum Statusseminar, Weimar, 13.-14.Juni 1994
Bornemann, H.J., Zabka, R., Bögler, P., Urban, C., Rietschel, H.
Groom, N.J. [Hrsg.]
Melt-textured Y-Ba-Cu-O and its applications in autostable superconducting magnetic bearings. (1994)
Bornemann, H.J., Zabka, R., Boegler, P., Urban, C., Rietschel, H.
Fujita, T. [Hrsg.]
Bornemann, H.J., Boegler, P., Urban, C., Zabka, R., Rietschel, H., De Rango, P., ...
Freyhardt, H.C. [Hrsg.]
Bornemann, H.J., Urban, C., Zaitsev, O., Boegler, P., Ritter, T., Rietschel, H.
4th Internat.Conf.on Materials and Mechanisms of Superconductivity and High Temperature Superconductors, Grenoble, F, July 4-9, 1994
A flywheel for energy storage with frictionless high temperature superconductor bearings. (1994)
Bornemann, H.J., Ritter, T., Urban, C., Boegler, P., Zaitsev, O., Weber, K., ...
Schweitzer, G. [Hrsg.]
Boegler, P., Urban, C., Rietschel, H., Bornemann, H.J.
Applied Superconductivity, 2(1994) S.315-25
Schwungradenergiespeicher mit passiven supraleitenden magnetischen Lagern. (1994)
Bornemann, H.J., Urban, C., Ritter, T., Zaitsev, O., Boegler, P., Weber, K., ...
KfK-Nachrichten, 26(1994) S.209-14
Monolayers and multilayers made from discotic liquid-crystals (1992)
Chi, Lf, Karthaus, O, Knoll, W, Ringsdorf, H, ...
Some discotic liquid crystals can form stable monolayers at the air-water interface. Depending on their chemical structure two different arrangements of the discs are possible, edge-on and side-on,...
Holzer, G. W., Remp, G., Antoine, G., Pfleiderer, M., Enzersberger, O. M., Emsenhuber, W., ...
Vaccinia viruses defective in the essential gene coding for the enzyme uracil DNA glycosylase (UDG) do not undergo DNA replication and do not express late genes in wild-type cells. A UDG-deficient...
Urban, C, Zerfass, K, Fingerhut, C, Beier, H
We have recently identified chloroplast and cytoplasmic tRNACmCATrp as the first natural UGA suppressor tRNAs in plants. The interaction of these tRNAs with UGA involves a Cm: A mismatch at the first...
Bradford, P A, Urban, C, Jaiswal, A, Mariano, N, Rasmussen, B A, Projan, S J, ...
Four ceftazidime-resistant Escherichia coli strains were isolated from elderly nursing home patients in a New York hospital during 1993. Strains MCQ-2, MCQ-3, and MCQ-4 were determined to be...
Bradford, P A, Urban, C, Mariano, N, Projan, S J, Rahal, J J, Bush, K
Six Escherichia coli and 12 Klebsiella pneumoniae isolates from a single hospital expressed a common beta-lactamase with a pI of approximately 9.0 and were resistant to cefoxitin and cefotetan (MIC...
De Lencastre, H, Sá Figueiredo, A M, Urban, C, Rahal, J, Tomasz, A
The mec gene of a number of clinical methicillin-resistant Staphylococcus aureus isolates exhibiting a variety of heterogeneous expression modes was selectively inactivated by allelic replacement...
Urban, C, Meyer, K S, Mariano, N, Rahal, J J, Flamm, R, Rasmussen, B A, ...
An epidemic of nosocomial ceftazidime-resistant Klebsiella pneumoniae was correlated with production of a ceftazidime-hydrolyzing enzyme with an isoelectric point of 5.6 (BMH-1). BMH-1 was encoded on...
Cysteine tRNAs of plant origin as novel UGA suppressors.
We have isolated and sequenced chloroplast (chl) and cytoplasmic (cyt) cysteine tRNAs from Nicotiana rustica. Both tRNAs carry a GCA anticodon but beyond that differ considerably in their nucleotide...
Editing does not exist for mammalian selenocysteine tRNAs.
Amberg, R, Urban, C, Reuner, B, Scharff, P, Pomerantz, S C, McCloskey, J A, ...
It has been reported that selenocysteine tRNA from bovine liver is completely edited to two isoacceptor species, called tRNA([Ser]SecNCA) and tRNA([Ser]SecCmCa), which differ from the gene sequence....
Partial purification and characterization of human gamma (immune) interferon.
Yip, Y K, Pang, R H, Urban, C, Vilcek, J
Human gamma (immune) interferon (IFN-gamma) was produced in lymphocyte cultures stimulated with a phorbol ester (12-O-tetradecanoylphorbol 13-acetate) and purified phytohemagglutinin. Physicochemical...
Purification of two subspecies of human gamma (immune) interferon.
Yip, Y K, Barrowclough, B S, Urban, C, Vilcek, J
Interferon (IFN)-gamma was produced in cultures of human leukocytes by combined stimulation with 12-O-tetradecanoylphorbol 13-acetate (TPA) and phytohemagglutinin (PHA). IFN-gamma was purified by...
Penicillin-binding proteins in Borrelia burgdorferi.
Urban, C, Rahal, J J, Dattwyller, R J, Gorevic, P, Luft, B J
Penicillin-binding proteins were identified in Borrelia burgdorferi membranes. A 94-kilodalton penicillin-binding protein was the first to be labeled with tritiated penicillin and was the first band...
Sohn, K., Roehm, M., Urban, C., Saunders, N., Rothenstein, D., Lottspeich, F., ...
We applied two-dimensional gel electrophoresis to identify downstream effectors of CPH1 and EFG1 under hypha-inducing conditions in Candida albicans. Among the proteins that were expressed in...
Holzer, G. W., Remp, G., Antoine, G., Pfleiderer, M., Enzersberger, O. M., Emsenhuber, W., ...
Vaccinia viruses defective in the essential gene coding for the enzyme uracil DNA glycosylase (UDG) do not undergo DNA replication and do not express late genes in wild-type cells. A UDG-deficient...
Urban, C, Zerfass, K, Fingerhut, C, Beier, H
We have recently identified chloroplast and cytoplasmic tRNACmCATrp as the first natural UGA suppressor tRNAs in plants. The interaction of these tRNAs with UGA involves a Cm: A mismatch at the first...
Bradford, P A, Urban, C, Jaiswal, A, Mariano, N, Rasmussen, B A, Projan, S J, ...
Four ceftazidime-resistant Escherichia coli strains were isolated from elderly nursing home patients in a New York hospital during 1993. Strains MCQ-2, MCQ-3, and MCQ-4 were determined to be...
Bradford, P A, Urban, C, Mariano, N, Projan, S J, Rahal, J J, Bush, K
Six Escherichia coli and 12 Klebsiella pneumoniae isolates from a single hospital expressed a common beta-lactamase with a pI of approximately 9.0 and were resistant to cefoxitin and cefotetan (MIC...
De Lencastre, H, Sá Figueiredo, A M, Urban, C, Rahal, J, Tomasz, A
The mec gene of a number of clinical methicillin-resistant Staphylococcus aureus isolates exhibiting a variety of heterogeneous expression modes was selectively inactivated by allelic replacement...
Urban, C, Meyer, K S, Mariano, N, Rahal, J J, Flamm, R, Rasmussen, B A, ...
An epidemic of nosocomial ceftazidime-resistant Klebsiella pneumoniae was correlated with production of a ceftazidime-hydrolyzing enzyme with an isoelectric point of 5.6 (BMH-1). BMH-1 was encoded on...
Cysteine tRNAs of plant origin as novel UGA suppressors.
We have isolated and sequenced chloroplast (chl) and cytoplasmic (cyt) cysteine tRNAs from Nicotiana rustica. Both tRNAs carry a GCA anticodon but beyond that differ considerably in their nucleotide...
Editing does not exist for mammalian selenocysteine tRNAs.
Amberg, R, Urban, C, Reuner, B, Scharff, P, Pomerantz, S C, McCloskey, J A, ...
It has been reported that selenocysteine tRNA from bovine liver is completely edited to two isoacceptor species, called tRNA([Ser]SecNCA) and tRNA([Ser]SecCmCa), which differ from the gene sequence....
Partial purification and characterization of human gamma (immune) interferon.
Yip, Y K, Pang, R H, Urban, C, Vilcek, J
Human gamma (immune) interferon (IFN-gamma) was produced in lymphocyte cultures stimulated with a phorbol ester (12-O-tetradecanoylphorbol 13-acetate) and purified phytohemagglutinin. Physicochemical...
Purification of two subspecies of human gamma (immune) interferon.
Yip, Y K, Barrowclough, B S, Urban, C, Vilcek, J
Interferon (IFN)-gamma was produced in cultures of human leukocytes by combined stimulation with 12-O-tetradecanoylphorbol 13-acetate (TPA) and phytohemagglutinin (PHA). IFN-gamma was purified by...
Penicillin-binding proteins in Borrelia burgdorferi.
Urban, C, Rahal, J J, Dattwyller, R J, Gorevic, P, Luft, B J
Penicillin-binding proteins were identified in Borrelia burgdorferi membranes. A 94-kilodalton penicillin-binding protein was the first to be labeled with tritiated penicillin and was the first band...
Sohn, K., Roehm, M., Urban, C., Saunders, N., Rothenstein, D., Lottspeich, F., ...
We applied two-dimensional gel electrophoresis to identify downstream effectors of CPH1 and EFG1 under hypha-inducing conditions in Candida albicans. Among the proteins that were expressed in...
The dynamic time course of memory recovery in transient global amnesia
Guillery-Girard, B, Desgranges, B, Urban, C, Piolino, P, Eustache, F
Aims: To investigate the dynamic time course of transient global amnesia (TGA)—that is, the process of recovery and the interindividual variability—by testing four patients during the day of TGA...