From stage to sofa: NAC brings local arts to homes in new livestream initiative  Connected to India

Cord cutters have more choices than just Netflix and Hulu. We break down the best video streaming services for your money, whether you're looking to completely replace cable or watch the latest original content on-demand.

Disney, one of the most famous names in film, has launched a new TV service, called Disney Plus. Coming to a living room near you.

Fans of Star Wars, Star Trek, and superhero fans have plenty to stream this weekend.

Emphasis on preventing central line-associated bloodstream infections (CLABSIs) in US health care facilities and prophylactic antifungal medication use in neonates may impact incidence of Candida spp. CLABSIs. However, data on trends in incidence of neonatal Candida spp. CLABSIs are lacking.

Data from a large sample of US NICUs was analyzed to assess trends in incidence over time. This analysis provides a description of the epidemiology of Candida spp. CLABSIs in a national health care-associated infections surveillance system. (Read the full article)

Central line–associated bloodstream infections (CLABSI) are common types of hospital-acquired infections associated with high morbidity and cost. In recent years, quality improvement initiatives have demonstrated how to reduce the incidence of CLABSI.

This study presents nationally representative estimates of the cost and length of stay attributable to pediatric CLABSI. We make the business case to justify quality improvement prevention initiatives and the adoption of strategies for cost-effective management of CLABSI. (Read the full article)

Carbapenems are currently the preferred agents for the treatment of serious Acinetobacter infections. However, whether cefepime/cefpirome can be used to treat Acinetobacter bloodstream infection (BSI) if it is active against the causative pathogens is not clear. This study aimed to compare the efficacy of cefepime/cefpirome and carbapenem monotherapy in patients with Acinetobacter BSI. The population included 360 patients with monomicrobial Acinetobacter BSI receiving appropriate antimicrobial therapy admitted to four medical centres in Taiwan in 2012–2017. The predictors of 30-day mortality were determined by Cox regression analysis. The overall 30-day mortality rate in the appropriate antibiotic treatment group was 25.0% (90/360 patients), respectively. The crude 30-day mortality rates for cefepime/cefpirome and carbapenem therapy were 11.5% (7/61 patients) and 26.3% (21/80 patients), respectively. The patients receiving cefepime/cefpirome/carbapenem therapy were infected by Acinetobacter nosocomialis (51.8%), A. baumannii (18.4%) and A. pittii (12.1%). After adjusting for age, Sequential Organ Failure Assessment (SOFA) score, invasive procedures, and underlying diseases, cefepime/cefpirome therapy was not independently associated with a higher or lower 30-day mortality compared to the carbapenem therapy. SOFA score (hazard ratio [HR], 1.324; 95% confidence interval [CI], 1.137–1.543; P < 0.001) and neutropenia (HR, 7.060; 95% CI, 1.607–31.019; P = 0.010) were independent risk factors for 30-day mortality of patients receiving cefepime/cefpirome or carbapenem monotherapy. The incidence density of 30-day mortality for cefepime/cefpirome versus carbapenem therapy was 0.40% versus 1.04%. The therapeutic response of cefepime/cefpirome therapy was comparable to that of carbapenems among patients with Acinetobacter BSI receiving appropriate antimicrobial therapy.

Methicillin-resistant Staphylococcus aureus (MRSA) bloodstream infections (BSI) are associated with substantial morbidity and mortality. Monotherapy with first-line antimicrobials such as vancomycin (VAN; glycopeptide) and daptomycin (DAP; lipopeptide) are inadequate in some cases due to reduced antibiotic susceptibilities or therapeutic failure. In recent years, β-lactam antibiotics have emerged as a potential option for combination therapy with VAN/DAP that may meet an unmet therapeutic need for MRSA BSI. Ceftaroline (CPT), the only commercially available β-lactam in the United States with intrinsic in vitro activity against MRSA, has been increasingly studied in the setting of VAN and DAP failures. Novel combinations of first-line agents (VAN and DAP) with β-lactams have been the subject of many recent investigations due to in vitro findings such as the "see-saw effect", where β-lactam susceptibility may be improved in the presence of decreased glycopeptide and lipopeptide susceptibility. The combination of CPT and DAP, in particular, has become the focus of many scientific evaluations, due to intrinsic anti-MRSA activities and potent in vitro synergistic activity against various MRSA strains. This article reviews the available literature describing these innovative therapeutic approaches for MRSA BSI, focusing on preclinical and clinical studies, and evaluates the potential benefits and limitations of each strategy.

