WASHINGTON, D.C., 1 de abril del 2020 – 28 grupos de pacientes y consumidores que representan a millones de personas en todo el país con afecciones de salud preexistentes emitieron la siguiente declaración sobre la decision de la administración de no...

Today, the U.S. Environmental Protection Agency (EPA) announced a final rule that threatens to undermine the Mercury and Air Toxics Standards. The American Lung Association, Allergy & Asthma Network, Alliance of Nurses for Healthy Environments, American...

Florida's foreclosure crisis seems like a never-ending nightmare. Mortgages are caught up in MERS, an electronic database that most homeowners never heard of until the foreclosure crisis. Homeowners in foreclosure are worried that robo signing by lenders' employees may have led to mortgage fraud. The mortgage process itself is under scrutiny by the courts and government regulators who are asking: How could something so simple as a home loan go so terribly wrong?

U.S. and Canadian university students traveled to Istanbul in the summer of 2013, to investigate the issues behind national street demonstrations protesting the Turkish prime minister's authoritarian style. This is their multimedia report.

DALLAS, April 23, 2020 — As social distancing keeps families apart, many who care for a parent or loved one with heart failure may be left wondering how to best keep them safe. In the United States, more than 6 million people are living with heart...

  DALLAS, 23 de abril del 2020 — A medida que el distanciamiento social mantiene a las familias separadas, es posible que muchos de los que cuidan de un padre o un ser querido que padece insuficiencia cardíaca se pregunten cómo...

The game is changing, perhaps more quickly than ever. Forget comparing the sport to what it looked like in the 1960s or the '80s; the game has changed massively in just the last half-decade. Remember, just five years ago, we were all talking about the lack of power ,and no one was talking about launch angle or spin rate. Things are slightly different now.

The workforce of the 21st century is more diverse than before. Over 85% of the total global workforce comprises frontline workers. Frontline workers are essentially the employees that have to be ‘present’ to accomplish their jobs. Unlike knowledge workers who can work from anywhere, frontline workers have to be on the ‘field’ which can be...

Coronavirus provides a chilling lesson about crowding. The disease originated in a densely packed Chinese City. As it moved worldwide it struck most heavily in crowded places where people live and...

Mother’s Day celebrations will look different for many families this year as we follow social distancing guidelines. Fortunately, we don’t have to be in proximity to express our love...

MARENGO
Stanley N. Hauser, 87, died Tuesday, May 5, 2020. Kloster Funeral Home, Marengo.

STANLEY N. HAUSER
Marengo


Stanley N. Hauser, 87, of Marengo, passed away Tuesday, May 5, 2020, at Rose Haven Nursing Home. A graveside service will be held at noon Tuesday, May 12, at Calvary Cemetery in Marengo, with Father David Wilkening officiating. Military honors will be conducted at a later date. A memorial fund has been established in Stanley's
name. Kloster Funeral Home in Marengo is assisting the family with arrangements.

STANLEY N. HAUSER
Marengo



Stanley N. Hauser, 87, of Marengo, passed away Tuesday, May 5, 2020, at Rose Haven Nursing Home. A graveside service will be held at noon Tuesday, May 12, at Calvary Cemetery in Marengo, with Father David Wilkening officiating. Military honors will be conducted at a later date. A memorial fund has been established in Stanley's
name. Kloster Funeral Home in Marengo is assisting the family with arrangements.
He is survived by his wife, Kathleen, and his children, Paul and Anita Hauser of Rochester, N.Y., Sheila and David Sherman of Marengo, Jeff and Gayle Hauser of Royal Oak, Mich., Scott and Mindy Hauser of Rochester, N.Y., Karen Hauser Richards of Grinnell and David and Debbie Hauser of Ankeny; he also leaves 16 grandchildren; two great-grandchildren; and three of his siblings, Ruth Hauser Serck, and her husband, Ronald of Rock Valley, Kenneth Hauser, and his wife, Dorcas of Winston-Salem, N.C., and Carol Hauser Williams, and her husband, Billy of East Bend, N.C.
He was preceded in death by three of his siblings, Anna Marie Hauser Gardner of Minneapolis, Ralph Hauser of Rock Valley and Edward Hauser of Rock Valley; and a sister-in-law, Sharon Hellwig Leinen of Yankton, S.D.
Better yet, toast his memory with a Black Velvet and 7-Up. Stan would like to know you're enjoying life.
Online condolences: www.klosterfuneralhome.com.

