Search results for "DF"
showing 10 items of 1699 documents
MLOG: a strongly typed confluent functional language with logical variables
1994
Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…
Deep Learning for Classifying Physical Activities from Accelerometer Data
2021
Physical inactivity increases the risk of many adverse health conditions, including the world’s major non-communicable diseases, such as coronary heart disease, type 2 diabetes, and breast and colon cancers, shortening life expectancy. There are minimal medical care and personal trainers’ methods to monitor a patient’s actual physical activity types. To improve activity monitoring, we propose an artificial-intelligence-based approach to classify the physical movement activity patterns. In more detail, we employ two deep learning (DL) methods, namely a deep feed-forward neural network (DNN) and a deep recurrent neural network (RNN) for this purpose. We evaluate the proposed models on two phy…
GHB: farmaco, sostanza d’abuso e droga da stupro: diverse tipologie di uso, differenti problematiche analitico-forensi
2012
L’acido gamma-idrossibutirrico (GHB) è un neurotrasmettitore con effetti gaba-mimetici; si tratta di un composto endogeno, ma notoriamente usato per le applicazioni terapeutiche come anestetico per via endovenosa, come sedativo e per il trattamento della narcolessia. Dagli anni ‘80 è comune sostanza usata come doping, quindi emerge come droga da “tempo libero” nei rave-party; più recentemente, i supposti effetti afrodisiaci e la reale capacità di induzione di amnesia retrograda ne hanno indotto l’utilizzazione quale sostanza in grado di ridurre la capacità di resistenza della vittima di uno stupro annoverandola tra le cosiddette “date rape drugs” (Drug facilitated sexual assault, DFSA), e c…
What motivates the adoption of green restaurant products and services? A systematic review and future research agenda
2021
Issues regarding green restaurants have received significant scholarly and practitioner attention in the last decade, particularly concerning why consumers adopt green restaurants. Although several reviews exist on green hospitality, a comprehensive review of the literature on consumers' green restaurant adoption is currently lacking. The following systematic literature review examines 50 research studies published on the consumer adoption of green restaurant services to address this gap accordingly. Through a detailed content analysis, the research profile and thematic analysis are presented. The review further identifies four key thematic foci: (a) consumer behavior variables studied, (b)…
Convergence of Boobnov-Galerkin Method Exemplified
2004
In this Note, Boobnov–Galerkin’s method is proved to converge to an exact solution for an applied mechanics problem. We address in detail the interrelation of Boobnov–Galerkin method and the exact solution in the beam deflection problems. Namely, we show the coincidence of these two methods for clamped–clamped boundary conditions, using an alternative set of functions proposed by Filonenko-Borodich.12 Received 25 February 2003; accepted for publication 13 March 2004. Copyright c 2004 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved. Copies of this paper may be made for personal or internal use, on condition that the copier pay the $10.00 per-copy fee to th…
Efficient Extraction of Olive Pulp and Stone Proteins by using an Enzyme-Assisted Method
2014
An efficient protein extraction protocol for proteins from olive pulp and stone by using enzymes was developed. For this purpose, different parameters that affect the extraction process, such as enzyme type and content, pH, and extraction temperature and time, were tested. The influence of these factors on protein recovery was examined using the standard Bradford assay, while the extracted proteins were characterized by sodium dodecyl sulfate-polyacrylamide gel electrophoresis (SDS-PAGE). The best extraction conditions were achieved at pH 7.0 and 5% (v/v) Palatase® 20000 L (lipase) for pulp and Lecitase® Ultra (phospholipase) for stone proteins. The optimal extraction temperature and time w…
The impact of Gender and Local Environment on Equity and Real Estate Crowdfunding
2016
International audience
Genetic structure and demographic inference of the regular sea urchin Sterechinus neumayeri (Meissner, 1900) in the Southern Ocean: the role of the l…
2018
22 pages; International audience; One of the most relevant characteristics of the extant Southern Ocean fauna is its resiliency to survive glacial processes of the Quaternary. These climatic events produced catastrophic habitat reductions and forced some marine benthic species to move, adapt or go extinct. The marine benthic species inhabiting the Antarctic upper continental shelf faced the Quaternary glaciations with different strategies that drastically modified population sizes and thus affected the amount and distribution of intraspecific genetic variation. Here we present new genetic information for the most conspicuous regular sea urchin of the Antarctic continental shelf, Sterechinus…
Synthesis of Enaminones-Based Benzo[d]imidazole Scaffold: Characterization and Molecular Insight Structure
2020
(E)-1-(1H-Benzo[d]imidazol-2-yl)-3-(dimethylamino)prop-2-en-1-one 2 was synthesized by one-pot synthesis protocol of 2-acetyl benzo[d]imidazole with dimethylformamide dimethylacetal (DMF-DMA) in xylene at 140 °
Synthesis and X-ray Crystal Structure of New Substituted 3-4′-Bipyrazole Derivatives. Hirshfeld Analysis, DFT and NBO Studies
2021
A new compounds named 3-4′-bipyrazoles 2 and 3 were synthesized in high chemical yield from a reaction of pyran-2,4-diketone 1 with aryl hydrazines under thermal conditions in MeOH. Compound 2 was unambiguously confirmed by single-crystal X-ray analysis. It crystalizes in a triclinic crystal system and space group P-1. Its crystal structure was found to be in good agreement with the spectral characterizations. With the aid of Hirshfeld calculations, the H…H (54.8–55.3%) and H…C (28.3–29.2%) intermolecular contacts are the most dominant, while the O…H (5.8–6.5%), N…H (3.8–4.6%) and C…C (3.0–4.9%) are less dominant. The compound has a polar nature with a net dipole moment of 6.388 Debye. The …