Introduction: This study was performed to evaluate the impacts of vanA-positivity of Enterococcus faecium (EFM) exhibiting diverse susceptibility phenotypes to glycopeptides on clinical outcomes in patients with a bloodstream infection (BSI) through a prospective, multicenter, observational study.

Methods: A total of 509 patients with an EFM BSI from eight sentinel hospitals in South Korea during a two-year period were enrolled in this study. Risk factors of the hosts and causative EFM isolates were assessed to determine associations with the 30-day mortality of EFM BSI patients via multivariable logistic regression analyses.

Results: The vanA gene was detected in 35.2% (179/509) of EFM isolates; 131 EFM isolates exhibited typical VanA phenotypes (group vanA-VanA), while the remaining 48 EFM isolates exhibited atypical phenotypes (group vanA-Atypical), including VanD (n = 43) and vancomycin-variable phenotypes (n = 5). A multivariable logistic regression indicated that vanA-positivity of causative pathogens was independently associated with the increased 30-day mortality rate in the patients with an EFM BSI; however, there was no significant difference in the survival rates between the patients of the vanA-VanA and vanA-Atypical groups (log-rank test, P = 0.904).

Conclusions: A high 30-day mortality rate was observed in patients with vanA-positive EFM BSIs, and vanA-positivity of causative EFM was an independent risk factor for early mortality irrespective of the susceptibility phenotypes to glycopeptides; thus, intensified antimicrobial stewardship is needed to improve clinical outcome of patients with vanA-positive EFM BSI.

Getting ready for the big game? There are plenty of options, even if you're abroad. Here's how to watch in the states or bypass region blocking with a VPN to watch the Super Bowl.

You'll get a trial, but that's it. If you want any kind of free music, you'll have to stick with iTunes Radio.

Even with the increase in streaming competitors, Netflix remains at the top of the pack—but how long will its dominance last?

The Netgear Nighthawk AX12 12-Stream Wi-Fi 6 Router (RAX120) is a powerful, if expensive, router that uses the latest 802.11ax technology to deliver fast throughput and file-transfer speeds.

A PCMag reader hopes to use a VPN to stream their favorite sporting events to a smart TV. Senior security analyst Max Eddy explains that while this can work, it's a complicated and morally fraught process.

Valve may have discontinued the hardware, but you can still can use the Steam Link app on your Raspberry Pi system to stream games to your TV or anywhere else.

Smart and connected television sets have been around for some years now but the large-scale proliferation will have huge impact on the entertainment and video ecosystem.

The most interesting part of this disruptive market is that as consumers’ media consumption habits are evolving, brands are seeking better technology to target them with relevant content and occasions.

Anglers encouraged to practice responsible social distancing. Trout streams closed March 21 until opening.

On November 26th British Columbia held a draw and has extended 348 invitations to Skilled Workers as well as International Graduates in its new Provincial Nominee Program. The draw covered five provincial streams. These Skilled workers of the provincial…

Saskatchewan Province launched the fresh International Graduate Entrepreneur Stream. This is a new category of the Saskatchewan Immigrant Nominee Program that targets global students who graduate from institutions of Saskatchewan. It helps them to stay…

Authorities in Alberta have eased the process for graduates intending to apply to its Immigrant Nominee Program.The Advanced Education Approved Post-Secondary Credentials were eliminated in the province.This change was announced on Nov 29th, 2019, and…

On December 5th  Nova Scotia conducted a new draw in its provincial Labor Market Priorities Stream with a link to Express Entry. It targets social and community service workers under the NOC 4212. This was the first NSNP draw that targeted NOC 4212.Candidates…

The immigration authorities of Saskatchewan conducted a final draw of 2019 in the Entrepreneur stream on December 5.Making a Gradual ProcessIn the Saskatchewan Immigrant Nominee Program 62 were invitations issued for immigration where the Candidates…