I am a longtime resident of Johnson County, currently in my 25th year of law enforcement. I worked for the Coralville Police Department in the late 1990’s and transferred to the Cedar Rapids Police Department in 1999 where I am a sergeant of the patrol division. I have degrees in criminal justice and organizational leadership and have advanced leadership training from Northwestern University in the School of Police Staff and Command.

Working in the second-largest city in the state has offered me many opportunities to lead. I have taught in the police academy and defensive tactics and as a field training instructor. I was the director of the Eastern Iowa Heroin Initiative, where I founded CRUSH of Iowa (Community Resources United to Stop Heroin). CRUSH is a community-based, grassroots organization helping all those affected by substance abuse disorder.

My passion has been community outreach. Currently I am a member of the Johnson County Human Trafficking Coalition and the Johnson County Prevention Partnership. Through these partnerships I will create a criminal interdiction team to fight the trafficking of humans, weapons and narcotics.

As sheriff, my top three concerns are substance abuse, mental health and human trafficking. I believe in creating long-lasting relationships with the community. I believe in common sense solutions without the haze of political bias. I believe that every citizen has a voice and should be heard. I believe in building a proactive and progressive law enforcement agency that serves with professionalism, compassion and dedication to the citizens. I believe we need to place the community back into community policing.

I am ready to be sheriff of Johnson County. I am a proven leader who is determined to build bridges with the citizens of the county and lead with accountability, trust and transparency. I will fight for all of Johnson County as sheriff because I have done so all of my life. This election is not just about me, it is about us. We, together, will make a positive impact on Johnson County. The status quo is not working. It’s time for change!

I would love to have your vote on June 2. We work better when we work together. People before politics!

Al Fear is a candidate in the Democratic primary for Johnson County sheriff. alfearforsheriff.com

Growing up on the Greenfield family farm outside a little town of 500, we worked hard and learned to look out for one another.

I’ve visited with folks in every corner of Iowa during my U.S. Senate campaign. The people I hear from want the dignity of providing for their families, and to know they can get a hand up when they need it. Now, as the coronavirus threatens our communities and Washington seems more focused on pointing fingers than getting results, Iowans want to know that we can get through this and come out stronger in the end. I’ve been through tough times, and I know from my own life that the only way we get through is by pulling together.

I was 24 when my first husband, an electrical worker, was killed in a workplace accident. Social Security and hard-earned union benefits helped me get back on my feet and pursue a career where I could support my two young sons. I’ll fight to protect and strengthen Social Security so every Iowan can get that same hand up.

So, I know what it’s like to have a loved one not come home from work. When I hear about workers having to choose between staying home safely or earning a paycheck, I say no way. Since March, I’ve put out two plans calling for more testing, personal protective equipment, paid sick leave, premium pay, and stronger protections for our front-line workers.

I also believe health care is a right — not a privilege. This shouldn’t be partisan.

As a businesswoman and a mom, I know the tough decisions our small businesses and families are making right now. That’s why I’ve called for more urgent economic aid and faster help for our small businesses and workers — not more bailouts for corporate CEOs. We also need a robust infrastructure plan and to invest in more skills training to create opportunity in all of our hometowns.

None of this will happen unless we make Washington work more like we do by ending political corruption. I’m not taking a dime of corporate PAC money and I will work to overturn Citizens United, and ban dark money and corporate PACs.

Sen. Joni Ernst broke her promise to be different. Instead, she’s voted with Mitch McConnell and her corporate PAC donors for tax breaks to corporations and the wealthiest — while hardworking Iowans fall further behind.

Iowans deserve a senator who shares their grit and their resolve, who will carry the fight for our small towns and our working families in her heart. It’s how we get through this pandemic and how we create more opportunity for our state. In the Senate, I’ll never forget where I’m from or who I’m fighting for, and I’ll always put Iowa first.

Theresa Greenfield is a candidate in the Democratic primary for U.S. Senate.

Coronavirus provides a chilling lesson about crowding. The disease originated in a densely packed Chinese City. As it moved worldwide it struck most heavily in crowded places where people live and work in proximity.

Medical experts advise us to stay home and keep fellow humans at a distance. Isolation works. If a pathogen can’t reach us it can’t cause harm.

