Avaliação experimental de um gerador de testes dirigidos para a verificação de memória compartilhada em multicore chips

TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.No contexto de verificação de memória compartilhada em multicore chips, este trabalho propõe uma avaliação crítica da geração automática de testes dirigidos quando baseada em Programação Genética. A metodologia consiste na comparação do gerador McVerSi (que representa o estado da arte) com geradores de testes aleatórios (que representam a base de geradores dirigidos por cobertura). Dois geradores de testes aleatórios são utilizados: um deles (McVerSi_Rand) pressupõe uma restrição do espaço de endereçamento imposta estaticamente antes de disparar a geração, o outro (IRTG) admite a variação dinâmica de restrições impostas ao espaço de endereçamento. Os três geradores são comparados de acordo com duas métricas: cobertura estrutural dos controladores de cache e esforço requerido na detecção de erros de coerência de memória

DNA sequencing as a tool to monitor marine ecological status

© 2017 Goodwin, Thompson, Duarte, Kahlke, Thompson, Marques and Caçador. Many ocean policies mandate integrated, ecosystem-based approaches to marine monitoring, driving a global need for efficient, low-cost bioindicators of marine ecological quality. Most traditional methods to assess biological quality rely on specialized expertise to provide visual identification of a limited set of specific taxonomic groups, a time-consuming process that can provide a narrow view of ecological status. In addition, microbial assemblages drive food webs but are not amenable to visual inspection and thus are largely excluded from detailed inventory. Molecular-based assessments of biodiversity and ecosystem function offer advantages over traditional methods and are increasingly being generated for a suite of taxa using a "microbes to mammals" or "barcodes to biomes" approach. Progress in these efforts coupled with continued improvements in high-throughput sequencing and bioinformatics pave the way for sequence data to be employed in formal integrated ecosystem evaluation, including food web assessments, as called for in the European Union Marine Strategy Framework Directive. DNA sequencing of bioindicators, both traditional (e.g., benthic macroinvertebrates, ichthyoplankton) and emerging (e.g., microbial assemblages, fish via eDNA), promises to improve assessment of marine biological quality by increasing the breadth, depth, and throughput of information and by reducing costs and reliance on specialized taxonomic expertise

Boynton-Delray Coastal Water Quality Monitoring Program

This report discusses a sequence of six cruises in the vicinity of the Boynton-Delray (South Central) treated-wastewater plant outfall plume (26°27\u2743 N, 80°2\u2732 W), the Boynton Inlet (26°32\u2743 N, 80°2\u2730 W), and the Lake Worth Lagoon, Palm Beach County, Florida. The sampling cruises took place on June 5-6, 2007; August 28-29, 2007; October 18-19, 2007; February 14 and 18, 2008; May 19-20, 2008; and July 11-13, 2008. Water was sampled at 18 locations at the surface, middle, and near the seafloor (where there was sufficient depth) for a total of 45 samples; these samples were analyzed for a variety of nutrients and related parameters. The water sampling unit contained a conductivity-temperature-depth (CTD) instrument from which data were obtained at each sampling site. Synchronal ocean current data were measured by a nearby acoustic Doppler current profiler (ADCP) instrument. The inlet measurements were consistently lower in salinity and more acidic (lower in pH) than the coastal ocean and were warmer during the May and, especially, during the February cruises. For most analytes, viz., nitrite+nitrate (N+N), total suspended solids (TSS), chlorophyll-a, silica (Si), and total dissolved nitrogen (TDN), the lagoon concentrations were significantly higher than the coastal ocean; the inlet concentrations appeared to be consistent with lagoon water with partial mixing with the coastal ocean, as expected. Estimates of the nutrient flux to the coastal ocean were computed: approximately 1,500 kg of dissolved nitrogen (N), 2,350 kg of silicate (Si), 33 kg of orthophosphate (P), and 59 kg of ammonium (NH4) per day were delivered to the coastal ocean through the inlet. The outfall boil at South Central outfall (the smallest in volume of the six outfalls in southeast Florida) is only visible under ideal conditions. In the six cruises described in this document, the outfall boil could be found in only one cruise (August 28-29, 2007). Elevated concentrations of nutrients (N+N, P, Si, and P) at the outfall vicinity were measured, and these concentrations decreased rapidly away from the outfall for most analytes, to become undistinguished from the background within 3 km or less. Not finding the boil, however, in five of six cruises meant that the waters with the highest concentrations were probably missed. When the boil was sampled in August 2007, N+N, P, and total dissolved phosphorus (TDP) concentrations at the boil were roughly the same as from the inlet. For other analytes (chlorophyll-a, TSS, Si, and dissolved organic carbon [DOC]), the concentrations at or near the outfall were significantly less than those from the lagoon and inlet on most of the cruises. The coastal ocean appeared to be significantly impacted by the Boynton Inlet and less so from the inlet. A suggestion of a source to the south was seen in some analytes. Measurements from the Gulf Stream Reef area were the lowest in the study, and may provide “background” concentrations for this region. As expected, the coastal ocean was warmer and more stratified in the summer compared to the winter, e.g., whereas no thermocline was noted in the CTD data from February 2007, a strong thermocline was observed in most casts during July 2008. In certain cases (e.g., N+N in June 2007, pH in July 2008), an increase in the concentration (decrease for pH) from north to south implied a source from the south, e.g., the Boca Raton Inlet or Boca Raton outfall

Red Sea SAR11 and Prochlorococcus Single-cell Genomes Reflect Globally Distributed Pangenomes

Evidence suggests many marine bacteria are cosmopolitan, with widespread but sparse strains poised to seed abundant populations under conducive growth conditions. However, studies supporting this "microbial seed bank" hypothesis have analyzed taxonomic marker genes rather than whole genomes/metagenomes, leaving open the possibility that disparate ocean regions harbor endemic gene content. The Red Sea is isolated geographically from the rest of the ocean and has a combination of high irradiance, high temperature, and high salinity that is unique among the oceans; we therefore asked whether it harbors endemic gene content. We sequenced and assembled single-cell genomes of 21 SAR11 (subclades Ia, Ib, Id, and II) and 5 Prochlorococcus (ecotype HLII) samples from the Red Sea and combined them with globally sourced reference genomes to cluster genes into ortholog groups (OGs). Ordination of OG composition could distinguish clades, including phylogenetically cryptic Prochlorococcus ecotypes LLII and LLIII. Compared with reference genomes, 1% of Prochlorococcus and 17% of SAR11 OGs were unique to the Red Sea genomes (RS-OGs). Most (83%) RS-OGs had no annotated function, but 65% of RS-OGs were expressed in diel Red Sea metatranscriptomes, suggesting they are functional. Searching Tara Oceans metagenomes, RS-OGs were as likely to be found as non-RS-OGs; nevertheless, Red Sea and other warm samples could be distinguished from cooler samples using the relative abundances of OGs. The results suggest that the prevalence of OGs in these surface ocean bacteria is largely cosmopolitan, with differences in population metagenomes manifested by differences in relative abundance rather than complete presence/absence of OGs.IMPORTANCE Studies have shown that as we sequence seawater from a selected environment deeper and deeper, we approach finding every bacterial taxon known for the ocean as a whole. However, such studies have focused on taxonomic marker genes rather than on whole genomes, raising the possibility that the lack of endemism results from the method of investigation. We took a geographically isolated water body, the Red Sea, and sequenced single cells from it. We compared those single-cell genomes to available genomes from around the ocean and to ocean-spanning metagenomes. We showed that gene ortholog groups found in Red Sea genomes but not in other genomes are nevertheless common across global ocean metagenomes. These results suggest that Baas Becking's hypothesis "everything is everywhere, but the environment selects" also applies to gene ortholog groups. This widely dispersed functional diversity may give oceanic microbial communities the functional capacity to respond rapidly to changing conditions

Negotiation in strategy making teams : group support systems and the process of cognitive change

This paper reports on the use of a Group Support System (GSS) to explore at a micro level some of the processes manifested when a group is negotiating strategy-processes of social and psychological negotiation. It is based on data from a series of interventions with senior management teams of three operating companies comprising a multi-national organization, and with a joint meeting subsequently involving all of the previous participants. The meetings were concerned with negotiating a new strategy for the global organization. The research involved the analysis of detailed time series data logs that exist as a result of using a GSS that is a reflection of cognitive theory

Catalyzing progress in the blue economy through joint marine microbiome research across the Atlantic

International agreements recognize the importance of cooperative scientific research to conserve and promote sustainable development of a shared Atlantic Ocean. In 2022, the All-Atlantic Ocean Research and Innovation Alliance Declaration was signed. The All-Atlantic Declaration continues and extends relationships forged by the Galway Statement on Atlantic Ocean Cooperation and the Belém Statement on Atlantic Ocean Research and Innovation Cooperation. These efforts are consistent with programs, actions, and aims of the United Nations Decade of Ocean Science for Sustainable Development. In preparation for implementation of the All-Atlantic Declaration, members of the Marine Microbiome Working Group and the Marine Biotechnology Initiative for the Atlantic under the Galway and Belém Statements respectively, joined forces to call for cooperation across the Atlantic to increase marine microbiome and biotechnology research to promote ocean health and a sustainable bioeconomy. This article reviews the goals of the marine microbiome and biotechnology initiatives under the Galway and Belém Statements and outlines an approach to implement those goals under the All-Atlantic Declaration through a Blue Biotech and Marine Microbiome (BBAMM) collaboration