Nova Scotia held a draw in the Labor Market Priorities stream on December 20 and invited 144 candidates belonging to the Express Entry having the required work experience related to public relations, advertising, or marketing sectors. The category of…

Formal verification is a complex technology that has traditionally required experts or specialized teams who stood apart from the IC design and verification flow. Taking a different approach, a new release of the Cadence JasperGold formal verification platform (June 8, 2015) provides formal techniques that complement simulation, emulation, and debugging in the form of “Apps” or under-the-hood solutions that any design or verification engineer can use.

JasperGold was the initial (in fact only) product of Jasper Design Automation, acquired by Cadence in 2014. Jasper pioneered the formal Apps concept several years ago. While the company had previously sold JasperGold as a one-size-fits-all solution, Jasper began selling semi-automated JasperGold Apps that solved specific problems using formal analysis technology.

The new release is the next generation of JasperGold and will be available later this month. It includes three major improvements over previous Cadence and Jasper formal analysis offerings:

• A unified Cadence Incisive and JasperGold formal verification platform delivers up to 15X performance gain over previous solutions.
• JasperGold is integrated into the Cadence System Development Suite, where it provides formal-assisted simulation, emulation, and coverage. As a result, System Development Suite users can find bugs three months earlier than existing verification methods.
• JasperGold’s formal analysis engines are integrated with the recently announced Indago debug platform, automating root cause analysis and on-the-fly, what-if exploration.

Best of Both Formal Verification Worlds

Taking advantage of technologies from both Cadence and Jasper, the new JasperGold represents a “best of both worlds” solution, according to Pete Hardee, product management director at Cadence. This solution combines technologies from the Cadence Incisive Enterprise Verifier and Incisive Formal Verifier with JasperGold formal analysis engines.

For example, to ease migration from Incisive formal tools, Cadence has integrated an Incisive common front end into the JasperGold apps platform. Jasper formal engines can run within the Incisive run-time environment. Cadence has also brought some selected Incisive formal engines into JasperGold.

As shown to the right, the JasperGold platform supports both the existing JasperGold front-end parser and the Incisive front-end parser. Hardee observed that this dual parser arrangement simplifies migration from Incisive formal tools to JasperGold, and provides a common compilation environment for people who want to use JasperGold with Incisive simulation. Further, the common run-time environment enables formal-assisted simulation.

The combination of JasperGold engines and Incisive engines supports two use models for formal analysis: formal proofs and bug hunting. In the first case, formal engines try all combinations of inputs without a testbench. The test is driven by formal properties written in languages such as SVA (SystemVerilog assertions) or PSL (Property Specification Language). Completion of a property is exhaustive proof that something can or cannot happen. This provides a “much stronger result” than simulation, Hardee said.

He also noted that formal analysis doesn’t necessarily require that all properties are completed. “You can get a lot of value even if proofs don’t complete,” he said. “Proofs that run deep enough to find bugs are just fine.”

Bug hunting involves random searches, and JasperGold bug hunting engines are very fast. However, these engines don’t necessarily use the most optimal path to get to a bug. So, Cadence engineers brought a constraint solver from Incisive and integrated it into JasperGold. “It looks at the constraints in the environment and gives you a better starting point,” Hardee said. “It takes more up-front time, but once you’ve done that the bug hunting engines can actually take a shorter path and find a bug a lot quicker.”

Another new JasperGold capability from the Incisive Formal Verifier is called “search pointing.” This uses simulation to penetrate deeply into the state space, and then kicks off a random formal search from a given point that you’ve reached in simulation. This technique makes it possible to find bugs that are very deep in the design.

It is probably clear by now that a number of different formal “engines” may be required to solve a given verification problem. Traditionally, a formal tool (or user) will farm a problem out to many engines and see which one works best. To put more intelligence into that process, Cadence launched the Trident “multi-cooperating engine” a couple of years ago. That has now been brought into JasperGold, where it helps “orchestrate” the engines according to what will work best for the design. This is a big part of the reason for the 15X speedup noted earlier in this post.

Integration with System Development Suite

The Cadence System Development Suite is an integrated set of hardware/software development and verification engines, including virtual prototyping, Incisive simulation, emulation, and FPGA-based prototyping. As shown below, JasperGold technology is integrated into the System Development Suite in several places, including formal-assisted debug, formal-assisted verification closure, formal-assisted simulation, formal-assisted emulation, and the Incisive vManager verification planning tool.