The same holds true for food. Years ago farmers planted diverse crops in relatively small fields, and raised modest numbers of chickens, pigs, and cattle. One cornfield or chicken coop was, essentially, isolated from the next closest counterpart, making it hard for a disease to jump from one farm to the next.

Modern Agriculture, in contrast, raises hundreds of thousands of chickens and turkeys crowded together in single buildings. Hogs and cattle are also crammed together, as are crops. Essentially the Midwest is one continuous cornfield stretching from Ohio to Nebraska. Once a pathogen mutates a new disease can easily sweep across vast fields or through crowded growing buildings, leaving a path of death and food shortages in its wake.

Modern mass agriculture is efficient, providing consumers with inexpensive eggs, milk, vegetables and meat, but it is vulnerable. Today’s farmers recognize disease potential and practice scrupulous biosecurity to keep pathogens away from their crops and animals. Still, all it takes is one mutation or introduction of a foreign microbe and a high percentage of American food is lost.

Families can reduce their vulnerability to mass food production by growing some at home. During The Second World War the government encouraged families to plant victory gardens and keep one to two hens per family member. Many households were able to grow up to 40% of their annual dietary needs, even in small yards. It freed commercially produced food for the military. Yards remain capable of growing significant quantities of nutritious food using three techniques.

Gardening: An amazing quantity of nutritious food can be grown in even a small sunny backyard, especially when intensive gardening techniques are used.

Foraging: Delicious wild foods grow in unsprayed yards and are free for the picking. Our family, for example, enjoys nettles, lambsquarters, purslane, acorns and dandelions. Learning to identify, harvest, and process them is not difficult. Ironically spraying a yard kills plants people can eat to favor inedible grass.

Chickens: A six hen backyard flock will produce two dozen eggs a week. They need some commercial feed but recycle kitchen scraps and garden weeds into eggs. Cedar Rapids and other towns allow families to keep chickens with a few restrictions.

Families unable or unwilling to grow backyard food can boost food security by buying vegetables, meat and eggs from small local producers.

Coronavirus has taught us about contagion and helps clarify the threat that mass production poses. Raising backyard food enhances resilience. It’s satisfying and helps ensure there will be something to eat.

Rich Patterson of Cedar Rapids is a writer, former nature center director and ecological consultant who co-owns Winding Pathways LLC with his wife, Marion.

I love paddling on the Horsetooth Reservoir in cold season. Boat ramps are closed, no power boat traffic, usually quiet and calm. Snow and ice can enhance scenery. A great time to paddle, train, relax or photograph. The Horsetooth stays […]

We recently completed a bright and engaging new website for one of Fort Myers Beach’s most popular and well known...continue reading

We all know about the new coronavirus that has been affecting hundreds of thousands of people worldwide. And while scientists, researchers, and doctors are all working tirelessly to find a cure for this terrible disease, one thing is for sure: staying home is saving lives. The greatest tool that we have right now to help […]

Read More at Check Out These Famous Logos Practicing Social Distancing – McDonald’s, Mercedes, and More

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 […]

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...

“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.

By David Suzuki The David Suzuki Foundation Seeing terms like “post-truth” and “alternative facts” gain traction in the news convinces me that politicians, media workers and readers could benefit from a refresher course in how science helps us understand the … Continue reading →

Abelardo Morell
Camera Obscura: Early Morning View of the East Side of Midtown Manhattan, , 2014
Website - AbelardoMorell.net

Abelardo Morell was born in Havana, Cuba in 1948. He immigrated to the United States with his parents in 1962. Morell received his undergraduate degree in 1977 from Bowdoin College and an MFA from The Yale University School of Art in 1981. In 1997 he received an honorary degree from Bowdoin College.

His publications include a photographic illustration of Alice’s Adventures in Wonderland (1998) by Dutton Children’s Books, A Camera in a Room (1995) by Smithsonian Press, A Book of Books (2002) and Camera Obscura (2004) by Bulfinch Press and Abelardo Morell (2005), published by Phaidon Press. Recent publications include a limited edition book by The Museum of Modern Art in New York of his Cliché Verre images with a text by Oliver Sacks.

