nar

Nicolás Maduro Moros and 14 Current and Former Venezuelan Officials Charged with Narco-Terrorism, Corruption, Drug Trafficking and Other Criminal Charges

Former President of Venezuela Nicolás Maduro Moros, Venezuela’s vice president for the economy, Venezuela’s Minister of Defense, and Venezuela’s Chief Supreme Court Justice are among those charged in New York City; Washington, DC; and Miami, along with current and former Venezuelan government officials as well as two Fuerzas Armadas Revolucionarias de Colombia (FARC) leaders, announced U.S. Attorney General William P. Barr, U.S. Attorney Geoffrey S. Berman of the Southern District of New York, U.S. Attorney Ariana Fajardo Orshan of the Southern District of Florida, Assistant Attorney General Brian A. Benczkowski of the Justice Department’s Criminal Division, Acting Administrator Uttam Dhillon of the U.S. Drug Enforcement Administration (DEA) and Acting Executive Associate Director Alysa D. Erichs of U.S. Immigration and Customs Enforcement’s Homeland Security Investigations (HSI).




nar

Federal Court Finds Tampa Tax Preparer in Contempt for Violating the Court’s Preliminary and Permanent Injunctions




nar

U.S. Attorney’s Office Hosts Reentry Seminar in Tucson as Part of National Reentry Week




nar

Western Hemisphere: ICITAP Webinar Supports Pathology and Crime Scene Investigation During COVID-19 Pandemic

On April 27, ICITAP’s Central America mission conducted a webinar titled “Pathology and Crime Scene Investigation (CSI) During the COVID-19 Pandemic” for hundreds of subject matter experts from throughout the Western Hemisphere. Chaired by ICITAP-Central America’s Attaché, the 80-minute webinar began with a pre-recorded media interview from the Dominican Republic, which highlighted the critical work currently carried out by the Office of the Chief Medical Examiner (OCME) in Washington, DC.




nar

New York Zero Waste Scenario 2030

Came across an interesting article by Tei Carpenter, ‘Waste Not, Want More: Zeroing In on Designing Waste’ in the Avery Review 33 (September 2018). It describes a transition to a zero waste scenario for New York in 2030.

This is the Sankey diagram for the waste situation today (that is… 2018). An incredible 12,838 tonnes per year. Of which 75% would theoretically be recyclable. Instead, 80% end up as refuse, while only 20% are “diverted”.
[See image gallery at www.sankey-diagrams.com]
There is also a second Sankey diagram that shows how the city would handle its waste in 2030 with a zero waste strategy. Read the article at Avery Review or download as PDF.




nar

Lameness Research And Prevention Tips With Dr. Judith Koenig Of The Ontario Veterinary College

Lameness is a huge focus for Dr. Judith Koenig as a clinician, researcher and instructor at the Ontario Veterinary College (OVC). Koenig is also a rider with a keen interest in helping grass roots riders and upcoming high-performance athletes. In this video, Dr. Koenig explains her current research endeavoring to heal tendon injuries faster and […]

The post Lameness Research And Prevention Tips With Dr. Judith Koenig Of The Ontario Veterinary College appeared first on Horse Racing News | Paulick Report.




nar

“The Evidence and Tradeoffs for a ‘Stay-at-Home’ Pandemic Response: A multidisciplinary review examining the medical, psychological, economic and political impact of ‘Stay-at-Home’ implementation in America”

Will Marble writes: I’m a Ph.D. student in political science at Stanford. Along with colleagues from the Stanford medical school, law school, and elsewhere, we recently completed a white paper evaluating the evidence for and tradeoffs involved with shelter-in-place policies. To our knowledge, our paper contains the widest review of the relevant covid-19 research. It […]




nar

My talk Wednesday at the Columbia coronavirus seminar

The talk will be sometime the morning of Wed 6 May in this seminar. Title: Some statistical issues in the fight against coronavirus. Abstract: To be a good citizen, you sometimes have to be a bit of a scientist. To be a good scientist, you sometimes have to be a bit of a statistician. And […]




nar

Laplace’s Demon: A Seminar Series about Bayesian Machine Learning at Scale

David Rohde points us to this new seminar series that has the following description: Machine learning is changing the world we live in at a break neck pace. From image recognition and generation, to the deployment of recommender systems, it seems to be breaking new ground constantly and influencing almost every aspect of our lives. […]




nar

Park Rangers Narrow Search Area in Grand Canyon National Park

Grand Canyon National Park search and rescue personnel are now focusing their search for Robert A. Williams on the Hermit Basin area west of Grand Canyon Village. https://www.nps.gov/grca/learn/news/news-2009-05-29-search.htm




nar

Preliminary Data Indicate Humpback Chub Translocation Successful to Date

Preliminary Data Indicate Humpback Chub Translocation Successful to Date https://www.nps.gov/grca/learn/news/news_2009-08-17_chub.htm




nar

Public Scoping Webinars Planned for Grand Canyon National Park Bison Management Plan EIS

Grand Canyon National Park (GCNP) will hold two informational, online meetings as part of the scoping process for a bison management plan and environmental impact statement. https://www.nps.gov/grca/learn/news/public-scoping-webinars-planned-for-grand-canyon-national-park-bison-management-plan-eis.htm




nar

Grand Canyon National Park to Host an Additional Public Open House and Webinar for Backcountry Management Plan and Draft Environmental Impact Statement

The National Park Service (NPS) announced today another opportunity for the public to weigh in on revisions to Grand Canyon National Park’s Backcountry Management Plan (BMP). The NPS began developing a Draft Environmental Impact Statement (DEIS) for this plan in 2011 in compliance with the National Environmental Policy Act (NEPA). https://www.nps.gov/grca/learn/news/backcountry-plan-webinar-and-open-house.htm




nar

Preliminary Findings Indicate No Current Uranium Ore Exposure at Grand Canyon

Preliminary findings of an interagency safety review conducted last week at Grand Canyon National Park indicate no current exposure concerns for park employees and visitors from uranium ore samples previously stored in buckets at the park's Museum Collection building. https://www.nps.gov/grca/learn/news/preliminary-findings-indicate-no-current-uranium-ore-exposure.htm




nar

In a Revolutionary Medical Treatment, Man’s Lung Was Removed, Cleaned, and Replaced—No Transplant Necessary

The procedure, which has only been conducted a few times in history, could be a groundbreaking new treatment for patients suffering from lung cancer.

The post In a Revolutionary Medical Treatment, Man’s Lung Was Removed, Cleaned, and Replaced—No Transplant Necessary appeared first on Good News Network.




nar

Dropkick Murphys' Ken Casey Narrates NHL Network Documentary On 1970 Boston Bruins Stanley Cup Championship

An NHL NETWORK documentary on the 50th anniversary of the BOSTON BRUINS' 1970 STANLEY CUP championship is narrated by DROPKICK MURPHYS founder KEN CASEY. "THE 1970 BRUINS: BIG, BAD … more




nar

Edison Research To Present Webinar On 2020 'Moms & Media Report' On Thursday

EDISON RESEARCH will present data from its annual "Moms & Media Report" in a webinar on THURSDAY (5/7) at 2p (ET). The presentation will be given by VP MELISSA DECESARE and will … more




nar

Punk Rock Luminaries Join Together To 'Flatten The Curve'

Seminal and iconic rock, punk and alternative rock members from THE RUNAWAYS, SUPERSUCKERS, THE ADOLESCENTS, PANSY DIVISION, JOSIE COTTON, THE STREETWALKIN' CHEETAHS, THE MINUTEMEN, … more




nar

Growing cardiovascular genetics field calls for special multidisciplinary clinical programs to better identify and treat inherited heart conditions

Statement Highlights: In a new scientific statement, the American Heart Association supports the creation of specialized multidisciplinary clinical programs that combine cardiovascular medicine and genetics expertise. These specialized programs would use genetic information to better treat patients with inherited heart conditions, as well as assess family members without current heart problems and take steps to reduce their risk.




nar

Specific gut bacteria may be associated with pulmonary arterial hypertension

Research Highlights: Researchers have found a specific bacterial profile in the gut of people with pulmonary arterial hypertension, a chronic and progressive disease that causes constriction of arteries in the lungs. The unique bacterial profile...




nar

Más de 200 grupos de pacientes solicitaron a la Administración que tomara medidas adicionales para solucionar la escasez crítica de ventiladores y equipos de protección individual, y garantizara la seguridad de los proveedores y los pa

WASHINGTON, D. C., 3 de abril del 2020— Hoy, más de 200 organizaciones de protección de pacientes, médicas y de salud pública enviaron una carta a altos funcionarios de la administración de Donald Trump, en la cual se apela a la Administración para que...




nar

Las guías de orientación provisionales de RCP abordan los desafíos de proporcionar reanimación durante la pandemia del COVID-19

Sala de prensa de la AHA sobre el COVID-19 Atención con el contenido actualizado a continuación. DALLAS, 9 de abril del 2020– Debido al aumento exponencial actual de la incidencia del COVID-19 en todo el mundo, el porcentaje de paros cardíacos con el...




nar

El nuevo registro de datos de pacientes con COVID-19 proporcionará perspectivas sobre la atención y los resultados cardiovasculares adversos

DALLAS, 3 de abril del 2020 – Debido al esfuerzo de médicos, científicos e investigadores de todo el mundo por comprender la pandemia del coronavirus (COVID-19), la American Heart Association está desarrollando un nuevo registro para agregar datos y...




nar

Coronavirus Alert! Precautionary Measures & Real-time Apps To Keep An Eye On Covid-19 Outbreak Situation

Why asking Help from Allah is the ‘First Thing First’? As everything is in this universe has made by Allah, Almighty. He is the only One who has power over all. So, we should always ask help from the Almighty first to keep us away from these...

The post Coronavirus Alert! Precautionary Measures & Real-time Apps To Keep An Eye On Covid-19 Outbreak Situation appeared first on SmashingApps.com.




nar

In 1898, Revolutionary French Artist Toulouse-Letrec Went To The Toilet On A Beach, His Friend Took These Photographs

In 1898, Maurice Joyant took four photographs of his childhood friend Henri Marie Raymond de Toulouse-Lautrec Montfa, better known Toulouse-Letrec...




nar

Web Design as Narrative Architecture

Stories are everywhere. When they don’t exist we make up the narrative — we join the dots. We make cognitive leaps and fill in the bits of a story that are implied or missing. The same goes for websites. We make quick judgements based on a glimpse. Then we delve deeper. The narrative unfolds, or we create one as we browse.

Mark Bernstein penned Beyond Usability and Design: The Narrative Web for A List Apart in 2001. He wrote, ‘the reader’s journey through our site is a narrative experience’. I agreed wholeheartedly: Websites are narrative spaces where stories can be enacted, or emerge.

Henry Jenkins, Director of Comparative Media Studies, and Professor of Literature at MIT, wrote Game Design as Narrative Architecture. He suggested we think of game designers, ‘less as storytellers than as narrative architects’. I agree, and I think web designers are narrative architects, too. (Along with all the multitude of other roles we assume.) Much of what Henry Jenkins wrote applies to modern web design. In particular, he describes two kinds of narratives in game design that are relevant to us:

Enacted narratives are those where:

[…] the story itself may be structured around the character’s movement through space and the features of the environment may retard or accelerate that plot trajectory.

Sites like Amazon, New Adventures, or your portfolio are enacted narrative spaces: Shops or service brochures that want the audience to move through the site towards a specific set of actions like buying something or initiating contact.

Emergent narratives are those where:

[…] spaces are designed to be rich with narrative potential, enabling the story-constructing activity of players.

Sites like Flickr, Twitter, or Dribbble are emergent narrative spaces: Web applications that encourage their audience use the tools at their disposal to tell their own story. The audience defines how they want to use the narrative space, often with surprising results.

We often build both kinds of narrative spaces. Right now, my friends and I at Analog are working on Mapalong, a new maps-based app that’s just launched into private beta. At its heart Mapalong is about telling our stories. It’s one big map with a set of tools to view the world, add places, share them, and see the places others share. The aim is to help people tell their stories. We want to use three ideas to help you do that: Space (recording places, and annotating them), data (importing stuff we create elsewhere), and time (plotting our journeys, and recording all the places, people, and memories along the way). We know that people will find novel uses for the tools in Mapalong. In fact, we want them to because it will help us refine and build better tools. We work in an agile way because that’s the only way to design an emerging narrative space. Without realising it we’ve become architects of a narrative space, and you probably are, too.

Many projects like shops or brochure sites have fixed costs and objectives. They want to guide the audience to a specific set of actions. The site needs to be an enacted narrative space. Ideally, designers would observe behaviour and iterate. Failing that, a healthy dose of empathy can serve. Every site seeks to teach, educate, or inform. So, a bit of knowledge about people’s learning styles can be useful. I once did a course in one to one and small group training with the Chartered Institute of Personnel and Development. It introduced me to Peter Honey and Alan Mumford’s model which describes four different learning styles that are useful for us to know. I paraphrase:

  1. Activists like learning as they go; getting stuck in and working it out. They enjoy the here and now, and are happy to be dominated by immediate experiences. They are open-minded, not sceptical, and this tends to make them enthusiastic about anything new.
  2. Reflectors like being guided with time to take it all in and perhaps return later. They like to stand back to ponder experiences and observe them from many different perspectives. They collect data, both first hand and from others, and prefer to think about it thoroughly before coming to a conclusion.
  3. Theorists to understand and make logical sense of things before they leap in. They think problems through in a vertical, step-by-step logical way. They assimilate disparate facts into coherent theories.
  4. Pragmatists like practical applications of ideas, experiments, and results. They like trying out ideas, theories and techniques to see if they work in practice. They positively search out new ideas and take the first opportunity to experiment with applications.

Usually people share two or more of these qualities. The weight of each can vary depending on the context. So how might learning styles manifest themselves in web browsing behaviour?

  • Activists like to explore, learn as they go, and wander the site working it out. They need good in-context navigation to keep exploring. For example, signposts to related information are optimal for activists. They can just keep going, and going, and exploring until sated.
  • Reflectors are patient and thoughtful. They like to ponder, read, reflect, then decide. Guided tours to orientate them in emergent sites can be a great help. Saving shopping baskets for later, and remembering sessions in enacted sites can also help them.
  • Theorists want logic. Documentation. An understanding of what the site is, and what they might get from it. Clear, detailed information helps a theorist, whatever the space they’re in.
  • Pragmatists get stuck in like activists, but evaluate quickly, and test their assumptions. They are quick, and can be helped by uncluttered concise information, and contextual, logical tools.

An understanding of interactive narrative types and a bit of knowledge about learning styles can be useful concepts for us to bear in mind. I also think they warrant inclusion as part of an articulate designer’s language of web design. If Henry Jenkins is right about games designers, I think he could also be right about web designers: we are narrative architects, designing spaces where stories are told.

The original version of this article first appeared as ‘Jack A Nory’ alongside other, infinitely more excellent articles, in the New Adventures paper of January 2011. It is reproduced with the kind permission of the irrepressible Simon Collison. For a short time, the paper is still available as a PDF!

—∞—




nar

The webinar software – how it can help you?

A lot of business owners who want to be leaders in the online world know that being unique is a key to achieve success. Today, this future success is definitely the webinar tools that are more and more popular worldwide. This article will tell more about it and how does the webinar room work before, […]

The post The webinar software – how it can help you? appeared first on Bittbox.




nar

Hello, BinaryJS

The BinaryJS framework employs websockets to handle binary data bidirectionally between browser-side javascript and server-side Node.js. Ikt supports a BinaryPack serialization format that is JSON-type compatible. It is said to automatically chunk large binary data buffers for streaming performance. BinaryJS currently supports Chrome 15+ and Firefox 11+, IE10. View the Hello World example.




nar

Leonardo DiCaprio Premiers “Before the Flood” Climate Change Documentary

Environmental activist and Academy Award®-winning actor Leonardo DiCaprio and Academy Award®-winning filmmaker Fisher Stevens premier their documentary film, Before the Flood, a compelling account of the powerful changes occurring on our planet due to climate change. Before the Flood will … Continue reading




nar

Usability task scenarios: The beating heart of a usability test

Usability tests are unique. We ask people to do real tasks with the system and watch. As the person completes the task, we watch their behaviour and listen to their stream-of-consciousness narrative. But what makes a good usability task scenario?




nar

You Are Not Your Ego with Cheri Huber and Ashwini Narayanan

Cheri has been a student and teacher of Zen for over 35 years. She is the author of over 20 books on Zen, and founded the Mountain View Zen Center and the Zen Monastery Peace Center. Cheri also founded a non-profit dedicated to transforming lives and ending suffering, Living Compassion, whose primary work is the Africa Vulnerable Children Project in Zambia. Ashwini co-facilitates and creates workshops with Cheri. She runs the operations of the two nonprofits that Cheri founded. Her eclectic background includes degrees in physics, business, and computer science to working in advertising, an investment bank, a social enterprise, and several technology startups in the Silicon Valley. Cheri and Ashwini have co-written multiple books, including their latest Don’t Suffer, Communicate. Today’s episode isn’t just about awareness practice, it’s about a framework for navigating life. A few highlights: Zen isn’t just the practice of keeping things nicely organized, it’s also a spiritual practice largely focused on awareness and where you direct attention. Self-improvement is an endless diss. The very nature of saying we need improvement implies we’re not enough. Cheri and Ashwini share some useful tools to redirect the attention, such as using a recorder to access the wisdom, love, and compassion that is […]

The post You Are Not Your Ego with Cheri Huber and Ashwini Narayanan appeared first on Chase Jarvis Photography.




nar

The Code of the Extraordinary Mind with Vishen Lakhiani

Join me + bestselling author Vishen Lakhiani LIVE Tuesday April 7 at 6:30pm PST. Vishen Lakhiani is one of today’s most influential minds in the fields of education and human consciousness. He is the founder of Mindvalley University and its 2 million-strong student base and creator of the Quests learning platform: a next-generation method of online learning, which attains an unheard-of 60% completion rate on courses, in an industry where 8% is average. Vishen’s book, The Code of the Extraordinary Mind, made the New York Times Business Best Sellers List, and hit the coveted #1 spot on Amazon five times in 2017. Enjoy! FOLLOW VISHEN: instagram | facebook | website Listen to the Podcast coming soon … 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 The Code of the Extraordinary Mind with Vishen Lakhiani appeared first on Chase Jarvis Photography.




nar

On the Asymptotic $u_0$-Expected Flooding Time of Stationary Edge-Markovian Graphs. (arXiv:2004.03660v4 [math.PR] UPDATED)

Consider that $u_0$ nodes are aware of some piece of data $d_0$. This note derives the expected time required for the data $d_0$ to be disseminated through-out a network of $n$ nodes, when communication between nodes evolves according to a graphical Markov model $overline{ mathcal{G}}_{n,hat{p}}$ with probability parameter $hat{p}$. In this model, an edge between two nodes exists at discrete time $k in mathbb{N}^+$ with probability $hat{p}$ if this edge existed at $k-1$, and with probability $(1-hat{p})$ if this edge did not exist at $k-1$. Each edge is interpreted as a bidirectional communication link over which data between neighbors is shared. The initial communication graph is assumed to be an Erdos-Renyi random graph with parameters $(n,hat{p})$, hence we consider a emph{stationary} Markov model $overline{mathcal{G}}_{n,hat{p}}$. The asymptotic "$u_0$-expected flooding time" of $overline{mathcal{G}}_{n,hat{p}}$ is defined as the expected number of iterations required to transmit the data $d_0$ from $u_0$ nodes to $n$ nodes, in the limit as $n$ approaches infinity. Although most previous results on the asymptotic flooding time in graphical Markov models are either emph{almost sure} or emph{with high probability}, the bounds obtained here are emph{in expectation}. However, our bounds are tighter and can be more complete than previous results.




nar

Stationary Gaussian Free Fields Coupled with Stochastic Log-Gases via Multiple SLEs. (arXiv:2001.03079v3 [math.PR] UPDATED)

Miller and Sheffield introduced a notion of an imaginary surface as an equivalence class of pairs of simply connected proper subdomains of $mathbb{C}$ and Gaussian free fields (GFFs) on them under conformal equivalence. They considered the situation in which the conformal transformations are given by a chordal Schramm--Loewner evolution (SLE). In the present paper, we construct processes of GFF on $mathbb{H}$ (the upper half-plane) and $mathbb{O}$ (the first orthant of $mathbb{C}$) by coupling zero-boundary GFFs on these domains with stochastic log-gases defined on parts of boundaries of the domains, $mathbb{R}$ and $mathbb{R}_+$, called the Dyson model and the Bru--Wishart process, respectively, using multiple SLEs evolving in time. We prove that the obtained processes of GFF are stationary. The stationarity defines an equivalence relation between GFFs, and the pairs of time-evolutionary domains and stationary processes of GFF will be regarded as generalizations of the imaginary surfaces studied by Miller and Sheffield.




