Testimony of Marc Rosenblum before the Senate Committee on Homeland Security and Governmental Affairs for the March 26, 2015 hearing on the characteristics of unauthorized immigrants in the United States and how to address future flows.

First report examines Canadian challenges & solutions in housing Syrian refugees

WASHINGTON — Four years after the peak of the 2015–16 migration and refugee crisis in Europe and amid swelling arrivals at the U.S.-Mexico border and elsewhere, new evidence sheds light on how well countries have responded to an unprecedented surge in mixed flows of humanitarian, economic and family migrants.

WASHINGTON – Even as governments in Latin America and the Caribbean have taken generous and innovative steps to address forced displacement from Venezuela and more recently Nicaragua, the warm welcome has cooled in places amid the vast scale of the inflows, strains on public services and growing public concern.

This recipe was featured on Foodie Tuesday, a weekly segment with Raf Epstein on Drive, 774 ABC Melbourne, 3:30 PM, courtesy of George Calombaris. George's new book is called "Greek."

150g panko crumbs 1 clove of crushed garlic 1 tsp. ground ginger 2 tsps. curry powder 1 tsp. ground cumin 2 tsps. ground coriander 1 tsp. black mustard seeds 1 tsp. chilli flakes 2 tsps. caster sugar Pinch of salt 3 free range eggs, beaten 100g plain flour with a pinch of salt 1 cauliflower, broken in to small florets Sunflower oil for deep frying Sauce: Handful of chopped parsley Handful of chopped coriander leaves Handful of chopped mint leaves 1 tbsp. tamarind paste 1 tsp. maple syrup 1 tbsp. olive oil 2 tsps. lime juice Pinch of salt 2 tbsps. water

This recipe features on Foodie Tuesday, a weekly segment on 774 Drive with Raf Epstein, 3.30PM, shared by Hetty McKinnon, founder of Surry Hills community kitchen Arthur Street Kitchen and author of 'Neighbourhood'.

These tasty little Indian Fritters will convert a body who has a dislike of cauliflower. Served simply with a minty yogurt they are simply delicious.

Cauliflower rice: 1 head cauliflower, cut into florets 2 tbsps. ghee Coriander pesto: 1 large bunch coriander 1 garlic clove 1/4 cup cashews 2 tbsps. parmesan, finely grated 1 lime, zested and juiced 3 tbsps. coconut oil

London : J. Murray, 1877.

We study the misclassification error for community detection in general heterogeneous stochastic block models (SBM) with noisy or partial label information. We establish a connection between the misclassification rate and the notion of minimum energy on the local neighborhood of the SBM. We develop an optimally weighted message passing algorithm to reconstruct labels for SBM based on the minimum energy flow and the eigenvectors of a certain Markov transition matrix. The general SBM considered in this paper allows for unequal-size communities, degree heterogeneity, and different connection probabilities among blocks. We focus on how to optimally weigh the message passing to improve misclassification.

Tensor Train decomposition is used across many branches of machine learning. We present T3F—a library for Tensor Train decomposition based on TensorFlow. T3F supports GPU execution, batch processing, automatic differentiation, and versatile functionality for the Riemannian optimization framework, which takes into account the underlying manifold structure to construct efficient optimization methods. The library makes it easier to implement machine learning papers that rely on the Tensor Train decomposition. T3F includes documentation, examples and 94% test coverage.

Attribution methods provide insights into the decision-making of machine learning models like artificial neural networks. For a given input sample, they assign a relevance score to each individual input variable, such as the pixels of an image. In this work we adapt the information bottleneck concept for attribution. By adding noise to intermediate feature maps we restrict the flow of information and can quantify (in bits) how much information image regions provide. We compare our method against ten baselines using three different metrics on VGG-16 and ResNet-50, and find that our methods outperform all baselines in five out of six settings. The method's information-theoretic foundation provides an absolute frame of reference for attribution values (bits) and a guarantee that regions scored close to zero are not necessary for the network's decision. For reviews: https://openreview.net/forum?id=S1xWh1rYwB For code: https://github.com/BioroboticsLab/IBA

Shuyang Bai, Murad S. Taqqu.

Source: Bernoulli, Volume 26, Number 2, 1473--1503.

Abstract:
We consider a long-memory stationary process, defined not through a moving average type structure, but by a flow generated by a measure-preserving transform and by a multiple Wiener–Itô integral. The flow is described using a notion of mixing for infinite-measure spaces introduced by Krickeberg (In Proc. Fifth Berkeley Sympos. Math. Statist. and Probability (Berkeley, Calif., 1965/66), Vol. II: Contributions to Probability Theory, Part 2 (1967) 431–446 Univ. California Press). Depending on the interplay between the spreading rate of the flow and the order of the multiple integral, one can recover known central or non-central limit theorems, and also obtain joint convergence of multiple integrals of different orders.

Nicolas Garcia Trillos, Daniel Sanz-Alonso.

Source: Bayesian Analysis, Volume 15, Number 1, 29--56.

Abstract:
The Bayesian update can be viewed as a variational problem by characterizing the posterior as the minimizer of a functional. The variational viewpoint is far from new and is at the heart of popular methods for posterior approximation. However, some of its consequences seem largely unexplored. We focus on the following one: defining the posterior as the minimizer of a functional gives a natural path towards the posterior by moving in the direction of steepest descent of the functional. This idea is made precise through the theory of gradient flows, allowing to bring new tools to the study of Bayesian models and algorithms. Since the posterior may be characterized as the minimizer of different functionals, several variational formulations may be considered. We study three of them and their three associated gradient flows. We show that, in all cases, the rate of convergence of the flows to the posterior can be bounded by the geodesic convexity of the functional to be minimized. Each gradient flow naturally suggests a nonlinear diffusion with the posterior as invariant distribution. These diffusions may be discretized to build proposals for Markov chain Monte Carlo (MCMC) algorithms. By construction, the diffusions are guaranteed to satisfy a certain optimality condition, and rates of convergence are given by the convexity of the functionals. We use this observation to propose a criterion for the choice of metric in Riemannian MCMC methods.

After days and days of heavy rain, Hernan Espinoza looked out over his fields. They were waterlogged, some completely destroyed. He was like many others in his small community of Tambogrande on Peru’s northern coast: grappling with devastation, their farms and fields severely damaged by flooding, storms and landslides, caused by the El Niño Costero (coastal) phenomenon that pounded the [...]

Blossoms contort and twist back into optimal pollination position after getting bumped and battered

Tulips, cherry blossoms and orchids supply a ray of hope during self-isolation

Spring bloom near my house

A 19-year-old man was flown back to Ontario after he pleaded guilty to violating New Brunswick’s emergency measures order prohibiting visitors from entering the province.

Spring has arrived. While some of us may have an opportunity to carefully step outside and view blossoms in our own neighborhood, others may not. Wherever you are, you can take a virtual stroll among the shoots and blossoms planted among the collections of the Prints & Photographs Division. Many images of gardens can be […]

We're answering your questions about the pandemic. Send yours to COVID@cbc.ca and we’ll answer as many as we can. We’ll publish a selection of answers every weekday online, and also put some questions to the experts during The National and on CBC News Network.

With Mother's Day only a few days away, businesses are coming up with creative ways to help your family celebrate. Everything from brunch in a box to colourful bouquets and home delivered chocolate.

See the Full Flower Moon, last supermoon of 2020, bloom in these stunning photos  Space.comIn Pictures: 'Full-flower supermoon' amid coronavirus lockdowns  Aljazeera.comIn pics | Last supermoon in 2020: Stunning views from around th...

SOLIDWORKS 2020 continues our mission of delivering powerful Simulation Capabilities with enhancements that provide increased power, more realistic simulations, and more efficient workflows. When running simulation on Weldment Structures, beam elements are typically used since they are fast to setup

Author information

The post Efficient Simulation Workflows appeared first on SOLIDWORKS Tech Blog.

Product complexity places unique challenges on Engineering Teams, making the interaction between Mechanical and Electrical designers more critical than ever. New enhancements in SOLIDWORKS 2020 have taken the ECAD/MCAD collaboration to the next level, by providing an intelligent collaborative environment

Author information

The post Electrify Your Workflow appeared first on SOLIDWORKS Tech Blog.

Free flowers are an opportunity to share about God's power and love.

The care the head teacher of Chiyembekezo School shows to her pupils even outside the classroom has a ripple effect on the larger community.

Industry observers attribute the rise to heightened interest in ed-tech initiatives, decreasing technology costs, and the move to Common Core standards.

Adults born at very low birth weight (VLBW) (<1.5 kg) have higher blood pressure and higher fasting insulin levels than their peers born at term. However, they show no signs of endothelial dysfunction in childhood and in adolescence.

Adults born at a VLBW showed no endothelial dysfunction compared with term adults. They had, however, a thicker intima-media layer in relation to lumen size. More rapid growth during their first weeks of life was associated with better endothelial function. (Read the full article)

The pathophysiology of pediatric sports-related concussion (SRC) is largely unknown. Studies of concussed adults have identified neuronal and axonal injury and time-limited metabolic disruptions. An experimental animal model has also demonstrated physiologic perturbations, including reduced cerebral blood flow (CBF).

Using MRI techniques, we found no evidence of neuronal, axonal, or metabolic disruptions in 12 children with SRC. However, when compared with controls, statistically significant alterations in CBF were defined and frequently persisted beyond 30 days after injury. (Read the full article)

Excess tissue oxygenation should be avoided during neonatal resuscitation, especially in premature infants. Delivered oxygen concentrations when using a self-inflating bag (SIB) at oxygen flows <1 L/min remain to be established.

Low oxygen concentrations (30%– 40%) can be delivered with a SIB at an oxygen flow <1 L/min. A practical scheme has been developed correlating the oxygen flow rate and the corresponding delivered fraction of oxygen when using a neonatal SIB. (Read the full article)

Heated, humidified high-flow nasal cannula (HHHFNC) is a noninvasive mode of respiratory support that is commonly used in the majority of US NICUs. No large randomized trial has evaluated safety or efficacy of HHHFNC.

This large randomized controlled trial suggests that HHHFNC is as effective as nCPAP for noninvasive respiratory support and can be safely applied to a wide range of neonates. (Read the full article)

Trees, shrubs and woody vines are among the top food sources for honey bees in urban environments, according to an international team of researchers. By using honey bees housed in rooftop apiaries in Philadelphia, the researchers identified the plant species from which the honey bees collected most of their food, and tracked how these food resources changed from spring to fall. The findings may be useful to homeowners, beekeepers and urban land managers who wish to sustain honey bees and other bee and pollinator species.

Critical investors are able to determine company’s cash earnings.

Net flows into mutual funds that invest in equity fell 47 per cent to Rs 6,212 crore in April from Rs 11,722 crore in March, AMFI data showed.

Two Indians, who were among the 363 brought back from Abu Dhabi and Dubai via special Air India flights that landed in Kerala on Thursday, have tested positive for the COVID-19 virus, the state...

In a single day, there was a double-digit fall of 13.2% in Sensex—unprecedented in the past 16 years.

While debt funds saw sharp outflows, equity funds surprised the industry as it saw net inflows of Rs 11,722.74 crore in March — the highest in the current financial year.

Outdoors, patterns abound. One need not be a mathematician in order to view and appreciate them. The widening whorls of seeds in a sunflower head are often used to illustrate the Fibonacci sequence of numbers (0, 1, 1, 2, 3, 5, 8….) in which each figure is the sum of the two preceding digits. Other […]

The post Fractals and Flow appeared first on DNERR Blog - State of Delaware.

GSTN added that a taxpayer can now transfer the amount available in an electronic cash ledger from one major head to another major head, keeping the minor head the same.

To Dick Costolo, there’s gold in them thar tweets, and Twitter has just begun to mine it.

The RBI announced the liquidity facility under the TLTRO 2.0 window for NBFCs and MFIs after these institutions failed to get funding under the earlier TLTRO scheme announced late in March.

Implementation of three months moratorium on repayment of loan instalments announced by the RBI was also reviewed during the meeting.

Did you miss last month's Pink Supermoon? Don’t worry! You can witness another supermoon today.

Super Flower Moon 2020: Scintillating images of the full moon, also a 'supermoon', are being shared from across the world.

Industry experts say that lump-sum investments have stopped and even some investors are stopping their SIPs, due to the unpredictable equity markets.

The meeting, to be held via video conference, will also dwell on credit disbursement since March, with the focus on Covid-19-related credit sanction and offtake.

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

Hi,

  I wanted to open a discussion on the stylus flowtool.  My purpose is to see if there are users out there who are having success with the tool.  To have some discussions around issues that I am running into and to get a user point of view on the problems I am trying to solve.

  Let's start the conversation with : Is there anyone out there trying to use flowtool?  Do you have a centralized flow, or each user has their own?

Thanks, and I look forward to the conversations...

--Craig Crump