His work has been collected and shown in many galleries, institutions and museums, including the Museum of Modern Art, The Whitney Museum of American Art, the Metropolitan Art Museum in New York, The Chicago Art Institute, The San Francisco Museum of Modern Art, The Houston Museum of Art, The Boston Museum of Fine Art, The Victoria & Albert Museum and over seventy other museums in the United States and abroad. A retrospective of his work organized jointly by the Art Institute of Chicago, The Getty in Los Angeles and The High Museum in Atlanta closed in May 2014 after a year of travel. Abelardo will be having his first show at the Edwynn Houk Gallery in New York opening October 23, 2014 and will run until December 20, 2014 featuring a selection of new pictures.

A lot of nice family time during these Corona times.

My book Creative Calling is out! Thanks for all your love, support, and help getting it out into the world. We kicked off celebrations in Seattle with over 700 people in attendance to talk about Creativity with my good buddy, Humans of New York creator, Brandon Stanton. I recorded the session for you. Hope you enjoy! FOLLOW HUMANS OF NEW YORK: instagram | twitter | website Listen to the Podcast Subscribe   This podcast is brought to you by CreativeLive. CreativeLive is the world’s largest hub for online creative education in photo/video, art/design, music/audio, craft/maker, money/life and the ability to make a living in any of those disciplines. They are high quality, highly curated classes taught by the world’s top experts — Pulitzer, Oscar, Grammy Award winners, New York Times best selling authors and the best entrepreneurs of our times.

The post Imagine What’s Possible – On Stage /w Humans of New York Creator Brandon Stanton appeared first on Chase Jarvis Photography.

Mirage JS is helping simplify modern front-end development by providing the ability for front-end engineers to craft applications without relying on an actual back-end service. In this article, I’ll be taking a framework-agnostic approach to show you Mirage JS models and associations. If you haven’t heard of Mirage JS, you can read my previous article in which I introduce it and also integrate it with the progressive framework Vue.js.

Let $chi_{Delta}(mathbb{R}^{n})$ denote the minimum number of colors needed to color $mathbb{R}^{n}$ so that there will not be a monochromatic equilateral triangle with side length $1$. Using the slice rank method, we reprove a result of Frankl and Rodl, and show that $chi_{Delta}left(mathbb{R}^{n} ight)$ grows exponentially with $n$. This technique substantially improves upon the best known quantitative lower bounds for $chi_{Delta}left(mathbb{R}^{n} ight)$, and we obtain [ chi_{Delta}left(mathbb{R}^{n} ight)>(1.01446+o(1))^{n}. ]

In this paper we consider the "quasidensity" of a subset of the product of a Banach space and its dual, and give a connection between quasidense sets and sets of "type (NI)". We discuss "coincidence sets" of certain convex functions and prove two sum theorems for coincidence sets. We obtain new results on the Fitzpatrick extension of a closed quasidense monotone multifunction. The analysis in this paper is self-contained, and independent of previous work on "Banach SN spaces". This version differs from the previous version because it is shown that the (well known) equivalence of quasidensity and "type (NI)" for maximally monotone sets is not true without the monotonicity assumption and that the appendix has been moved to the end of Section 10, where it rightfully belongs.

We address the problem of optimal path planning for a simple nonholonomic vehicle in the presence of obstacles. Most current approaches are either split hierarchically into global path planning and local collision avoidance, or neglect some of the ambient geometry by assuming the car is a point mass. We present a Hamilton-Jacobi formulation of the problem that resolves time-optimal paths and considers the geometry of the vehicle.

Given spherically symmetric characteristic initial data for the Einstein-scalar field system with a positive cosmological constant, we provide a criterion, in terms of the dimensionless size and dimensionless renormalized mass content of an annular region of the data, for the formation of a future trapped surface. This corresponds to an extension of Christodoulou's classical criterion by the inclusion of the cosmological term.

We prove that all non-degenerate relative equilibria of the planar Newtonian $n$--body problem can be continued to spaces of constant curvature $kappa$, positive or negative, for small enough values of this parameter. We also compute the extension of some classical relative equilibria to curved spaces using numerical continuation. In particular, we extend Lagrange's triangle configuration with different masses to both positive and negative curvature spaces.

