Search engine run on: http://users.monash.edu.au/
Glookbib search for: zz0224
%T European Conf. on Machine Learning (ECML)
%K ECML, ECML14,2003, ECML,2004, ECML16,2005, ECML17,2006, ECML32,2021,
ECML33,2022, ECML34,2023, ECML35,2024,
CFP,conf,AI,Euro,EEC,www,HREF,http, zz0224, zz0324, zz0225, zz0226
%X [9-13 Sep 2024] Vilnius, deadline 15 March 2024
[18-22 Sep 2023] Torino, deadline 26 March 2023
[19-23 Sep 2022] Grenoble+online, deadline jrnl 11 Feb, conf 21 March 2022
...
%T Int. Conf. on Functional Programming (ICFP)
%K ICFP, ICFP8,2003, ICFP9,2004, ICFP10,ICFP05,2005, ICFP11,ICFP06,2006,
ICFP12,ICFP07,2007, ICFP13,ICFP08,2008, ICFP14,ICFP09,2009, ICFP13,2013,
ICFP14,2014, ICFP15,2015, ICFP16,2016, ICFP17,2017, ICFP18,2018, ICFP19,2019,
ICFP20,2020, ICFP21,2021, ICFP22,2022, ICFP23,2023, ICFP24,2024,
CFP,conf,FP,theory,applications,lambda calculus,http,HREF,www,zz0224,zz0225
%X [2024 2-7 Sept 2024], Milan, deadline 28 Feb 2024
[2023 4-9 Sept 2023], Seattle, deadline 1 March 2023
[2022 Sep 11-16] Ljubljana, deadline 2 March 2022
. . .
%A O. Regev
%T On lattices, learning with errors, random linear codes, and cryptography
%J Proc. of the 37th Annual ACM Symp. on Theory of Comput.
%I ACM
%P 84-93
%D 2005
%K conf, c2005, c200x, c20xx, zz0224, lattice based, code, cryptography,
GapSVP, SIVP
%X "Our main result is a red'n from worst-case lattice problems such as GapSVP
& SIVP to a certain learning problem. ... This, we believe, gives a strong
indication that these problems are hard. Our red'n, however, is quantum.
Hence, an efficient soln to the learning problem implies a q.alg. for GapSVP
& SIVP. A main open question is whether this red'n can be made classical
(i.e., nonquantum). ..."
-- [doi:10.1145/1568318.1568324]['24] and
pdf@[nyu.edu]['24].
[Also search for: lattice based cryptography].
%A R. Cramer
%A L. Ducas
%A C. Peikert
%A O. Regev
%T Recovering short generators of principal ideals in cyclotomic rings
%J Int. Conf. on the Theory & Appl. of Cryptographic Techniques
%I Springer
%S LNCS
%V 9666
%P 559-585
%D 2016
%K conf, c2016, c201x, c20xx, zz0224, cyclotomic ring, lattice based, ideal,
short, generator, encryption, cryptography, algorithm,
shortest vector problem, SVP
%X "... we clarify the situation by giving a rigorous proof that the log-unit
lattice is indeed efficiently decodable, for any cyclotomic of prime-power
index ... as a 2nd main contr'n we obtain an efficient alg. that, given any
generator of a principal ideal (in a p.-power cyclotomic), finds a
2^{_O(sqrt(n))}-approx. shortest vector in the ideal. Combining this with
the result of Biasse & Song yields a q.polynomial-time alg. for the
2^{_O(sqrt(n))-approx. Shortest Vector Problem on principal ideal lattices."
-- [doi:10.1007/978-3-662-49896-5_20]['24].
[Also search for: lattice based cryptography].
%A S. Kale
%A et al
%T A modern approach to electoral delimitation using the quadtree data structure
%J arXiv
%M FEB
%D 2024
%K TR, c2024, c202x, c20xx, zz0224, politics, electorate, electoral, boundary,
district, redistribution, gerrymander, delimitation, political, election
%X "... study & analyse the performance of existing delimitation algs. & further
propose a potential soln, along with its merits, that involves using a
computational model based on the quadtree data structure to automate the
districting process by optimizing objective population criteria. ..."
-- [arxiv:2402.09336]['24].
[Also search for: gerrymander].
%A C.Moy
%T Knuth-Morris-Pratt illustrated
%J JFP
%V 34
%N e3
%M JAN
%D 2024
%K FP, JFP, c2024, c202x, c20xx, zz0224, string, pattern matching, search
%X "... This paper constructs KMP incrementally, using pictures to illustrate
each step. The end result is easier to comprehend. [&] the derivation uses
only elementary FP techniques."
-- [doi:10.1017/S0956796824000017]['24].
[Also search for: Knuth Morris Pratt string].
%A M. Catanzaro
%T Citation cartels help some mathematicians - and their universities - climb
the rankings
%J Science
%M JAN
%D 2024
%K news, c2024, c202x, c20xx, zz0224, university ranking, rankings, academia,
publications, fraud, citation cartel, citations, China, Egypt, Saudi Arabia,
rankings, manipulation, gaming, maths, bibliometrics, Clarivate, Docampo
%X "Cliques of mathematicians at institutions in China, Saudi Arabia, &
elsewhere have been artificially boosting their colleagues' citation counts
by churning out low-quality papers that repeatedly reference their work,
according to an unpublished analysis seen by Science. ..."
-- [doi:10.1126/science.zcl2s6d]['24].
[Also search for: university ranking].
%A M. Kozlov
%T Dana-Farber retractions: meet the blogger who spotted problems in dozens of
cancer papers
%J Nature
%V 626
%P 16-17
%M JAN
%D 2024
%K news, c2024, c202x, c20xx, zz0224, academic research, publications, papers,
scientific, misconduct, images, figures, paper retraction, DFCI, Sholto David
%X "The prestigious Dana-Farber Cancer Institute (DFCI) in Boston, Mass.,
acknowledged this week that it would seek retractions for 6 papers &
corrections for an additional 31 ..."
-- [doi:10.1038/d41586-024-00202-9]['24].
[Also search for: paper retraction].
%A D. Burns
%A E. N. Hawkins
%A D. R. Judd
%A J. L. Venn
%T The Egdon system for the KDF9
%J COMPJ
%V 8
%N 4
%P 297-302
%M JAN
%D 1966
%K COMPJ, jrnl, c1966, c196x, c19xx, zz0224, KDF9, KDF 9, operating system, OS,
multiprogramming, timesharing, kernel, COSEC, COTAN, Thomas Hardy,
computing, c1966, c196x, c19xx, English Electric
%X "An operating system based on the use of high-level languages & on the use of
a discfile for program storage is described. The use of the discfile & the
fact that only a small fraction of a program has to be recompiled when an
error is corrected means that a very quick turnround is provided to users."
-- [doi:10.1093/comjnl/8.4.297]['24].
(Also see,
"... The EGDON O.S. was so named because one was going to UKAEA Winfrith: in
Thomas Hardy's book The Return of the Native Winfrith Heath is called Egdon
Heath. EGDON Fortran was called EGTRAN. Eldon was so named because Leeds U's.
computer was located in a converted Eldon chapel. ..."
-- KDF9@[wikip]['24].)
[Also search for: KDF9].
%A L. Grover
%A T. Rudolph
%T Creating superpositions that correspond to efficiently integrable
probability distributions
%M AUG
%D 2002
%K TR, c2002, c200x, c20xx, zz0224, quantum computing, probability distribution,
integration, quantum, superposition, computing
%X "We give a simple & efficient process for generating a q.superposition of
states which form a discrete approx. of any efficiently integrable (such as
log concave) probability density fns."
-- [doi:quant-ph/0208112]['24].
[Also search for: quantum computing] and [also search for: Grover quantum].
%A Kaizhe Wang
%A et al
%T Centrifugal flows drive reverse rotation of Feynman's sprinkler
%J Physical Rev. Lett.
%V 132
%N 4, #044003
%M JAN
%D 2024
%K physics, c2024, c202x, c20xx, zz0224, Feynman, sprinkler, rotation, rotate,
fluid, hydrodynamics
%X "... reversibility in hydromechanical sprinklers that auto-rotate while
ejecting fluid from S-shaped tubes raises fundamental [Qs] that remain
unresolved. ... report on precision experiments that reveal robust &
persistent reverse rotn under suction & a model that accounts for the
observed motions. We implement an ultralow friction bearing in an apparatus
that allows for free rotn under ejection & suction for a range of flow rates
& arb. long times. Flow measurements reveal a rocketlike mechanism shared by
the rev. & fwd modes that involves angular momentum flux, whose subtle
manifestation in the reverse case stems from centrifugal effects for flows in
curved conduits. These findings answer F's long-standing Q by providing
quantitatively accurate explanations of both modes, & they suggest further
inquiries into flux-based force generation & the roles of geometry &
Reynolds number."
-- [doi:10.1103/PhysRevLett.132.044003]['24].
%A E. Gibney
%T Pioneering nuclear-fusion reactor shuts down: what scientists will learn
%J Nature
%V 626
%P 13-14
%M JAN
%D 2024
%K news, c2024, c202x, c20xx, zz0224, physics, nuclear, fusion power, energy,
Culham, UK, UKAEA, JET, Joint European Torus, tokamak, ITER
%X "Scientists have begun to decommission one of the world's foremost
nuclear-fusion reactors, 40 years after it began operations. Researchers will
study the 17-year process of dismantling the Joint European Torus (JET) near
Oxford ..."
-- [doi:10.1038/d41586-024-00135-3]['24].
Also see JET@[ukaea]['24],
JET@[wikip]['24].
(?Slightly premature ... also see fusion JET c2024.)
[Also search for: fusion power JET].
%T Breaking new ground: JET Tokamak's latest fusion energy record shows
mastery of fusion processes
%I EUROfusion
%M FEB
%D 2024
%K news, c2024, c202x, c20xx, zz0224, physics, nuclear, fusion power, energy,
deuterium tritium, Culham, UK, UKAEA, JET, Joint European Torus, tokamak,
ITER
%X "... (JET) facility have set a new world energy record of 69 megajoules
released in sustained & controlled fusion energy. ... 69.26 megajoules of
heat released during a single pulse ... Released over six seconds from only
0.21 milligrams of fuel ... 20 times the amount of energy released in a
recent shot at the U.S. National Ignition Facility (NIF) at Lawrence
Livermore National Laboratory [LLNL] in Oct. 2023 ..."
-- [www]['24].
Also see the [bbc]['9/2/2024].
%A N. C. J. Papadopoulos
%A et al
%T Reductive quantum phase estimation
%J arXiv
%M FEB
%D 2024
%L TR, c2024, c202x, c20xx, zz0224, quantum computing, phase estimation,
algorithm, QPE, RQPE
%X "... two well-known methods have been developed in distinct contexts, namely,
Ramsey interferometry (RI) in atomic & molecular physics & quantum phase
est. (QPE) in q.computing. We demonstrate that these canonical examples are
instances of a larger class of phase est. protocols, which we call reductive
q.phase est. (RQPE) circuits. ... present an explicit alg. that allows one to
create an RQPE circuit. [It] distinguishes an arbitrary set of phases with a
fewer # of qubits & unitary applications ..."
-- [arxiv:2402.04471]['24].
[Also search for: quantum phase].
%A B. Omer
%T Classical concepts in quantum programming
%J arXiv
%M APR
%D 2003
%O QS2002 proc.
%K conf, c2003, c200x, c20xx, zz0224, quantum programming language, QCL,
state, gate, program
%X "... investigates, how classical concepts like h/w abstraction, hierarchical
programs, data types, memory management, flow of control & structured
programming can be used in q.computing. The experimental language QCL will be
introduced as an [eg], how elements like irreversible fns, local variables &
conditional branching, which have no direct q. counterparts, can be
implemented ..."
-- [arxiv:quant-ph/0211100]['24].
[Also search for: quantum Omer].
%A B. Omer
%T Structured quantum programming
%I Inst. for Theor. Physics, Vienna U. of Tech.
%P 72, 92–107
%M MAY
%D 1999
%K thesis, c1999, c199x, c19xx, zz0224, quantum computing,
programming language, program
%X "... This thesis investigates how the classical formalism of structured
programming can be adapted to the field of q.computing, based on the
m/c model of a universal computer with a q.oracle allowing the application
of unitary gates & the measurement of single qubits ..."
-- Archived from the original (PDF) on March 27, 2022,
pdf@[www]['24].
[Also search for: quantum Omer].
%A D. Stein
%A S.Staton
%T Probabilistic programming with exact conditions
%J JACM
%M FEB
%D 2024
%K jrnl, JACM, c2024, c202x, c20xx, zz0224, Gaussian, programming language,
STAN, model
%X "We spell out the paradigm of exact conditioning as an intuitive & powerful
way of conditioning on observations in probabilistic programs. This is
contrasted with likelihood-based scoring known from languages such as Stan.
... cases of discrete & Gaussian probability ..."
"Prob.prog. is a prog.paradigm that uses code to formulate generative
statistical models & perform inference on them ..."
-- [doi:10.1145/3632170]['24].
%A Yang Li
%A et al
%T Private graph data release: A survey
%J Computing Surveys
%V 55
%N 11
%P 1-39
%M FEB
%D 2023
%K jrnl, ACM, c2023, c202x, c20xx, zz0224, KelvinYL, differential privacy,
graphs, stats, pufferfish privacy, private
%X "... a comprehensive survey of private graph data release algs. that seek to
achieve the fine balance between privacy & utility, with a specific focus on
provably private mechanisms. Many ... are natural extensions of the
Differential Privacy f/wk to graph data, but we also investigate more general
privacy formulations like Pufferfish Privacy ..."
-- [doi:10.1145/3569085]['24].
%A Xiao Mao
%T Breaking the cubic barrier for (unweighted) tree edit distance
%J FOCS
%D 2021
%O SIAM J. Comput., 53(1), 2024
%K conf, FOCS, c2021, c202x, c20xx, zz0224, unweighted, tree edit distance,
treeEdit, maxPlus, algorithm
%X "... In this paper, we break the cubic barrier by showing an time alg. for
the unweighted tree ED problem. We consider an equivalent maximization
problem & use a DP scheme involving matrices with many special properties. By
using a decomposition scheme as well as several combinatorial techniques, we
reduce TED to the max-plus product of bounded-difference matrices, which can
be solved in truly subcubic time ..."
-- [doi:10.1137/22M1480719]['24].
[Also search for: treeEdit].
%A G. Bathie
%A et al
%T Pattern matching with mismatches and wildcards
%J arXiv
%M FEB
%D 2024
%K TR, c2024, c202x, c20xx, zz0224, algorithm, string, strings, mismatch,
wildcard, pattern matching, match
%X "... approximate pattern matching with wildcards. Given a pattern P of length
m containing D wildcards, a text T of length n, & an int. k, ... identify
all fragments of T within Hamming distance k from P. Our primary contrib'n is
an alg. with runtime O(n+(D+k)(G+k).n/m). Here, G <= D represents the # of
maximal wildcard fragments in P. ..."
-- [arxiv:2402.07732]['24].
[Also search for: string pattern matching].
%A J.-Y. Girard
%T The system F of variable types, fifteen years later
%J Theor. Comp. Sci.
%V 45
%P 159-192
%D 1986
%K jrnl, TCS, c1986, c198x, c19xx, zz0224, typed lambda calculus, type, types,
system F, systemF
%X "The semantic study of system F stumbles on the problem of variable types
for which there was no convincing interpretation; we develop here a semantics
based on the category-theoretic idea of direct limit, so that the behaviour
of a variable type on any domain is determined by its behaviour on finite
ones, thus getting rid of the circularity of variable types. To do so, one
has first to simplify somehow the extant semantic ideas, replacing Scott
domains by the simpler & more finitary qualitative domains. The interp'n
obt. is extremely compact, as shown on simple examples. ... also contains the
defn of a very small 'universal model' of lambda-calculus, & investigates the
concept totality."
-- [doi:10.1016/0304-3975(86)90044-7]['24].
[Also search for: systemF] and [also search for: typed lambda calculus].
(Also see system F @ [wikip]['24].)