753 research outputs found
A generic framework for context-sensitive analysis of modular programs
Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address
context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argĂŒe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao
system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does
substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed
Birds of Sierra de Vallejo, Nayarit, Mexico
Sierra de Vallejo, is considered a priority region
for conservation, and is strongly affected by anthropogenic
pressures. The inventory of birds are refers to studies
in near areas. This study is a concrete contribution of
the birds of the mountain chain and north of it. We considered
bibliographic records and databases available on the
web with records of ocurrence and specimens of scientific
collections. Also we perform point counts in different localities
inside the reserve. We observed a richness of 261
birds species, the family Tyrannidae is the best represented.
Of the species recorded, 177 are permanent residents
(31 are endemic and 15 are quasi-endemics to Mexico)
and 73 are migratory; the remaining eleven records have
other status. Also 43 species are in endangered categories.
We include species that have not been recorded in
the lists of the area and records of species expand their
ranges at Nayarit. Due to the great diversity of birds observed,
it is necesary to continue the research work about
habitat use, abundance and monitoring, it will provides the
basis for the conservation of birds of Sierra de Vallejo
Perspective: Matching, Mate Choice, and Speciation
Matching was developed in the 1960s to match such entities as residents and hospitals, colleges and students, or employers and employees. This approach is based on âpreference lists,â whereby each participant ranks potential partners according to his/her preferences and tries to match with the highest-ranking partner available. Here, we discuss the implications of matching for the study of mate choice and speciation. Matching differs from classic approaches in several respects, most notably because under this theoretical framework, the formation of mating pairs is context-dependant (i.e., it depends on the configuration of pairings in the entire population), because the stability of mating pairs is considered explicitly, and because mate choice is mutual. The use of matching to study mate choice and speciation is not merely a theoretical curiosity; its application can generate counter-intuitive predictions and lead to conclusions that differ fundamentally from classic theories about sexual selection and speciation. For example, it predicts that when mate choice is mutual and the stability of mating pairs is critical for successful reproduction, sympatric speciation is a robust evolutionary outcome. Yet the application of matching to the study of mate choice and speciation has been largely dominated by theoretical studies. We present the hamlets, a group of brightly colored Caribbean coral reef fishes in the genus Hypoplectrus (Serranidae), as a particularly apt system to test empirically specific predictions generated by the application of matching to mate choice and speciation
Abstract verification and debugging of constraint logic programs
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]
Continuous-Wave Multiphoton Photoemission from Plasmonic Nanostars
Highly nonlinear optical processes, such as multiphoton photoemission,
require high intensities, typically achieved with ultrashort laser pulses and,
hence, were first observed with the advent of picosecond laser technology. An
alternative approach for reaching the required field intensities is offered by
localized optical resonances such as plasmons. Here, we demonstrate localized
multiphoton photoemission from plasmonic nanostructures under continuous-wave
illumination. We use synthesized plasmonic gold nanostars, which exhibit sharp
tips with structural features smaller than 5 nm, leading to
near-field-intensity enhancements exceeding 1000. This large enhancement
facilitates 3-photon photoemission driven by a simple continuous-wave laser
diode. We characterize the intensity and polarization dependencies of the
photoemission yield from both individual nanostars and ensembles. Numerical
simulations of the plasmonic enhancement, the near-field distributions, and the
photoemission intensities are in good agreement with experiment. Our results
open a new avenue for the design of nanoscale electron sources
Universal anti-Kibble-Zurek scaling in fully-connected systems
We investigate the quench dynamics of an open quantum system involving a
quantum phase transition. In the isolated case, the quench dynamics involving
the phase transition exhibits a number of scaling relations with the quench
rate as predicted by the celebrated Kibble-Zurek mechanism. In contact with an
environment however, these scaling laws breakdown and one may observe an
anti-Kibble-Zurek behavior: slower ramps lead to less adiabatic dynamics,
increasing thus non-adiabatic effects with the quench time. In contrast to
previous works, we show here that such anti-Kibble-Zurek scaling can acquire a
universal form in the sense that it is determined by the equilibrium critical
exponents of the phase transition, provided the excited states of the system
exhibit singular behavior, as observed in fully-connected models. This
demonstrates novel universal scaling laws granted by a system-environment
interaction in a critical system. We illustrate these findings in two
fully-connected models, namely, the quantum Rabi and the Lipkin-Meshkov-Glick
models. In addition, we discuss the impact of non-linear ramps and finite-size
systems.Comment: comments always welcome; 5+6 pages and 3+2 figs; v2: updated
references; v3: closer to published versio
An overview of the ciao multiparadigm language and program development environment and its design philosophy
We describe some of the novel aspects and motivations behind
the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system
Surface-Enhanced Raman Scattering Holography
Nanometric probes based on surface-enhanced Raman scattering (SERS) are promising candidates for all-optical environmental, biological and technological sensing applications with intrinsic quantitative molecular specificity. However, the effectiveness of SERS probes depends on a delicate trade-off between particle size, stability and brightness that has so far hindered their wide application in SERS imaging methodologies. In this Article, we introduce holographic Raman microscopy, which allows single-shot three-dimensional single-particle localization. We validate our approach by simultaneously performing Fourier transform Raman spectroscopy of individual SERS nanoparticles and Raman holography, using shearing interferometry to extract both the phase and the amplitude of wide-field Raman images and ultimately localize and track single SERS nanoparticles inside living cells in three dimensions. Our results represent a step towards multiplexed single-shot three-dimensional concentration mapping in many different scenarios, including live cell and tissue interrogation and complex anti-counterfeiting applications.Peer ReviewedPostprint (author's final draft
Multivariant Assertion-based Guidance in Abstract Interpretation
Approximations during program analysis are a necessary evil, as they ensure
essential properties, such as soundness and termination of the analysis, but
they also imply not always producing useful results. Automatic techniques have
been studied to prevent precision loss, typically at the expense of larger
resource consumption. In both cases (i.e., when analysis produces inaccurate
results and when resource consumption is too high), it is necessary to have
some means for users to provide information to guide analysis and thus improve
precision and/or performance. We present techniques for supporting within an
abstract interpretation framework a rich set of assertions that can deal with
multivariance/context-sensitivity, and can handle different run-time semantics
for those assertions that cannot be discharged at compile time. We show how the
proposed approach can be applied to both improving precision and accelerating
analysis. We also provide some formal results on the effects of such assertions
on the analysis results.Comment: Pre-proceedings paper presented at the 28th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt
am Main, Germany, 4-6 September 2018 (arXiv:1808.03326
- âŠ