Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz0719
%T Independent Report on the London Metropolitan Police Service's Trial of
Facial Recognition Software
%A P. Fussey
%A D. Murray
%Q The Human Rights, Big Data and Technology Project
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, society, human rights, live, face, facial,
recognition, LFR, CCTV, algorithm, big data, Neoface, MPS, police, policing,
London, UK, Scotland Yard, bias, discrimination, race, racial profiling,
legal, law, legality, state, controversial
%X "Between 2016 and 2019 the Metropolitan Police Service (MPS) conducted a
total of 10 test deployments, trialling live facial recognition (LFR)
technology during policing operations ... Overall, [it] generated 46 matches
(p.10) ... Adjudicating officers judged 16 (38.1%) of these 42 ...matches to
be 'non-credible' ... Of the remaining 22 stops, 14 (63.64%) were verified as
incorrect matches following an identity check. Eight (36.36%) were verified
as correct matches following an identity check. This means that across all
six observed trials, and from all computer-generated alerts, face recognition
matches were verifiably correct on eight occasions (eight of 42 matches,
19.05%). ..."
-- pdf@[www]['19].
(Also see [U_Ess'x][3/7/2019],
[The_G][4/7/2019],
[bbc][5/7/2019], &
[bbc][18/7/2019].)
[Also search for: facial recognition].
%T The work of the Biometrics Commissioner and the Forensic Science Regulator.
Nineteenth Report of Session 2017–19
%R HC1970
%Q House of Commons Science and Technology Committee
%M JUL
%D 2019
%K TR, HC1970, c2019, c201x, c20xx, zz0719, face, facial recognition,
human rights, police, UK, parliament, government, law, legal, privacy
%X "... It is now seven years since the 2012 High Court ruled that the
indefinite retention of innocent people's custody images was unlawful
and yet the practice is continuing. A system was meant to have
been put in place where any custody images were kept for six years and
then reviewed ... We call on the Government to issue a moratorium on the
current use of facial recognition technology and no further trials should
take place until a legislative framework has been introduced and guidance on
trial protocols, & an oversight & evaluation system, has been established."
-- pdf@[.uk][17/7/2019].
Also see [bbc][18/7/2019].
[Also search for: facial recognition].
%A M. Scanagatta
%A A. Salmerón
%A F. Stella
%T A survey on Bayesian network structure learning from data
%J Progress in AI
%P 1-15
%M MAY
%D 2019
%K jrnl, eJrnl, Bayesian network, Bnet, c2019, c201x, c20xx, zz0719, learning,
II, AI
%X "... In this survey, we review the most relevant structure learning
algorithms that have been proposed in the literature. We classify them
according to the approach they follow for solving the problem and we also
show alternatives for handling missing data and continuous variable. An
extensive review of existing software tools is also given."
-- [doi:10.1007/s13748-019-00194-y]['19].
[*Sadly, a lack of experiments comparing the performance of methods.*]
[Also search for: Bayesian network].
%A R. Gluck
%A T. Yokoyama
%T Constructing a binary tree from its traversals by reversible recursion and
iteration
%J IPL
%V 147
%P 32-37
%M JUL
%D 2019
%K jrnl, IPL, c2019, c201x, c20xx, zz0719, reversible, computing, computation,
trees, traversal, inverse, inversion, algorithm, recursion,
program, programming
%X "We cast two algs. to generate the inorder & preorder of the labels of a
binary tree in the context of reversible computing nearly three decades after
they were first examined in the light of program inversion. The reversible
traversals directly define the inverse algs. that reconstruct the binary tree
& have the same linear time & space requirements as the traversals. A
reversible while-language is extended with reversible recursion."
-- [doi:10.1016/j.ipl.2019.03.002]['19].
%A M. Bozorg
%A S. Salehkaleybar
%A M. Hashemi
%T Seedless graph matching via tail of degree distribution for correlated
Erdos-Renyi graphs
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, maths, graph, isomorphism, match, matching,
correspondence, morphism, seed, sparse, algorithm
%X "... recovering the node-to-node corr. between two correlated graphs. A
prev. work theoretically showed that recovering is feasible in sparse
E-R graphs if & only if the probability of having an edge between a pair of
nodes in one of the graphs & also between the corr. nodes in the other graph
is in the order of Omega(log(n)/n), where n is the # of nodes. ... we propose
a graph matching alg. which obtains correct matching with high prob. in E-R
graphs for the region of Theta(log(n)/n) without using a seed set of
pre-matched node pairs as an input. [It] assigns structurally innovative
features to high-degree nodes based on the tail of empirical degree distn of
their neighbor nodes. Then, it matches the high-degree nodes according to
these features, & finally obtains a matching for the remaining nodes. We
evaluate the performance of proposed alg. in the regions of Theta(log(n)/n)
& Theta(log^2(n)/n). Experiments show that it outperforms prev. works in both
regions."
-- 1907.06334@[arXiv]['19].
[Also search for: graph isomorphism].
%A J. Lenchner
%T On a Generalization of the Marriage Problem
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, Hall, symmetric, stable, marriage, Theorem,
maximal weighted bipartite matching, maths, graph, graphs
%X "We present a generalization of the marriage problem underlying Hall's famous
Marriage Theorem to what we call the Symmetric Marriage Problem, a problem
that can be thought of as a special case of Maximal Weighted Bipartite
Matching. We show that there is a solution to the Symmetric Marriage Problem
if and only if a variation on Hall's Condition holds on each of the
bipartitions. We prove both finite and infinite versions of this result and
provide applications."
-- [arXiv]['19].
%A A. Golinski
%A F. Wood
%A T. Rainforth
%T Amortized Monte Carlo integration
%X arXiv
%M JUL
%D 2019
%O Int. Conf. on Mach. Learning (ICML)
%K conf, TR, c2019, c201x, c20xx, zz0719, Monte Carlo integration, quadtrature,
algorithm, Bayesian inference, posterior, ICML
%X "Current approaches to amortizing Bayesian inference focus solely on
approximating the posterior distribution. Typically ... used to calculate
expectations for one or more target fns - a computational pipeline which is
inefficient when the target function(s) are known upfront. ... introduc[e]
AMCI, a method for amortizing Monte Carlo integration directly. AMCI operates
similarly to amortized inference but produces three distinct amortized
proposals, each tailored to a different component of the overall expectation
calculation. At runtime, samples are produced separately from each amortized
proposal, before being combined to an overall estimate of the expectation. We
show that while existing approaches are fundamentally limited in the level of
accuracy they can achieve, AMCI can theoretically produce arbitrarily small
errors for any integrable target fn using only a single sample from each
proposal at runtime. We further show that it is able to empirically
outperform the theoretically optimal self-normalized importance sampler on a
# of example problems. Furthermore, AMCI allows not only for amortizing over
datasets but also amortizing over target functions."
-- 1907.08082@[arXiv]['19].
%A D. Sumanaweera
%A L. Allison
%A A. Konagurthu
%T Statistical compression of protein sequences and inference of marginal
probability landscapes over competing alignments using finite state models
and Dirichlet priors
%J Bioinformatics
%V 35
%N 14
%P i360–i369
%M JUL
%D 2019
%O ISMB/ECCB, Basel, .ch, July 2019
%K jrnl, conf, MolBio, c2019, c201x, c20xx, zz0719, LAllison, ArunK,
bioinformatics, sequence, alignment, landscape, DPA, homology, protein,
proteins, probability, probabilistic, Bayesian, information, MML, MDL,
ISMB, ECCB
%X "The information criterion of minimum message length (MML) provides a
powerful statistical framework for inductive reasoning from observed data. We
apply MML to the problem of protein sequence comparison using finite state
models with Dirichlet distributions. The resulting framework allows us to
supersede the ad hoc cost functions commonly used in the field, by
systematically addressing the problem of arbitrariness in alignment
parameters, and the disconnect between substitution scores and gap costs.
Furthermore, our framework enables the generation of marginal probability
landscapes over all possible alignment hypotheses, with potential to
facilitate the users to simultaneously rationalize and assess competing
alignment relationships between protein sequences, beyond simply reporting a
single (best) alignment. We demonstrate the performance of our program on
benchmarks containing distantly related protein sequences."
-- [doi:10.1093/bioinformatics/btz368]['19].
Also see [protein].
%A S. Shultz
%A E. Nelson
%A R. I. M. Dunbar
%T Hominin cognitive evolution: Identifying patterns and processes in the
fossil and archaeological record
%J Royal Soc. Phil. Trans. B
%V 367
%P 2130-2140
%M AUG
%D 2012
%K jrnl, c2012, c201x, c20xx, zz0719, human, intelligence, IQ, hominins,
brain size, hominin encephalization, aeolian deposition, palaeoclimate,
cognition, evolution, Homo erectus, Homo sapiens
%X "... Using both absolute & residual brain size estimates, we show that
hominin brain evolution was likely to be the result of a mix of processes;
punctuated changes at approximately 100 kya, 1 Mya & 1.8 Mya are supplemented
by gradual within-lineage changes in Homo erectus & Homo sapiens sensu lato.
While brain size increase in Homo in Africa is a gradual process, migration
of hominins into Eurasia is associated with step changes at ~400 kya &
~100 kya. We then demonstrate that periods of rapid change in hominin brain
size are not temporally associated with changes in environmental
unpredictability or with long-term palaeoclimate trends. Thus, we argue that
commonly used global sea level or Indian Ocean dust palaeoclimate records
provide little evidence for either the variability selection or aridity
hypotheses explaining changes in hominin brain size. Brain size change at
approximately 100 kya is coincident with demographic change & the appearance
of fully modern language. However, gaps remain in our understanding of the
external pressures driving encephalization, which will only be filled by
novel applications of the fossil, palaeoclimatic & archaeological records."
-- [doi:10.1098/rstb.2012.0115]['19].
(Also see the bbc[10/4/2019].)
%A G. Musser
%A D. Ksepka
%A D. J. Field
%T New material of Paleocene-Eocene Pellornis (Aves: Gruiformes) clarifies the
pattern and timing of the extant Gruiform radiation
%J Diversity
%V 11
%N 7
%P 102
%M JUN
%D 2019
%K c2019, c201x, c20xx, zz0719, biology, evolution, phylogeny, bird, birds,
survived, ground dwelling, arboreal, dinosaur, Cretaceous mass extinction,
Pellornis mikkelseni, Ralloidea, Gruiforme, Neoaves
%X "Pellornis mikkelseni is an early gruiform from the latest Paleocene-earliest
Eocene Fur Formation of Denmark. At ~54 million years old, it is among the
earliest clear records of the Gruiformes. The holotype specimen, & only
material thus far recognised, was originally considered to comprise a partial
postcranial skeleton. ...
Phylogenetic analyses recover a clade containing P.mikkelseni, Messelornis,
Songzia and crown Ralloidea, supporting P.mikkelseni as a crown gruiform.
The phylogenetic position of P.mikkelseni illustrates that some recent
divergence time analyses have underestimated the age of crown Gruiformes.
Our results suggest a Paleocene origin for this important clade, bolstering
evidence for a rapid early radiation of Neoaves following the end-Cretaceous
mass extinction."
-- [doi:10.3390/d11070102 ]['19].
(Also see NatGeo[24/5/2018].
%A A. Asperti
%A C. Giovannetti
%A A. Naletto
%T The Bologna optimal higher-order machine
%R UBLCS-95-9
%I Lab. for Comp. Sci., U. of Bologna, Italy
%D 1995
%O JFP, 6(6), pp.763-810, Nov. 1996
%K FP, c1995, c199x, c19xx, zz0719, functional programming, language, BOHM,
graph reduction, reduction, Lamping, Gonthier, Asperti, share, lambda,
sharing, implementation
%X "... prototype implementation of the core of a functional language based
on (a variant of) Lamping's optimal graph reduction technique
(Lamping, 1990; Gonthier et al., 1992a; Asperti, 1994). ..."
-- [doi:10.1017/S0956796800001994]['19].
Also see
[inria]['19].
[Also search for: FP BOHM].
%A D. Darais
%A D. van Horn
%T Constructive Galois connections
%J JFP
%V 29
%P e11
%M JUL
%D 2019
%K jrnl, eJrnl, FP, JFP. c2019, c201x, c20xx, zz0719, Galois connection,
functional programming, language, semantics, proof, proofs, theorem proving,
maths, assistant, abstract interpretation, gradual typing
%X "Galois connections are a foundational tool for structuring abstraction in
semantics, and their use lies at the heart of the theory of abstract
interpretation. Yet, mechanization of Galois connections using proof
assistants remains limited to restricted modes of use ... presents
constructive G.connections, a variant of G.connections that is effective both
on paper & in proof assistants ... identify a restricted mode of use of
classical GCs which is both general and amenable to mechanization in
dependently typed functional programming languages. Crucial to our metatheory
is the addition of monadic structure to GCs to control a 'specification
effect.' Effectful calculations may reason classically, while pure
calculations have extractable computational content. ... provide two case
studies in mechanizing existing proofs from the literature: the first uses
calculational abstract interpretation to design a static analyzer, and the
second forms a semantic basis for gradual typing. Both mechanized proofs
closely follow their original paper-and-pencil counterparts, employ reasoning
principles not captured by prev. mechanization approaches, support the
extraction of verified algs., and are novel."
-- [doi:10.1017/S0956796819000066]['19].
Also see GC@[wikip]['19].
[Also search for: maths proof assistant] and
[also search for: theorem proving].
%A B. Bratsberg
%A O. Rogeberg
%T Flynn effect and its reversal are both environmentally caused
%J PNAS
%V 115
%N 26
%P 6674-6678
%M JUN
%D 2018
%K jrnl, PNAS, c2018, c201x, c20xx, zz0719, human, intelligence, IQ,
Flynn effect, Flyn, reverse, reversal, reversed, decline
%X "Population intelligence quotients increased throughout the 20th century -
a phenomenon known as the Flynn effect - although recent years have seen a
slowdown or reversal of this trend in several countries. To distinguish
between the large set of proposed explanations, we categorize hypothesized
causal factors by whether they accommodate the existence of within-family
Flynn effects. Using administrative register data & cognitive ability scores
from military conscription data covering three decades of Norwegian birth
cohorts (1962-1991), we show that the observed Flynn effect, its turning
point, & subsequent decline can all be fully recovered from within-family
variation. The analysis controls for all factors shared by siblings & finds
no evidence for prominent causal hypotheses of the decline implicating genes
& environmental factors that vary between, but not within, families."
-- [doi:10.1073/pnas.1718793115]['19].
(Also see the bbc[10/4/2019].)
[Also search for: Flynn effect].
%A K. Devlin
%T Turned On: Science, Sex and Robots
%I BloomsburySigma
%P 288
%M DEC
%D 2018
%K book, c2018, c201x, c20xx, zz0719, AI, sex, robot, robots, sexbot, android,
humanoid, human, society
%X 1st ed 2018; hb us$23; uk us isbn:1472950895; uk us sibn13:978-1472950895.
"The idea of the seductive sex robot is the stuff of myth, legend and science
fiction. From the ancient Greeks to twenty-first century movies ... Sex
robots are here, and here to stay--and more are coming ..."
[Also search for: sex robot].
%A N. Brown
%A T. Sandholm
%T Superhuman AI for multiplayer poker
%J Science
%V ?
%P eaay2400
%M JUL
%D 2019
%K c2019, c201x, c20xx, zz0719, AI, poker, six player no limit Texas hold'em,
poker, holdem, professional, Pluribus, card game, cards, games
%X "... present Pluribus, an AI that we show is stronger than top human
professionals in six-player no-limit Texas hold'em poker, the most popular
form of poker played by humans."
-- [doi:10.1126/science.aay2400]['19].
%A E. Musk
%T An integrated brain-machine interface platform with thousands of channels
%J bioRxiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, brain, machine, interface, implant,
electrode, channel, control, Elon Musk, Neuralink, cyborg, borg, BMI, BMIs
%X "... We have built arrays of small & flexible electrode 'threads', with as
many as 3,072 electrodes per array distributed across 96 threads. We have
also built a neurosurgical robot capable of inserting six threads (192
electrodes) per minute. Each thread can be individually inserted into the
brain with micron precision for avoidance of surface vasculature & targeting
specific brain regions. The electrode array is packaged into a small
implantable device that contains custom chips for low-power on-board
amplification & digitization: the package for 3,072 channels occupies less
than (23 x 18.5 x 2) mm3. A single USB-C cable provides full-bandwidth data
streaming from the device, recording from all channels simultaneously. This
system has achieved a spiking yield of up to 85.5% in chronically implanted
electrodes. ..."
-- 10.1101/703801v2@[bio'xiv]['19].
(Also see neuralink[www]['19].)
%A Z. Corbyn
%T Margaret Hamilton: "They worried that the men might rebel. They didn't"
%J The Guardian
%M JUL
%D 2019
%K news, c2019, c201x, c20xx, zz0719, grauniad, computer science, Apollo 11,
NASA, moon landing, 1969, software, Margaret Hamilton, woman, women, science,
STEM, web, www, HREF
%X "Computer pioneer Margaret Hamilton was critical to landing astronauts on
the moon for the first time on 20 July 1969 and returning them safely a few
days later. The young Massachusetts Institute of Technology (MIT) computer
programmer and working mother led the team that created the onboard flight
software for the Apollo missions, including Apollo 11. ..."
-- [13/7/2019].
[Also search for: women science STEM].
%A M. Dillon
%T University of Adelaide to run probe into 'culture' at world-class
ancient DNA lab
%J ABC
%M JUL
%D 2019
%K news, views, c2019, c201x, c20xx, zz0719, university, Adelaide, Australia,
Australian, research, ACAD, Ancient DNA, academia, scientific research,
university management, scientific, culture, toxic, KPI, KPIs
%X '... The university confirmed it was undertaking a "culture check" at the
Australian Centre for Ancient DNA (ACAD) ... described the culture at ACAD
as "cut-throat", "competitive" and "everyone was in it for themselves". ...
"We all developed health problems, I developed really debilitating stomach
problems that would floor me anything from a week to a month," ...'
-- [abc][12/7/2019].
%A A. Cropper
%A R. Morel
%A S. H. Muggleton
%T Learning higher-order logic programs
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, LP, ILP, MIL, ASP, inductive logic program,
AI, II, learn, high, higher, first, second, order
%X "A key feature of inductive logic programming (ILP) is its ability to learn
first-order programs, which are intrinsically more expressive than
propositional programs. In this paper, we introduce techniques to learn
higher-order programs. Specifically, we extend meta-interpretive learning
(MIL) to support learning higher-order programs by allowing for
higher-order definitions to be used as background knowledge. Our
theoretical results show that learning higher-order programs, rather than
first-order programs, can reduce the textual complexity required to express
programs which in turn reduces the size of the hypothesis space and sample
complexity. ..."
-- 1907.10953@[arXiv]['19].
[Also search for: logic ILP].
%A A. J. DeLong
%T Phenomenological space-time: Toward an experiential relativity
%J Science
%V 213
%N 4508
%P 681-683
%M AUG
%D 1981
%K jrnl, c1981, c198x, c19xx, zz0719, human, mind, perception, time, arrow,
scale, size, psychology
%X "Subjects observing differently scaled environments undergo systematic shifts
in the experience of time. The experience of temporal duration is compressed
relative to the clock in the same proportion as scale-model environments
being observed are compressed relative to the full-sized environment. This
research suggests that spatial scale may be a principal mediator in the
experience of time."
-- [doi:10.1126/science.7256273]['19].
%A R. J. Sternberg
%T Speculations on the role of successful intelligence in solving contemporary
world problems
%J J. Intelligence
%V 6
%N 1
%P 4
%M JAN
%D 2018
%K jrnl, c2018, c20x, c20xx, zz0719, human intelligence, IQ, creativity,
wisdom, smartness, clever, cleverness, wise, wisdom, society, commonsense,
common sense, Flynn effect, SAT, ACT, GRE, foolishness, school, education
%X "... I argue that conventional views of intelligence and its measurement have
contributed toward at least some of the societal problems of today. I
suggest that to escape from a degenerative process, society needs to consider
the importance not only of intelligence, as conventionally defined but also
of successful intelligence, involving in addition to conventional analytical
intelligence, common sense, creativity, and wisdom."
-- [doi:10.3390/jintelligence6010004]['19].
(Also see the bbc[10/4/2019].)
%A F. Gesiarz
%A D. Cahill
%A T. Sharot
%T Evidence accumulation is biased by motivation: A computational account
%J PLoS Comp. Biol.
%V 15
%N 6
%P e1007089
%M JUN
%D 2019
%K jrnl, eJrnl, c2019, c201x, c20xx, zz0719, human, behaviour, mind, bias,
psychology, decision making, judgement, model
%X "To make good judgments people gather information. ... an agent needs to
solve is when to continue sampling data and when to stop gathering evidence.
... Results show that participants' judgments were biased towards believing
they were in the desirable state. They required a smaller proportion of
supporting evidence to reach that conclusion and ceased gathering samples
earlier when reaching the desirable conclusion. The findings were replicated
in an additional sample of participants. ... modeled the data using a
drift-diffusion model. ... found that a valence-dependent model, with both a
response bias & a process bias, fit the data better than a range of other..."
-- [doi:10.1371/journal.pcbi.1007089]['19].
%A P. Cousot
%A R. Cousot
%T Abstract interpretation: A unified lattice model for static analysis of
programs by construction of approximate fixpoints
%J Proc, 4th ACM Symp. on Principles of Prog. Langs.
%P 238-252
%D 1977
%K conf, POPL, FP, c1977, c197x, c19xx, zz0719, abstract interpretation,
program analysis, programming languages
%X pdf@[ens.fr]['19].
[Also search for: abstract interpretation].
%A F. Santosa
%A W. W. Symes
%T Linear inversion of band-limited reflection seismograms
%J SIAM J. Sci. and Stat. Comput.
%V 7
%N 4
%P 1307-1330
%D 1986
%K jrnl, c1986, c198x, c19xx, zz0719, stats, lasoo, deconvolution,
estimation, parameter, parameters, shrinkage
%X "... a method for the linear inversion (deconvolution) of band-limited
reflection seismograms. A large convolution problem is first broken up into a
sequence of smaller problems. Each small problem is then posed as an
optimization problem to resolve the ambiguity presented by the band-limited
nature of the data. A new cost functional is proposed that allows robust
profile reconstruction in the presence of noise. An algorithm for minimizing
the cost functional is described. We present numerical experiments ..."
-- [doi:10.1137/0907087]['19].
[Also search for: lasoo stats].
(Also see lasoo@[wikip]['19].)
%A L. Brelman
%T Better subset regression using the nonnegative garrote
%J Technometrics
%V 37
%N 4
%P 373-384
%D 1995
%K jrnl, c2995, c199x, c19xx, zz0719, stats, lasoo, nonnegative garrote, garrot,
garotte, garrotte, nnGarrote, shrinkage
%X "A new method, called the nonnegative (nn) garrote, is proposed for doing
subset regression. It both shrinks and zeroes coefficients. In tests on real
and simulated data, it produces lower prediction error than ordinary subset
selection. It is also compared to ridge regression. If the regression
equations generated by a procedure do not change drastically with small
changes in the data, the procedure is called stable. Subset selection is
unstable, ridge is very stable, and the nn-garrote is intermediate.
Simulation results illustrate the effects of instability on prediction
error."
-- [doi:10.1080/00401706.1995.10484371]['19].
[Also search for: stats lasoo].
(Also see lasoo@[wikip]['19].)
%T White Paper WP-2017-011: Applying Visual Interactive Dimensionality
Reduction to Criminal Intelligence Analysis
%D 2017
%K TR, c2017, c201x, c20xx, zz0719, VALCRI, crime, criminal investigation,
police, policing, UK, EU, AI, stats, visual analytics, law, legal
%X "VALCRI provides a challenging and overwhelming high-dimensional dataset that
comprises of hundreds of extracted semantic features in addition to the
usual spatiotemporal information or metadata. To overcome the curse of
dimensionality and to generate low-dimensional representations of these
semantic features we apply interactive high-dimensional data analysis
techniques with the goal of obtaining clusters of similar crime reports.
However, it is still a challenge for crime analysts to make sense of the
results and to provide useful interactive feedback to the system. Therefore,
we provide several tightly integrated interactive visualizations that allow
the analysts to identify clusters of similar crimes from different
perspectives and interactively focus their analysis on features or crime
records of particular interest."
-- [www]['19]
at [valcri.org]['19].
%A L. Rocher
%A J. M. Hendrickx
%A Y.-A. de Montjoye
%T Estimating the success of re-identifications in incomplete datasets using
generative models
%J NatureComms
%V 10
%P 3069
%M JUL
%D 2019
%K jrnl, eJrnl, c2019, c201x, c20xx, zz0719, stats, data anonymizing,
anonymising, anonymous, deidentification, reidentification, reidentifying,
reidentify, dataset, population, privacy, GDPR, identity, Australia,
myHealth, healthcare, risk, risks, personal, health records, SingHealth
%X "... Anonymizing datasets through de-identification & sampling before sharing
them has been the main tool used to address those concerns. ... propose a
generative copula-based method that can accurately est. the likelihood of a
specific person to be correctly re-identified, even in a heavily incomplete
dataset. On 210 popns, our method obtains AUC scores for predicting
individual uniqueness ranging from 0.84 to 0.97, with low false-discovery
rate. ... we find that 99.98% of Americans would be correctly re-identified
in any dataset using 15 demographic attributes. Our results suggest that even
heavily sampled anonymized datasets are unlikely to satisfy the modern stds
for anonymization set forth by GDPR & seriously challenge the technical &
legal adequacy of the de-identification release-and-forget model."
-- [doi:10.1038/s41467-019-10933-3]['19].
[Also search for: data anonymizing].
(Also see [more]['18].)
%A S. McCauley
%T Approximate similarity search under edit distance using locality-sensitive
hashing
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, string, strings, edit distance, match,
matching, search, retrieval, locality, sensitive, hash, hashing, LSH, speed,
approximate nearest neighbor problem
%X "... preprocess n strings of length d to quickly answer queries q of the
form: if there is a database string within edit distance r of q, return a
DB string within ED cr of q. ... In this work we achieve the first bounds for
any approximation factor c, via a simple & easy-to-implement hash fn. This
gives a running time of O~(d3^rn^{1/c}), with space O~(3^rn^{1+1/c}+dn). We
show how to apply these ideas to the closely-related Approximate Nearest
Neighbor problem for edit distance, obtaining similar time bounds."
-- 1907.01600@[arXiv]['19].
[Also search for: locality sensitive hashing].
%A R. Giancarlo
%A G. Manzini
%A A. Restivo
%A G. Rosone
%A M. Sciortino
%T The alternating BWT: an algorithmic perspective
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, Alternating Burrows-Wheeler Transform, ABWT,
BWT, string, strings, alternating lexicographical order, algorithm, Gessel
%X "The Burrows-Wheeler Transform (BWT) ... The Alternating Burrows-Wheeler
Transform (ABWT) is another transformation recently introduced in [Gessel et
al. 2012] & studied in the field of Combinatorics on Words. It is analogous
to the BWT, except that it uses an alternating lexicographical order instead
of the usual one. Building on results in [Giancarlo et al. 2018], where we
have shown that BWT & ABWT are part of a larger class of reversible
transformations, here we provide a combinatorial & algorithmic study of the
novel transform ABWT. We establish a deep analogy between BWT & ABWT by
proving they are the only ones in the above mentioned class to be
rank-invertible, a novel notion guaranteeing efficient invertibility. [&] we
show that the backward-search procedure can be efficiently generalized to the
ABWT; this result implies that also the ABWT can be used as a basis for
efficient compressed full text indices. Finally, we prove that the ABWT can
be efficiently computed by using a combination of the Difference Cover suffix
sorting algorithm [Karkkainen et al., 2006] with a linear time alg. for
finding the minimal cyclic rotation of a word wrt the alt.lex. order."
-- 1907.02308@[arXiv]['19].
%A V. Lanvin
%A M. Laurent
%A K. Nguyen
%A G. Castagna
%T Revisiting occurrence typing
%J arXiv
%M JUL
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, FP, gradual type, types, occurrence typing,
check, checking, programming language
%X "... [OT] a technique to refine the type of vars occurring in type-cases and,
thus, capture some programming patterns used in untyped languages. Although
occurrence typing was tied from its inception to set-theoretic types-union
types, in particular-it never fully exploited the capabilities of these
types. Here we show how, by using set-theoretic types, it is possible to
develop a general typing framemork that encompasses and generalizes several
aspects of current occurrence typing proposals and that can be applied to
tackle other problems such as the inference of intersection types for
functions & the optimization of the compilation of gradually typed langs."
-- 1907.05590@[arXiv]['19].
[Also search for: gradual type].
%T Operation soft cell: A worldwide campaign against
telecommunications providers
%I Cyberreason
%M JUN
%D 2019
%K TR, c2019, c201x, c20xx, zz0719, cell, phone, cellular, mobile phones, hack,
hacking, hackers, networks, internet, security, threat, risks, China,
Chinese, APT10, chopper, w3wp.exe, nbtscan, mimikatz, softcell,
web, www, HREF, servers
%X "... In 2018, the Cybereason Nocturnus team identified an advanced,
persistent attack targeting global telecommunications providers carried out
by a threat actor using tools and techniques commonly associated with the
Chinese-affiliated threat actor APT10. This multi-wave attacks focused on
obtaining data of specific, high-value targets and resulted in a complete
takeover of the network ..."
-- cybereason[25/6/2019]['19].
(Also see the bbc[25/6/2019]['19].)
%A J. E. Grant
%A K. Lust
%A S. R. Chamberlain
%T Problematic smartphone use associated with greater alcohol consumption,
mental health issues, poorer academic performance, and impulsivity
%J J. of Behavioral Addictions
%V 8
%N 2
%M JUL
%D 2019
%K jrnl, eJrnl, c2019, c201x, c20xx, zz0719, human, social media, smartphone,
iphone, university student, students, use, usage, addiction, addictive,
addict, drinking, alcohol, problems, risks, society, public, mental health,
behaviour, internet, www
%X "... A 156-item anonymous online survey was distributed via email to a
sample of 9,449 university students. ... A total of 31,425 participants were
included in the analysis, of whom 20.1% reported problematic smartphone use.
Problematic use of smartphones was associated with lower grade point averages
and with alcohol use disorder symptoms. It was also sig. assoc. with
impulsivity (Barratt scale and ADHD) and elevated occurrence of PTSD,
anxiety, and depression. Finally, those with current problems with smartphone
use were significantly more sexually active. ..."
-- [doi:10.1556/2006.8.2019.32]['19].