Formal-assisted emulation sounds like it should be easy, especially since Cadence has both accelerated verification IP (VIP) and assertion-based VIP. However, there’s a complication. Accelerated VIP represents less verification content than simulation VIP, because you have to remove many checkers to get VIP to compile on a Palladium emulator. That’s because the Palladium requires synthesizable code.

What you can do, however, is use assertion-based VIP in “snoop mode” as shown below. Assertion-based VIP coded in synthesizable SystemVerilog can replace the missing checkers in accelerated VIP. In this diagram, everything in the green box is running in the emulator and is thus completely accelerated.

Another example of formal-assisted emulation has to do with deep traces. As Hardee noted, emulation will produce very long traces, and it can be very difficult to find a point of interest in the trace and determine what caused an error. With formal-assisted emulation, users can find interesting events within the traces and create properties that mark them, so a debugger can find these events and trace back to the root cause.

Formal-assisted verification closure is available with the new JasperGold release. This is possible because you can use the vManager product to determine which tasks were completed by formal engines. It’s important information for verification managers who are not used to formal tools, Hardee noted.

Another aspect of formal-assisted verification closure is the JasperGold Unreachability Analysis (UNR) App, which can save simulation users weeks of time and effort. This App takes in the simulation coverage database and RTL, and automatically generates properties to explore coverage holes and determine if holes are reachable or unreachable. The App then generates an unreachable coverage point database. If the unreachable code does something useful, there’s a bug in the design or the testbench; if not, you don’t have to worry about it. The diagram below shows how it works.

Formal-Assisted Debugging

The third major component of the JasperGold announcement is the integration of formal analysis into the Indago debugging platform. As shown below, this platform has several apps, including the Indago Debug Analyzer. Two formal debug capabilities from the Jasper Visualize environment have been added to the the Indago Debug Analyzer:

• Highlight Relevant Logic: This highlights the “cone of influence,” or the logic that is involved in reaching a given point
• Why: This button highlights the immediate causes for a given event, and allows users to trace backwards in time

More formal capabilities will come with the Indago Advanced Debug Analyzer app, scheduled for release towards the end of 2015. This includes Quiet Trace, a Jasper capability that reduces trace activity to transactions relevant to an event. Also, a what-if analysis allows on-the-fly trace editing and recalculation to explore effects and sensitivities, without having to re-compile and re-execute the simulation.

Finally, Cadence has a Superlint flow that is now fully integrated with the JasperGold Visualize debugger. This two-tiered flow includes a basic lint capability as well as automated formal analysis based on the JasperGold Structural Property Synthesis app. “This could be a very good entry point for designers to start using formal,” Hardee said.

“Formal is taking off,” Hardee concluded. “People are no longer talking about return on investment for formal—they have established that. Now they’re supporting a proliferation of formal in their companies such that a wider set of people experience the benefit from that proven return on investment.”

Further information is available at the JasperGold Formal Verification Platform (Apps) page.

Richard Goering

Related Blog Posts

- JUG Keynote—How Jasper Formal Verification Technology Fits into the Cadence Flow

- Why Cadence Bought Jasper—A New Era in Formal Analysis

- Q&A: An R&D Perspective on Formal Verification—Past, Present and Future

nfstream is a Python package providing fast, flexible, and expressive data structures designed to make working with online or offline network data both easy and intuitive. It aims to be the fundamental high-level building block for doing practical, real world network data analysis in Python. Additionally, it has the broader goal of becoming a common network data processing framework for researchers providing data reproducibility across experiments.

nfstream is a Python package providing fast, flexible, and expressive data structures designed to make working with online or offline network data both easy and intuitive. It aims to be the fundamental high-level building block for doing practical, real world network data analysis in Python. Additionally, it has the broader goal of becoming a common network data processing framework for researchers providing data reproducibility across experiments.

nfstream is a Python package providing fast, flexible, and expressive data structures designed to make working with online or offline network data both easy and intuitive. It aims to be the fundamental high-level building block for doing practical, real world network data analysis in Python. Additionally, it has the broader goal of becoming a common network data processing framework for researchers providing data reproducibility across experiments.