Event-related desynchronization and synchronization (ERD/S) and movement-related cortical potential (MRCP) play an important role in brain-computer interfaces (BCI) for lower limb rehabilitation, particularly in standing and sitting. However, little is known about the differences in the cortical activation between standing and sitting, especially how the brain's intention modulates the pre-movement sensorimotor rhythm as they do for switching movements. In this study, we aim to investigate the decoding of continuous EEG rhythms during action observation (AO), motor imagery (MI), and motor execution (ME) for standing and sitting. We developed a behavioral task in which participants were instructed to perform both AO and MI/ME in regard to the actions of sit-to-stand and stand-to-sit. Our results demonstrated that the ERD was prominent during AO, whereas ERS was typical during MI at the alpha band across the sensorimotor area. A combination of the filter bank common spatial pattern (FBCSP) and support vector machine (SVM) for classification was used for both offline and pseudo-online analyses. The offline analysis indicated the classification of AO and MI providing the highest mean accuracy at 82.73$pm$2.38\% in stand-to-sit transition. By applying the pseudo-online analysis, we demonstrated the higher performance of decoding neural intentions from the MI paradigm in comparison to the ME paradigm. These observations led us to the promising aspect of using our developed tasks based on the integration of both AO and MI to build future exoskeleton-based rehabilitation systems.

Funding the production of quality online content is a pressing problem for content producers. The most common funding method, online advertising, is rife with well-known performance and privacy harms, and an intractable subject-agent conflict: many users do not want to see advertisements, depriving the site of needed funding.

Because of these negative aspects of advertisement-based funding, paywalls are an increasingly popular alternative for websites. This shift to a "pay-for-access" web is one that has potentially huge implications for the web and society. Instead of a system where information (nominally) flows freely, paywalls create a web where high quality information is available to fewer and fewer people, leaving the rest of the web users with less information, that might be also less accurate and of lower quality. Despite the potential significance of a move from an "advertising-but-open" web to a "paywalled" web, we find this issue understudied.

This work addresses this gap in our understanding by measuring how widely paywalls have been adopted, what kinds of sites use paywalls, and the distribution of policies enforced by paywalls. A partial list of our findings include that (i) paywall use is accelerating (2x more paywalls every 6 months), (ii) paywall adoption differs by country (e.g. 18.75% in US, 12.69% in Australia), (iii) paywalls change how users interact with sites (e.g. higher bounce rates, less incoming links), (iv) the median cost of an annual paywall access is $108 per site, and (v) paywalls are in general trivial to circumvent.

Finally, we present the design of a novel, automated system for detecting whether a site uses a paywall, through the combination of runtime browser instrumentation and repeated programmatic interactions with the site. We intend this classifier to augment future, longitudinal measurements of paywall use and behavior.

We develop a Learning Direct Optimization (LiDO) method for the refinement of a latent variable model that describes input image x. Our goal is to explain a single image x with an interpretable 3D computer graphics model having scene graph latent variables z (such as object appearance, camera position). Given a current estimate of z we can render a prediction of the image g(z), which can be compared to the image x. The standard way to proceed is then to measure the error E(x, g(z)) between the two, and use an optimizer to minimize the error. However, it is unknown which error measure E would be most effective for simultaneously addressing issues such as misaligned objects, occlusions, textures, etc. In contrast, the LiDO approach trains a Prediction Network to predict an update directly to correct z, rather than minimizing the error with respect to z. Experiments show that our LiDO method converges rapidly as it does not need to perform a search on the error landscape, produces better solutions than error-based competitors, and is able to handle the mismatch between the data and the fitted scene model. We apply LiDO to a realistic synthetic dataset, and show that the method also transfers to work well with real images.

We consider the problem of efficiently simulating population protocols. In the population model, we are given a distributed system of $n$ agents modeled as identical finite-state machines. In each time step, a pair of agents is selected uniformly at random to interact. In an interaction, agents update their states according to a common transition function. We empirically and analytically analyze two classes of simulators for this model.

First, we consider sequential simulators executing one interaction after the other. Key to the performance of these simulators is the data structure storing the agents' states. For our analysis, we consider plain arrays, binary search trees, and a novel Dynamic Alias Table data structure.

Secondly, we consider batch processing to efficiently update the states of multiple independent agents in one step. For many protocols considered in literature, our simulator requires amortized sub-constant time per interaction and is fast in practice: given a fixed time budget, the implementation of our batched simulator is able to simulate population protocols several orders of magnitude larger compared to the sequential competitors, and can carry out $2^{50}$ interactions among the same number of agents in less than 400s.

Deep learning-based object detection and instance segmentation have achieved unprecedented progress. In this paper, we propose Complete-IoU (CIoU) loss and Cluster-NMS for enhancing geometric factors in both bounding box regression and Non-Maximum Suppression (NMS), leading to notable gains of average precision (AP) and average recall (AR), without the sacrifice of inference efficiency. In particular, we consider three geometric factors, i.e., overlap area, normalized central point distance and aspect ratio, which are crucial for measuring bounding box regression in object detection and instance segmentation. The three geometric factors are then incorporated into CIoU loss for better distinguishing difficult regression cases. The training of deep models using CIoU loss results in consistent AP and AR improvements in comparison to widely adopted $ell_n$-norm loss and IoU-based loss. Furthermore, we propose Cluster-NMS, where NMS during inference is done by implicitly clustering detected boxes and usually requires less iterations. Cluster-NMS is very efficient due to its pure GPU implementation, , and geometric factors can be incorporated to improve both AP and AR. In the experiments, CIoU loss and Cluster-NMS have been applied to state-of-the-art instance segmentation (e.g., YOLACT), and object detection (e.g., YOLO v3, SSD and Faster R-CNN) models. Taking YOLACT on MS COCO as an example, our method achieves performance gains as +1.7 AP and +6.2 AR$_{100}$ for object detection, and +0.9 AP and +3.5 AR$_{100}$ for instance segmentation, with 27.1 FPS on one NVIDIA GTX 1080Ti GPU. All the source code and trained models are available at https://github.com/Zzh-tju/CIoU

This paper provides a method for the simultaneous topology optimization of parts and their corresponding joint locations in an assembly. Therein, the joint locations are not discrete and predefined, but continuously movable. The underlying coupling equations allow for connecting dissimilar meshes and avoid the need for remeshing when joint locations change. The presented method models the force transfer at a joint location not only by using single spring elements but accounts for the size and type of the joints. When considering riveted or bolted joints, the local part geometry at the joint location consists of holes that are surrounded by material. For spot welds, the joint locations are filled with material and may be smaller than for bolts. The presented method incorporates these material and clearance zones into the simultaneously running topology optimization of the parts. Furthermore, failure of joints may be taken into account at the optimization stage, yielding assemblies connected in a fail-safe manner.

Thin structures, such as wire-frame sculptures, fences, cables, power lines, and tree branches, are common in the real world.

It is extremely challenging to acquire their 3D digital models using traditional image-based or depth-based reconstruction methods because thin structures often lack distinct point features and have severe self-occlusion.

We propose the first approach that simultaneously estimates camera motion and reconstructs the geometry of complex 3D thin structures in high quality from a color video captured by a handheld camera.

Specifically, we present a new curve-based approach to estimate accurate camera poses by establishing correspondences between featureless thin objects in the foreground in consecutive video frames, without requiring visual texture in the background scene to lock on.

Enabled by this effective curve-based camera pose estimation strategy, we develop an iterative optimization method with tailored measures on geometry, topology as well as self-occlusion handling for reconstructing 3D thin structures.

Extensive validations on a variety of thin structures show that our method achieves accurate camera pose estimation and faithful reconstruction of 3D thin structures with complex shape and topology at a level that has not been attained by other existing reconstruction methods.

Despite recent progress on computer vision and natural language processing, developing video understanding intelligence is still hard to achieve due to the intrinsic difficulty of story in video. Moreover, there is not a theoretical metric for evaluating the degree of video understanding. In this paper, we propose a novel video question answering (Video QA) task, DramaQA, for a comprehensive understanding of the video story. The DramaQA focused on two perspectives: 1) hierarchical QAs as an evaluation metric based on the cognitive developmental stages of human intelligence. 2) character-centered video annotations to model local coherence of the story. Our dataset is built upon the TV drama "Another Miss Oh" and it contains 16,191 QA pairs from 23,928 various length video clips, with each QA pair belonging to one of four difficulty levels. We provide 217,308 annotated images with rich character-centered annotations, including visual bounding boxes, behaviors, and emotions of main characters, and coreference resolved scripts. Additionally, we provide analyses of the dataset as well as Dual Matching Multistream model which effectively learns character-centered representations of video to answer questions about the video. We are planning to release our dataset and model publicly for research purposes and expect that our work will provide a new perspective on video story understanding research.

