32 resultados para Tudor Domain
em BORIS: Bern Open Repository and Information System - Berna - Suiça
Resumo:
Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.
Resumo:
Answering run-time questions in object-oriented systems involves reasoning about and exploring connections between multiple objects. Developer questions exercise various aspects of an object and require multiple kinds of interactions depending on the relationships between objects, the application domain and the differing developer needs. Nevertheless, traditional object inspectors, the essential tools often used to reason about objects, favor a generic view that focuses on the low-level details of the state of individual objects. This leads to an inefficient effort, increasing the time spent in the inspector. To improve the inspection process, we propose the Moldable Inspector, a novel approach for an extensible object inspector. The Moldable Inspector allows developers to look at objects using multiple interchangeable presentations and supports a workflow in which multiple levels of connecting objects can be seen together. Both these aspects can be tailored to the domain of the objects and the question at hand. We further exemplify how the proposed solution improves the inspection process, introduce a prototype implementation and discuss new directions for extending the Moldable Inspector.
Resumo:
Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort. To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.
Resumo:
Understanding the run-time behaviour of object-oriented applications entails the comprehension of run-time objects. Traditional object inspectors favor generic views that focus on the low-level details of the state of single objects. While universally applicable, this generic approach does not take into account the varying needs of developers that could benefit from tailored views and exploration possibilities. GTInspector is a novel moldable object inspector that provides different high-level ways to visualize and explore objects, adapted to both the object and the current developer need.
Resumo:
Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.
Resumo:
To test the hypothesis that the lectin-like domain of tumor necrosis factor, mimicked by the TIP peptide, can improve lung function after unilateral orthotopic lung isotransplantation. Because of a lack of a specific treatment for ischemia reperfusion-mediated lung injury, accompanied by a disrupted barrier integrity and a dysfunctional alveolar liquid clearance, alternative therapies restoring these parameters after lung transplantation are required.
Resumo:
Conventional time-domain optical coherence tomography (OCT) has become an important tool for following dry or exudative age-related macular degeneration (AMD). Fourier-domain three-dimensional (3D) OCT was recently introduced. This study tested the reproducibility of 3D-OCT retinal thickness measurements in patients with dry and exudative AMD.
Resumo:
To observe detailed changes in neurosensory retinal structure after anti-VEGF upload in age-related macular degeneration (AMD), by using spectral domain optical coherence tomography (SD-OCT).
Resumo:
The introduction of spectral-domain optical coherence tomography (SD-OCT) has improved the clinical value for assessment of the eyes with macular disease. This article reviews the advances of SD-OCT for the diagnostic of various macular diseases. These include vitreomacular traction syndrome, cystoid macular edema/diabetic macular edema, epiretinal membranes, full-thickness macular holes, lamellar holes, pseudoholes, microholes, and schisis from myopia. Besides offering new insights into the pathogenesis of macular abnormalities, SD-OCT is a valuable tool for monitoring macular disease.
Resumo:
Coronary late stent thrombosis, a rare but devastating complication, remains an important concern in particular with the increasing use of drug-eluting stents. Notably, pathological studies have indicated that the proportion of uncovered coronary stent struts represents the best morphometric predictor of late stent thrombosis. Intracoronary optical frequency domain imaging (OFDI), a novel second-generation optical coherence tomography (OCT)-derived imaging method, may allow rapid imaging for the detection of coronary stent strut coverage with a markedly higher precision when compared with intravascular ultrasound, due to a microscopic resolution (axial approximately 10-20 microm), and at a substantially increased speed of image acquisition when compared with first-generation time-domain OCT. However, a histological validation of coronary OFDI for the evaluation of stent strut coverage in vivo is urgently needed. Hence, the present study was designed to evaluate the capacity of coronary OFDI by electron (SEM) and light microscopy (LM) analysis to detect and evaluate stent strut coverage in a porcine model.
Resumo:
Fas-activated serine/threonine phosphoprotein (FAST) is the founding member of the FAST kinase domain-containing protein (FASTKD) family that includes FASTKD1-5. FAST is a sensor of mitochondrial stress that modulates protein translation to promote the survival of cells exposed to adverse conditions. Mutations in FASTKD2 have been linked to a mitochondrial encephalomyopathy that is associated with reduced cytochrome c oxidase activity, an essential component of the mitochondrial electron transport chain. We have confirmed the mitochondrial localization of FASTKD2 and shown that all FASTKD family members are found in mitochondria. Although human and mouse FASTKD1-5 genes are expressed ubiquitously, some of them are most abundantly expressed in mitochondria-enriched tissues. We have found that RNA interference-mediated knockdown of FASTKD3 severely blunts basal and stress-induced mitochondrial oxygen consumption without disrupting the assembly of respiratory chain complexes. Tandem affinity purification reveals that FASTKD3 interacts with components of mitochondrial respiratory and translation machineries. Our results introduce FASTKD3 as an essential component of mitochondrial respiration that may modulate energy balance in cells exposed to adverse conditions by functionally coupling mitochondrial protein synthesis to respiration.
Resumo:
It is unclear whether anti-VEGF monotherapy in age-related macular degeneration (AMD) achieves morphologic CNV regression or only stops further CNV growth. In this study, spectral domain-optical coherence tomography (SD-OCT) was used to image CNV structure before and after anti-VEGF treatment.
Resumo:
To evaluate the intraoperative use of handheld Fourier-domain optical coherence tomography (OCT) during Descemet stripping automated endothelial keratoplasty (DSAEK) to assess the donor-host interface.