19 resultados para SAT-solvers, Small Hard Benchmarks


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Background: Recent studies have clearly demonstrated the enormous virus diversity that exists among wild animals. This exemplifies the required expansion of our knowledge of the virus diversity present in wildlife, as well as the potential transmission of these viruses to domestic animals or humans. Methods: In the present study we evaluated the viral diversity of fecal samples (n = 42) collected from 10 different species of wild small carnivores inhabiting the northern part of Spain using random PCR in combination with next-generation sequencing. Samples were collected from American mink (Neovison vison), European mink (Mustela lutreola), European polecat (Mustela putorius), European pine marten (Martes martes), stone marten (Martes foina), Eurasian otter (Lutra lutra) and Eurasian badger (Meles meles) of the family of Mustelidae; common genet (Genetta genetta) of the family of Viverridae; red fox (Vulpes vulpes) of the family of Canidae and European wild cat (Felis silvestris) of the family of Felidae. Results: A number of sequences of possible novel viruses or virus variants were detected, including a theilovirus, phleboviruses, an amdovirus, a kobuvirus and picobirnaviruses. Conclusions: Using random PCR in combination with next generation sequencing, sequences of various novel viruses or virus variants were detected in fecal samples collected from Spanish carnivores. Detected novel viruses highlight the viral diversity that is present in fecal material of wild carnivores.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Single-spin asymmetries were investigated in inclusive electroproduction of charged pions and kaons from transversely polarized protons at the HERMES experiment. The asymmetries were studied as a function of the azimuthal angle psi about the beam direction between the target-spin direction and the hadron production plane, the transverse hadron momentum P-T relative to the direction of the incident beam, and the Feynman variable x(F). The sin psi* amplitudes are positive for pi(+) and K+ slightly negative for pi(-) and consistent with zero for K-, with particular P-T but weak x(F) dependences. Especially large asymmetries are observed for two small subsamples of events, where also the scattered electron was recorded by the spectrometer. (C) 2013 The Authors. Published by Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this study was to compare the effects of Small-Sided Games (SSG) vs. Interval Training (IT) in soccer training on aerobic fitness and physical enjoyment in youth elite soccer players during the last 8 weeks of the season. Seventeen U-16 male soccer players (age = 15.5 +/- 0.6 years, and 8.5 years of experience) of a Spanish First Division club academy were randomized to 2 different groups for 6 weeks: SSG group (n = 9) and IT group (n = 8). In addition to the usual technical and tactical sessions and competitive games, the SSG group performed 11 sessions with different SSGs, whereas the IT group performed the same number of sessions of IT. Players were tested before and after the 6-week training intervention with a continuous maximal multistage running field test and the counter movement jump test (CMJ). At the end of the study, players answered the physical activity enjoyment scale (PACES). During the study, heart rate (HR) and session perceived effort (sRPE) were assessed. SSGs were as effective as IT in maintaining the aerobic fitness in elite young soccer players during the last weeks of the season. Players in the SSG group declared a greater physical enjoyment than IT (P = 0.006; ES = 1.86 +/- 1.07). Coaches could use SSG training during the last weeks of the season as an option without fear of losing aerobic fitness while promoting high physical enjoyment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The surge of the Internet traffic with exabytes of data flowing over operators mobile networks has created the need to rethink the paradigms behind the design of the mobile network architecture. The inadequacy of the 4G UMTS Long term Evolution (LTE) and even of its advanced version LTE-A is evident, considering that the traffic will be extremely heterogeneous in the near future and ranging from 4K resolution TV to machine-type communications. To keep up with these changes, academia, industries and EU institutions have now engaged in the quest for new 5G technology. In this paper we present the innovative system design, concepts and visions developed by the 5G PPP H2020 project SESAME (Small cEllS coordinAtion for Multi-tenancy and Edge services). The innovation of SESAME is manifold: i) combine the key 5G small cells with cloud technology, ii) promote and develop the concept of Small Cellsas- a-Service (SCaaS), iii) bring computing and storage power at the mobile network edge through the development of nonx86 ARM technology enabled micro-servers, and iv) address a large number of scenarios and use cases applying mobile edge computing. Topics: