8,792 research outputs found
Studying DNA Double-Strand Break Repair: An Ever-Growing Toolbox
To ward off against the catastrophic consequences of persistent DNA double-strand breaks (DSBs), eukaryotic cells have developed a set of complex signaling networks that detect these DNA lesions, orchestrate cell cycle checkpoints and ultimately lead to their repair. Collectively, these signaling networks comprise the DNA damage response (DDR). The current knowledge of the molecular determinants and mechanistic details of the DDR owes greatly to the continuous development of ground-breaking experimental tools that couple the controlled induction of DSBs at distinct genomic positions with assays and reporters to investigate DNA repair pathways, their impact on other DNA-templated processes and the specific contribution of the chromatin environment. In this review, we present these tools, discuss their pros and cons and illustrate their contribution to our current understanding of the DDR.European Research Council (ERC-2014-CoG 647344
Variational methods for two resonant problems on time scales
Using variational methods we study the generalization of two classical second order periodic problems in the context of time scales. On the one hand, we study a forced pendulum-type equation. On the other hand, we obtain solutions for a bounded nonlinearity under Landesman–Lazer type conditions.Fil: Amster, Pablo Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas "Luis A. Santaló". Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigaciones Matemáticas "Luis A. Santaló"; ArgentinaFil: de Napoli, Pablo Luis. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas "Luis A. Santaló". Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigaciones Matemáticas "Luis A. Santaló"; ArgentinaFil: Tisdell, C. C.. University of New South Wales; Australi
-boundedness properties for the maximal operators for semigroups associated with Bessel and Laguerre operators
In this paper we prove that the generalized (in the sense of Caffarelli and
Calder\'on) maximal operators associated with heat semigroups for Bessel and
Laguerre operators are weak type
(1,1). Our results include other known ones and our proofs are simpler than
the ones for the known special cases.Comment: 8 page
Drops with non-circular footprints
In this paper we study the morphology of drops formed on partially wetting
substrates, whose footprint is not circular. This type of drops is a
consequence of the breakup processes occurring in thin films when anisotropic
contact line motions take place. The anisotropy is basically due to hysteresis
effects of the contact angle since some parts of the contact line are wetting,
while others are dewetting. Here, we obtain a peculiar drop shape from the
rupture of a long liquid filament sitting on a solid substrate, and analyze its
shape and contact angles by means of goniometric and refractive techniques. We
also find a non--trivial steady state solution for the drop shape within the
long wave approximation (lubrication theory), and compare most of its features
with experimental data. This solution is presented both in Cartesian and polar
coordinates, whose constants must be determined by a certain group of measured
parameters. Besides, we obtain the dynamics of the drop generation from
numerical simulations of the full Navier--Stokes equation, where we emulate the
hysteretic effects with an appropriate spatial distribution of the static
contact angle over the substrate
Method to obtain nonuniformity information from field emission behavior
Copyright © 2010 American Vacuum Society / American Institute of Physics. This article may be downloaded for personal use only. Any other use requires prior permission of the author and the American Institute of Physics. The following article appeared in Journal of Vacuum Science and Technology Part B: Microelectronics and Nanometer Structures, 28(3), Article number 441 and may be found at http://scitation.aip.org/content/avs/journal/jvstb/28/3/10.1116/1.3327928.This article describes the characterization of field emission from a planar cathode to a spherical anode with the approach curve method (ACM). In such a diode configuration the electric field strength at the cathode surface is nonuniform. This nonuniformity gives an extra degree of freedom and it allows the interpretation of the current-voltage and voltage-distance (V×d) curves in terms of nonuniformity. The authors apply the ACM to Cu emitters to explain the nonlinearity of the V×d curve in ACM measurements. This analysis provides a good insight into field emission phenomena, supporting a method for nonuniformity characterization based on field emission behavior
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
During the last few years, computer performance has reached a turning point where computing
power is no longer the only important concern. This way, the emphasis is shifting from an
exclusive focus on the optimisation of the computing system to optimising other systems, like
the memory system. Broadly speaking, testing memory systems entails two main challenges: the
oracle problem and the reliable test set problem. The former consists in deciding if the outputs
of a test suite are correct. The latter refers to providing an appropriate test suite for determining
the correctness of the system under test.
In this paper we propose an expert system for checking the correctness of memory systems.
In order to face these challenges, our proposed system combines two orthogonal techniques
– simulation and metamorphic testing – enabling the automatic generation of appropriate test
cases and deciding if their outputs are correct. In contrast to conventional expert systems, our
system includes a factual database containing the results of previous simulations, and a simulation
platform for computing the behaviour of memory systems. The knowledge of the expert is
represented in the form of metamorphic relations, which are properties of the analysed system
involving multiple inputs and their outputs. Thus, the main contribution of this work is two-fold:
a method to automatise the testing process of memory systems, and a novel expert system design
focusing on increasing the overall performance of the testing process.
To show the applicability of our system, we have performed a thorough evaluation using
500 memory configurations and 4 di erent memory management algorithms, which entailed
the execution of more than one million of simulations. The evaluation used mutation testing,
injecting faults in the memory management algorithms. The developed expert system was able
to detect over 99% of the critical injected faults, hence obtaining very promising results, and
outperforming other standard techniques like random testingThis work was supported by the Spanish Ministerio de Economía, Industria y Competitividad, Gobierno de España/FEDER (grant numbers DArDOS, TIN2015-65845-C3-1-R and FAME, RTI2018-093608-B-C31) and the Comunidad de Madrid project FORTE under Grant S2018/TCS-4314. The first author is also supported by the Universidad Complutense de Madrid - Santander Universidades grant (CT17/17-CT18/17
Numerical Modelling of Debris Bed Water Quenching
Acknowledgements The authors would like to thank the EPSRC MEMPHIS multi-phase programme grant, the EPSRC Computational modelling for advanced nuclear power plants project, the EU FP7 projects THINS and GoFastR and ExxonMobil for helping to fund this work.Peer reviewedPublisher PD
- …