\LuXaS · @luxas
323 followers · 827 posts · Server social.gnieh.org

Ma page Haltools du moment : haltools.inria.fr/Public/affic

Si vous ne connaissez pas HAL, c'est un outil exceptionnel de l'Inria, regroupant en accès libre les publications scientifiques Inria. L'outil permet de faire des recherches sur les métadonnées, expose une API puissante. Du bel ouvrage, issu de la recherche publique. inria.hal.science/

#paperoftheday

Last updated 1 year ago

\LuXaS · @luxas
269 followers · 198 posts · Server social.gnieh.org

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

By Sebastian Ullrich and Leonardo de Moura

arxiv.org/abs/1908.05647

#paperoftheday

Last updated 1 year ago

\LuXaS · @luxas
269 followers · 198 posts · Server social.gnieh.org

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

By Sebastian Ullrich and Leonardo de Moura

arxiv.org/abs/1908.05647

#paperoftheday

Last updated 1 year ago

\LuXaS · @luxas
269 followers · 198 posts · Server social.gnieh.org

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

By Sebastian Ullrich et Leonardo de Moura

arxiv.org/abs/1908.05647

#paperoftheday

Last updated 1 year ago

\LuXaS · @luxas
229 followers · 1216 posts · Server mamot.fr

"Composing bidirectional programs monadically" by
Li-yao Xia, Dominic Orchard, Meng Wang arxiv.org/abs/1902.06950

#paperoftheday

Last updated 2 years ago

Soubaboy · @soubaboy
2 followers · 3 posts · Server mastodon.zaclys.com

[POTD] Paper Of The Day

Guitar Tab Mining, Analysis and Ranking

ismir2011.ismir.net/papers/PS3

Who? :blobcatnerd: Robert Macrae & Simon Dixon
When? 🕰️ 2011 (🧓)
Where? 🗺️ ISMIR

Topic: How to assess the quality of plain text guitar tabs online?

Take-Home Message (THM): Most recommended tabs online are not necessarily the more accurate when it comes to chord sequence.

Soundtrack suggestion: songs by The Beatles.

#guitar #research #paperoftheday

Last updated 2 years ago

Tanguy Fardet · @tfardet
286 followers · 1048 posts · Server fediscience.org

@ArneBab @wolfgangcramer @nyates314 there was also used at some point for that purpose, but it hasn't been used much lately

#paperoftheday

Last updated 2 years ago

\LuXaS · @luxas
222 followers · 1051 posts · Server mamot.fr

"Formalizing line editors in Coq" par
Boro Sitnikovski.

Si comme touste un·e chacun·e vous avez déjà pensé : "quelle est la définition formelle d'un éditeur de texte ?" Ou encore "mon éditeur est-il correct ?" (la réponse est incidemment la même que celle à la question "mon éditeur est-il vim ?")

C'est la publi qu'il vous faut.

arxiv.org/abs/2006.03525

#paperoftheday

Last updated 2 years ago

\LuXaS · @luxas
205 followers · 800 posts · Server mamot.fr

: The Verse Calculus: a Core Calculus for Functional Logic Programming (Augustsson et al, Epic Games) simon.peytonjones.org/assets/p

#paperoftheday

Last updated 2 years ago

PatrickMeyfroidt · @pmeyfroidt
247 followers · 197 posts · Server fediscience.org

OK, ..
Sorry, messed up again, and this one is not part of the previous thread on energy. But just happened to receive and read it, so, thoughts.

So it's Marin et al. 2022, "Protecting the Amazon forest and reducing global warming via agricultural intensification"
doi.org/10.1038/s41893-022-009
(1/x)

#paperoftheday

Last updated 2 years ago

PatrickMeyfroidt · @pmeyfroidt
233 followers · 166 posts · Server fediscience.org

Well, progressing, but still a lot to do. But after a day of work (yeah, ), all the layers are there 🙂 , so now it's "only" about aesthetics and legend... 😱

I moved from to but still with and

(so, sorry, no ... 🙄 )


(yesterday: fediscience.org/@pmeyfroidt/10 )

#rstats #map #geography #paperoftheday #sf #terra #tmap #plot #newbie

Last updated 2 years ago

PatrickMeyfroidt · @pmeyfroidt
230 followers · 152 posts · Server fediscience.org

