| 1. |
- Allahgholi, Aschkan, et al.
(författare)
-
The Adaptive Gain Integrating Pixel Detector at the European XFEL
- 2019
-
Ingår i: Journal of Synchrotron Radiation. - 0909-0495 .- 1600-5775. ; 26, s. 74-82
-
Tidskriftsartikel (refereegranskat)abstract
- The Adaptive Gain Integrating Pixel Detector (AGIPD) is an X-ray imager, custom designed for the European X-ray Free-Electron Laser (XFEL). It is a fast, low-noise integrating detector, with an adaptive gain amplifier per pixel. This has an equivalent noise of less than 1keV when detecting single photons and, when switched into another gain state, a dynamic range of more than 10(4)photons of 12keV. In burst mode the system is able to store 352 images while running at up to 6.5MHz, which is compatible with the 4.5MHz frame rate at the European XFEL. The AGIPD system was installed and commissioned in August 2017, and successfully used for the first experiments at the Single Particles, Clusters and Biomolecules (SPB) experimental station at the European XFEL since September 2017. This paper describes the principal components and performance parameters of the system.
|
|
| 2. |
- Anlauf, Martin, et al.
(författare)
-
Primary lymph node Gastrinoma or occult duodenal microgastrinoma with lymph node Metastases in a MEN1 patient - The need for a systematic search for the primary tumor
- 2008
-
Ingår i: American Journal of Surgical Pathology. - 0147-5185 .- 1532-0979. ; 32:7, s. 1101-1105
-
Tidskriftsartikel (refereegranskat)abstract
- Gastrinoma tissue has been found frequently in lymph nodes located near the duodenum without a known primary tumor. Therefore, it has been suggested that a primary lymph node gastrinoma exists. We report on a 38-year-old woman suffering from multiple endocrine neoplasia type 1 (MEN 1) confirmed by menin gene mutation analysis. MEN1 disease started with primary hyperparathyroidism followed by Cushing disease, the detection of tumors of the pituitary, adrenal cortex, and the pancreas and also an elevated serum gastrin level. An octreotide scan revealed 4 tumors in the upper abdomen. A selective arterial calcium stimulation test located the source of the hypergastrinemia to the area of the gastroduodenal and the superior mesenteric arteries. Total pancreatoduodenectomy was performed and conventional histopathologic examination revealed a well-differentiated cystic neuroendocrine tumor of the pancreas expressing glucagon and accompanied by several microadenomas. In addition, 3 suprapancreatic lymph nodes with gastrin-positive endocrine tissue were found. None of the pancreatic microadenomas expressed gastrin and no duodenal endocrine tumor was found despite careful macroscopic examination. Only after complete embedding of the duodenal and pancreatic tissue in 65 paraffin blocks, 2 microgastrinomas (0.45 and 0.8 mm in diameter) were identified in the duodenum. It is concluded that duodenal gastrinomas that give rise to lymph node metastases may be so tiny that they are easily overlooked in a routine examination and that systematic tissue monitoring is required to identify them.
|
|
| 3. |
- Beckert, Bernhard, et al.
(författare)
-
The KeY system 1.0 (Deduction Component)
- 2007
-
Ingår i: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783540735946 ; 4603, s. 379-384
-
Konferensbidrag (refereegranskat)
|
|
| 4. |
- Hollandsworth, Hannah M., et al.
(författare)
-
Fluorophore-conjugated Helicobacter pylori recombinant membrane protein (HopQ) labels primary colon cancer and metastases in orthotopic mouse models by binding CEA-related cell adhesion molecules
- 2020
-
Ingår i: Translational Oncology. - : Elsevier. - 1944-7124 .- 1936-5233. ; 13:12
-
Tidskriftsartikel (refereegranskat)abstract
- HopQ is an outer-membrane protein of Helicobacter pylori that binds to human carcinoembryonic antigen-related cell-adhesion molecules (CEACAMs) with high specificity. We aimed to investigate fluorescence targeting of CEACAM-expressing colorectal tumors in patient-derived orthotopic xenograft (PDOX) models with fluorescently labeled recombinant HopQ (rHopQ). Western blotting, flow cytometry and ELISA were performed to determine the efficiency of rHopQ binding to CEACAMs. rHopQ was conjugated to IR800DyeCW (rHopQ-IR800). Nude mice received orthotopic implantation of colon cancer tumors. Three weeks later, mice were administered 25 μg or 50 μg HopQ-IR800 and imaged 24 or 48 h later. Intravital images were analyzed for tumor-to-background ratio (TBR). Flow cytometry and ELISA demonstrated binding of HopQ to CEACAM1, 3 and 5. Dose-response intravital imaging in PDOX models demonstrated optimal results 48 h after administration of 50 μg rHopQ-IR800 (TBR = 3.576) in our protocol. Orthotopic models demonstrated clear tumor margins of primary tumors and small regional metastases with a mean TBR = 3.678 (SD ± 1.027). rHopQ showed specific binding to various CEACAMs in PDOX models. rHopQ may be useful for CEACAM-positive tumor and metastasis detection for pre-surgical diagnosis, intra-operative imaging and fluorescence-guided surgery.
|
|
| 5. |
- Hähnle, Reiner, 1962, et al.
(författare)
-
The KeY Tool
- 2005
-
Ingår i: Software and Systems Modeling. - 1619-1374 .- 1619-1366. ; 4:1, s. 32-54
-
Tidskriftsartikel (refereegranskat)
|
|
| 6. |
|
|
| 7. |
- Klebanov, Vladimir, et al.
(författare)
-
Verification of JCSP Programs
- 2005
-
Ingår i: Communicating Process Architectures 2005, Concurrent Systems Engineering Series, IOS Press. - 1586035614 ; 63, s. 203-218
-
Konferensbidrag (refereegranskat)abstract
- We describe the first proof system for concurrent programs based on Communicating Sequential Processes for Java (JCSP). The system extends a complete calculus for the JavaCard Dynamic Logic with support for JCSP, which is modeled in terms of the CSP process algebra. Together with a novel efficient calculus for CSP, a rule system is obtained that enables JCSP programs to be executed symbolically and to be checked against temporal properties. The proof system has been implemented within the KeY tool and is publicly available.
|
|
| 8. |
- Lampka, Kai, et al.
(författare)
-
Achieving Efficiency Without Sacrificing Model Accuracy : Network Calculus on Compact Domains
- 2016
-
Ingår i: 2016 IEEE 24Th International Symposium On Modeling, Analysis And Simulation Of Computer And Telecommunication Systems (MASCOTS). - 9781509034321 ; , s. 313-318
-
Konferensbidrag (refereegranskat)abstract
- Messages traversing a network commonly experience waiting times due to sharing the forwarding resources. During those times, the crossed systems must provide sufficient buffer space for queueing messages. Network Calculus (NC) is a mathematical methodology for bounding flow delays and system buffer requirements. The accuracy of these performance bounds depends mainly on two factors: the principles manifesting in the NC flow equation and the functions describing the system. We focus on the latter aspect. Common implementations of NC overapproximate these functions in order to keep the analysis computationally feasible. However, overapproximation often results in a loss of accuracy of the performance bounds. In this paper, we make such compromising tradeoffs between model accuracy and computational effort obsolete. We limit the accurate system description to functions of a compact domain, such that the accuracy of the NC analysis is preserved. Tying the domain bound to the algebraic operators of NC instead of the operational semantics of components, allows us to directly apply our solution to algebraic NC analyses that implement principles such as pay burst only once and pay multiplexing only once.
|
|
| 9. |
- Lampka, Kai, 1972-, et al.
(författare)
-
Generalized Finitary Real-Time Calculus
- 2017
-
Ingår i: IEEE INFOCOM 2017 - IEEE Conference on Computer Communications. - : IEEE. - 9781509053360
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Real-time Calculus (RTC) is a non-stochastic queuing theory to the worst-case performance analysis of distributed real-time systems. Workload as well as resources are modelled as piece-wise linear, pseudo-periodic curves and the system under investigation is modelled as a sequence of algebraic operations over these curves. The memory footprint of computed curves increases exponentially with the sequence of operations and RTC may become computationally infeasible fast. Recently, Finitary RTC has been proposed to counteract this problem. Finitary RTC restricts curves to finite input domains and thereby counteracts the memory demand explosion seen with pseudo periodic curves of common RTC implementations. However, the proof to the correctness of Finitary RTC specifically exploits the operational semantic of the greed processing component (GPC) model and is tied to the maximum busy window size. This is an inherent limitation, which prevents a straight-forward generalization. In this paper, we provide a generalized Finitary RTC that abstracts from the operational semantic of a specific component model and reduces the finite input domains of curves even further. The novel approach allows for faster computations and the extension of the Finitary RTC idea to a much wider range of RTC models.
|
|
| 10. |
- Persson, B David, et al.
(författare)
-
An arginine switch in the species B adenovirus knob determines high-affinity engagement of cellular receptor CD46.
- 2009
-
Ingår i: Journal of Virology. - 0022-538X .- 1098-5514. ; 83:2, s. 673-686
-
Tidskriftsartikel (refereegranskat)abstract
- Adenoviruses (Ads) are icosahedral, nonenveloped viruses with a double-stranded DNA genome. The 51 known Ad serotypes exhibit profound variations in cell tropism and disease types. The number of observed Ad infections is steadily increasing, sometimes leading to fatal outcomes even in healthy individuals. Species B Ads can cause kidney infections, hemorrhagic cystitis, and severe respiratory infections, and most of them use the membrane cofactor protein CD46 as a cellular receptor. The crystal structure of the human Ad type 11 (Ad11) knob complexed with CD46 is known; however, the determinants of CD46 binding in related species B Ads remain unclear. We report here a structural and functional analysis of the Ad11 knob, as well as the Ad7 and Ad14 knobs, which are closely related in sequence to the Ad11 knob but have altered CD46-binding properties. The comparison of the structures of the three knobs, which we determined at very high resolution, provides a platform for understanding these differences and allows us to propose a mechanism for productive high-affinity engagement of CD46. At the center of this mechanism is an Ad knob arginine that needs to switch its orientation in order to engage CD46 with high affinity. Quantum chemical calculations showed that the CD46-binding affinity of Ad11 is significantly higher than that of Ad7. Thus, while Ad7 and Ad14 also bind CD46, the affinity and kinetics of these interactions suggest that these Ads are unlikely to use CD46 productively. The proposed mechanism is likely to determine the receptor usage of all CD46-binding Ads.
|
|
