Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz1022
%T European Joint Conferences on Theory and Practice of Software
%K ETAPS, 2005, ETAPS23,2020, ETAPS24,2021, ETAPS25,2022, ETAPS26,2023,
CFP,conf,www,HREF,http,EEC,programming,language,SWE, zz1022, zz1023
%X [22-27 April 2023], Paris, deadline 13 Oct 2022
[2-7 April 2022], Munich, deadline 14 Oct 2021
[27 March-1 April 2021] (online, covid), deadline 15 Oct 2020
...
%T Int. Symp. on Functional and Logic Programming (FLOPS)
%K FLOPS, 2003,FLOPS7, FLOPS2004,2004, FLOPS10,2010, FLOPS11,2012, FLOPS14,2018,
FLOPS15,2020, FLOPS16,2022,
conf,CFP,Japan,.jp,FP,LP,www,HREF,http, zz1022, zz1023
%X ? 2022 ?
[2022 May 10-12], Kyoto, deadline 14 Nov 2021
[2020 April 23-25], Akita, deadline 15 November 2019
... takes place about every 1.5 years in Japan.
%T Int. Symp. on Practical Aspects of Declarative Languages
%K PADL, PADL18,2016, PADL19,2017, PADL20,2018, PADL21,2019, PADL22,2020,
PADL23,2021, PADL24,2022, PADL25,2023,
CFP,conf,programming,applications,FP,LP,www,HREF,http, zz0922,zz1022, zz0923
%X [15-21 Jan 2023] Boston, deadline 2/10/2022
[2022 Jan 17-18] Philadelphia, deadline 1 Oct 2021
[2021 Jan 18-19] where?, deadline 9 Oct 2020
...
[Also search for: conf CFP FP].
%T Workshop on Partial Evaluation and Program Manipulation
%K PEPM, PEPM23,2023, PEMP22,2022, PEMP21,2021, PEMP20,2020, PEMP19,2019,
PEMP18,2018, PEMP17,2017, PEMP16,2016, PEPM10,2010, PEPM09,2009, PEPM08,2008,
PEPM07,2007, PEPM06,2006, PEPM95,1995,
wShop,CFP,www,FP,HREF,http, zz1022, zz1023, zz1024
%X [15-21 Jan 2023], Boston, deadline 13 Oct 2022.
[17-18 Jan 2022], Philadelphia, deadline 7 Oct 2021.
[17-22 Jan 2021], Copenhagen, deadline 8 Oct 2020.
. . .
%T Rocky Mountain Bioinformatics Conf. (Rocky, Aspen, Colorado)
%K ROCKY, Rocky5,Rocky07,2007, Rocky6,2008, Rocky7,2009, Rocky8,2010,
Rocky9,2011, Rocky10,2012, Rocky11,2013, Rocky12,2014, Rocky14,2016,
Rocky18,2018, Rocky19,2019, Rocky20,2020, Rocky21,2021, Rocky22, 2022,
conf,CFP,MolBio,www,HREF,http, zz1023, zz1021, zz1022
%X [2022 Dec 8-10], deadline 17 Oct 2022.
[2021 Dec 2-4], deadline 12 Oct 2020.
[2020 Dec 3-5], cancelled (covid-19)
. . .
%A B. J. Kagan
%A et al ...
%A K. J.Friston
%T In vitro neurons learn and exhibit sentience when embodied in a
simulated game-world
%J Neuron
%V ?
%M OCT
%D 2022
%K jrnl, c2022, c202x, c20xx, zz1022, DishBrain, human, rodent, neuron,
NN, ANN, BNN, game, Pong
%X "Integrating neurons into digital systems may enable performance infeasible
with silicon alone. Here, we develop DishBrain ... neurons in a structured
environment. In vitro NNs from human or rodent origins are integrated with
in silico computing ... cultures are embedded in a simulated game-world,
mimicking the arcade game 'Pong' ... we find apparent learning within five
minutes of real-time gameplay ..."
-- [doi:10.1016/j.neuron.2022.09.001]['22] online Oct 2022.
%A M. Blaser
%T Fast matrix multiplication
%J Theory of Comp.
%S Graduate Surveys 5
%M DEC
%D 2013
%K c2013, c201x, c20xx, zz1022, fast, matrix multiplication, tensor, tensors,
algorithm, bilinear
%X "... overview of the history of fast algs. for m.m. [&] look at some other
fundamental problems in algebraic complexity like polynomial eval'n. ...
we have to treat tensors in a very concrete way (which might annoy people
coming from maths), occasionally prove basic results from combinatorics, &
solve rec. inequalities explicitly (because we want to annoy people with a
b/g in theoretical CS, too)." (60 pages)
-- [doi:10.4086/toc.gs.2013.005]['22].
[Also search for: fast matrix multiplication algorithm].
%A Li Chen
%A et al ...
%A S. Sachdeva
%T Maximum flow and minimum-cost flow in almost-linear time
%J arXiv
%M APR
%D 2022
%K TR, c2022, c202x, c20xx, zz1022, maths, graph, maximum flow, algorithm,
max, min cost, network
%X "... alg. that computes exact maximum flows & minimum-cost flows on directed
graphs with m edges & polynomially bounded integral demands, costs, &
capacities in m^{1+o(1)} time. ... builds the flow through a seq. of
m^{1+o(1)} approx. undirected minimum-ratio cycles, each of which is computed
& processed in amortized m^{o(1)} time using a new dynamic graph data struct.
Our framework extends to algs. running in m^{1+o(1)} time for computing flows
that minimize general edge-separable convex fns to high accuracy. This gives
almost-linear time algs. for several problems including entropy-regularized
optimal transport, matrix scaling, p-norm flows, & p-norm isotonic regression
on arbitrary directed acyclic graphs."
-- 2203.00671@[arXiv]['22].
[Also search for: graph maximum flow].
&A A. Fawzi
%A et al
%T Discovering faster matrix multiplication algorithms with
reinforcement learning
%J Nature
%V 610
%K OCT
%D 2022
%K c2022, c202x, c20xx, zz1022, fast, small, 3x3, 4x4, matrix multiplication,
algorithm, DeepMind, alphazero, alphatensor, ANN, NN
%X "... we report a deep reinforcement learning approach based on AlphaZero for
discovering efficient & provably correct algs. for the mult'n of arbitrary
matrices. ... AlphaTensor, is trained to play a single-player game where the
objective is finding tensor decompositions within a finite factor space. ...
discovered algs. that outperform the state-of-the-art complexity for many
matrix sizes. Particularly relevant is the case of 4x4 matrices in a f.f,
where [it] improves on Strassen's two-level algorithm ..."
-- [doi:s41586-022-05172-4]['22].
(Interesting certainly, but open to being overhyped.
Also see MM@[wikip]['22].)
[Also search for: fast matrix algorithm multiplication].
%A P. Ganapathi
%A R. Chowdhury
%T Parallel divide-and-conquer algorithms for bubble sort, selection sort and
insertion sort
%J COMPJ
%V 65
%N 10
%P 2709-2719
%M OCT
%D 2022
%O ? "Published: 02 Aug. 2021" ?
%K COMPJ, jrnl, c2022, c202x, c20xx, zz1022, parallel sorting algorithm, sort
%X "We present efficient parallel recursive divide-and-conquer algs. for bubble
sort, selection sort, & insertion sort. ... have excellent data locality &
are highly parallel. The computational complexity of our insertion sort is
O(n^{log_2^3) in contrast to O(n^2) of std insertion sort." [33 refs]
-- [doi:10.1093/comjnl/bxab107]['22].
%A T. Kojima
%A et al
%T Large language models are zero-shot reasoners
%J arXiv
%M MAY
%D 2022
%K TR, c2022, c202x, c20xx, zz1022, NN, ANN, large language model, LLM, natural,
reasoner, MultiArith, GSM8K, AQUA-RAT, SVAMP, GSM8K
%X '... we show that LLMs are decent zero-shot reasoners by simply adding
"Let's think step by step" before each answer. Experimental results demo.
that our Zero-shot-CoT, using the same single prompt template, sig.
outperforms zero-shot LLM performances on diverse benchmark reasoning tasks
inc. arithmetics (MultiArith, GSM8K, AQUA-RAT, SVAMP), symbolic reasoning
(Last Letter, Coin Flip), & other logical reasoning tasks (Date
Understanding, Tracking Shuffled Objects), without any hand-crafted few-shot
examples, e.g. increasing the accuracy on MultiArith from 17.7% to 78.7% &
GSM8K from 10.4% to 40.7% with 175B parameter InstructGPT model, as well as
similar magnitudes of improvements with another off-the-shelf large model,
540B parameter PaLM ...'
-- 2205.11916@[arXiv]['22].
[Also search for: large language model].
(Does no one worry about "175B parameter[s]"?)
%A F.S. Dunn
%A et al
%T A crown-group cnidarian from the Ediacaran of Charnwood Forest, UK
%J Nature Ecol. and Evol.
%V 6
%P 1095-1104
%M AUG
%D 2022
%K jrnl, c2022, c202x, c20xx, zz1022, biology, biol, ancient, animal, jellyfish,
coral, corals, Ediacaran, animalia, fossil, Auroralumina attenboroughii,
medusozoan
%X "... we describe a new fossil cnidarian - Auroralumina attenboroughii gen.
et sp. nov. - from the Ediacaran of Charnwood Forest (557-562 million years
ago) that shows two bifurcating polyps enclosed in a rigid, polyhedral,
organic skeleton with evidence of simple, densely packed tentacles. ... a
stem-group medusozoan &, therefore, the oldest crown-group cnidarian. ..."
-- [doi:10.1038/s41559-022-01807-x]['22].
(Also see animal@[wikip]['22].)
[Also search for: ancient animal].
%A D. Lagarde
%A L. Kazak
%T The timing of eating controls energy use. Synchronizing food intake with
the body clock boosts thermogenesis and limits obesity
%J Science
%V 378
%N 6617
%M OCT
%D 2022
%K news, c2022, c202x, c20xx, zz1022, human healthm diet, fasting, eating,
time restricted, weight, obesity
%X "... Diet-induced obesity is modeled in mice by using energy-dense, high-fat
diets. When the time window of high-fat food intake is restricted
[time-restricted feeding (TRF)], weight gain is attenuated, but the
underlying mechanisms are not resolved. On page 276 of this issue, Hepler et
al. reveal that TRF during the active period of the circadian clock (at
night) protects mice from diet-induced obesity by enhancing adipocyte
thermogenesis."
-- [doi:10.1126/science.ade672]['22].
%A L. Skov
%A et al
%T Genetic insights into the social organization of Neanderthals
%J Nature
%V 610
%P 519-525
%M OCT
%D 2022
%K jrnl, MolBio, c2022, c202x, c20xx, zz1022, ancient DNA, Neanderthal, hominin,
Chagyrskaya, Okladnikov cave, mitochondria, Ychromosome, Ychr, chrY, chr Y
%X "... present genetic data for 13 Neanderthals from two Middle Palaeolithic
sites in the Altai Mountains of southern Siberia: 11 from Chagyrskaya Cave &
2 from Okladnikov Cave ... Some Chagyrskaya individuals were closely related
... best explained by female migration between communities ..."
-- [doi:10.1038/s41586-022-05283-y]['22].
[Also search for: MolBio ancient DNA] and [also search for: Neanderthal].
%A C. Doust
%A et al
%T Discovery of 42 genome-wide significant loci associated with dyslexia
%J NatureGenetics
%V ?
%P ?-?
%M OCT
%D 2022
%K jrnl, c2022, c202x, c20xx, zz1022, MolBio, dyslexia, genes, GWAS
%X "... Family studies of dyslexia suggest heritability up to 70% ...
genome-wide assoc. study of 51,800 adults self-reporting a dyslexia diagnosis
& 1,087,070 controls & identified 42 indep. genome-wide sig. loci: 15 in
genes linked to cognitive ability/educational attainment, & 27 new &
potentially more specific to dyslexia. ..."
-- [doi:10.1038/s41588-022-01192-y]['22].
%A A. Mingkun Yang
%A T. Wrigstad
%T Deep dive into ZGC: A modern garbage collector in OpenJDK
%J ACM Trans. on Prog. Languages and Sys.
%V 44
%N 4
%P 1-34
%M DEC
%D 2022
%K jrnl, c2022, c202x, c20xx, zz1022, garbage collection, GC, ZGC, Java,
openJDK
%X "ZGC is a modern, non-generational, region-based, mostly concurrent,
parallel, mark-evacuate collector recently added to OpenJDK. It aims at
having GC pauses that do not grow as the heap size increases, offering low
latency even with large heap sizes ..."
-- [doi:10.1145/3538532]['22] online Oct 2022.
%A L. Allison
%T Allison's law
%M OCT
%D 2022
%K c2022, c202x, c20xx, zz1022, LAllison, Lloyd, Allisons, funny law, laws,
axiom, principle, Optus, data breach, identity theft, scam, fraud, personal,
DOB, privacy, security
%X "Any set of private information[*] used to establish the identity of
an individual who is remote[#] will rapidly become unfit for purpose."
... this in the wake of the Optus data breach and
in the spirit of Goodhart's/Campbell's law.
(The principle is v.probably out-there from long ago, although
maybe I can still claim it in an instance of Stigler's law?)
[*] e.g., date of birth (dob), phone number, pet's name, licence number.
[#] e.g., phone, email, login.
[Also search for: funny laws].
%A E. Terzon
%T Medibank, Optus hacks and ATO attacks expose identity-theft
risks, warn cyber security experts
%I ABC
%M OCT
%D 2022
%K news, c2022, c202x, c20xx, zz1022, Optus, Medicare, data breach,
hack, identity theft, ATO, Australia, Cybersecurity
%X "The Australian Tax Office has revealed it gets 3 million
attempted hacks on its systems every month ... Medibank has now
admitted that the personal data of some of its customers has been
stolen in the cyber attack, inc. Medicare information, policy
numbers, & some claims data. It follows the breach on telco Optus,
where hackers claimed to have accessed the data of 9.8 million
current and former customers, including their passports, drivers
licences and Medicare card details. ..."
-- [ABC][21/10/2022].
[Also search for: Allison's law].
%A E. Terzon
%A S. Yang
%T Medibank says all customers' personal data compromised by cyber attack
%I ABC
%M OCT
%D 2022
%K news, c2022, c202x, c20xx, zz1022, Australia, Medibank, health data breach,
healthcare, identity theft, security, privacy, hack
%X "Medibank has confirmed the criminal entity behind the cyber attack on the
company had access to the data of at least 4 million customers, some of which
includes health claims. ..."
-- [abc][26/10/2022].
[Also search for: medibank].
%A D. Larsen
%T Bertrand's postulate for Carmichael numbers
%J Int. Math. Res. Notices
%M JUL
%D 2022
%K jrnl, c2022, c202x, c20xx, zz1022, Carmichael numbers, maths, young students,
number theory
%X "Alford et al. [1] proved that there are infinitely many Carmichael numbers.
In the same paper, they ask if a statement analogous to Bertrand's postulate
could be proven for C. #s. In this paper, we answer this q., proving the
stronger statement that for all d > 0 & x suff. large in terms of d, there
exist at least log(x)/e^(log log x)^2+d) C. #s between x &
x+x/((log(x))^(1/(2+d)))"
-- [arXiv:2111.06963]['22],
[doi:10.1093/imrn/rnac203]['22],
CN@[wikip][wikip]['22].
%A E. Makalic
%A D. F. Schmidt
%T MML probabilistic principal component analysis
%J arXiv
%M SEP
%D 2022
%K TR, c2022, c202x, c20xx, zz1022, MML, probabilistic, dimension reduction,
dimensionality, principal component analysis, PCA, stats
%X "... A key question in PCA decomposition of data is deciding how many factors
to retain. This manuscript describes a new approach to automatically
selecting the # of principal components based on the Bayesian minimum message
length method of inductive inference. We also derive a new est. of the
isotropic residual variance & demonstrate, via numerical experiments, that it
improves on the usual maximum likelihood approach."
-- 2209.14559@[arXiv]['22].
[Also search for: dimension reduction] &
[also search for: MML dimension reduction].
%A S. M. Carroll
%A J. Chen
%T Spontaneous inflation and the origin of the arrow of time
%J arXiv
%M OCT
%D 2004
%K TR, c2004, c200x, c20xx, zz1022, time, arrow, physics, cosmology, universe,
big bang, de Sitter, deSitter, thermodynamics
%X "We suggest that spontaneous eternal inflation can provide a natural
expl'n for the thermodynamic arrow of time ... In the absence of inflation,
we argue that systems coupled to gravity usually evolve asymptotically to the
vacuum, which is the only natural state in a thermodynamic sense. In the
presence of a small +ve vacuum energy & an appropriate inflaton field, the
de Sitter vacuum is unstable to the spontaneous onset of inflation at a
higher energy scale. Starting from de Sitter, inflation can increase the
total entropy of the universe without bound, creating universes similar to
ours in the process. An important consequence of this picture is that
inflation occurs asymptotically both fwds & backwards in time, implying a
universe that is (statistically) time-symmetric on ultra-large scales."
-- hep-th/0410270@[arXiv]['22].
[Also search for: time arrow].
%A C. Rovelli
%T Relative information at the foundation of physics
%M OCT
%D 2013
%O in "It from Bit or Bit from It? On Physics and information", Springer,
the Frontiers Collection, 2015
%K physics, c2013, c201x, c20xx, zz1022, relative information, entropy, quantum,
thermodynamics, essay, philosophy
%X "Shannon's notion of relative info. between two physical systems can function
as foundation for statistical mechanics & q.mechanics, without referring to
subjectivism or idealism. It can also represent a key missing elt in the
foundation of the naturalistic picture of the world, providing the
conceptual tool for dealing with its apparent limitations. I comment on the
relation between these ideas & Democritus."
-- [doi:10.1007/978-3-319-12946-4_7]['22].
Also see CR@[wikip]['22].
[Also search for: quantum information].
%A D. Castelvicchi
%A E. Gibney
%T 'Spooky' quantum-entanglement experiments win physics Nobel
%J Nature
%V ?
%P ?-?
%M OCT
%D 2022
%K news, c2022, c202x, c20xx, zz1022, Nobel prize, physics, quantum,
John Clauser, Anton Zeilinger, Alain Aspect, computing, information,
entanglement, Bell's inequality
%X "Three q.physicists have won the 2022 Nobel Prize in Physics for their
experiments with entangled photons, in which particles of light become
inextricably linked. Such experiments have laid the foundations for an
abundance of q.technologies, inc. q.computers & communications. ..."
-- [doi:10.1038/d41586-022-03088-7]['22].
* Also see the [bbc][5/10/2022].
%A J. Kim
%A et al
%T Order preserving matching
%J arXiv
%M FEB
%D 2013
%O Theo Murphy Int. Sci. Mtg of the Royal Soc. on Storage & Indexing of
Massive Data, Feb 2013
%K TR, c2013, c201x, c20xx, zz1022, Puglisi, string, order preserving matching,
match, OPM, music, melody, stock price, numerical, numbers
%X "We introduce a new string matching problem called order-preserving matching
on numeric strings where a pattern matches a text if the text contains a
substring whose relative orders coincide with those of the pattern. ... stock
price analysis & musical melody matching in which the order relations should
be matched instead of the strings themselves. ... We define prefix repn &
nearest neighbor repn, which lead to efficient algs. for [OPM]. ... efficient
algs. for single & multiple pattern cases. For the single pattern case, we
give an O(n log m) time alg. & optimize it further to obtain O(n+m log m)
time. For the multiple pattern case, we give an O(n log m) time alg."
-- 1302.4064@[arXiv]['22].
[Also search for: music match].
%A K. Chowdhury
%T Designing a parallel suffix sort
%j arXiv
%M OCT
%D 2022
%K TR, c2022, c202x, c20xx, zz1022, string, suffix array, sort, algorithm,
generalized polynomial factorization
%X "... The sorting alg. becomes tricky when we have lot of repeated chars. in
the string for a given radix. ... present here an analysis that uses a
concept around generalized polynomial factorization to sort these suffixes.
... The set of distinct factors & their order are known beforehand, & this
helps us to sort the polynomials (equivalent of strings) accordingly."
-- 2210.01475@[arXiv]['22].
[Also search for: string suffix array].