cto

Former Olympian joins 2020 intake of junior doctors




cto

‘Gollum’ Actor Andy Serkis Plans a Live Reading of ‘The Hobbit’ –There And Back Again– Friday For Charity

The actor who played ‘Gollum’ in The Lord of the Rings, Andy Serkis, will give a LIVE reading of The Hobbit, from cover to cover, for charity May 8.

The post ‘Gollum’ Actor Andy Serkis Plans a Live Reading of ‘The Hobbit’ –There And Back Again– Friday For Charity appeared first on Good News Network.




cto

LEGO Factory is Now Producing Thousands of Protective Plastic Face Masks for Medical Workers

The Danish toy company has reworked some of their equipment to produce more than 13,000 protective plastic face masks every day.

The post LEGO Factory is Now Producing Thousands of Protective Plastic Face Masks for Medical Workers appeared first on Good News Network.




cto

A key for predicting postfire successional trajectories in black spruce stands of interior Alaska.

Black spruce (Picea mariana (Mill) B.S.P) is the dominant forest cover type in interior Alaska and is prone to frequent, stand-replacing wildfires.




cto

CSS3 general sibling selector problem

Using CSS3 'general sibling' selector problems when using :hover in Safari and Chrome




cto

Factors influencing line officers' decisions about National Environmental Policy Act project design and development.

Prior to the existence of the National Environmental Policy Act (NEPA), Forest Service district rangers had considerable latitude to make resource management decisions and execute management plans with relatively little encumbrance by documentation and process requirements.




cto

tech. coord. 2010. Economic modeling of effects of climate change on the forest sector and mitigation options: a compendium of briefing papers

This report is a compilation of six briefing papers based on literature reviews and syntheses, prepared for U.S. Department of Agriculture, Forest Service policy analysts and decisionmakers about specific questions pertaining to climate change.




cto

Sanchez welcomed as acting Station Director

The U.S. Forest Service’s Pacific Northwest (PNW) Research Station today welcomed Dr. Felipe Sanchez as its acting Station Director. Sanchez replaces Robert Mangold, who retired last month after three years with the station.




cto

Podcast Movement Moves 2020 Event From August To October

PODCAST MOVEMENT has postponed this year's event in DALLAS from AUGUST to OCTOBER 19-22, 2020. In its newsletter, the event's organizers said, "We feel that AUGUST is too soon to … more




cto

WXTU/Philadelphia Cancels October Anniversary Show Over COVID-19 Concerns

BEASLEY Country WXTU/PHILADELPHIA has canceled is anniversary show, which had been scheduled for SATURDAY, OCTOBER 17th at BB&R PAVILION. BRAD PAISLEY had been set to headline. In a … more




cto

JP Saxe & Julia Michaels Support Doctors Without Borders With New Star-Studded Video Of 'If The World Was Ending'

Singer-songwriter JP SAXE and GRAMMY Award-nominated artist JULIA MICHAELS today released a new video of their duet "If The World Was Ending" to help support the international … more




cto

WSHE (SHE 100.3)/Chicago PD Cat Thomas Transferring To Hubbard/Seattle As Brand & Content Director At KQMV (Movin 92.5) & KRWM (Warm 106.9)

HUBBARD RADIO/SEATTLE has announced that CAT THOMAS will become the Brand & Content Director at Top 40 KQMV (MOVIN 92.5) and AC KRWM (WARM 106.9), transferring from HUBBARD’s … more




cto

Lisburn actor plays "soundest person in Normal People" says Derry Girls writer

The comedy writer has given the new Irish BBC drama her seal of approval




cto

Normal People actor says parents 'delighted' to see him in BBC hit

Desmond Eastwood told us he first planned a career in law




cto

SPFL board members hit out at Rangers managing director Robertson

Robertson has been accused of making "baseless, damaging and self-serving attacks"




cto

Craft Recordings Adds Victory Records Catalog

CONCORD’s catalog label, CRAFT RECORDINGS, welcomes legendary rock, metal, punk and hardcore label VICTORY RECORDS to its label family. The CHICAGO-based VICTORY RECORDS was acquired in … more




cto

Prime Factorization as Verse

Creating poetry with the fundamental theorem of arithmetic

-- Read more on ScientificAmerican.com




cto

Nonprofit sector urges Congress to include “Nonprofit Track” in CARES Act 2.0

April 8—The nation’s nonprofits are on the frontlines in our communities during the COVID-19 pandemic, working tirelessly to serve the people who need our services despite facing challenging circumstances within our own organizations. If we are to...




cto

Better science needed to support clinical predictors that link cardiac arrest, brain injury, and death: a statement from the American Heart Association

Statement Highlights: While significant improvements have been made in resuscitation and post cardiac arrest resuscitation care, mortality remains high and is mainly attributed to widespread brain injury.Better science is needed to support the ...




cto

Más de $14 millones en becas de investigación otorgadas para soluciones de tecnología de la salud centradas en la salud del corazón y del cerebro, incluidos los proyectos especiales relacionados con el COVID-19 y las ECV

DALLAS, 2 de abril del 2020 – La American Heart Association, la organización voluntaria líder mundial dedicada a un mundo con vidas más duraderas y saludables, anunció hoy que se otorgarán más de $14 millones en becas de investigación científica a cuatro...




cto

Los médicos de la ciudad de Nueva York observaron diferentes presentaciones cardiovasculares del COVID-19; impacto de alguna ecv preexistente

DALLAS, 4 de abril del 2020 — El día de ayer, se publicó una investigación en Circulation, la revista insignia de la American Heart Association, cuyo objetivo es ayudar a generar aún más conciencia sobre las manifestaciones cardiovasculares del ...




cto

El sector sin fines de lucro pide al Congreso que incluya la “vía sin fines de lucro” en la Ley CARES 2.0

Sala de prensa de la AHA sobre el COVID-19 WASHINGTON, D. C., 9 de abril del 2020— Las organizaciones sin fines de lucro de la nación están en la primera línea en nuestras comunidades durante la pandemia del COVID-19. Trabajan sin cesar para servir a...




cto

Directores ejecutivos de salud pública: Inscripciones abiertas para el cuidado de la salud a fin de salvar vidas

Sala de prensa de la AHA sobre el COVID-19 DALLAS, 10 de abril del 2020 – Nancy Brown, directora ejecutiva de la American Heart Association, la organización voluntaria líder mundial centrada en la salud del corazón y del cerebro, se reunió con los...




cto

Las dos nuevas declaraciones de la AHA se centran en la insuficiencia cardíaca: cómo pueden afectar los determinantes sociales a los resultados clínicos, y el impacto en los cuidadores

Aspectos destacados de las declaraciones: Los factores sociales adversos, como el estado de los seguros, la inseguridad alimentaria, la falta de fondos para medicamentos y otros, pueden causar resultados clínicos negativos de la insuficiencia...




cto

Auphonic Audio Inspector Release

At the Subscribe 9 Conference, we presented the first version of our new Audio Inspector:
The Auphonic Audio Inspector is shown on the status page of a finished production and displays details about what our algorithms are changing in audio files.

A screenshot of the Auphonic Audio Inspector on the status page of a finished Multitrack Production.
Please click on the screenshot to see it in full resolution!

It is possible to zoom and scroll within audio waveforms and the Audio Inspector might be used to manually check production result and input files.

In this blog post, we will discuss the usage and all current visualizations of the Inspector.
If you just want to try the Auphonic Audio Inspector yourself, take a look at this Multitrack Audio Inspector Example.

Inspector Usage

Control bar of the Audio Inspector with scrollbar, play button, current playback position and length, button to show input audio file(s), zoom in/out, toggle legend and a button to switch to fullscreen mode.

Seek in Audio Files
Click or tap inside the waveform to seek in files. The red playhead will show the current audio position.
Zoom In/Out
Use the zoom buttons ([+] and [-]), the mouse wheel or zoom gestures on touch devices to zoom in/out the audio waveform.
Scroll Waveforms
If zoomed in, use the scrollbar or drag the audio waveform directly (with your mouse or on touch devices).
Show Legend
Click the [?] button to show or hide the Legend, which describes details about the visualizations of the audio waveform.
Show Stats
Use the Show Stats link to display Audio Processing Statistics of a production.
Show Input Track(s)
Click Show Input to show or hide input track(s) of a production: now you can see and listen to input and output files for a detailed comparison. Please click directly on the waveform to switch/unmute a track - muted tracks are grayed out slightly:

Showing four input tracks and the Auphonic output of a multitrack production.

Please click on the fullscreen button (bottom right) to switch to fullscreen mode.
Now the audio tracks use all available screen space to see all waveform details:

A multitrack production with output and all input tracks in fullscreen mode.
Please click on the screenshot to see it in full resolution.

In fullscreen mode, it’s also possible to control playback and zooming with keyboard shortcuts:
Press [Space] to start/pause playback, use [+] to zoom in and [-] to zoom out.

Singletrack Algorithms Inspector

First, we discuss the analysis data of our Singletrack Post Production Algorithms.

The audio levels of output and input files, measured according to the ITU-R BS.1770 specification, are displayed directly as the audio waveform. Click on Show Input to see the input and output file. Only one file is played at a time, click directly on the Input or Output track to unmute a file for playback:

Singletrack Production with opened input file.
See the first Leveler Audio Example to try the audio inspector yourself.

Waveform Segments: Music and Speech (gold, blue)
Music/Speech segments are displayed directly in the audio waveform: Music segments are plotted in gold/yellow, speech segments in blue (or light/dark blue).
Waveform Segments: Leveler High/No Amplification (dark, light blue)
Speech segments can be displayed in normal, dark or light blue: Dark blue means that the input signal was very quiet and contains speech, therefore the Adaptive Leveler has to use a high amplification value in this segment.
In light blue regions, the input signal was very quiet as well, but our classifiers decided that the signal should not be amplified (breathing, noise, background sounds, etc.).

Yellow/orange background segments display leveler fades.

Background Segments: Leveler Fade Up/Down (yellow, orange)
If the volume of an input file changes in a fast way, the Adaptive Leveler volume curve will increase/decrease very fast as well (= fade) and should be placed in speech pauses. Otherwise, if fades are too slow or during active speech, one will hear pumping speech artifacts.
Exact fade regions are plotted as yellow (fade up, volume increase) and orange (fade down, volume decrease) background segments in the audio inspector.

Horizontal red lines display noise and hum reduction profiles.

Horizontal Lines: Noise and Hum Reduction Profiles (red)
Our Noise and Hiss Reduction and Hum Reduction algorithms segment the audio file in regions with different background noise characteristics, which are displayed as red horizontal lines in the audio inspector (top lines for noise reduction, bottom lines for hum reduction).
Then a noise print is extracted in each region and a classifier decides if and how much noise reduction is necessary - this is plotted as a value in dB below the top red line.
The hum base frequency (50Hz or 60Hz) and the strength of all its partials is also classified in each region, the value in Hz above the bottom red line indicates the base frequency and whether hum reduction is necessary or not (no red line).

You can try the singletrack audio inspector yourself with our Leveler, Noise Reduction and Hum Reduction audio examples.

Multitrack Algorithms Inspector

If our Multitrack Post Production Algorithms are used, additional analysis data is shown in the audio inspector.

The audio levels of the output and all input tracks are measured according to the ITU-R BS.1770 specification and are displayed directly as the audio waveform. Click on Show Input to see all the input files with track labels and the output file. Only one file is played at a time, click directly into the track to unmute a file for playback:

