Editor’s note: The Gazette sports staff has compiled lists of its top 15 favorite sports movies. Each day, a different staffer will share some insight into one of their favorites. Some of them...

Editor’s note: The Gazette sports staff has compiled lists of its top 15 favorite sports movies. Each day, a different staffer will share some insight into one of their favorites. Some of them...

Editor’s note: The Gazette sports staff has compiled lists of its top 15 favorite sports movies. Each day, a different staffer will share some insight into one of their favorites. Some of them...

Editor’s note: The Gazette sports staff has compiled lists of its top 15 favorite sports movies. Each day, a different staffer will share some insight into one of their favorites. Some of them...

The City of Cedar Rapids Thursday morning issued a drinking water boil order for portions of southwest Cedar Rapids. A rupture in a water main feeding the Bowling Street Booster Station and C Street...

11 a.m. Iowa sees 214 more positive tests for coronavirus The Iowa Department of Public Health on Saturday reported nine more deaths from COVID-19, for a total of 252 since March 8. An additional 214...

I am absolutely thrilled that the Johnson County Board of Supervisors finally has both a person of color and a female majority on the board.

Why?

Because women make decisions and guide communities in totally different ways than men do. Women have a unique ability to communicate with those who need to be heard and to understand multiple sides of any argument.

Because our entire community needs to be represented on our Board of Supervisors. In Johnson County we have a vibrant, diverse, exciting community with the potential to come together to improve the lives of all our citizens and our community.

Because by including representatives from our entire community on our governing boards, those voices have the potential to be heard, and acted upon. This is the best way for us to hear the voices of all our diverse community. Yes, there are more voices to be heard and future elections will make that difference. We have come a long way from the times when every board member was a white male. Let’s keep going!

Because in Johnson County we purport ourselves to be a liberal, inclusive and vibrant community. We are most vibrant when all of us come together, honor each other, listen to each other, work together for common goals and have fun together.

Because that is the kind of community I long to live in. A community where every voice and concern is heard and people work toward solutions together, not from the top down, but from inclusivity, listening, understanding and taking action together.

Because change is most effective when it comes the roots up, not from the top down. Women and people of color have more experience and success working in this way.

Because men want to fix things and people of color and women are more adept at changing things by listening to the voices of concern.

I am enthusiastically looking forward to working with everybody as a member of the Johnson County Board of Supervisors.

Royceann Porter is a candidate in the Democratic primary for Johnson County Board of Supervisors.

COVID-19 is a brutal villain, infecting millions and taking more than 185,000 lives worldwide, just over 100 of which were Iowans at the time of this writing. In the face of this, Iowans are showing the strength of their character. Individual acts of courage have become everyday occurrences. Nowhere is this truer than in our state’s long-term care centers.

The threat facing those in long-term care is unprecedented. Because many who are infected remain asymptomatic, efforts to prevent the virus from being introduced into facilities has proved difficult. Once the virus is introduced, it is hard to impede its spread — and virtually impossible without enhanced testing capabilities and more personal protective equipment (PPE) than we have access to today.

Long-term care providers have taken unprecedented steps to protect their residents, including prohibiting non-essential visitors in early March. Unfortunately, even with these measures and following guidance from the Centers for Medicare and Medicaid Services, the Centers for Disease Control and Prevention and other public health officials, more than 3,600 long-term care facilities nationwide have been impacted by the virus, including 13 in Iowa.

Yet, in the face of this challenge, our long-term care workers are performing with a valor we have not seen during peacetime in a generation; maybe two.

While many of us are hunkered down in our homes teleworking and spending time with our families, these caregivers are leaving their families to provide care for the loved ones of others. What these caregivers are doing and what they are sacrificing is remarkable. We owe them our gratitude, and we owe them our best efforts to address their critical needs.

Adequate PPE and routine testing for long-term care are paramount. While there has been significant attention paid to providing hospitals with PPE, it is imperative we not overlook those working in long-term care.

More than 70% of long-term care facilities nationwide report they lack enough PPE. This not only puts our caregivers at risk, it also puts the people they care for at greater risk. Preventing the introduction of the virus and containing its spread in nursing homes and assisted living facilities is one of the most important things we must do to relieve pressure on hospitals now.

Testing is a critical area where more support is needed. There are protocols in place to limit the spread of the virus once it is in a facility, including establishing isolation wings where those who have the virus are kept apart from the rest of the residents and are cared for by staff who do not interact with those in the rest of the building. But the virus leaves many of those infected without symptoms, these steps cannot be effectively implemented without broader testing.

