Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz0424
%T Int. Symp. on Formal Methods.
%K FM, FM23,2019, FM24,2021, FM25,2023, FM26,2024,
www,CFP,conf,method,www,HREF,http, zz0424, zz0425,zz0925
%X [9-13 Sept 2024] Milan, deadline 15/4/2024
[7-9 March 2023] Luebeck, deadline 4 Sept. 2022
[9-14 May 2021] China, deadline 12 Nov 2020
...
{~every 18 months (and 2019 is the 3rd world congress on FM).
Also see [fmeurope]['23].}
%T Int. Symp. on Logic-based Program Synthesis and Transformation
%K LOPSTR, LOPSTR31,2021, LOPSTR32,2022, LOPSTR24,2024,
CFP,conf,LP,www,HREF,http, zz0424,zz0524, zz0526
%X [9-11 Sept 2024] Milan, deadline 6 May 2024
[23-24 Oct 2023] Lisbon, deadline 19 May 2023
[21-23 Sept 2022] Georgia, deadline 16 May 2022
...
%T AI now beats humans at basic tasks - new benchmarks are needed, says
major report
%J Nature
%V 628
%M APR
%D 2024
%K news, views, c2024, c202x, c20xx, zz0424, AI, human versus AI, GPT3,
performance, comparison, benchmark
%X -- [doi:10.1038/d41586-024-01087-4]['24].
Also see GPQA@[arxiv:2311.12022]['24].
[Also search for: human versus AI].
%A K. M. Swenson
%T A simple and efficient algorithm for sorting signed permutations by reversals
%J arXiv
%M APR
%d 2024
%K TR, MolBio, c2024, c202x, c20xx, zz0424, sort, sorting by reversals
%X "In 1937, biologists Sturtevant & Tan posed a comp. Q: transform a chromosome
rep. by a permutation of genes, into a second perm'n, using a minimum-length
seq. of reversals, each inverting the order of a contiguous subset of elts.
Solutions to this problem, applied to Drosophila chrs, were computed by hand.
The first algorithmic result was a heuristic that was published in 1982. In
the 1990s a more biologically relevant version of the problem, where the elts
have signs that are also inverted by a reversal, finally received serious
attention by the CS community. ... eventually resulted in the 1st polynomial
time alg. for Signed Sorting by Reversals. Since then, a dozen more articles
have been dedicated to simplifying the theory & developing algs. with
improved running times. The current best alg., which runs in
O(n log^2(n)/log log(n)) time, fails to meet what some consider to be the
likely lower bound of O(n log n). ... we present the 1st alg. that runs in
O(n log n) time in the worst case. [It] is fairly simple to implement, & the
running time hides very low constants."
-- [arxiv:2403.20165]['24].
[Also search for: sorting reversals].
%A L. Ganassali
%T The graph alignment problem: fundamental limits and efficient algorithms
%J arXiv
%M APR
%D 2024
%K thesis, c2024, c202x, c20xx, zz0424, maths, graph, alignment, matching,
similarity, graphAlignment, algorithm
%X "... graph alignment problem, the noisy version of the g.isomorphism problem,
which aims to find a matching between the nodes of two graphs which preserves
most of the edges. Focusing on the planted version where the g. are random,
we are interested in understanding the fundamental information-theoretical
limits for this problem, as well as designing & analyzing algs. that are able
to recover the underlying alignment in the data. For these algs., we give
some high prob. guarantees on the regime in which they succeed or fail."
-- [arxiv:2404.12418]['24].
[Also search for: graphAlignment] & [also seach for: graph isomorphism].
%A A. Flammenkamp
%T Progress in the no-three-in-line problem II
%J J. of Comb. Theory, ser. A
%V 81
%N 1
%P 108-113
%M JAN
%D 1998
%K jrnl, c1998, c199x, c19xx, zz0424, three in a line, row, problem, grid,
lattice, puzzle, combinatorics, Z3, rot4, CapSet
%X "First solns to the no-three-in-line problem for n=33, 37, 39, 41, 43, 45,
48, 50, 52 & for certain symmetry classes for n=26, 42, 44 are presented. All
configurations with n <= 16 have been generated. Further, the significance of
a new symmetry class for configurations which are almost as symmetric as
those in class rot4 is demonstrated."
-- [doi:10.1006/jcta.1997.2829]['24].
Also see No3@[wikip]['24].
[Also search for: Nqueens problem] and [also search for: CapSet].
%A D. Austin
%T Game. SET. Polynomial
%J Amer. Math. Soc. (AMS)
%M AUG
%D 2016
%K AMS, c2016, c201x, c20xx, zz0424, maths, game, SET, cap set, CapSet,
no three in a line, row, Z3, Pellegrino
%X "A recent Feature Column explored some mathematical ideas that appear while
playing the card game SET ..."
-- [www]['24].
Also see CapSet@[wikip]['24].
[Also search for: CapSet].
%A Franz de Waal
%J Nature
%V 628
%P 497
%M APR
%D 2024
%K de Waal, deWaal, c202, c202x, c20xx, zz0424, obit, biog, animal behaviour,
social
%X "Frans de Waal (1948–2024), primatologist who questioned the uniqueness of
human minds ..."
-- [doi:10.1038/d41586-024-01071-y]['24].
[Also search for: deWaal animal behaviour].
%T Avi Wigderson
%K Wigderson, zz0424, CompSci, TuringAward, award, prize, computer science
%X "... [AW] as recipient of the 2023 ACM A.M. Turing Award for foundational
contributions to the theory of computation, inc. reshaping our understanding
of the role of randomness in computation, & for his decades of intellectual
leadership in theoretical C.S.. ..."
--- ACM@[www]['24].
AW@[wikip]['24].
%A T. Matreux
%A et al
%T Heat flows enrich prebiotic building blocks and enhance their reactivity
%J Nature
%V 628
%P 110-116
%M APR
%D 2024
%K jrnl, MolBio, c2024, c202x, c20xx, zz0424, early, life, origins, biopolymer
%X "The emergence of biopolymer building blocks is a crucial step during the
origins of life ... Here we show that heat flows through thin, crack-like
geo-compartments could have provided a widely available yet selective
mechanism that separates more than 50 prebiotically relevant building blocks
from complex mixtures of amino acids, nucleobases, nucleotides,
polyphosphates & 2-aminoazoles. ..."
-- [doi:10.1038/s41586-024-07193-7]['23].
%A K. Dudnyk
%A et al
%T Sequence basis of transcription initiation in the human genome
%J Science
%V 384
%N 6694
%M APR
%D 2024
%K MolBio, jrnl, c2024, c202x, c20xx, zz0424, DNA, transcription site, promoter,
gene
%X "...We identify key seq. patterns that contribute to human promoter activity,
each activating transcription with distinct position-specific effects. [&]
we explain the seq. basis of bidirectional transcription at promoters,
identify the links between promoter seq. & gene expression variation across
cell types, & explore the conservation of seq. determinants of transcription
initiation across mammalian species."
-- [doi:10.1126/science.adj0116]['24].
%T Status Report on the Third Round of the NIST Post-Quantum Cryptography
Standardization Process
%I NIST
%M JUL
%D 2022
%K c2022, c202x, c20xx, zz0424, post quantum encryption, lattice problem, NIST,
CRYSTALS, Kyber, quantum computing, cryptography, encryption, public key
%X "The National Institute of Standards & Technology is in the process of
selecting public-key cryptographic algs. through a public, competition-like
process ... summarizes each of the 15 third-round candidate algs. &
identifies those selected for standardization ..."
-- [doi:10.6028/NIST.IR.8413-upd1]['24].
Also see Kybr@[wikip]['24].
[Also search for: post quantum cryptography].
%A W. Liang
%A et al
%T Monitoring AI-modified content at scale: A case study on the impact of
chatGPT on AI conference peer reviews
%J arXiv
%M MAR
%D 2024
%K TR, c2024, c202x, c20xx, zz0424, publications, peer review, conf, AI,
LarLangM, large language model, LLM, review, reviewing, refereeing, academia
%X "We present an approach for estimating the fraction of text in a large corpus
which is likely to be substantially modified or produced by a large language
model (LLM). ... ICLR 2024, NeurIPS 2023, CoRL 2023 & EMNLP 2023. Our results
suggest that between 6.5% & 16.9% of text submitted as peer reviews to these
confs. could have been substantially modified by LLMs ..."
-- [arxiv:2403.07183]['24].
Also see
"ChatGPT 'contamination': estimating the prevalence of LLMs in the
scholarly literature"
-- [arxiv:2403.16887]['24]
& [Nature2024]['24].
%A Yilei Chen
%T Quantum algorithms for lattice problems
%J Cryptology Archive
%M APR
%D 2024
%K TR, c2024, c202x, c20xx, zz0424, quantum, algorithm, lattice problem,
learning with errors, LWE, shortest vector problem, GapSVP, shortest, SIVP
%X "We show a polynomial time q.alg. for solving the learning with errors
problem (LWE) with certain polynomial modulus-noise ratios. Combining with
the reductions from lattice problems to LWE ... obtain polynomial time
q.algs. for solving the decisional shortest vector problem (GapSVP) & the
shortest indep. vector problem (SIVP) for all-dimensional lattices within
approx'n factors of ~Omega(n^{4.5}). ..."
-- [iacr:2024.555]['24].
Could have consequences for "post quantum" cryptography.
?Will it be "confirmed"?
%A H. Farrell
%A C. Shalizi
%T Opinion: Bias, skew, and search engines are sufficient to explain
online toxicity
%J CACM
%M APR
%D 2024
%K CACM, news, views, c2024, c202x, c20xx, zz0424, internet, www, web2.0,
search engine, google, social media, USA politics, democracy, toxicity,
Qanon, twitter, XX, Xtwitter, meta, facebook, hate
%X "Social media would still be a mess even without engagement algs.."
-- [doi:10.1145/3624715]['24].
%A G. Boole
%T An Investigation of the Laws of Thought on Which are Founded the
Mathematical Theories of Logic and Probabilities
%P 355
%D 1854
%K book, c1854, c185x, c18xx, zz0424, Boole, maths, boolean, logic, algebra,
probability, reasoning, propositional calculus
%X pdf@[Gut'nberg]['24].
%A F. Lombardi
%A E. Onofri
%T Graph contraction on attribute-based coloring
%J Procedia Computer Science
%V 201
%P 429-436
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0424, maths, graph, contraction, cluster,
colouring
%X "... the problem of contracting possibly large colored graphs into much
smaller representatives. It also provides a novel serial but parallelizable
alg. to tackle this task. ..."
-- [doi:10.1016/j.procs.2022.03.056]['24].
[Also search for: graph compression].
%A T. Daikoku
%A et al
%T Bodily maps of uncertainty and surprise in musical chord progression and the
underlying emotional response
%J iScience
%M APR
%D 2024
%K ejrnl, c2024, c202x, c20xx, zz0424, music, meoldy, tune, chord progression,
human, response, emotion
%X "... This study examined how the perception of musical chord elicits bodily
sensations and emotions through the brain’s predictive processing. ..."
-- [doi:10.1016/j.isci.2024.109498]['24].
%A J. Silvertown
%T Selfish Genes to Social Beings: A Cooperative History of Life
%I OUP
%P 256
%D 2024
%K book, text, c2024, c202x, c20xx, zz0424, PD, IPD, human behaviour, animal,
cooperation
%X "... show how cooperation is key to the cells forming our organs, to
symbiosis between organisms, to genes that band together, to the dawn of life
itself. Cooperation has enabled life to thrive and become complex. Without it
life would never have begun."
1st ed 2024; hb stg.20; uk us isbn:0198876394; uk us isbn13:978-0198876397.
[Also search for: PD IPD].
%A J. Verstraten
%A et al
%T In-situ imaging of a single-atom wave packet in continuous space
%J arXiv
%M APR
%D 2024
%K TR, c2024, c202x, c20xx, zz0424, quantum physics, atom, wave packet, image
%X "... we use quantum gas microscopy to image the in-situ spatial distribution
of deterministically prepared single-atom wave packets as they expand in a
plane. We achieve this by controllably projecting the expanding wavefunction
onto the sites of a deep optical lattice & subsequently performing
single-atom imaging ...
-- [arxiv:2404.05699]['24].
%A M. Farber
%T A formal specification of the jq language
%J arXiv
%m APR
%d 2024
%K JQ, TR, json, c2024, c202x, c20xx, zz0424, definition
%X "jq is a widely used tool that provides a programming language to manipulate
JSON data. ..."
-- [arxiv:2403.20132]['24].
%A T. Nishimoto
%A Y. Tabei
%T Dynamic suffix array in optimal compressed space
%J arXiv
%M APR
%D 2024
%K TR, c2024, c202x, c20xx, zz0424, suffix array, data structure
%X "... We present the first dynamic compressed data structure that supports the
SA query & update in polylogarithmic time and d-optimal space. More precisely
it can answer SA queries & perform updates in O(log^7(n)) & expected
O(log^8(n)) time, resp., using an expected d-optimal space.
-- [arxiv:2404.07510]['24].
('n' string length. 'd' is "substring complexity")
[Also search for: suffix array].