nar

Extremal values of the Sackin balance index for rooted binary trees. (arXiv:1801.10418v5 [q-bio.PE] UPDATED)

Tree balance plays an important role in different research areas like theoretical computer science and mathematical phylogenetics. For example, it has long been known that under the Yule model, a pure birth process, imbalanced trees are more likely than balanced ones. Therefore, different methods to measure the balance of trees were introduced. The Sackin index is one of the most frequently used measures for this purpose. In many contexts, statements about the minimal and maximal values of this index have been discussed, but formal proofs have never been provided. Moreover, while the number of trees with maximal Sackin index as well as the number of trees with minimal Sackin index when the number of leaves is a power of 2 are relatively easy to understand, the number of trees with minimal Sackin index for all other numbers of leaves was completely unknown. In this manuscript, we fully characterize trees with minimal and maximal Sackin index and also provide formulas to explicitly calculate the number of such trees.




nar

Gaussian invariant measures and stationary solutions of 2D Primitive Equations. (arXiv:2005.03339v1 [math.PR])

We introduce a Gaussian measure formally preserved by the 2-dimensional Primitive Equations driven by additive Gaussian noise. Under such measure the stochastic equations under consideration are singular: we propose a solution theory based on the techniques developed by Gubinelli and Jara in cite{GuJa13} for a hyperviscous version of the equations.




nar

On planar graphs of uniform polynomial growth. (arXiv:2005.03139v1 [math.PR])

Consider an infinite planar graph with uniform polynomial growth of degree d > 2. Many examples of such graphs exhibit similar geometric and spectral properties, and it has been conjectured that this is necessary. We present a family of counterexamples. In particular, we show that for every rational d > 2, there is a planar graph with uniform polynomial growth of degree d on which the random walk is transient, disproving a conjecture of Benjamini (2011).

By a well-known theorem of Benjamini and Schramm, such a graph cannot be a unimodular random graph. We also give examples of unimodular random planar graphs of uniform polynomial growth with unexpected properties. For instance, graphs of (almost sure) uniform polynomial growth of every rational degree d > 2 for which the speed exponent of the walk is larger than 1/d, and in which the complements of all balls are connected. This resolves negatively two questions of Benjamini and Papasoglou (2011).




nar

Testing Scenario Library Generation for Connected and Automated Vehicles: An Adaptive Framework. (arXiv:2003.03712v2 [eess.SY] UPDATED)

How to generate testing scenario libraries for connected and automated vehicles (CAVs) is a major challenge faced by the industry. In previous studies, to evaluate maneuver challenge of a scenario, surrogate models (SMs) are often used without explicit knowledge of the CAV under test. However, performance dissimilarities between the SM and the CAV under test usually exist, and it can lead to the generation of suboptimal scenario libraries. In this paper, an adaptive testing scenario library generation (ATSLG) method is proposed to solve this problem. A customized testing scenario library for a specific CAV model is generated through an adaptive process. To compensate the performance dissimilarities and leverage each test of the CAV, Bayesian optimization techniques are applied with classification-based Gaussian Process Regression and a new-designed acquisition function. Comparing with a pre-determined library, a CAV can be tested and evaluated in a more efficient manner with the customized library. To validate the proposed method, a cut-in case study was performed and the results demonstrate that the proposed method can further accelerate the evaluation process by a few orders of magnitude.




nar

Evolutionary Dynamics of Higher-Order Interactions. (arXiv:2001.10313v2 [physics.soc-ph] UPDATED)

We live and cooperate in networks. However, links in networks only allow for pairwise interactions, thus making the framework suitable for dyadic games, but not for games that are played in groups of more than two players. To remedy this, we introduce higher-order interactions, where a link can connect more than two individuals, and study their evolutionary dynamics. We first consider a public goods game on a uniform hypergraph, showing that it corresponds to the replicator dynamics in the well-mixed limit, and providing an exact theoretical foundation to study cooperation in networked groups. We also extend the analysis to heterogeneous hypergraphs that describe interactions of groups of different sizes and characterize the evolution of cooperation in such cases. Finally, we apply our new formulation to study the nature of group dynamics in real systems, showing how to extract the actual dependence of the synergy factor on the size of a group from real-world collaboration data in science and technology. Our work is a first step towards the implementation of new actions to boost cooperation in social groups.




nar

Efficient Exact Verification of Binarized Neural Networks. (arXiv:2005.03597v1 [cs.AI])

We present a new system, EEV, for verifying binarized neural networks (BNNs). We formulate BNN verification as a Boolean satisfiability problem (SAT) with reified cardinality constraints of the form $y = (x_1 + cdots + x_n le b)$, where $x_i$ and $y$ are Boolean variables possibly with negation and $b$ is an integer constant. We also identify two properties, specifically balanced weight sparsity and lower cardinality bounds, that reduce the verification complexity of BNNs. EEV contains both a SAT solver enhanced to handle reified cardinality constraints natively and novel training strategies designed to reduce verification complexity by delivering networks with improved sparsity properties and cardinality bounds. We demonstrate the effectiveness of EEV by presenting the first exact verification results for $ell_{infty}$-bounded adversarial robustness of nontrivial convolutional BNNs on the MNIST and CIFAR10 datasets. Our results also show that, depending on the dataset and network architecture, our techniques verify BNNs between a factor of ten to ten thousand times faster than the best previous exact verification techniques for either binarized or real-valued networks.




nar

Algorithmic Averaging for Studying Periodic Orbits of Planar Differential Systems. (arXiv:2005.03487v1 [cs.SC])

One of the main open problems in the qualitative theory of real planar differential systems is the study of limit cycles. In this article, we present an algorithmic approach for detecting how many limit cycles can bifurcate from the periodic orbits of a given polynomial differential center when it is perturbed inside a class of polynomial differential systems via the averaging method. We propose four symbolic algorithms to implement the averaging method. The first algorithm is based on the change of polar coordinates that allows one to transform a considered differential system to the normal form of averaging. The second algorithm is used to derive the solutions of certain differential systems associated to the unperturbed term of the normal of averaging. The third algorithm exploits the partial Bell polynomials and allows one to compute the integral formula of the averaged functions at any order. The last algorithm is based on the aforementioned algorithms and determines the exact expressions of the averaged functions for the considered differential systems. The implementation of our algorithms is discussed and evaluated using several examples. The experimental results have extended the existing relevant results for certain classes of differential systems.




nar

AIBench: Scenario-distilling AI Benchmarking. (arXiv:2005.03459v1 [cs.PF])

Real-world application scenarios like modern Internet services consist of diversity of AI and non-AI modules with very long and complex execution paths. Using component or micro AI benchmarks alone can lead to error-prone conclusions. This paper proposes a scenario-distilling AI benchmarking methodology. Instead of using real-world applications, we propose the permutations of essential AI and non-AI tasks as a scenario-distilling benchmark. We consider scenario-distilling benchmarks, component and micro benchmarks as three indispensable parts of a benchmark suite. Together with seventeen industry partners, we identify nine important real-world application scenarios. We design and implement a highly extensible, configurable, and flexible benchmark framework. On the basis of the framework, we propose the guideline for building scenario-distilling benchmarks, and present two Internet service AI ones. The preliminary evaluation shows the advantage of scenario-distilling AI benchmarking against using component or micro AI benchmarks alone. The specifications, source code, testbed, and results are publicly available from the web site url{this http URL}.




nar

Evolutionary Multi Objective Optimization Algorithm for Community Detection in Complex Social Networks. (arXiv:2005.03181v1 [cs.NE])

Most optimization-based community detection approaches formulate the problem in a single or bi-objective framework. In this paper, we propose two variants of a three-objective formulation using a customized non-dominated sorting genetic algorithm III (NSGA-III) to find community structures in a network. In the first variant, named NSGA-III-KRM, we considered Kernel k means, Ratio cut, and Modularity, as the three objectives, whereas the second variant, named NSGA-III-CCM, considers Community score, Community fitness and Modularity, as three objective functions. Experiments are conducted on four benchmark network datasets. Comparison with state-of-the-art approaches along with decomposition-based multi-objective evolutionary algorithm variants (MOEA/D-KRM and MOEA/D-CCM) indicates that the proposed variants yield comparable or better results. This is particularly significant because the addition of the third objective does not worsen the results of the other two objectives. We also propose a simple method to rank the Pareto solutions so obtained by proposing a new measure, namely the ratio of the hyper-volume and inverted generational distance (IGD). The higher the ratio, the better is the Pareto set. This strategy is particularly useful in the absence of empirical attainment function in the multi-objective framework, where the number of objectives is more than two.