We applaud Gov. Kim Reynolds’ recent action to broaden testing for some of Iowa’s long-term care staff. Equally important is the plan to address potential staff shortages which may result from expanded testing. Since a test result only captures an individual’s infection status for a fixed period of time, long-term care staff and residents must be prioritized at the highest level to receive ongoing testing to effectively identify infections and respond as early as possible.

Those one the front lines of this fight need the tools to confront, contain and ultimately defeat the virus. There is reason to be hopeful. Even though residents of long-term care are particularly at risk, most recover from the virus. Caregivers can do even more amazing work if we get them the tools they need: protective equipment, testing and staffing.

It is time to rally around our long-term care residents and staff, and give them the support they need and deserve.

Brent Willett is president and CEO of the Iowa Health Care Association.

“Je n’ai pas de sœur, c’est peut-être pour ça que je la cherche dans chaque femme” confie Maria Clara Macrì dans les pages de son livre 13 Moons to Find Her, qui devrait être publié prochainement. Cette quête de sororité s’est réalisée au travers d’une série de portraits (un projet au départ intitulé In Her Rooms) pour laquelle la photographe italienne a rencontré […]

If you own an AirPort base station, you can use the Timed Access feature to control the days and times when users access the Internet. This could come in handy in a variety of situations. For example, if you own a cafe and provide free wi-fi access, you can configure the AirPort to block all access to the Internet when your business is closed. And if you have children, you can set time limits for specific devices in your home.

There are two ways to use the timed access feature. You can create a default allow policy to allow all devices to access the Internet at any time, and then specify custom schedules for specific devices. Or you can create a default deny policy to prevent all devices from accessing the Internet according the schedule you specify, and then exempt specific devices by creating custom schedules.

Here's how to control AirPort network access with time limits:

1. Open the AirPort Utility application. (It's in Applications → Utilities.) The window shown below appears.
   
   
2. Click the AirPort Extreme's icon. The status pop-up window appears.
   
   
3. Click Edit. The settings window appears.
   
   
4. Select the Network tab. The window shown below appears.
   
   
5. Select the Enable Access Control checkbox.
   
   
6. Click Timed Access Control. The window shown below appears.
   
   
7. Select the Unlimited (default) option. By default, this allows all of the devices connected to your AirPort to access the Internet all day, every day, but you can change this to block Internet access for all devices (except the ones you specify later) during the times you set.
   
   
8. If you'd like to limit the days and times that a specific device can access the Internet, click the + button under the Wireless Clients field. The window shown below appears.
   
   
9. Enter a name for the device in the Description field.
   
   
10. Enter the device's MAC address in the MAC Address field. You can use the following tutorials to find the device's MAC address.
    
    • How to Find Your Mac's MAC Address
    • How to Find Your iPad's MAC Address
    • How to Find Your iPhone's MAC Address
    
    
11. Use the + button under the Wireless Access Times field to create a schedule for this device's Internet access.
    
    
12. Once you've added all of your devices and customized the schedules, click Save.
    
    
13. Click Update. The AirPort will restart to apply the changes.

Congratulations! You have successfully set time limits for the devices connecting to your AirPort network. The schedule you created is effective immediately.

Meet Your Macinstructor

Matt Cone, the author of Master Your Mac, has been a Mac user for over 20 years. A former ghost writer for some of Apple's most notable instructors, Cone founded Macinstruct in 1999, a site with OS X tutorials that boasts hundreds of thousands of unique visitors per month. You can email him at: matt@macinstruct.com.

Manon is a true game-changer in the WordPress sphere. This unparalleled portfolio & agency theme lets you create a wonderfully fluid website that will surely stand out in the crowd. It comes completely decked-out with powerful features and a collection … Continued

The post Manon – Portfolio & Agency Theme appeared first on WeLoveWP.

The City of Cedar Rapids Thursday morning issued a drinking water boil order for portions of southwest Cedar Rapids.

A rupture in a water main feeding the Bowling Street Booster Station and C Street Water Tower caused a loss of pressure, which created the potential for bacteria contamination to occur, according to a news release.

The two affected areas are bounded by these streets:

• For the first area, Schaeffer Drive SW east to C Street SW and 19th Avenue SW south to Highway 30.

• For the second area, Sixth Street SW east to J Street SW and 29th Avenue south to 36th Avenue SW.

The city is advising affected residents to:

1) Bring water to a boil

