Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz0622
%T Int. Workshop on Functional and (Constraint) Logic Programming
%K WFLP, WFL, WFL09,WFLP09,2009, WFLP12,WFLP03,2003, WFLP13,WFLP04,2004,
WFLP16,2016, WFLP18,2018, WFLP19,2019, WFLP20,2020,
wShop,conf,CFP,applications,FP,LP,CLP,http,HREF,www, zz0621, zz0622
%X ? 2022 ?, 2021 ???
[7+ Sept 2020] Bologna, deadline 29 June 2020
[9-13 Sept 2019] Cottbus Germany, deadline 27 May 2019
...
%A Y. Can
%A H. Kassim
%A G. Fischer
%T New Boolean equation for orthogonalizing of Disjunctive Normal Form based on
the method of orthogonalizing difference-building
%J J. Electron. Test.
%V 32
%P 197-208
%M MAR
%D 2016
%K jrnl, c2016, c201x, c20xx, zz0622, Orthogonal Disjunctive Normal Form, DNF,
ODNF, circuit, circuits, testing
%X "... a new Boolean equation for the orthogonalization of Boolean fns
respectively of Ternary-Vector-Lists of disjunctive normal form ... provides
the math. soln of orthogonalization for the first time. ..."
-- [doi:10.1007/s10836-016-5572-6]['22].
%A L. J. Harmon
%A et al
%T Causes and consequences of apparent timescaling across all estimated
evolutionary rates
%J Annual Rev. of Ecol., Evol., and Systematics
%V 52
%P 587-609
%M NOV
%D 2021
%K MolBio, jrnl, c2021, c202x, c20xx, zz0622, evolution rate, timescale
%X "... All evolutionary rate estimates, inc. rates of molec. evol., trait evol.
& lineage diversification, share a similar scaling pattern with time: The
highest rates are those measured over the shortest time interval. This
creates a disconnect between micro- & macroevolution ... We break down
possible explanations for scaling into two categories, estimation error &
model misspecification, & discuss how both apply to each type of rate. ..."
-- [doi:10.1146/annurev-ecolsys-011921-023644]['21].
%A T. Bonnet
%A et al ...
%A L. E. B. Kruuk
%T Genetic variance in fitness indicates rapid contemporary adaptive evolution
in wild animals
%J Science
%V 376
%N 6596
%P 1012-1016
%M MAY
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, MolBio, genetics, evolution,
genes, fitness, trait, traits, selection, adaption, variation, Darwinism,
population dynamics
%X "The rate of adaptive evol'n, the contribution of sel'n to genetic changes
that increase mean fitness, is determined by the additive genetic variance
in individual relative fitness. To date, there are few robust estimates of
this parameter for natural populations, & ... unclear whether adaptive
evolution can play a meaningful role in short-term pop'n dynamics. We
developed & applied quantitative genetic methods to long-term datasets from
19 wild bird & mammal pop'ns & found that, while estimates vary between
pop'ns, additive genetic variance in relative fitness is often substantial &,
on avg., twice that of previous estimates. We show that these rates of
contemporary adaptive evolution can affect pop'n dynamics & hence that
natural seln has the potential to partly mitigate effects of current
environmental change."
-- [doi:10.1126/science.abk0853]['22].
(Also see opinion [doi:10.1126/science.abo4624]['22].)
%A D. Liu
%A et al
%T Association of sugar-sweetened, artificially sweetened, and unsweetened
coffee consumption with all-cause and cause-specific mortality
%J Annals of Internal Medicine
%M MAY
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, zzCoffee, coffee consumption, caffeine,
decaf, diet, human health
%X "... Moderate consumption of unsweetened and sugar-sweetened coffee was
associated with lower risk for death."
-- [doi:10.7326/M21-2977]['22].
(Also see The G@[www][31/5/2022].)
[Also search for: coffee consumption].
%T Prevalence of ongoing symptoms following coronavirus (COVID-19) infection in
the UK: 6 May 2022
%M MAY
%D 2022
%K TR, news, report, c2022, c202x, c20xx, zz0622, covid 19, covid19, long covid,
longCovid, UK, stats
%X "... An est. 1.8 million people living in private households in the UK
(2.8% of the population) were experiencing self-reported long COVID (symptoms
persisting for more than four weeks after the first suspected coronavirus
(COVID-19) infection that were not explained by something else) as of
3 April 2022 ..."
-- [www]['22].
%A A. A. Rosenberg
%A A. Marx
%A A. M. Bronstein
%T Codon-specific Ramachandran plots show amino acid backbone conformation
depends on identity of the translated codon
%J Nat. Commun.
%V 13
%N 1
%M MAY
%D 2022
%K jrnl, MolBio, c2022, c202x, c20xx, zz0622, DNA, protein, structure, folding,
genes, codon, codons
%X "... there is evidence to suggest that codon usage affects co-translational
protein folding & the final structure of the expressed p.. Here we develop a
method for computing & comparing codon-specific R.plots & demonstrate that
the backbone dihedral angle distns of some synonymous codons are
distinguishable with stat. sig. for some sec. structures. This shows that
there exists a dependence between codon identity & backbone torsion of the
translated amino acid. Although these findings cannot pinpoint the causal
direction of this dependence, we discuss the vast biological implications
should coding be shown to directly shape p.conformation & ..."
-- [doi:10.1038/s41467-022-30390-9]['22].
%A N. M. Mwaniki
%A E. Garrison
%A N. Pisanti
%T Fast exact string to D-texts alignments
%J arXiv
%M JUN
%D 2022
%K TR, c2022, c202x, c20xx, zz0622, MolBio, dText, dString, degenerate,
indeterminate, uncertain, alignment, pangenome, supragenome, genes
%X "... aligning a seq. to a pangenome ... A fast & accurate soln to this
problem can serve as a toolkit to many crucial tasks such as read-correction,
Multiple Seq. Al. (MSA), genome assemblies, variant calling, just to name a
few. ... propose a new, fast & exact method to align a string to a D-string,
the latter possibly rep. an MSA, a pan-genome or a partial assembly. ..."
-- 2206.03242@[arXiv]['22].
("... The D-string (or D-text) T contains some deterministic
& some non-deterministic segments. ...")
(See, "... a pan-genome is the entire set of genes from all strains within a
clade. More generally, it is the union of all the genomes of a clade. ..."
-- [wikip]['22].)
[Also search for: indeterminate dString].
%A X. Shen
%A et al
%T Synonymous mutations in representative yeast genes are mostly strongly
non-neutral
%J Nature
%V ?
%M JUN
%D 2022
%K jrnl, MolBio, c2022, c202x, c20xx, zz0622, codons, mutations, genes
synonymous, silent, nonsynonymous, fitness, yeast
%X "... we constructed 8,341 yeast mutants each carrying a synonymous,
nonsynonymous or nonsense mutn in one of 21 endogenous genes with diverse
fns & expression levels & measured their fitness rel. to the wild type in a
rich medium. Three-quarters of syn.mutns resulted in a sig. reduction in
fitness ... Both syn. & nonsyn. mutns freq. disturbed the level of mRNA
expression of the mutated gene, & the extent of the disturbance partially
predicted the fitness effect. ..."
-- [doi:10.1038/s41586-022-04823-w]['22].
[***BUT see L.Kruglyak et al 4/2023***]
%A E. R. Arunachaleswaran
%A A. De
%A S. Kannan
%T Reconstructing ultrametric trees from noisy experiments
%J arXiv
%M JUN
%D 2022
%K TR, MolBio, c2022, c202x, c20xx, zz0622, ultrametric tree, trees, phylogeny,
noise, noisy, experiment
%X "... Our results are the following: 1. Suppose the length of every edge in
the unknown tree is at least ~O(1/sqrt(n)) fraction of the length of a
root-leaf path. Then, we give an efficient alg. to reconstruct the topology
of the tree for a broad family of dist.-based noise models. & show that if
the edges are asymptotically shorter, then topology reconstruction is
information-theoretically impossible. 2. [&] for a specific dist.-based
noise model - which we refer to as the homogeneous noise model - we show that
the edge weights can also be approximately reconstructed under the same
quantitative lower bound on the edge lengths."
-- 2206.07672@[arXiv]['22].
%A S. Zhang
%A et al
%T Multiomic analysis reveals cell-type-specific molecular determinants of
covid-19
%J Cell Sys.
%M JUN
%D 2022
%K jrnl. c2022, c202x, c20xx, zz0622, MolBio, jrnl, long covid 19, covid19,
GWAS, genotype, NK cell, NKcell, Tcell, risk, risks, genes, immune
%X "... single-cell multiome profiling of human lungs ... We discover > 1,000
risk genes across 19 cell types, which account for 77% of the SNP-based
heritability for severe disease. Genetic risk is particularly focused within
natural killer (NK) cells & T cells, placing the dysfunction of these cells
upstream of severe disease. Mendelian randomization & single-cell profiling
of human NK cells support the role of NK cells & further localize genetic
risk to CD56bright NK cells, which are key cytokine producers during the
innate immune response. Rare variant analysis confirms the enrichment of
severe-disease-associated genetic variation within NK-cell risk genes. ..."
-- [doi:10.1016/j.cels.2022.05.007]['22].
%A M. Izutsu
%A R. E. Lenski
%T Experimental test of the contributions of initial variation and new mutations
to adaptive evolution in a novel environment
%J bioRxiv
%M JUN
%D 2022
%K MolBio, TR, c2022, c202x, c20xx, zz0622, bacteria, Ecoli, evolution,
mutation, fitness, genetic variation, adaption
%X "... we performed an experiment using E.coli to compare the contributions of
initial genetic variation & new mutations to adaptation in a new environment.
... there were no differences in fitness among the treatments after 500 or
2000 generations in the new environment, despite the variation in fitness
among the founders. These results indicate that new mutations quickly
overcame, & eventually contributed more to adaptation, than did the initial
variation. ..."
-- [doi:10.1101/2022.05.31.494207]['22].
%A B. A. Reinke
%A et al
%T Diverse aging rates in ectothermic tetrapods provide insights for the
evolution of aging and longevity
%J Science
%M JUN
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, animal, herpetiles, turtle, tortoise,
cold blooded, ectotherm, ageing, rate, aging, lifespan
%X "... study of aging rates & longevity across wild tetrapod ectotherms, using
data from 107 pop'ns (77 species) of nonavian reptiles & amphibians. We test
hypotheses of how thermoregulatory mode, environmental temperature,
protective phenotypes, & pace of life history contribute to demographic
aging. Controlling for phylogeny & body size, ectotherms display a higher
diversity of aging rates compared with endotherms & include phylogenetically
widespread evidence of negligible aging. ..."
-- [doi:10.1126/science.abm0151]['22].
[Also search for: anuimal lifespan].
%A L. Prechelt
%A G. Malpohl
%A M. Philippsen
%T Finding plagiarisms among a set of programs with JPlag
%J J. Universal Computer Science
%V 8
%N 11
%D 2002
%K jrnl, eJrnl, c2002, c200x, c20xx, zz0622, JPlag, plagiarism detector,
program, teaching, greedy string tiling
%X "... web service that finds pairs of similar programs among a given set
of programs. ... Greedy String Tiling ..."
-- [www['22].
Also see jplag@[github]['22] &
see TR2000-1@[kit.edu]['22].
[Also search for: plagiarism detector].
%A R. Thoppilan
%A et al
%T LaMDA: Language models for dialog applications
%J arXiv
%M JAN
%D 2022
%K TR, c2022, c202x, c20xx, zz0622, LaMDA, natural language, chatBot, google,
conversation, dialogue, safety, truth, facts, AI, controversy, controversial
%X "... LaMDA: Language Models for Dialog Applications. ... a family of
Transformer-based neural language models specialized for dialog, which have
up to 137B parameters and are pre-trained on 1.56T words of public dialog
data and web text. ... The 1st challenge, safety[!], involves ensuring that
the model's responses are consistent with a set of human values ... The
2nd challenge, factual grounding[!], involves enabling the model to consult
external knowledge sources ... Finally, we explore the use of LaMDA in the
domains of education & content recommendations, & analyze their helpfulness
& role consistency."
-- [arXiv]['22].
("Google engineer put on leave after saying AI chatbot has
become sentient ..."
-- The G [www][13/6/2022].
Also see the abc@[www][13/6/2022].)
[Also search for: chatBot] and [also search for: AI natural language].
%A B. Capra
%T The metaphysics of farts
%J Think
%M MAR
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, fart, funny, bum, butt,
ha ha, haha, philosophy
%X "I consider the metaphysics of farts. I contrast the essential-bum-origin
view with a phenomenological view, and I argue in favour of the latter."
-- [www]['22].
(?Not 1 April, but close? ?ig...?)
%A A. George
%A T. Walsh
%T Artificial intelligence is breaking patent law
%J Nature
%M MAY
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, AI, law, patent, patents, invention
%X "The patent system assumes that inventors are human. Inventions devised by
machines require their own intellectual property law and an international
treaty. In 2020, a machine-learning algorithm helped researchers to develop a
potent antibiotic that works against many pathogens ..."
-- [doi:10.1038/d41586-022-01391-x]['22].
%A V. Gewin
%T Has the 'great resignation' hit academia?
%J Nature
%V 606
%P 211-213
%M MAY
%D 2022
%K news, views, c2022, c202x, c20xx, zz0622, university administration,
leavingacademia, academia, management, KPI, KPIs, jobs, career
%X "... growing wave of researchers using the #leavingacademia hashtag ...
By May 2021, one in five academic jobs in Australia had been cut. ...`
-- [doi:10.1038/d41586-022-01512-6]['22].
[Also search for: university administration].
%A Yingchen Wang
%A et al
%T Hertzbleed: Turning power side-channel attacks into remote timing attacks on
x86
%M JUN
%D 2022
%O 31st USENIX Security Symp., Boston, 10-12 Aug. 2022
%K conf, Hertzbleed, c2022, c202x, c20xx, zz0622, hack, computer security, SIKE,
attacker, x86, CPU, attack
%X "... we show that on modern Intel (and AMD) x86 CPUs, power side-channel
attacks can be turned into timing attacks that can be mounted without access
to any power measurement interface ... we show that this new channel is a
real threat to the security of cryptographic software ..."
-- [hertzbleed.com][6/2022].
%A J. Birch
%A et al ...
%A O. Zacks
%T How should we study animal consciousness scientifically?
%J J. of Consciousness Studies
%V 29
%N 3-4
%P 8-28
%M MAR
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, mind, conscious, consciousness, animals,
intelligence, cognition, unlimited associative learning, UAL, Marta Halina
%X "A conscious being has a subjective point of view on the world & on its own
body. This idea of a 'point of view' is easiest to grasp in the case of
vision. ..."
-- [doi:10.53765/20512201.29.3.008]['22]
in [www]['22].
%A K. Mack
%T The End of Everything
%I Scribner
%P 256
%M MAY
%D 2021
%K book, text, c2021, c202x, c20xx, zz0622, time, cosmology, universe
%X 1st ed 2021; pb us$10; uk us isbn:1982103558; uk us isbn13:978-1982103552.
"... tour through five of the cosmos's possible finales: the Big Crunch,
Heat Death, the Big Rip, Vacuum Decay (the one that could happen at any
moment!), and the Bounce. ..."
%A L. Postler
%A et al
%T Demonstration of fault-tolerant universal quantum gate operations
%J Nature
%V 605
%P 675-680
%M MAY
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, quantum computing, gate, gates, error,
fault, detection, qubit
%X "... Here we demonstrate a fault-tolerant universal set of gates on two
logical qubits in a trapped-ion quantum computer. ... make use of the
recently introduced paradigm of flag fault tolerance, where the absence or
presence of dangerous errors is heralded by the use of auxiliary flag
qubits. We perform a logical two-qubit controlled-NOT gate between two
instances of the seven-qubit colour code ..."
-- [doi:10.1038/s41586-022-04721-1]['22].
%A L. S. Madsen
%A et al
%T Quantum computational advantage with a programmable photonic processor
%J Nature
%V 606
%P 75-81
%M JUN
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, physics, photonic, quantum computing,
Gaussian boson sampling, GBS
%X "... we report quantum computational advantage using Borealis, a photonic
processor offering dynamic programmability on all gates implemented. We
carry out Gaussian boson sampling (GBS) on 216 squeezed modes entangled with
3D connectivity ... Borealis requires only 36 mu s. This runtime advantage is
over 50 million times ..."
-- [doi:10.1038/s41586-022-04725-x]['22].
%A S.Ebadi
%A et al
%T Quantum optimization of maximum independent set using Rydberg atom arrays
%J Science
%V 376
%N 6598
%M JUN
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, quantum computing, speedup, algorithm,
maximum independent set problem
%X "... Using Rydberg atom arrays with up to 289 qubits in two spatial dim., we
experimentally investigate q.algs. for solving the max. indep. set problem.
... find that the problem hardness is controlled by the soln degeneracy & #
of local minima, & we experimentally benchmark the q.alg.'s performance v.
classical sim.annealing. On the hardest graphs, we observe a superlinear
q.speedup in finding exact solns in the deep circuit regime ..."
-- [doi:10.1126/science.abo6587][22'].
[Also search for: quantum computing algorithm].
%A K. Singhal
%A K. Hietala
%A S. Marshall
%A R. Rand
%T Q# as a quantum algorithmic language
%J arXiv
%M JUN
%D 2022
%K TR, c022, c202x, c20xx, zz0622, Q#, Qsharp, quantum computing, programming,
programming language, PLD
%X "Q# is a standalone domain-specific prog.lang. from M'crosoft for writing &
running quantum programs. ... designed without a formal spec., which can
naturally lead to ambiguity in its interpretation. We aim to provide a formal
l.defn for Q# ... This paper presents lambda Q#, an idealized version of Q#
that illustrates how we may view Q# as a quantum A1gol (alg. lang.). We show
the safety properties enforced by lambda Q#'s type system & present its
equational semantics based on a fully complete algebraic theory by Staton."
-- 2206.03532@[arXiv]['22].
[Also search for: quantum programming language].
%A H. Earley
%T The alef-calculus: A declarative model of reversible programming
%K arXiv
%M JUN
%D 2022
%K TR, c2022, c202x, c20xx, zz0622, reversible computing, computation,
programming language, alefCalculus
%X "A novel model of reversible computing, the N-calculus, is introduced. It is
declarative, reversible-Turing complete, & has a local term-rewriting
semantics. Unlike prev. demonstrated reversible term-rewriting systems, it
does not require the accumulation of history data. Terms in the N-calculus,
in combination with the program defns, encapsulate all program state. An
interpreter was also written."
-- 2206.05957@[arXiv]['22].
[Also search for: reversible computing].
%A M. Belkin
%A et al
%T Reconciling modern machine-learning practice and the classical bias-variance
trade-off
%J PNAS
%V 116
%N 32
%P 15849-15854
%M JUL
%D 2019
%K jrnl, PNAS, c2019, c201x, c20xx, zz0622, NN, ANN, deep, neuralnetwork,
parameters, overfitting, stats
%X "... one of the central tenets of the field, the bias-variance trade-off,
appears to be at odds with the observed behavior of methods used in modern
machine-learning practice. The bias-variance trade-off implies that a model
should balance underfitting and overfitting ... neural networks are trained
to exactly fit (i.e., interpolate) the data. Classically, such models would
be considered overfitted, and yet they often obtain high accuracy on test
data. ... has raised questions about the mathematical foundations of machine
learning ... we reconcile the classical understanding and the modern practice
within a unified performance curve. This 'double-descent' curve ..."
-- [doi:10.1073/pnas.1903070116]['22].
%A N. Prezza
%T String attractors
%J arXiv
%M SEP
%D 2017
%K TR, c2017, c201x, c20xx, zz0622, string, strings, attractor, compression,
dictionary, repetition, repetitiveness
%X "Let S be a string of length n. ... we introduce the notion of string
attractor: a subset of the S's positions [1,n] s.t. every distinct substring
of S has an occurrence crossing one of the attractor's elts. We first show
that the minimum attractor's size yields upper-bounds to the string's
repetitiveness as measured by its linguistic complexity & by the length of
its longest repeated substring. We then prove that all known compressors for
rep.strings induce a string attractor whose size is bounded by their assoc.
repetitiveness measure, & can therefore be considered as approximations of
the smallest one. ... present a universal compressed data struct. for text
extraction that improves existing strategies simultaneously for all known
dictionary compressors & that, by recent lower bounds, almost matches the
optimal running time within the resulting space. ... we consider
generalizations of string attractors to labeled graphs, show that the
attractor problem is NP-complete on trees, & provide a logarithmic
approximation computable in polynomial time."
-- 1709.05314@[arXiv]['22].
%A G. Bernardini
%A P. Gawrychowski
%A N. Pisanti
%A S. P. Pissis
%A G. Rosone
%T Elastic-degenerate string matching via fast matrix multiplication
%J SIAM J. Comp.
%V 51
%N 3
%P ?-?
%M JUN
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, elastic degenerate string, dString,
EDstring, problem, indeterminate, strings, EDSM, matching, search, pattern
%X "... An elastic-degenerate (ED) string is a seq. of n sets of strings of
total length N ... to model a set of similar seqs.. The ED string matching
(EDSM) problem is to find all occurrences of a pattern of length m in an ED
text ... Our main technical contrib. is that we successfully combine these
tools with fast matrix mult. to design a noncombinatorial ~O(nm^{omega-1}+N)-
time alg. for EDSM, where omega denotes the matrix mult. exponent & the
~O(...)$ notation suppresses polylog factors. ..."
-- [doi:10.1137/20M1368033]['22], and
1905.02298@[arXiv]['22].
%A A. Abdi
%A M. Hooshmand
%T Longest common subsequence: Tabular vs. closed-form equation computation of
subsequence probability
%J arXiv
%M JUN
%D 2022
%K TR, c2022, c202x, c20xx, zz0622, LCS, LCSS, multiple alignment,
tabular random, heuristic
%X "... The LCS problem is an NP-hard problem ... heuristics methods. The
baseline for most famous heuristics fns is a tabular random, probabilistic
approach. This approach approximates the length of the LCS in each iteration.
... we introduce a closed-form eqn of the probabilistic table calculation for
the 1st time. Moreover, we present other corr. forms of the closed-form
eqn & prove all of them. ..."
-- 2206.11726@[arXiv]['22].
%A C. H. Chang
%A P. R. Armsworth
%A Y. J. Masuda
%T Twitter data reveal six distinct environmental personas
%J Frontiers in Ecology and the Environment
%D 2022
%K jrnl, c2022, c202x, c20xx, zz0622, tweet, twitter, social media, www,
concern, marketting
%X "... the first systematic characterization of environmental personas on
social media. Beginning with 1 million environmental nongovernmental
organization (NGO) followers on Twitter, of which 500,000 users met data
quality criteria, we identified six personas that differ in their expression
of 21 environmental issues. ..."
-- [www].