Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz1223
%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, FLOPS17,2024,
conf,CFP,Japan,.jp,FP,LP,www,HREF,http, zz1024, zz1223
%X [2024 May 15-17], Kumamoto, deadline 6 Dec 2023
[2022 May 10-12], Kyoto, deadline 14 Nov 2021
... ?every 2 years?
%A D. Aggarwal
%A T. Espitau
%A S. Peters
%A N. Stephens-Davidowitz
%T Recursive lattice reduction - A framework for finding short lattice vectors
%J arXiv
%M NOV
%D 2023
%K TR, c2023, c202x, c20xx, zz1223, short lattice vector, shortest
%X "... the framework works by recursively searching for dense sublattices of
dense sublattices (or their duals). Eventually, the proc. encounters a rec.
call on a lattice L with relatively low rank k, at which point we simply use
a known alg. to find a short non-zero vector in L. ..."
-- [arxiv:2311.15064]['23].
[Also search for: short lattice vector].
%A M. Grohe
%A D. Neuen
%A P. Schweitzer
%T A faster isomorphism test for graphs of small degree
%J SIAM J. Comput.
%V 52
%N 6
%P ?-?
%M DEC
%D 2023
%O FOCS59 2018
%K conf, FOCS, c2023, c202x, c20xx, zz1223, maths, graph isomorphism, algorithm
%X "... Babai [2016] gave a quasipolynomial-time g.isomorphism test. ... we give
an improved isomorphism test for g. of small degree: [it] runs in time
n^{O((log d)^c)}, where n is the # of vertices of the input gs., d is the
maximum degree of the input gs., & c is an absolute const.. The best prev.
iso.test for gs. of maximum degree d due to Babai, Kantor, & Luks runs in
time n^{O(d/log d)}."
-- [doi:10.1137/19M1245293]['23].
[Also search for: graph isomorphism].
%A J. Alman
%A V. V. Williams
%T Limits on all known (and some unknown) approaches to matrix multiplication
%J SIAM J. Comput.
%V 52
%N 6
%P ?-?
%M DEC
%D 2023
%O FOCS59 2018
%K conf, FOCS, c2023, c202x, c20xx, zz1223, matrix multiplication, algorithm
%X "... The two main approaches are the Laser method of Strassen, & the group
theoretic approach of Cohn & Umans. We define a generalization based on
zeroing outs which subsumes these two approaches, which we call the Solar
method, & an even more general method based on monomial degenerations, which
we call the Galactic method ..."
-- [doi:10.1137/19M124695X]['23].
[Also search for: matrix multiplication].
%A J. Chuzhoy
%A S. Khanna
%T A faster combinatorial algorithm for maximum bipartite matching
%K arXiv
%M DEC
%D 2023
%K TR, c2023, c202x, c20xx, zz1223, maths, graph, maximum, bipartite, matching,
algorithm
%X "... Hopcroft & Karp (1973) shows that MBM can be solved in O(m sqrt n) time
on a g. with n vertices & m edges. For the case of v.dense g., a fast matrix
mult. based approach gives a running time of O(n^{2.371}) ... Madry
introduced a new approach based on continuous techniques achieving much
faster runtime in sparse g.. ... Chen et al. (2022) that gives an m^{1+o(1)}
time alg. ... are cts techniques essential to obtaining fast algs. for the
BM problem? Our work makes progress on this q. by presenting a new, purely
combinatorial alg. for BM, that runs in O~(m^{1/3}n^{5/3}) time ..."
-- [arxiv:2312.12584]['23].
[Also search for: maximum bipartite matching].
%A A. Momeni
%A et al
%T Backpropagation-free training of deep physical neural networks
%J Science
%V ?
%M NOV
%D 2023
%K jrnl, c2023, c202x, c20xx, zz1223, ANN, NN, backprop, training, AI
%X "... we proposed a simple deep NN architecture augmented by a physical local
learning (PhyLL) alg., enabling supervised & unsupervised training of deep
physical NNs, without detailed knowledge of the nonlinear physical layer's
properties. We trained diverse wave-based physical NNs in vowel & image
class'n experiments, showcasing our approach's universality. ... shows
advantages over other hardware-aware training schemes ..."
-- [doi:10.1126/science.adi8474]['23].
[Also search for: ANN training].
%A J. R. Xue
%A et al ...
%A S. K. Reilly
%T The functional and evolutionary impacts of human-specific deletions in
conserved elements
%J Science
%V 380
%N 6643
%P ?-?
%M APR
%D 2023
%K jrnl, MolBio, c2023, c202x, c20xx, zz1223, animal, ape, primate, chimp,
human, hCONDELs, hCONDEL, PPP2CA, LOXL2, deletion, Capellini
%X "... identified & characterized 10,032 human-specific conserved deletions
(hCONDELs). These short (avg. 2.56 bp) deletions are enriched for human brain
functions across genetic, epigenomic, & transcriptomic datasets. Using
massively parallel reporter assays in six cell types, we discovered 800
hCONDELs conferring sig. differences in regulatory activity, half of which
enhance rather than disrupt regulatory fn. We highlight several hCONDELs with
putative human-specific effects on brain development, inc. HDAC5, CPEB4, &
PPP2CA. Reverting an hCONDEL to the ancestral seq. alters the expression of
LOXL2 & developmental genes involved in myelination & synaptic fn. ..."
-- [doi:10.1126/science.abn2253]['23].
[Also search for: MolBio human evolution genes].
(Also see [bbc][23/11/2023], and
Capellini@[sch'lar]['23].)
%A J. B. Ingraham
%A et al
%T Illuminating protein space with a programmable generative model
%J Science
%V 623
%P 1070-1078
%M NOV
%D 2023
%K jrnl, MolBio, c2023, c202x, c20xx, zz1223, Chroma, protein, structure, deep,
ANN
%X "... introduce Chroma, a generative model for proteins & protein complexes
that can directly sample novel protein structures & seqs., & that can be
conditioned to steer the generative process towards desired properties &
functions. ... predicted inter-residue geometries & a general low-temp.
sampling alg. for diffusion models. ..."
-- [doi:10.1038/s41586-023-06728-8]['23].
[Also search for: MolBio protein deep ANN].
%A E. Calloway
%T World's biggest set of human genome sequences opens to scientists
%J Nature
%V 624
%P 16-17
%M NOV
%D 2023
%K news, views, MolBio, c2023, c202x, c20xx, zz1223, BioBank, human, genomics,
many, genomes, health, data, UK
%X "The world's largest collection of full human genomes has just gone live. The
UK Biobank - a repository of health, genomic & other biol. data - today
released complete genome seqs. from every one of the 500,000 British
volunteers in the DB. ..."
-- [doi:10.1038/d41586-023-03763-3]['23].
Also see, "Whole genome assoc. testing in 333,100 individuals across three
biobanks identifies rare non-coding single variant & genomic aggregate
associations with height"
-- [doi:10.1101/2023.11.19.566520][20/11/2023] at bioRxiv.
%A E. Long
%A Jianzhi Zhang
%T Evidence for the role of selection for reproductively advantageous alleles
in human aging
%J SciAdv
%V 9
%N 49
%P ?-?
%M DEC
%D 2023
%K jrnl, MolBio, c2023, c202x, c20xx, zz1223, human health, lifespan, ageing,
children, PGS, UK biobank, antagonistic pleiotropy
%X "... 276,406 U.K. Biobank participants. We observe a strong, negative genetic
correl'n between reproductive traits & life span. Individuals with higher
polygenetic scores for reproduction (PGSR) have lower survivorships to age 76
(SV76), & PGSR increased over birth cohorts from 1940 to 1969. Similar trends
are seen from individual genetic variants examined. The antagonistically
pleiotropic variants are often assoc. with cis-regulatory effects across
multiple tissues or on multiple target genes. ..."
-- [10.1126/sciadv.adh4990]['23].
(Ant.Pl.: 1957, Williams proposed that mutns contributing to aging could be
+vely sel. if they are advantageous early in life, promoting earlier
reproduction or more offspring. ...)
%A F. Wong
%A et al ...
%A J. C. Collins
%T Discovery of a structural class of antibiotics with explainable deep learning
%J Nature
%M DEC
%D 2023
%K jrnl, MolBio, c2023, c202x, c20xx, zz1223, drug, discovery, AI, antibiotic
%X "... Here we reasoned that the chemical substructures associated with
antibiotic activity learned by NN models can be identified & used to predict
structural classes of antibiotics. ..."
-- [doi:10.1038/s41586-023-06887-8]['23].
[Also search for: MolBio drug discovery].
%A Hongwei Cai
%A et al ...
%A Feng Guo
%T Brain organoid reservoir computing for artificial intelligence
%J NatureElectronics
%V 6
%P 1032-1039
%M DEC
%D 2023
%K jrnl, c2023, c202x, c20xx, zz1223, brain organoid, cell, cells, Brainoware,
wetware, biol, computing, AI, ANN
%X "... we report an [AI] hardware approach that uses adaptive reservoir
computation of biological NNs in a brain organoid. In this approach - which
is termed Brainoware - computation is performed by sending & receiving
information from the brain organoid using a high-density multielectrode
array. ..."
-- [doi:10.1038/s41928-023-01069-w]['23].
[Also search for: computing AI brain organoid].
%A W. Swierstra
%T A correct-by-construction conversion from lambda calculus to
combinatory logic
%J JFP
%V 33
%N e11
%D 2023
%K jrnl, JFP, c2023, c202x, c20xx, zz1223, FP, lambda calculus,
combinatorial, combinatory logic, combinator, SKI, S K I
%X "This pearl defines a translation from well-typed lambda terms to combinatory
logic, where both the preservation of types & the correctness of the
translation are enforced statically."
-- [doi:10.1017/S0956796823000084]['23].
[Also search for: FP combinatory logic]
%A J.-P. Bernardy
%A P. Jansson
%T Domain-specific tensor languages
%J arXiv
%M DEC
%D 2023
%K TR, c2023, c202x, c20xx, zz1223, FP, Haskell, tensor, tensors, programming,
language, DSL, EDSL
%X "... that are currently in use for tensor algebra are either
1. array-oriented languages that do not enforce or take advantage of tensor
properties & algebraic structure or 2. follow the categorical structure of
tensors but require the programmer to manipulate tensors in an unwieldy
point-free not'n. ... We bridge the gap by defining a DSL, embedded in H.,
whose syntax closely captures the index not'n for tensors in wide use in the
literature. The semantics of this EDSL is defined in terms of the algebraic
structures which define tensors in their full generality. ..."
-- [arXiv:2312.02664]['23].
%A L. Kurke
%T Ancient Greek board games and how to play them
%J Classical Philology
%V 94
%N 3
%P 247-267
%M JUL
%D 1999
%K jrnl, c1999, c199x, c19xx, zz1223, ancient, Greeks, board game, games, old,
pessoi, historical, history
%X "THE PAULY-WISSOWA ARTICLE on ancient board games ('lusoria tabula') is over
a thousand columns long. It meticulously catalogues the literary &
archaeological evidence, details the shapes of boards & pieces, &
reconstructs the forms of play ..."
-- [jstor:270405]['23].
(Also see board-games@[wikip]['23].)
%A E. M. Dworak
%A W. Revelle
%A D. M. Condon
%T Looking for Flynn effects in a recent online U.S. adult sample: Examining
shifts within the SAPA Project
%J Intelligence
%V 98
%M MAY-JUN
%D 2023
%K jrnl, c2023, c202x, c20xx, zz1223, IQ, Flynn effect, reverse, reversal,
reversed, decline, USA, SAPA
%X "... 13y of cross-sectional data from a subsample of adults (n=394,378) ...
showed a pattern consistent with a reversed Flynn effect from 2006 to 2018
when stratified across age, education, or gender. ... A reversed F.effect was
also present from 2011 to 2018 for composite ability scores from 60 items ...
[but] three-dimensional rotn scores showed evidence of a F.effect with the
largest slopes occurring across age stratified regressions."
-- [doi:10.1016/j.intell.2023.101734]['23].
[Also search for: Flynn effect IQ], and maybe include: reverse.
%A Y. Stephanou
%T A Theory of Truth
%M OCT
%D 2023
%K book, text, c2023, c202x, c20xx, zz1223, truth, philosophy, logic,
liar paradox, paradoxes
%X 1st ed 2023; hb $154; uk us isbn:1009437186; uk us isbn13:978-1009437189
"How should we treat the liar & kindred paradoxes? A Theory of Truth argues
that we should diverge from classical logic, & presents a new formal theory
of truth. ... deviates from classical logic significantly, & endorses
principles like 'No sentence is both true & false' & 'No sentence is neither
true nor false'. ..."
[Also search for: logic paradox].
%A U. Sabbagh
%T The postdoc experience is broken. Funders such as the NIH must help to
reimagine it
%J Nature
%V 624
%P 475
%M DEC
%D 2023
%K news, views, c2023, c202x, c20xx, zz1223, postdoc, postdocs, postgrad, PhD,
academia, jobs, career, careers, exploitation, scientific research
%X "It's not breaking news that postdocs feel undervalued and demoralized. In a
Nature survey of 3,838 postdocs in 93 countries earlier this year, only 40%
were satisfied with their salaries, & just 34% with their career-advancement
prospects ..."
-- [doi:10.1038/d41586-023-04028-9]['23].
[Also search for: postdoc]
%A M. Henk
%A D. M. Wills
%T Packings, sausages and catastrophes
%J Beitr Algebra Geom.
%V 62
%P 265-280
%D 2021
%K jrnl, c2021, c202x, c20xx, zz1223, maths, sphere packing, convex bodies,
finite packings, parametric density, sausage conjecture, catastrophe
%X "... survey we give an overview about some of the main results on parametric
densities, a concept which unifies the theory of finite (free) packings & the
classical theory of infinite packings."
-- [doi:10.1007/s13366-020-00502-x]['23].
(Also see FSP@[wikip]['23].)
%A K. G. Libbrech
%T The physics of snow crystals
%J Rep. Prog. Phys.
%V 68
%N 4
%P 855-895
%M MAR
%D 2005
%K jrnl, physics, c2005, c2200x, c20xx, zz1223, snowflake, snow flake, flakes
%X "... first part of this review focuses on understanding the dramatic
variations seen in snow crystal morphology as a fn of temp., a mystery that
has remained largely unsolved since its discovery 75 years ago ... The second
part of this review examines pattern formation in snow crystals, with
special emphasis on the growth of snow crystal dendrites. ..."
-- [doi:10.1088/0034-4885/68/4/R03]['23].
* Also see KL@[sch'lar]['23].