2) Let it rapidly boil for at least 1 minute

3) Allow to cool completely before consuming

The boil order should be lifted or extended by 1 p.m. Sunday, after repairs are complete, pressure is restored, flushing has occurred, chlorine levels have been monitored and two consecutive sets of bacteria samples have been collected for analysis, the city stated.

Water is safe to consume in all other areas of Cedar Rapids.

11 a.m. Iowa sees 214 more positive tests for coronavirus

The Iowa Department of Public Health on Saturday reported nine more deaths from COVID-19, for a total of 252 since March 8.

An additional 214 people tested positive for the virus, bringing the state’s total to 11,671.

A total of 71,476 Iowans have been tested for COVID-19, the department reported.

With Saturday’s new figures from the Department of Public Health, these are the top 10 counties in terms of total cases:

• Polk — 2194

• Woodbury — 1554

• Black Hawk — 1477

• Linn — 819

• Marshall — 702

• Dallas — 660

• Johnson — 549

• Muscatine — 471

• Tama — 327

• Louisa — 282.

Thanks for all the positive support and reception to my Lightroom presets so far, especially to those who pulled the trigger and became my first customers! I’d love to hear your feedback once you try them out!
.
Still time to enter the giveaway or to take advantage of the 50% sale! See my last post for full details and the link in my profile. ❤️ (at Toronto, Ontario)

I just realized that I can export my entire story all at once now, which means uploading my tutorials to my Facebook page will be a million times easier (it was tedious to stitch all the individual clips together before). ????
.
Related: I posted a story this morning deconstructing the edit on yesterday’s shot.
.
Also related: I uploaded the 3 tutorials from my November feature on @thecreatorclass to my Facebook page this morning too. More to come! (at London, United Kingdom)

If you’re a Temporary Skill Shortage visa holder – what should you do if you have been stood down or your work hours are reduced by your employer? The Australian Government has announced that Temporary Skill Shortage visa holders who have been stood down, but not laid off, will maintain their visa validity and businesses […]

The post Employer sponsored temporary work visas (482 and 457) and Coronavirus (COVID-19) appeared first on Visa Australia - Immigration Lawyers & Registered Migration Agents.

We’re very excited to announce a new major update for our Reel theme. The new 3.0 version brings new color schemes and many improvements to the Portfolio Showcase widget. What’s new in 3.0? 5 New Color Schemes + 2 New Theme Styles Full-width header option New styles & options for Portfolio Showcase widget 5 New Color Schemes After long research […]

Interaction Designer’s 2020 portfolio

I've never thought of myself as a "car person". The last new car I bought (and in fact, now that I think about it, the first new car I ever bought) was the quirky 1998 Ford Contour SVT. Since then we bought a VW station wagon in 2011

Suicide attempts common in post-concussion patients, says Dr. Charles Tator of the Canadian Concussion Centre

When Olympic gold medallist Shona McCallin was hit on the side of her head by a seemingly innocuous shoulder challenge, she suffered what was originally thought to be a concussion.

In the years since he had returned from Vietnam, Elmer “Snubby” Burket was a self-described workaholic, raising a son, keeping up his house and always taking jobs where he could be by himself as he tried to put the war behind him.

Building a mobile application is a complex process, and mistake can be costly in time and money. To make sure that your mobile app projects are a success, here are a few tips that will be helpful. 1. Plan Ahead When building anything complex, you should never start without a plan. Building a mobile app […]

If you’re a professional wanting to showcase your products, what better way is there to do so than with a personal portfolio? Maybe one that’s presented in a way that invites close study? A portfolio used to be a folder of papers you would carry around with you when visiting one potential customer after another. […]

The post Save time by using these builders for portfolio websites and pages appeared first on WebAppers.

By Lauren McCauley Common Dreams At this rate, plastics production will account for 20 percent of total oil consumption and 15 percent of the global annual carbon budget by 2050. The weight of plastic waste clogging the world’s oceans threatens … Continue reading →

Online representation has a crucial role in planning a business. Today, people turn to the internet whenever they need help, but especially when they want to find certain products or specific...

Creative interactions call for creative measures - numerous extensions reduce, minimize or dilute the frustration of the customers and resolve issues quickly without the customer support team need....

“In conceptual art the idea or concept is the most important aspect of the work. When an artist uses a conceptual form of art, it means that all of the planning and decisions are made beforehand and the execution is a perfunctory affair. The idea becomes a machine that makes the art. This kind of art is not theoretical or illustrative of theories; it is intuitive, it is involved with all types of mental processes and it is purposeless. It is usually free from the dependence on the skill of the artist as a craftsman.”

- Artist Sol Lewitt on conceptual art.

Customer service as we know it has changed. Today’s customers won’t necessarily call a contact center when they need help. […]

The post Best WordPress Live Chat Plugins for Better Customer Support appeared first on WPHacks.

By Jessica Corbett Common Dreams Far-reaching global assessment details how humanity is undermining the very foundations of the natural world     On the heels of an Earth Day that featured calls for radical action to address the current “age … Continue reading →

By The EPA The U.S. Environmental Protection Agency (EPA) today launched a new online portal that will provide local leaders in the nation’s 40,000 communities with information and tools to increase resilience to climate change. Using a self-guided format, the … Continue reading →

By Jessica Corbett Common Dreams Far-reaching global assessment details how humanity is undermining the very foundations of the natural world     On the heels of an Earth Day that featured calls for radical action to address the current “age … Continue reading →

Monthly Portfolio Inspiration - May 2020

U.S. Rep. Ken Buck, who is also the chairman of the Colorado Republican Party, was captured ordering a local party official to report false election results in a primary race for a state Senate seat in a leaked audio recording released earlier this week.

We study a mean field approximation for the 2D Euler vorticity equation driven by a transport noise. We prove that the Euler equations can be approximated by interacting point vortices driven by a regularized Biot-Savart kernel and the same common noise. The approximation happens by sending the number of particles $N$ to infinity and the regularization $epsilon$ in the Biot-Savart kernel to $0$, as a suitable function of $N$.

Temporal event segmentation of a long video into coherent events requires a high level understanding of activities' temporal features. The event segmentation problem has been tackled by researchers in an offline training scheme, either by providing full, or weak, supervision through manually annotated labels or by self-supervised epoch based training. In this work, we present a continual learning perceptual prediction framework (influenced by cognitive psychology) capable of temporal event segmentation through understanding of the underlying representation of objects within individual frames. Our framework also outputs attention maps which effectively localize and track events-causing objects in each frame. The model is tested on a wildlife monitoring dataset in a continual training manner resulting in $80\%$ recall rate at $20\%$ false positive rate for frame level segmentation. Activity level testing has yielded $80\%$ activity recall rate for one false activity detection every 50 minutes.

In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have been arrived at with a defeasible rule, whereas in unrestricted rebuttal, it may have been arrived at with a strict rule, as long as at least one of the antecedents of this strict rule was already defeasible. One systematic way of choosing between various possible definitions of a framework for structured argumentation is to study what rationality postulates are satisfied by which definition, for example whether the closure postulate holds, i.e. whether the accepted conclusions are closed under strict rules. While having some benefits, the proposal to use unrestricted rebuttal faces the problem that the closure postulate only holds for the grounded semantics but fails when other argumentation semantics are applied, whereas with restricted rebuttal the closure postulate always holds. In this paper we propose that ASPIC-style argumentation can benefit from keeping track not only of the attack relation between arguments, but also the relation of deductive joint support that holds between a set of arguments and an argument that was constructed from that set using a strict rule. By taking this deductive joint support relation into account while determining the extensions, the closure postulate holds with unrestricted rebuttal under all admissibility-based semantics. We define the semantics of deductive joint support through the flattening method.

This paper is the first to consider online algorithms to schedule a proportionate flexible flow shop of batching machines (PFFB). The scheduling model is motivated by manufacturing processes of individualized medicaments, which are used in modern medicine to treat some serious illnesses. We provide two different online algorithms, proving also lower bounds for the offline problem to compute their competitive ratios. The first algorithm is an easy-to-implement, general local scheduling heuristic. It is 2-competitive for PFFBs with an arbitrary number of stages and for several natural scheduling objectives. We also show that for total/average flow time, no deterministic algorithm with better competitive ratio exists. For the special case with two stages and the makespan or total completion time objective, we describe an improved algorithm that achieves the best possible competitive ratio $varphi=frac{1+sqrt{5}}{2}$, the golden ratio. All our results also hold for proportionate (non-flexible) flow shops of batching machines (PFB) for which this is also the first paper to study online algorithms.