Input Tracks: Waveform Segments, Background Segments and Horizontal Lines
Input tracks are displayed below the output file including their track names. The same data as in our Singletrack Algorithms Inspector is calculated and plotted separately in each input track:
Output Waveform Segments: Multiple Speakers and Music
Each speaker is plotted in a separate, blue-like color - in the example above we have 3 speakers (normal, light and dark blue) and you can see directly in the waveform when and which speaker is active.
Audio from music input tracks are always plotted in gold/yellow in the output waveform, please try to not mix music and speech parts in music tracks (see also Multitrack Best Practice)!

You can try the multitrack audio inspector yourself with our Multitrack Audio Inspector Example or our general Multitrack Audio Examples.

Ducking, Background and Foreground Segments

Music tracks can be set to Ducking, Foreground, Background or Auto - for more details please see Automatic Ducking, Foreground and Background Tracks.

Ducking Segments (light, dark orange)
In Ducking, the level of a music track is reduced if one of the speakers is active, which is plotted as a dark orange background segment in the output track.
Foreground music parts, where no speaker is active and the music track volume is not reduced, are displayed as light orange background segments in the output track.
Background Music Segments (dark orange background)
Here the whole music track is set to Background and won’t be amplified when speakers are inactive.
Background music parts are plotted as dark organge background segments in the output track.
Foreground Music Segments (light orange background)
Here the whole music track is set to Foreground and its level won’t be reduced when speakers are active.
Foreground music parts are plotted as light organge background segments in the output track.

You can try the ducking/background/foreground audio inspector yourself: Fore/Background/Ducking Audio Examples.

Audio Search, Chapters Marks and Video

Audio Search and Transcriptions
If our Automatic Speech Recognition Integration is used, a time-aligned transcription text will be shown above the waveform. You can use the search field to search and seek directly in the audio file.
See our Speech Recognition Audio Examples to try it yourself.
Chapters Marks
Chapter Mark start times are displayed in the audio waveform as black vertical lines.
The current chapter title is written above the waveform - see “This is Chapter 2” in the screenshot above.

A video production with output waveform, input waveform and transcriptions in fullscreen mode.
Please click on the screenshot to see it in full resolution.

Video Display
If you add a Video Format or Audiogram Output File to your production, the audio inspector will also show a separate video track in addition to the audio output and input tracks. The video playback will be synced to the audio of output and input tracks.

Supported Audio Formats

We use the native HTML5 audio element for playback and the aurora.js javascript audio decoders to support all common audio formats:

WAV, MP3, AAC/M4A and Opus
These formats are supported in all major browsers: Firefox, Chrome, Safari, Edge, iOS Safari and Chrome for Android.
FLAC
FLAC is supported in Firefox, Chrome, Edge and Chrome for Android - see FLAC audio format.
In Safari and iOS Safari, we use aurora.js to directly decode FLAC files in javascript, which works but uses much more CPU compared to native decoding!
ALAC
ALAC is not supported by any browser so far, therefore we use aurora.js to directly decode ALAC files in javascript. This works but uses much more CPU compared to native decoding!
Ogg Vorbis
Only supported by Firefox, Chrome and Chrome for Android - for details please see Ogg Vorbis audio format.

We suggest to use a recent Firefox or Chrome browser for best performance.
Decoding FLAC and ALAC files also works in Safari and iOS with the help of aurora.js, but javascript decoders need a lot of CPU and they sometimes have problems with exact scrolling and seeking.

Please see our blog post Audio File Formats and Bitrates for Podcasts for more details about audio formats.

Mobile Audio Inspector

Multiple responsive layouts were created to optimize the screen space usage on Android and iOS devices, so that the audio inspector is fully usable on mobile devices as well: tap into the waveform to set the playhead location, scroll horizontally to scroll waveforms, scroll vertically to scroll between tracks, use zoom gestures to zoom in/out, etc.

Unfortunately the fullscreen mode is not available on iOS devices (thanks to Apple), but it works on Android and is a really great way to inspect everything using all the available screen space:

Audio inspector in horizontal fullscreen mode on Android.

