Search engine run on:

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
%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 ?-?
%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 ?-?
%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
%D 2023
%K TR, c2023, c202x, c20xx, zz1223, maths, graph, maximum, bipartite, matching,
%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 ?
%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 ?-?
%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

%A J. B. Ingraham
%A et al
%T Illuminating protein space with a programmable generative model
%J Science
%V 623
%P 1070-1078
%D 2023
%K jrnl, MolBio, c2023, c202x, c20xx, zz1223, Chroma, protein, structure, deep,
%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
%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 ?-?
%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
%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
%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
%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
%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
%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
%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
%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
%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
%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].

Search string: