Function interval arithmetic

We propose an arithmetic of function intervals as a basis for convenient rigorous numerical computation. Function intervals can be used as mathematical objects in their own right or as enclosures of functions over the reals. We present two areas of application of function interval arithmetic and associated software that implements the arithmetic: (1) Validated ordinary differential equation solving using the AERN library and within the Acumen hybrid system modeling tool. (2) Numerical theorem proving using the PolyPaver prover. © 2014 Springer-Verlag.

Receptor for activated C Kinase 1 protein binds to and activates the human estrogen receptor α

The classical concept of estrogen receptor (ER) activation is that steroid passes the cell membrane, binds to its specific protein receptor in the cell's cytoplasm and the steroid-receptor complex travels to the nucleus where it activates responsive genes. This basic idea has been challenged by results of experiments demonstrating insulin-like growth factor 1 (IGF-1) activation of the ER in the complete absence of estrogen suggesting at least one other mechanism of ER activation not involving steroid. One explanation is that activation of the cell surface IGF-1 receptor leads to synthesis of an intracellular protein(s) able to bind to and stimulate the ER. Based on results using the two-hybrid system, coimmunoprecipitation and transfection-luciferase assays, we herein show that one of these proteins could well be receptor for activated C kinase 1 (RACK-1). Using the human ER type α (ER-α) as bait, a cloned complementary deoxyribonucleic acid (cDNA) library from IGF-1 treated human breast cancer MCF-7 cells was screened for ER-α - protein interactions. Many positive clones were obtained which contained the RACK-1 cDNA sequence. Coimmunoprecipitation of in-vitro translation products of the ER-α and RACK-1 confirmed the interaction between the two proteins. Transfection studies using the estrogen response element spliced to a luciferase reporter gene revealed that constitutive RACK-1 expression was able to powerfully stimulate ER-α activity under estrogen-free conditions. This effect could be enhanced by 17β-estradiol (E2) and blocked by tamoxifen, an E2 antagonist. These results show that RACK-1 is able to activate the ER-α in the absence of E2, although together with the latter, enhanced effects occur. Since RACK-1 gene expression is stimulated by IGF-1, it is distinctly possible that RACK-1 is the mediator of the stimulatory effects of IGF-1 on ER-α. © 2014 JMS.

HYBRID TCP/UDP video transport for H.264/AVC content delivery in burst loss networks

In this paper we propose a hybrid TCP/UDP transport, specifically for H.264/AVC encoded video, as a compromise between the delay-prone TCP and the loss-prone UDP. When implementing the hybrid approach, we argue that the playback at the receiver often need not be 100% perfect, provided that a certain level of quality is assured. Reliable TCP is used to transmit and guarantee delivery of the most important packets. This allows use of additional features in the H.264/AVC standard which simultaneously provide an enhanced playback quality, in addition to a reduction in throughput. These benefits are demonstrated through experimental results using a test-bed to emulate the hybrid proposal. We compare the proposed system with other protection methods, such as FEC, and in one case show that for the same bandwidth overhead, FEC is unable to match the performance of the hybrid system in terms of playback quality. Furthermore, we measure the delay associated with our approach, and examine its potential for use as an alternative to the conventional methods of transporting video by either TCP or UDP alone. © 2011 IEEE.

Fragm. lat. V 97 - Summa casuum (Zu den Dekretalen Gregors IX.: 2.27 - 28; 3.1 - 3, 8, 10)

Trägerband: Inc. qu. 960; Vorbesitzer: Zacharias Konrad von Uffenbach

Fragm. lat. VIII 23 - Bibelkommentar (Ct 2,10; 2,13)

Trägerband: Inc. qu. 528; Vorbesitzer: Dominikanerkloster Frankfurt am Main

Fragm. lat. VII 2 - Rechnungsbuch (Einnahmen und Ausgaben)

Trägerband: Inc. qu. 526; Vorbesitzer: Hinricus Sticz; Peter Heidenreich; Dominikanerkloster Frankfurt am Main

Fragm. lat. X 2 - Graduale (Nat. Domini, Stephanus, Johannes)