Conclusion

Try the Auphonic Audio Inspector yourself: take a look at our Audio Example Page or play with the Multitrack Audio Inspector Example.

The Audio Inspector will be shown in all productions which are created in our Web Service.
It might be used to manually check production result/input files and to send us detailed feedback about audio processing results.

Please let us know if you have some feedback or questions - more visualizations will be added in future!








cto

Detect git Directory with Bash

One interesting aspect of working at Mozilla is that Firefox lives in a mercurial repository while several other projects live on GitHub in a git repository. While most focus on either Firefox or another project, I switch between both, leaving me running git commands inside the mercurial repository and hg commands inside git repos. It’s […]

The post Detect git Directory with Bash appeared first on David Walsh Blog.




cto

What is the Sony a6400 Crop Factor?

Sony introduced the a6400 model of digital cameras in early 2019. The a6400 rapidly became a best-seller among both professional and amateur photographers. The camera is smaller than standard digital single reflex cameras but still uses Sony’s extensive line of lenses. Sony has achieved all this using an APS-C sensor system in a mirrorless body. What is Sony a6400 crop Continue Reading

The post What is the Sony a6400 Crop Factor? appeared first on Photodoto.



  • Cameras & Equipment
  • Sony a6400 crop factor

cto

20 Minute Tut! Create Your Own Customized Chalkboard Text Vector

In this Chalkboard Text Vector tutorial, I’ll show you how to create a chalkboard vector effect with some gradients, a bristle brush, and some freebies from Vector Mill! This chalkboard text vector effect tutorial is relatively simple and can be applied to many other Illustrator projects. Use this effect for logo creation, back to school backgrounds, […]

The post 20 Minute Tut! Create Your Own Customized Chalkboard Text Vector appeared first on Vectips.



  • Tutorials
  • chalkboard text effect
  • chalkboard text vector
  • chalkboard text vector effect
  • chalkboard vector
  • how to create a chalkboard text
  • how to create a chalkboard text vector
  • how to create a chalkboard vector

cto

How To Create A Retro Sunburst Vector In 10 Minutes or Less!

In today’s tutorial, we will find out how to create vector sunbursts by using Transform effect and stroked paths. The techniques described here allow you to edit previously-created sunbursts that can result in an infinite number of variations. Have fun learning in our vector tutorial! Tutorial Details Program: Adobe Illustrator CS5 – CC Difficulty: Beginner […]

The post How To Create A Retro Sunburst Vector In 10 Minutes or Less! appeared first on Vectips.




cto

7 Steps to Create Hand-drawn Vector Patterns

Get in on the hand-drawn vector illustration trend without leaving the digital realm with this fun and tropical pattern tutorial. Tutorial Details: 7 Steps for Easy Flat Work Hand-Drawn Vector Design Program: Adobe Illustrator CS6 – CC Difficulty: Intermediate Topics Covered: Design Theory, Drawing Skills, Tracing Panel Estimated Completion Time: 15 Minutes Final Image: Hand-drawn Vector […]

The post 7 Steps to Create Hand-drawn Vector Patterns appeared first on Vectips.




cto

The Power of CSS Selectors and How to Use Them

One of the challenges of coding premium WordPress themes is the unpredictable nature of how they will be used. Compared to coding a custom website, especially one using static HTML documents where you have complete control over the markup, you have to solve problems creatively and ensure flexibility. In these cases, CSS selectors make all […]


The post The Power of CSS Selectors and How to Use Them appeared first on Web Designer Wall.




cto

Is Zero UI The Key Factor For The Future Of Interfaces?

Zero UI is about removing everything that comes between users and their devices, about making the interaction easier, seamless, more direct. Does it sound to you like a concept from a science-fiction...




cto

Vibrant Flat Vector Planets Illustration - Free Download Pack

The galaxy is a mesmerizing place, even better throught the eyes of visual design artists around our globe, we're delighted to release another freebie for our design community. This flat vector...




cto