The FLIR Brickstream 3D+ sensor is vulnerable to unauthenticated config download and file disclosure vulnerability when calling the ExportConfig REST API (getConfigExportFile.cgi). This will enable the attacker to disclose sensitive information and help her in authentication bypass, privilege escalation and/or full system access.

The Rifatron Intelligent Digital Security System DVR suffers from an unauthenticated and unauthorized live stream disclosure when animate.cgi script is called through Mobile Web Viewer module.

Given the diverse benefits that microgrids provide – reductions in energy costs, business risk, and carbon emissions, and increases in resiliency and power reliability – one wonders why discussion of microgrids has only started to take off recently.

Given the diverse benefits that microgrids provide – reductions in energy costs, business risk, and carbon emissions, and increases in resiliency and power reliability – one wonders why discussion of microgrids has only started to take off recently.

The U.S. House of Representatives has passed bipartisan hydroelectric power regulatory improvement provisions as part of the North American Energy Security and Infrastructure Act of 2015, potentially helping to expedite the project approval process.

Given the diverse benefits that microgrids provide – reductions in energy costs, business risk, and carbon emissions, and increases in resiliency and power reliability – one wonders why discussion of microgrids has only started to take off recently.

On the heels of the EPA’s new carbon rules proposed by President Obama on June 2, I wanted to take a closer look at a potential disruptive technological breakthrough: taking CO2 waste streams and turning them into saleable, value-added feedstocks. Certainly, the deployment of renewables, energy efficiency, smart grid, and energy storage technologies offer some of the most cost-effective options for dramatically reducing emissions. But if you believe that fossil fuel power plants (along with other large-source emitters like steel and cement producers) will remain a part of our industrial ecosystem for some time to come, then capturing and utilizing C02 from these emitters is an important and critical piece of the carbon-management equation.

Cross-border fund marketing arrangements into the UK are poised to be significantly amended when the current post-Brexit ‘transition or implementation period’ (“TIP”) comes to an end on 31 December 2020.  Retail funds&rs...

This briefing is intended to provide an update on two recent developments under the US sanctions regime. • The first one is the introduction of US sanctions in relation to the Nord Stream 2 pipeline project, which threaten to widen a rift betwe...

Many anime releases have been delayed indefinitely due to the COVID-19 outbreak, but in the meantime, with their vast libraries of anime films and series, ...

Nouvelles lignes de basse percutantes et solos de guitare à tomber : les enceintes JBL Link Portable et Link Music viennent de sortir. Avec leur son signature 360 JBL, le Wi-Fi et le Bluetooth, Chromecast et Google Assistant intégrés, les enceintes sont aussi belles qu’intelligentes.

Satte Bässe oder heiße Gitarrensolos! Die neuen JBL Link Portable und JBL Link Music sind ab sofort verfügbar. Mit 360°-JBL Signature Sound, WLAN und Bluetooth-Konnektivität, integriertem Chromecast und Google Assistant klingen die beiden Lautsprecher genauso gut wie sie aussehen.

Van knallende baslijnen tot vloeiende gitaarsolo’s, JBL introduceert de JBL Link Portable en Link Music. Ze zijn net zo handig als ze mooi zijn, de speakers zijn voorzien van 360 graden JBL’s kenmerkende sound, Wifi- en Bluetooth-connectiviteit en ingebouwde Chromecast en Google assistent.

From heart-thumping basslines to face-melting guitar solos, the new JBL Link Portable and Link Music have arrived. With 360 JBL Signature Sound, Wi-Fi and Bluetooth connectivity, Chromecast and Google Assistant built-in, they’ve got brains to match their beauty.

STAMFORD, Conn. –  SEPTEMBER 26, 2019 – HARMAN International, a wholly-owned subsidiary of Samsung Electronics Co., Ltd., focused on connected technologies for automotive, consumer and enterprise markets, today announced a new automotive partnership with...

Title: Rock Climbing Goes Mainstream for Exercise Buffs
Category: Health News
Created: 5/1/2018 12:00:00 AM
Last Editorial Review: 5/1/2018 12:00:00 AM