Trägerband: Ms. Barth. 100; Vorbesitzer: Bartholomaeusstift Frankfurt am Main

Hs. Rothschild 2° 15 - Fünf Reisepässe, ausgestellt für die Freiherren Carl Mayer und Wilhelm von Rothschild und Freifrau Lionel von Rothschild

Vorbesitzer: Freiherrlich Carl von Rothschild'sche Bibliothek Frankfurt am Main; Akzessionsnummer: x20230

De Injuriis, Qvæ Haud Raro Novis Nuptis : 1. Per Sparsionem Dissectorum culmorum frugum Germ. Durch das Herckerling-Streuen, 2. Per injustam interpellationem ulterioris proclamationis, Durch ungebührlichen Einspruch, 3. Per ligationes magicas, Durch das Nestel-Knüpffen, inferri solent, Qvas Adjectis Summariis & Indice

Per varias quæstiones practicas tractavit, examinavit, & præjudiciis hinc inde illustravit Patronus Nupturientium [d.i. Peter Müller]

The contradictions and complementarities of combining ERP systems with enterprise 2.0 supported informal systems

The chapter discusses both the complementary factors and contradictions of adopting ERP based systems with enterprise 2.0. ERP is characterized as achieving efficient business performance by enabling a standardized business process design, but at a cost of flexibility in operations. It is claimed that enterprise 2.0 can support flexible business process management and so incorporate informal and less structured interactions. A traditional view however is that efficiency and flexibility objectives are incompatible as they are different business objectives which are pursued separately in different organizational environments. Thus an ERP system with a primary objective of improving efficiency and an enterprise 2.0 system with a primary aim of improving flexibility may represent a contradiction and lead to a high risk of failure if adopted simultaneously. This chapter will use case study analysis to investigate the use of a combination of ERP and enterprise 2.0 in a single enterprise with the aim of improving both efficiency and flexibility in operations. The chapter provides an in-depth analysis of the combination of ERP with enterprise 2.0 based on social-technical information systems management theory. The chapter also provides a summary of the benefits of the combination of ERP systems and enterprise 2.0 and how they could contribute to the development of a new generation of business management that combines both formal and informal mechanisms. For example, the multiple-sites or informal communities of an enterprise could collaborate efficiently with a common platform with a certain level of standardization but also have the flexibility in order to provide an agile reaction to internal and external events.

Development and optimisation of photonic crystal based nanosensors

This thesis involved the development of two Biosensors and their associated assays for the detection of diseases, namely IBR and BVD for veterinary use and C1q protein as a biomarker to pancreatic cancer for medical application, using Surface Plasmon Resonance (SPR) and nanoplasmonics. SPR techniques have been used by a number of groups, both in research [1-3] and commercially [4, 5] , as a diagnostic tool for the detection of various biomolecules, especially antibodies [6-8]. The biosensor market is an ever expanding field, with new technology and new companies rapidly emerging on the market, for both human [8] and veterinary applications [9, 10]. In Chapter 2, we discuss the development of a simultaneous IBR and BVD virus assay for the detection of antibodies in bovine serum on an SPR-2 platform. Pancreatic cancer is the most lethal cancer by organ site, partially due to the lack of a reliable molecular signature for diagnostic testing. C1q protein has been recently proposed as a biomarker within a panel for the detection of pancreatic cancer. The third chapter discusses the fabrication, assays and characterisation of nanoplasmonic arrays. We will talk about developing C1q scFv antibody assays, clone screening of the antibodies and subsequently moving the assays onto the nanoplasmonic array platform for static assays, as well as a custom hybrid benchtop system as a diagnostic method for the detection of pancreatic cancer. Finally, in chapter 4, we move on to Guided Mode Resonance (GMR) sensors, as a low-cost option for potential use in Point-of Care diagnostics. C1q and BVD assays used in the prior formats are transferred to this platform, to ascertain its usability as a cost effective, reliable sensor for diagnostic testing. We discuss the fabrication, characterisation and assay development, as well as their use in the benchtop hybrid system.