A simple random bit on var selector

Isobar’s Rob Larsen suggests that there is often a need to build CSS selectors dynamically when building applications. ”This is typically some existing pattern paired with a loop counter or something pulled from a data attribute,” he writes on his blog. His choice is to create a variable called ”selector” and ”to craft the selector Read the rest...




cto

Google Ranking Factors 2020: Facts and Myths

Google’s ranking algorithm continues to get more and more complex, and the Ranking Factors 2020: Facts and Myths infographic from Link-Assistant tries to break through some of the misinformation that’s out there.

It seems a little while ago that Google hinted at having 200+ ranking factors. Though in fact, it happened in the year of 2009, and we are heading to 2020 now.

Google has drastically evolved over the past ten years. Today, neural matching — an AI-based method — processes about 30% of all searches, and Google can recognize concepts behind keywords. They have introduced RankBrain, mobile-first indexing, and HTTPS. As we need to adapt to changes and find ways to get atop of SERPs, the topic of ranking factors remains as fresh as ever.

So let's have a look at what ranking factors to consider in 2020, and what ranking myths to leave behind.

I have mixed feelings about this infographics design:

Good:

  • It’s a concise summary of very complex information that’s laid out in the more detailed, full article.

  • The infographic is a handy reference sheet and great for use in social media as promotion for the article.

  • Clean arrangement that’s easy to read from top-to-bottom

Bad:

  • Almost all text.

  • Not that there’s much data that could have been visualized with charts, but some visual design elements would have made the infographic easier to read and more enticing to readers.

  • Text URL to the article! When the infographic gets shared, how are readers supposed to find the article when it’s not linked??? Put it in the footer on the infographic!




cto

Cinematic Street Photography by Victor Cambet

Cinematic Street Photography by Victor Cambet

AoiroStudioMay 07, 2020

Victor Cambet is a freelance graphic designer and an amazing photographer currently based in Montreal, QC. What initially caught my eyes on Victor's work is his perspective of how he sees things through his camera lenses. It's pure, raw, and cinematic street photography. That's one of the reasons why we decided to feature his work on ABDZ. Being a personal fan of Victor's, I have always enjoyed his shots from my hometown of Montreal (and still do). I have lived in this city for more than 30 years and it's quite a pleasant sentiment. Definitely check out his Instagram, you will get to follow the 'behind-the-scenes' stories and you will notice how Victor is passionate and patient with his photography. Make sure to give him some love.

La rue est un film où chaque inconnu en devient le personnage principal.

About Victor Cambet

Victor is a freelance graphic designer currently based in my hometown of Montreal, Qc in Canada. You should definitely follow Victor and check out his store.

View this post on Instagram

La rue est un film...

A post shared by Victor Cambet (@victorcambet) on

View this post on Instagram

L’homme au chapeau.

A post shared by Victor Cambet (@victorcambet) on

View this post on Instagram

De l’ombre à la lumière.

A post shared by Victor Cambet (@victorcambet) on

View this post on Instagram

Un regard.

A post shared by Victor Cambet (@victorcambet) on

View this post on Instagram

Une silhouette dans la nuit.

A post shared by Victor Cambet (@victorcambet) on

View this post on Instagram

À découvert.

A post shared by Victor Cambet (@victorcambet) on


cto

10 On-Page SEO Factors You Should Consider [2019]

When you want to succeed in the organic search engine results today, you have to focus on your website and learn what you should do to optimize it. There are many factors that can help you with that, form the technical, off-page, and on-page. All these factors and parts of a website require updating and […]

Original post: 10 On-Page SEO Factors You Should Consider [2019]

The post 10 On-Page SEO Factors You Should Consider [2019] appeared first on Daily Blog Tips.




cto

Freebie: 264 Vector Audio DJ Pack Icons

Icons packs are among the most desirable freebies around. There are several out there, going from a wide array of topics from user interfaces to personal finance. But sometimes you can find some rather unusual but clever additions to the icons universe. This Vector Audio DJ Pack is a nice example, brought to you exclusively …

Freebie: 264 Vector Audio DJ Pack Icons Read More »




cto

240 Basic Icons Vector Freebie

Flat design is everywhere. Nowadays aesthetics is a lot more simple. No more glossy buttons or gradients background, or what a about the shiny table effect every client asked for?.It is all gone now. In favor of a more “undesigned” look a back to basics trend. Following that idea the guys at your favorite resources …

240 Basic Icons Vector Freebie Read More »




cto

Almost invariant subspaces of the shift operator on vector-valued Hardy spaces. (arXiv:2005.02243v2 [math.FA] UPDATED)

In this article, we characterize nearly invariant subspaces of finite defect for the backward shift operator acting on the vector-valued Hardy space which is a vectorial generalization of a result of Chalendar-Gallardo-Partington (C-G-P). Using this characterization of nearly invariant subspace under the backward shift we completely describe the almost invariant subspaces for the shift and its adjoint acting on the vector valued Hardy space.




cto

Surface Effects in Superconductors with Corners. (arXiv:2003.00521v2 [math-ph] UPDATED)

We review some recent results on the phenomenon of surface superconductivity in the framework of Ginzburg-Landau theory for extreme type-II materials. In particular, we focus on the response of the superconductor to a strong longitudinal magnetic field in the regime where superconductivity survives only along the boundary of the wire. We derive the energy and density asymptotics for samples with smooth cross section, up to curvature-dependent terms. Furthermore, we discuss the corrections in presence of corners at the boundary of the sample.




cto

Asymptotic behavior of Wronskian polynomials that are factorized via $p$-cores and $p$-quotients. (arXiv:2005.03516v1 [math.CA])

In this paper we consider Wronskian polynomials labeled by partitions that can be factorized via the combinatorial concepts of $p$-cores and $p$-quotients. We obtain the asymptotic behavior for these polynomials when the $p$-quotient is fixed while the size of the $p$-core grows to infinity. For this purpose, we associate the $p$-core with its characteristic vector and let all entries of this vector simultaneously tend to infinity. This result generalizes the Wronskian Hermite setting which is recovered when $p=2$.




cto

Type space functors and interpretations in positive logic. (arXiv:2005.03376v1 [math.LO])

We construct a 2-equivalence $mathfrak{CohTheory}^ ext{op} simeq mathfrak{TypeSpaceFunc}$. Here $mathfrak{CohTheory}$ is the 2-category of positive theories and $mathfrak{TypeSpaceFunc}$ is the 2-category of type space functors. We give a precise definition of interpretations for positive logic, which will be the 1-cells in $mathfrak{CohTheory}$. The 2-cells are definable homomorphisms. The 2-equivalence restricts to a duality of categories, making precise the philosophy that a theory is `the same' as the collection of its type spaces (i.e. its type space functor).

In characterising those functors that arise as type space functors, we find that they are specific instances of (coherent) hyperdoctrines. This connects two different schools of thought on the logical structure of a theory.

The key ingredient, the Deligne completeness theorem, arises from topos theory, where positive theories have been studied under the name of coherent theories.




cto

Converging outer approximations to global attractors using semidefinite programming. (arXiv:2005.03346v1 [math.OC])

This paper develops a method for obtaining guaranteed outer approximations for global attractors of continuous and discrete time nonlinear dynamical systems. The method is based on a hierarchy of semidefinite programming problems of increasing size with guaranteed convergence to the global attractor. The approach taken follows an established line of reasoning, where we first characterize the global attractor via an infinite dimensional linear programming problem (LP) in the space of Borel measures. The dual to this LP is in the space of continuous functions and its feasible solutions provide guaranteed outer approximations to the global attractor. For systems with polynomial dynamics, a hierarchy of finite-dimensional sum-of-squares tightenings of the dual LP provides a sequence of outer approximations to the global attractor with guaranteed convergence in the sense of volume discrepancy tending to zero. The method is very simple to use and based purely on convex optimization. Numerical examples with the code available online demonstrate the method.




cto

Defending Hardware-based Malware Detectors against Adversarial Attacks. (arXiv:2005.03644v1 [cs.CR])

In the era of Internet of Things (IoT), Malware has been proliferating exponentially over the past decade. Traditional anti-virus software are ineffective against modern complex Malware. In order to address this challenge, researchers have proposed Hardware-assisted Malware Detection (HMD) using Hardware Performance Counters (HPCs). The HPCs are used to train a set of Machine learning (ML) classifiers, which in turn, are used to distinguish benign programs from Malware. Recently, adversarial attacks have been designed by introducing perturbations in the HPC traces using an adversarial sample predictor to misclassify a program for specific HPCs. These attacks are designed with the basic assumption that the attacker is aware of the HPCs being used to detect Malware. Since modern processors consist of hundreds of HPCs, restricting to only a few of them for Malware detection aids the attacker. In this paper, we propose a Moving target defense (MTD) for this adversarial attack by designing multiple ML classifiers trained on different sets of HPCs. The MTD randomly selects a classifier; thus, confusing the attacker about the HPCs or the number of classifiers applied. We have developed an analytical model which proves that the probability of an attacker to guess the perfect HPC-classifier combination for MTD is extremely low (in the range of $10^{-1864}$ for a system with 20 HPCs). Our experimental results prove that the proposed defense is able to improve the classification accuracy of HPC traces that have been modified through an adversarial sample generator by up to 31.5%, for a near perfect (99.4%) restoration of the original accuracy.




cto

Enhancing Geometric Factors in Model Learning and Inference for Object Detection and Instance Segmentation. (arXiv:2005.03572v1 [cs.CV])

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




cto

High Performance Interference Suppression in Multi-User Massive MIMO Detector. (arXiv:2005.03466v1 [cs.OH])

In this paper, we propose a new nonlinear detector with improved interference suppression in Multi-User Multiple Input, Multiple Output (MU-MIMO) system. The proposed detector is a combination of the following parts: QR decomposition (QRD), low complexity users sorting before QRD, sorting-reduced (SR) K-best method and minimum mean square error (MMSE) pre-processing. Our method outperforms a linear interference rejection combining (IRC, i.e. MMSE naturally) method significantly in both strong interference and additive white noise scenarios with both ideal and real channel estimations. This result has wide application importance for scenarios with strong interference, i.e. when co-located users utilize the internet in stadium, highway, shopping center, etc. Simulation results are presented for the non-line of sight 3D-UMa model of 5G QuaDRiGa 2.0 channel for 16 highly correlated single-antenna users with QAM16 modulation in 64 antennas of Massive MIMO system. The performance was compared with MMSE and other detection approaches.




cto

Bitvector-aware Query Optimization for Decision Support Queries (extended version). (arXiv:2005.03328v1 [cs.DB])

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.




cto

Near-optimal Detector for SWIPT-enabled Differential DF Relay Networks with SER Analysis. (arXiv:2005.03096v1 [cs.IT])

In this paper, we analyze the symbol error rate (SER) performance of the simultaneous wireless information and power transfer (SWIPT) enabled three-node differential decode-and-forward (DDF) relay networks, which adopt the power splitting (PS) protocol at the relay. The use of non-coherent differential modulation eliminates the need for sending training symbols to estimate the instantaneous channel state informations (CSIs) at all network nodes, and therefore improves the power efficiency, as compared with the coherent modulation. However, performance analysis results are not yet available for the state-of-the-art detectors such as the approximate maximum-likelihood detector. Existing works rely on Monte-Carlo simulation to show that there exists an optimal PS ratio that minimizes the overall SER. In this work, we propose a near-optimal detector with linear complexity with respect to the modulation size. We derive an accurate approximate SER expression, based on which the optimal PS ratio can be accurately estimated without requiring any Monte-Carlo simulation.