Multi-domain quantitative recovery following Radical Cystectomy for patients within the iROC (Robot Assisted Radical Cystectomy with intracorporeal urinary diversion versus Open Radical Cystectomy) Randomised Controlled Trial: The first 30 patients

Many patients develop complications after radical cystectomy (RC) [1]. Reductions in morbidity have occurred through centralisation and technical improvements [2], and perhaps through robot-assisted RC (RARC). Whilst RARC is gaining popularity, there are concerns about oncological safety [3] and extracorporeal reconstruction [4], and randomised controlled trials (RCTs) find little difference [5]. We are conducting a prospective RCT comparing open RC and RARC with mandated intracorporeal reconstruction (Robot-assisted Radical Cystectomy with intracorporeal urinary diversion versus Open Radical Cystectomy [iROC] trial) [6]

Home-based Extended Rehabilitation for Older people (HERO): study protocol for an individually randomised controlled multi-centre trial to determine the clinical and cost-effectiveness of a home-based exercise intervention for older people with frailty as extended rehabilitation following acute illness or injury, including embedded process evaluation

Background: The majority of older people (> 65 years) in hospital have frailty and are at increased risk of readmission or death following discharge home. In the UK, following acute hospitalisation, around one third of older people with frailty are referred on for rehabilitation, termed ‘intermediate care’ services. Although this rehabilitation can reduce early readmission to hospital (< 30 days), recipients often do not feel ready to leave the service on discharge, suggesting possible incomplete recovery. Limited evidence suggests extended rehabilitation is of benefit in several conditions and there is preliminary evidence that progressive physical exercise can improve mobility and function for older people with frailty, and slow progression to disability. Our aim is to evaluate the effectiveness of the Home-based Older People’s Exercise (HOPE) programme as extended rehabilitation for older people with frailty discharged home from hospital or intermediate care services after acute illness or injury. Methods: A multi-centre individually randomised controlled trial, to evaluate the clinical and cost-effectiveness of the HOPE programme. This individualised, graded and progressive 24-week exercise programme is delivered by NHS physiotherapy teams to people aged 65 and older with frailty, identified using the Clinical Frailty Scale, following discharge from acute hospitalisation and linked intermediate care rehabilitation pathways. The primary outcome is physical health-related quality of life, measured using the physical component summary score of the modified Short Form 36- item health questionnaire (SF36) at 12 months. Secondary outcomes include self-reported physical and mental health, functional independence, death, hospitalisations, care home admissions. Plans include health economic analyses and an embedded process evaluation. Discussion: This trial seeks to determine if extended rehabilitation, via the HOPE programme, can improve physical health-related quality of life for older people with frailty following acute hospitalisation. Results will improve awareness of the rehabilitation needs of older people with frailty, and provide evidence on the clinical and cost-effectiveness of the targeted exercise intervention. There is potential for considerable benefit for health and social care services through widespread implementation of trial findings if clinical and cost-effectiveness is demonstrated

Can We Really Prevent Suicide?

Every year, suicide is among the top 20 leading causes of death globally for all ages. Unfortunately, suicide is difficult to prevent, in large part because the prevalence of risk factors is high among the general population. In this review, clinical and psychological risk factors are examined and methods for suicide prevention are discussed. Prevention strategies found to be effective in suicide prevention include means restriction, responsible media coverage, and general public education, as well identification methods such as screening, gatekeeper training, and primary care physician education. Although the treatment for preventing suicide is difficult, follow-up that includes pharmacotherapy, psychotherapy, or both may be useful. However, prevention methods cannot be restricted to the individual. Community, social, and policy interventions will also be essentia

Painting the Nation:Examining the Intersection Between Politics and the Visual Arts Market in Emerging Economies

Politics and art have throughout history, intersected in diverse and complex ways. Ideologies and political systems have used the arts to create a certain image and, depending on the form of government this has varied from clear-cut state propaganda, to patronage, to more indirect arms-length funding procedures. Therefore, artists working within the macro-level socio-political context cannot help but be influenced, inspired and sometimes restricted by these policies and political influences. This article examines the contemporary art markets of two emerging, Socialist economies to investigate the relationship between state pol-itics and the contemporary visual arts market. We argue that the respective governments and art worlds are trying to construct a brand narrative for their nations, but that these discourses are often at cross-purposes. In doing so, we illustrate that it is impos-sible to separate a consideration of the artwork from the macro-level context in which it is produced, distributed, and consumed