In this paper, we analyze and implement the Dirichlet spectral-Galerkin method for approximating simply supported vibrating plate eigenvalues with variable coefficients. This is a Galerkin approximation that uses the approximation space that is the span of finitely many Dirichlet eigenfunctions for the Laplacian. Convergence and error analysis for this method is presented for two and three dimensions. Here we will assume that the domain has either a smooth or Lipschitz boundary with no reentrant corners. An important component of the error analysis is Weyl's law for the Dirichlet eigenvalues. Numerical examples for computing the simply supported vibrating plate eigenvalues for the unit disk and square are presented. In order to test the accuracy of the approximation, we compare the spectral-Galerkin method to the separation of variables for the unit disk. Whereas for the unit square we will numerically test the convergence rate for a variable coefficient problem.

Rescue vessels are the main actors in maritime safety and rescue operations. At the same time, aerial drones bring a significant advantage into this scenario. This paper presents the research directions of the AutoSOS project, where we work in the development of an autonomous multi-robot search and rescue assistance platform capable of sensor fusion and object detection in embedded devices using novel lightweight AI models. The platform is meant to perform reconnaissance missions for initial assessment of the environment using novel adaptive deep learning algorithms that efficiently use the available sensors and computational resources on drones and rescue vessel. When drones find potential objects, they will send their sensor data to the vessel to verity the findings with increased accuracy. The actual rescue and treatment operation are left as the responsibility of the rescue personnel. The drones will autonomously reconfigure their spatial distribution to enable multi-hop communication, when a direct connection between a drone transmitting information and the vessel is unavailable.

In a temporal network causal paths are characterized by the fact that links from a source to a target must respect the chronological order. In this article we study the causal paths structure in temporal networks of human face to face interactions in different social contexts. In a static network paths are transitive i.e. the existence of a link from $a$ to $b$ and from $b$ to $c$ implies the existence of a path from $a$ to $c$ via $b$. In a temporal network the chronological constraint introduces time correlations that affects transitivity. A probabilistic model based on higher order Markov chains shows that correlations that can invalidate transitivity are present only when the time gap between consecutive events is larger than the average value and are negligible below such a value. The comparison between the densities of the temporal and static accessibility matrices shows that the static representation can be used with good approximation. Moreover, we quantify the extent of the causally connected region of the networks over time.

Bitvector filtering is an important query processing technique that can significantly reduce the cost of execution, especially for complex decision support queries with multiple joins. Despite its wide application, however, its implication to query optimization is not well understood.

In this work, we study how bitvector filters impact query optimization. We show that incorporating bitvector filters into query optimization straightforwardly can increase the plan space complexity by an exponential factor in the number of relations in the query. We analyze the plans with bitvector filters for star and snowflake queries in the plan space of right deep trees without cross products. Surprisingly, with some simplifying assumptions, we prove that, the plan of the minimal cost with bitvector filters can be found from a linear number of plans in the number of relations in the query. This greatly reduces the plan space complexity for such queries from exponential to linear.

Motivated by our analysis, we propose an algorithm that accounts for the impact of bitvector filters in query optimization. Our algorithm optimizes the join order for an arbitrary decision support query by choosing from a linear number of candidate plans in the number of relations in the query. We implement our algorithm in Microsoft SQL Server as a transformation rule. Our evaluation on both industry standard benchmarks and customer workload shows that, compared with the original Microsoft SQL Server, our technique reduces the total CPU execution time by 22%-64% for the workloads, with up to two orders of magnitude reduction in CPU execution time for individual queries.

The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc/MMT.

Each translation presented tremendous theoretical, technical, and social challenges, some universal and some system-specific, some solvable and some still open. In this paper, we survey these challenges and compare and evaluate the solutions we chose.

We believe similar library translations will be an essential part of any future system interoperability solution and our experiences will prove valuable to others undertaking such efforts.

Are sports organizations like FIFA taking concussions in sports seriously enough?

Despite multiple concussions, a high school freshman continues to play football. Will family tradition outweigh the risks?

By Jon Queally Common Dreams Greenpeace says world leaders must not let the fossil fuel industry stand in the way of the necessary—and attainable—transition to a clean and safe energy future With scientists and experts from around the world telling … Continue reading →

By The Office of Energy Efficiency & Renewable Energy Within 25 years, the United States could produce enough biomass to support a bioeconomy, including renewable aquatic and terrestrial biomass resources that could be used for energy and to develop products … Continue reading →