Public key encryption with equality test (PKEET) allows testing whether two ciphertexts are generated by the same message or not. PKEET is a potential candidate for many practical applications like efficient data management on encrypted databases. Potential applicability of PKEET leads to intensive research from its first instantiation by Yang et al. (CT-RSA 2010). Most of the followup constructions are secure in the random oracle model. Moreover, the security of all the concrete constructions is based on number-theoretic hardness assumptions which are vulnerable in the post-quantum era. Recently, Lee et al. (ePrint 2016) proposed a generic construction of PKEET schemes in the standard model and hence it is possible to yield the first instantiation of PKEET schemes based on lattices. Their method is to use a $2$-level hierarchical identity-based encryption (HIBE) scheme together with a one-time signature scheme. In this paper, we propose, for the first time, a direct construction of a PKEET scheme based on the hardness assumption of lattices in the standard model. More specifically, the security of the proposed scheme is reduces to the hardness of the Learning With Errors problem.

We introduce a variant of PCPs, that we refer to as rectangular PCPs, wherein proofs are thought of as square matrices, and the random coins used by the verifier can be partitioned into two disjoint sets, one determining the row of each query and the other determining the *column*.

We construct PCPs that are efficient, short, smooth and (almost-)rectangular. As a key application, we show that proofs for hard languages in NTIME$(2^n)$, when viewed as matrices, are rigid infinitely often. This strengthens and considerably simplifies a recent result of Alman and Chen [FOCS, 2019] constructing explicit rigid matrices in FNP. Namely, we prove the following theorem: - There is a constant $delta in (0,1)$ such that there is an FNP-machine that, for infinitely many $N$, on input $1^N$ outputs $N imes N$ matrices with entries in $mathbb{F}_2$ that are $delta N^2$-far (in Hamming distance) from matrices of rank at most $2^{log N/Omega(log log N)}$.

Our construction of rectangular PCPs starts with an analysis of how randomness yields queries in the Reed--Muller-based outer PCP of Ben-Sasson, Goldreich, Harsha, Sudan and Vadhan [SICOMP, 2006; CCC, 2005]. We then show how to preserve rectangularity under PCP composition and a smoothness-inducing transformation. This warrants refined and stronger notions of rectangularity, which we prove for the outer PCP and its transforms.

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.

[IMAGE-1] Before smartphones and Instagram, there were influencers, and they could be as shallow, overconfident and pejorative as they are today. This new adaptation of Jane Austen's Emma — the feature debuts of photographer and music-video director Autumn de Wilde and Man Booker Prize-winning novelist turned screenwriter Eleanor Catton — brings that sort of modern frisson to its retelling of the tale of a very rich young woman who amuses herself by interfering in the romantic lives of those around her.…

While not every musician has taken to the internet to perform live shows during the (almost) nationwide lockdown, it sure seems that way. At least, it does according to my social media feeds, which lean heavily on bands and solo artists.…

Gonzaga Athletic Director Mike Roth took to the Zoom online meeting app Wednesday for a lengthy chat with members of the school community, fans and media to answer questions about college sports in the era of COVID-19. Like so many things regarding the coronavirus, there are a lot of hopes for a rapid return to normalcy — all of them couched in the reality that none of us really know how the pandemic is going to affect our lives three months from now, or six months down the line.…

While its main goal is to introduce the humble breakfast taco to more Spokane eaters, owners of the new quick food stop Taco Vado say breakfast burritos have actually been its bestselling menu item since opening about a month ago.…

ProPublica’s health reporter Caroline Chen explains what the conversation around asymptomatic coronavirus carriers is missing, and what we need to understand if we’re going to beat this nefarious virus together. By Caroline Chen, ProPublica In the early days of the coronavirus outbreak in the U.S., around the last week of February, I joked to a colleague that maybe now, finally, people would learn how to wash their hands properly.…

A surfactant composition for agricultural chemicals, containing fatty acid polyoxyalkylene alkyl ether expressed by the following general formula (I), R1CO(EO)m(PO)nOR2 (I) wherein the fatty acid polyoxyalkylene alkyl ether has a narrow ratio of 55% by mass or more, where the narrow ratio is expressed by the following formula (A): Narrow ratio=Σi=nMAX−2i=nMAX+2Yi (A).

Disclosed is a method for preparing optically pure (+)-ambrisentan and (+)-darusentan, comprising: firstly catalyzing the asymmetric epoxidation of a β-unsaturated alkene using a chiral ketone derived from fructose or a hydrate thereof as a catalyst, and then subjecting the product to an epoxy compound ring-opening reaction and substitution reaction successively to obtain optically pure (+)-ambrisentan and (+)-darusentan.