Diffusion coefficients of trivalent rare earth/actinide ions in acid and alkaline aqueous solutions by Liyana Nadirah, M. S., Deraman, M. R., Wan Ibrahim, W. H., Harun, N.

“…The calculation diffusivity of Di which is diffuse individual ions in pure water and DAB diffuse in chemical reagents were determined using Nernst-Haskell equation, applicable for 25°C. The results of D i were found to be consistent with experimental data from the literature where most of calculation and experiment data are less than 5% error. …”
Get full text

Identification of geneticaly modified soybean seeds resistant to glyphosate by Tillmann Maria Ângela André, West Shirlie

“…Eight soybean genotypes were compared: four Roundup Ready, that contained the gene resistant to the herbicide (G99-G725, Prichard RR, G99-G6682, and H7242 RR) and four non-transgenic parental cultivars (Boggs, Haskell, Benning, and Prichard). In the first study, the seeds were imbibed for 16 hours at 25°C in herbicide concentrations between 0.0 and 1.5% of the glyphosate active ingredient. …”
Get full text

Temperatura acumulada diaria (ADD) y secuencia de desarticulación en la reconstrucción del intervalo post-mortem (IPM). Contribución a la tafonomía forense by Atilio Nasti

“…Para tal efecto, se propone la ecuación de regresión lineal de Megyesi, Nawrocki y Haskell (2005) en la que se utilizan los datos de temperatura local y estado de conservación de Equus caballus para obtener el ADD (°C) acumulados por día) y así inferir el IPM. …”
Get full text

Automated Mapping of Historical Native American Land Allotments at the Standing Rock Sioux Reservation Using Geographic Information Systems by Joshua Jerome Meisel, Stephen L. Egbert, Joseph P. Brewer, Xingong Li

Get full text

Abstract Hidden Markov Models: a monadic account of quantitative information flow by Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

“…We illustrate the $\mathbb{D}\mathcal{X}\to \mathbb{D}^2\mathcal{X}$ construction with a small Haskell prototype. We then present uncertainty measures as a generalisation of the extant diversity of probabilistic entropies, with characteristic analytic properties for them, and show how the new entropies interact with the order of increasing security. …”
Get full text

����ₛ: computable semantics for differentiable programming with higher-order functions and datatypes by Sherman, Benjamin, Michel, Jesse, Carbin, Michael

“…Together, these features enableλS to expose differentiable, higher-order functions for integration, optimization, and root-finding as first-class functions with automatically computed derivatives. λS's semantics is computable, meaning that values can be computed to arbitrary precision, and we implement λS as an embedded language in Haskell. We use λS to construct novel differentiable libraries for representing probability distributions, implicit surfaces, and generalized parametric surfaces-all as instances of higher-order datatypes-and present case studies that rely on computing the derivatives of these higher-order functions and datatypes. …”
Get full text

A decomposition method for global evaluation of shannon entropy and local estimations of algorithmic complexity by Zenil, H, Soler-Toscano, F, Kiani, N, Hernández-Orozco, S, Rueda-Toicen, A

“…We provide implementations in most major programming languages --Mathematica, Matlab, R, Java, Perl, Python, Pascal, C++, and Haskell-- and a free online algorithmic complexity calculator.…”

A invisibilidade do corpo feminino nas montanhas fálicas: "Picnic na Montanha Misteriosa" (1975) by Adriana Falqueto Lemos, Alice da Rocha Perini, Hugo Felipe Quintela

“…Em contrapartida, a teoria feminista do cinema (Rosen, 1973, Mellen, 1974 & Haskell, 1987) há muito tem proposto uma nova perspectiva ao espaço obscurecido pela construção social dos gêneros. …”
Get full text

Broadband waveforms and site effects at a borehole seismometer in the Po alluvial basin (Italy) by L. Margheriti, L. Malagnini, M. Di Bona, L. Dall'Olio, A. Delladio, F. Ardizzoni, R. M. Azzara, M. Cocco, A. Nardi

“…We compared these observations with a theoretical model for the site response computed by the Haskell-Thomson method.…”
Get full text

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) by Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andy, Chlipala, Adam

“…In the context of the open RISC-V instruction-set family, we decided to explore a different approach, with semantics written in a carefully chosen subset of Haskell. This style does not depend on any new language translators, relying instead on parameterization of semantics over type-class instances. …”
Get full text

Determination of the polynomial moments of the seismic moment rate density distribution with positivity constraints by Das, S, Kostrov, B

“…We use two different kinds of faulting models to generate the artificial data. One is the Haskell-type of faulting model. The other consists of a collection of a few isolated points releasing moment on a fault, as was proposed in recent studies of this earthquake. …”

Profunctor optics: Modular data accessors by Pickering, M, Gibbons, J, Wu, N

“…The language features required are higher-order functions (‘lambdas’ or ‘closures’), parametrized types (‘generics’ or ‘abstract types’) of higher kind, and some mechanism for separating interfaces from implementations (‘abstract classes’ or ‘modules’). We use Haskell as a vehicle in which to present our constructions, but other languages such as Scala that provide the necessary features should work just as well. …”

Logging in Multilayered Saturated Porous Formations by Schmitt, D. P., Cheng, C. H., Toksoz, M. N.

“…We present a general formulation based on the Thomson-Haskell method which allows the study of complex models. …”
Get full text

Cased Borehole Effect On Downhole Seismic Measurements by Peng, Chengbin, Cheng, C. H., Toksoz, M. N., Zhu, Zhenya

“…This method is advantageous over the Thomson Haskell propagator matrix method in handling evanescent waves. …”
Get full text

Smten and the art of satisfiability-based search by Uhler, Richard Stephen

Get full text

Control of Glyphosate-Resistant Common Ragweed (Ambrosia artemisiifolia L.) in Glufosinate-Resistant Soybean [Glycine max (L.) Merr] by Ethann R. Barnes, Stevan Z. Knezevic, Peter H. Sikkema, John L. Lindquist, Amit J. Jhala

Get full text

Security and Cryptographic Challenges for Authentication Based on Biometrics Data by Stefania Loredana Nita, Marius Iulian Mihailescu, Valentin Corneliu Pau

“…The technologies used in creating the framework are: C#, Java, C++, Python, and Haskell. The wide range of technologies for developing the algorithms give the readers the possibility and not only, to choose the proper modules for their own research or business direction. …”
Get full text

Survival and Development of <i>Striacosta albicosta</i> (Smith) (Lepidoptera: Noctuidae) Immature Stages on Dry Beans, non-<i>Bt</i>, Cry1F, and Vip3A Maize by Débora G. Montezano, Thomas E. Hunt, Alexandre Specht, Priscila M. C. Luz, Julie A. Peterson

Get full text

PARTE : automatic program partitioning for efficient computation over encrypted data by Shah, Meelap (Meelap Vijay)

Get full text

Array Operators Using Multiple Dispatch: A design methodology for array implementations in dynamic languages by Chen, Jiahao, Karpinski, Stefan, Shah, Viral, Edelman, Alan, Bezanson, Jeffrey Werner

“…Only a few languages, such as C++ and Haskell, provide the necessary power to define n-dimensional arrays, but these systems rely on compile-time abstraction, sacrificing some flexibility. …”
Get full text
Get full text