ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2015-10-27
    Description: Background: In mammals, an important source of genomic variation is insertion polymorphism of retrotransposons. These may acquire a functional role when inserted inside genes or in their proximity. The aim of this work was to carry out a genome wide analysis of ERE1 retrotransposons in the horse and to analyze insertion polymorphism in relation to evolution and function. The effect of an ERE1 insertion in the promoter of the myostatin gene, which is involved in muscle development, was also investigated. Results: In the horse population, the fraction of ERE1 polymorphic loci is related to the degree of similarity to their consensus sequence. Through the analysis of ERE1 conservation in seven equid species, we established that the level of identity to their consensus is indicative of evolutionary age of insertion. The position of ERE1s relative to genes suggests that some elements have acquired a functional role. Reporter gene assays showed that the ERE1 insertion within the horse myostatin promoter affects gene expression. The frequency of this variant promoter correlates with sport aptitude and racing performance. Conclusions: Sequence conservation and insertion polymorphism of ERE1 elements are related to the time of their appearance in the horse lineage, therefore, ERE1s are a useful tool for evolutionary and population studies. Our results suggest that the ERE1 insertion at the myostatin locus has been unwittingly selected by breeders to obtain horses with specific racing abilities. Although a complex combination of environmental and genetic factors contributes to athletic performance, breeding schemes may take into account ERE1 insertion polymorphism at the myostatin promoter.
    Electronic ISSN: 1471-2156
    Topics: Biology
    Published by BioMed Central
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2013-04-02
    Description: Well-differentiated papillary and follicular thyroid carcinoma are the most frequent types of thyroid cancer and the prognosis is generally favorable however, a number of patients develops recurrences. Epigallocatechin-3-gallate (EGCG), a major catechin in green tea, was shown to possess remarkable therapeutic potential against various types of human cancers, although data on thyroid cancer cells are still lacking. The aim of this study was to investigate the effect of EGCG on the proliferation and motility of human thyroid papillary (FB-2) and follicular (WRO) carcinoma cell lines. Our results demonstrate that EGCG (10, 40, 60 μM) treatment inhibited the growth of FB-2 and WRO cells in a dose-dependent manner. These changes were associated with reduced cyclin D1, increased p21 and p53 expression. Furthermore, EGCG suppressed phosphorylation of AKT and ERK1/2. In addition EGCG treatment results in reduction of cell motility and migration. Changes in motility and migration in FB-2 were associated with modulation in the expression of several proteins involved in cell adhesion and reorganization of actin cytoskeleton. After 24h EGCG caused an increase of the E-cadherin expression and a concomitant decrease of SNAIL, ZEB and the basic helix–loop–helix transcription factor TWIST. Besides expression of Vimentin, N-cadherin and α5-integrin was down-regulated. These data well correlate with a reduction of MMP9 activity as evidenced by gelatin zymography. Our findings support the inhibitory role of EGCG on thyroid cancer cell proliferation and motility with concomitant loss of epithelial-to-mesenchymal cell transition markers. J. Cell. Physiol. © 2013 Wiley Periodicals, Inc.
    Electronic ISSN: 1097-4652
    Topics: Biology , Medicine
    Published by Wiley
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2023-12-20
    Description: This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
    Keywords: QA75.5-76.95 ; formal logic ; computer software maintenance ; formal methods ; software engineering ; semantics ; programming languages ; computer software selection and evaluation ; formal specification ; specifications ; verification ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 59 (1997), S. 65-102 
    ISSN: 1572-8730
    Keywords: Kripke semantics ; labelled deductive systems ; KE system
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We investigate the semantics of the logical systems obtained by introducing the modalities □ and ⋄ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in a previous paper.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2016-08-04
    Description: The analysis of ecological networks is generally bottom-up, where networks are established by observing interactions between individuals. Emergent network properties have been indicated to reflect the dominant mode of interactions in communities that might be mutualistic (e.g., pollination) or antagonistic (e.g., host–parasitoid communities). Many ecological communities, however, comprise species interactions that are difficult to observe directly. Here, we propose that a comparison of the emergent properties from detail-rich reference communities with known modes of interaction can inform our understanding of detail-sparse focal communities. With this top-down approach, we consider patterns of coexistence between termite species that live as guests in mounds built by other host termite species as a case in point. Termite societies are extremely sensitive to perturbations, which precludes determining the nature of their interactions through direct observations. We perform a literature review to construct two networks representing termite mound cohabitation in a Brazilian savanna and in the tropical forest of Cameroon. We contrast the properties of these cohabitation networks with a total of 197 geographically diverse mutualistic plant–pollinator and antagonistic host–parasitoid networks. We analyze network properties for the networks, perform a principal components analysis (PCA), and compute the Mahalanobis distance of the termite networks to the cloud of mutualistic and antagonistic networks to assess the extent to which the termite networks overlap with the properties of the reference networks. Both termite networks overlap more closely with the mutualistic plant–pollinator communities than the antagonistic host–parasitoid communities, although the Brazilian community overlap with mutualistic communities is stronger. The analysis raises the hypothesis that termite–termite cohabitation networks may be overall mutualistic. More broadly, this work provides support for the argument that cryptic communities may be analyzed via comparison to well-characterized communities. Many species–species interactions are difficult to observe directly. Here we propose that comparing the network topology of these obfuscated communities to the network topology of well-studied, detail-rich communities will provide insight into the structure of the obfuscated communities. We examine termite mound cohabitation as a case study; the analysis raises the hypothesis that the interactions contained therein may be overall mutualistic.
    Electronic ISSN: 2045-7758
    Topics: Biology
    Published by Wiley
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2015-10-22
    Description: Background: Pulmonary capillary hemangiomatosis (PCH) is an uncommon pulmonary disorder, with variable clinical features depending on which lung structure is affected, and it is usually linked to pulmonary arterial hypertension. Congenital PCH has been very rarely described and, so far, the only causative gene identified is EIF2AK4, which encodes for a translation initiation factor. However, not all PCH cases might carry a mutation in this gene.Case presentationWe report the clinical and cytogenetic characterization of a patient (male, newborn, first child of healthy non-consanguineous parents) died after three days of life with severe neonatal pulmonary hypertension, due to diffuse capillary hemangiomatosis diagnosed post mortem.Conventional karyotyping, Microarray-Based Comparative Genomic Hydridization (CGHa) and quantitative PCR were performed. CGHa revealed a heterozygous chromosome 16q23.3q24.1 interstitial deletion, spanning about 2.6 Mb and involving a FOXF1 gene enhancer. Quantitative PCR showed that the proband’s deletion was de novo. Microsatellite analysis demonstrate that the deletion occurred in the maternal chromosome 16. Conclusion: FOXF1 loss of function mutation have been so far identified in alveolar capillary dysplasia with misalignment of pulmonary veins (ACD/MPV), a lung disease different from PCH. Our data suggest the hypothesis that disruption of the FOXF1 gene enhancer could be a genetic determinant of PCH. Moreover, our findings support the idea that FOXF1 is a paternally imprinted gene.
    Electronic ISSN: 1471-2350
    Topics: Biology , Medicine
    Published by BioMed Central
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2012-06-19
    Print ISSN: 0944-1344
    Electronic ISSN: 1614-7499
    Topics: Energy, Environment Protection, Nuclear Power Engineering
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...