Search results for " search"
showing 10 items of 654 documents
Learned Sorted Table Search and Static Indexes in Small Model Space
2022
Machine Learning Techniques, properly combined with Data Structures, have resulted in Learned Static Indexes, innovative and powerful tools that speed-up Binary Search, with the use of additional space with respect to the table being searched into. Such space is devoted to the ML model. Although in their infancy, they are methodologically and practically important, due to the pervasiveness of Sorted Table Search procedures. In modern applications, model space is a key factor and, infact, a major open question concerning this area is to assess to whatextent one can enjoy the speed-up of Learned Indexes while using constant or nearly constant space models.We address it here by (a) introducing…
Using Learning Automata to Enhance Local-Search Based SAT Solvers with Learning Capability
2010
In this work, we have introduced a new approach based on combining Learning Automata with Random Walk and GSAT w/Random Walk. In order to get a comprehensive overview of the new algorithms' performance, we used a set of benchmark problems containing different problems from various domains. In these benchmark problems, both RW and GSATRW suffers from stagnation behaviour which directly affects their performance. This phenomenon is, however, only observed for LA-GSATRW on the largest problem instances. Finally, the
A Nonlinear Primal-Dual Method for Total Variation-Based Image Restoration
1999
We present a new method for solving total variation (TV) minimization problems in image restoration. The main idea is to remove some of the singularity caused by the nondifferentiability of the quantity $|\nabla u|$ in the definition of the TV-norm before we apply a linearization technique such as Newton's method. This is accomplished by introducing an additional variable for the flux quantity appearing in the gradient of the objective function, which can be interpreted as the normal vector to the level sets of the image u. Our method can be viewed as a primal-dual method as proposed by Conn and Overton [ A Primal-Dual Interior Point Method for Minimizing a Sum of Euclidean Norms, preprint,…
Dynamic Computation Offloading Scheme for Fog Computing System with Energy Harvesting Devices
2020
Fog computing is considered as a promising technology to meet the ever-increasing computation requests from a wide variety of mobile applications. By offloading the computation-intensive requests to the fog node or the central cloud, the performance of the applications, such as energy consumption and delay, are able to be significantly enhanced. Meanwhile, utilizing the recent advances of social network and energy harvesting techniques, the system performance could be further improved. In this paper, we take the social relationships of the energy harvesting MDs into the design of computational offloading scheme in fog computing. With the objective to minimize the social group execution cost…
PED in 2021: a major update of the protein ensemble database for intrinsically disordered proteins
2020
Abstract The Protein Ensemble Database (PED) (https://proteinensemble.org), which holds structural ensembles of intrinsically disordered proteins (IDPs), has been significantly updated and upgraded since its last release in 2016. The new version, PED 4.0, has been completely redesigned and reimplemented with cutting-edge technology and now holds about six times more data (162 versus 24 entries and 242 versus 60 structural ensembles) and a broader representation of state of the art ensemble generation methods than the previous version. The database has a completely renewed graphical interface with an interactive feature viewer for region-based annotations, and provides a series of descriptor…
Revised annual post-market environmental monitoring (PMEM) report on the cultivation of genetically modified maize MON 810 in 2013 from Monsanto Euro…
2015
Question number: EFSA-Q-2015-00432On request from: European Commission; Following a request from the European Commission, the Panel on Genetically Modified Organisms of the European Food Safety Authority (EFSA GMO Panel) assessed the results of the general surveillance activities contained in the revised annual post-market environmental monitoring (PMEM) report for the 2013 growing season of maize MON 810 provided by Monsanto Europe S.A. The supplied data do not indicate any unanticipated adverse effects on human and animal health or the environment arising from the cultivation of maize MON 810 cultivation in 2013. Similar methodological shortcomings to those observed in previous annual PME…
Aquatic cycling-What do we know? A scoping review on head-out aquatic cycling
2017
Over the past few years, aquatic cycling has become a trending fitness activity. However, the literature has not been reviewed exhaustively. Therefore, using scoping review methodology, the aim of this review was to explore the current state of the literature concerning aquatic cycling. This study specifically focused on study designs, populations and outcomes. A comprehensive search of seven databases (PubMed, MEDLINE, Cinahl, Embase, PEDro, Web of Science, WorldCat) was conducted up to 30th September 2016. GoogleScholar, World Cat, ResearchGate, specific aquatic therapy websites and aquatic therapy journals were searched to identify additional literature. Full-text publications in English…
Zygocotyle lunata: Proteomic analysis of the adult stage
2011
The somatic extract of Zygocotyle lunata (Trematoda: Paramphistomidae) adults collected from experimentally infected mice was investigated using a proteomic approach to separate and identify tryptic peptides from the somatic extract of Z. lunata adult worms. A shot-gun liquid chromatography/tandem mass spectrometry procedure was used. We used the MASCOT search engine (Matrix-Science) and ProteinPilot software v2.0 (Applied Biosystems) for the database search. A total of 36 proteins were accurately identified from the worms. The largest protein family consisted of metabolic enzymes. Structural, motor and receptor binding proteins and proteins related to oxygen transport were identified in th…
Examining the course of hallucinatory experiences in children and adolescents: A systematic review
2011
Abstract Background Childhood and adolescence represent the periods during which hallucinatory experiences occur at the greatest prevalence, and also constitute a critical window of vulnerability for the pathogenesis of psychotic disorders. The longitudinal course of hallucinatory experiences during late childhood and adolescence, as well as their relationship to psychotic disorders, has never been the subject of review. Methods We followed the PRISMA guidelines for conducting systematic reviews and combined the use of electronic and manual systematic search methods. Data were extracted upon pre-defined requested items and were analyzed using several epidemiological measures. The interpreta…
A GRASP algorithm for constrained two-dimensional non-guillotine cutting problems
2005
This paper presents a greedy randomized adaptive search procedure (GRASP) for the constrained two-dimensional non-guillotine cutting problem, the problem of cutting the rectangular pieces from a large rectangle so as to maximize the value of the pieces cut. We investigate several strategies for the constructive and improvement phases and several choices for critical search parameters. We perform extensive computational experiments with well-known instances previously reported, first to select the best alternatives and then to compare the efficiency of our algorithm with other procedures.