nar

From culinary arts to binge-watching, here are some weed-friendly activities to get you through your isolation

The Cannabis Issue It's been almost a month since the COVID-19 pandemic forced folks inside and made "social distancing" part of our daily lexicons.…




nar

Everyone sees dead people in the droll Irish horror-comedy Extra Ordinary

Ever since Ghostbusters, the go-to tactic for supernatural comedy is to show characters experiencing remarkable, seemingly impossible things and yet reacting with the kind of mild bemusement you get watching someone successfully parallel park.…



  • Film/Film News

nar

Chris Hemsworth stars as a mercenary in the empty, but exciting, action flick Extraction

Extraction was supposedly the most-watched new movie on Netflix last week, and yet it feels suspiciously like one you've already seen, possibly late at night on some obscure cable channel back in the '90s.…



  • Film/Film News

nar

Method for preparation of aryl poly(oxalkyl) quaternary ammonium compound

A method for preparation of an aryl poly(oxalkyl) quaternary ammonium compound is provided, said method comprising steps of: 1) reacting a phenol with a dihalopolyalkylene ether under the action of a phase transfer catalyst, to obtain an arylpoly(oxalkyl) halide; 2) reacting said arylpoly(oxalkyl) halide with an amination reagent under the action of a phase transfer catalyst, to obtain an arylpoly(oxalkyl) amine; 3) reacting said arylpoly(oxalkyl) amine with an alkylation reagent, to obtain an aryl poly(oxalkyl) quaternary ammonium compound; wherein R1 is H or a C1 to C16 alkyl group, located in the ortho, meta or para position; n is an integer of 2 to 6; R2 is H or a C1 to C16 alkyl group; R3 is H or a C1 to C16 alkyl group; R4 is a C1 to C16 alkyl group; X1 is Br or Cl; X is Cl, Br, or I. The preparation method according to the present invention requires low temperature and low pressure, the reaction time is short, and an overall yield can reach 75%. The operation is simple, the cost is low, and the product can be separated easily and have a purity of pharmaceutical grade, thereby facilitating the large-scale production.




nar

Anti-microbial and anti-static surface treatment agent with quaternary ammonium salt as active ingredient and method for preventing static electricity in polymer fibers using same

Provided are an anti-static and anti-microbial surface treatment agent including a quaternary ammonium salt compound as an active ingredient and a method of preventing a polymer fiber from developing static electricity by using the surface treatment agent. The quaternary ammonium salt compound has excellent anti-static and anti-microbial effects for the prevention or improvement of static electricity in a polymer fiber. Accordingly, the quaternary ammonium salt compound is suitable for use as a fabric softener, or an anti-static agent, and also, provides anti-microbial effects to a polymer fiber.




nar

Correlating data from multiple business processes to a business process scenario

The present disclosure involves systems, software, and computer-implemented methods for providing process intelligence by correlating events from multiple business process systems to a single business scenario using configurable correlation strategies. An example method includes identifying a raw event associated with a sending business process and a receiving business process, identifying a sending business process attribute associated with the sending business process and a receiving business process attribute associated with the receiving business process, determining a correlation strategy for associating the raw event with a business scenario instance, the determination based at least in part on the sending business process attribute and the receiving business process attribute, and generating a visibility scenario event from the raw event according to the correlation strategy, the visibility scenario event associated with the business scenario instance.




nar

System and method for using cluster level quorum to prevent split brain scenario in a data grid cluster

A system and method is described for use with a data grid cluster, which uses cluster quorum to prevent split brain scenario. The data grid cluster includes a plurality of cluster nodes, each of which runs a cluster service. Each cluster service collects and maintains statistics regarding communication flow between its cluster node and the other cluster nodes in the data grid cluster. The statistics are used to determine a status associated with other cluster nodes in the data grid cluster whenever a disconnect event happens. The data grid cluster is associated with a quorum policy, which is defined in a cache configuration file, and which specifies a time period that a cluster node will wait before making a decision on whether or not to evict one or more cluster nodes from the data grid cluster.