OK, a short paper today, Schramski et al. 2020 “Energy use and the sustainability of intensifying food production” doi.org/10.1038/s41893-020-050

Essentially to illustrate a second aspect of the relation between and , with a focus on the part of land use: the flow of energy within food systems themselves, and in particular the fate of the solar energy captured by plants.
(1/3)

#food #landsystems #energy #paperoftheday

Last updated 2 years ago

PatrickMeyfroidt · @pmeyfroidt
224 followers · 137 posts · Server fediscience.org

OK, , a new series. Energy. If you define as the capacity to cause change, it’s obvious that energy are at the core of challenges. I’ve had a set of papers on my reading folder on energy & 100% renewables potential, but, as this is not my core expertise, I’m starting with a “bridge”, with a set of papers that discuss three key ways in which energy and are related (I’ll recap these three ways at the end). (1/~7-8?)

#landsystems #sustainability #energy #paperoftheday

Last updated 2 years ago

PatrickMeyfroidt · @pmeyfroidt
201 followers · 117 posts · Server fediscience.org

I got lost this week, but will hopefully restart the thread next week.
For today, a recap before we move to a new topic. This is a long thread🧵!

I proposed several papers that deal with the future of , mainly in low-middle income countries, trends in size and numbers, the relation with force in and out of , and .
What do we see when linking these stories?, restarting from a close-up look and then zoom out to the big picture.

#poverty #agriculture #Labor #farm #farming #smallholder #paperoftheday

Last updated 2 years ago

Alexis Verger · @AVerger
815 followers · 83 posts · Server fediscience.org

Amazing work showing that of the module (CDK) of Mediator complex in chimeric receptor T cell (CAR T) resulted in enhanced effector function and increased activity (disruption of CDK module increases core Mediator occupancy at )

science.org/doi/10.1126/scienc

#enhancers #chromatin #Antitumor #antigen #Kinase #disruption #genetic #paperoftheday

Last updated 2 years ago

Sarah Höfler · @Aquageo
448 followers · 65 posts · Server mastodon.online

Do we have already something like ? However, today I read about in the Danube and how just one of the former 6 species was detected by means of eDNA. 😥
link.springer.com/article/10.1

#sturgeons #paperoftheday

Last updated 2 years ago

Helena Pérez Valle · @minimammoth
442 followers · 755 posts · Server mastodon.social

This is such a fun, well written paper! Love to see science written like this: personable, funny, clear.
psyarxiv.com/2uxwk/

#psychology #paperoftheday #potd

Last updated 2 years ago

Chris Foster · @cgfoz
64 followers · 12 posts · Server mastodon.social

“A DC State of Mind? A Review of the World Development Report 2021: Data for Better Lives” - Great paper by Mikiri-Smith, Mann & Azmeh taking apart the weaknesses of the World Bank ideologies on data
onlinelibrary.wiley.com/doi/fu

#paperoftheday

Last updated 2 years ago

Abde :verified: · @abde
157 followers · 194 posts · Server qoto.org

Approximate Convex Decomposition for 3D Meshes with
Collision-Aware Concavity and Tree Search

by XINYUE WEI, MINGHUA LIU, ZHAN LING, HAO SU

Approximate convex decomposition of is a very important problem in , , .

Convex objects allow us to test if a point is in that object in \(O\log(n)\). This operation is used to check if an object is colliding with another. Unfortunately, the objects that we manage are rarely convex, so most of the times developers tend to approximate the mesh of a model into a convex one (a cube, sphere, etc).

In the most representative cases, a decomposition happens -> we divide the domain of the mesh into convex ones. What happens? If the mesh is very complex, we can have a very high of convex meshes! More colliders for the scene 🤯

For that reason there are methods to have approximate convex decompositions, convex decompositions that "look like" the original one in order to respect its collision properties.

You can read the paper in more detail here: arxiv.org/pdf/2205.02961.pdf

#gamedev #paper #Polyhedra #collision #physics #paperoftheday #virtualreality #3d #convex #research #math #geometry #computerscience

Last updated 2 years ago

Tanguy Fardet · @tfardet
242 followers · 876 posts · Server fediscience.org

@tommi on Fediscience, we've been using the hashtag for short paper presentations (though is was not very active lately)

#paperoftheday

Last updated 2 years ago