Filters








5,147 Hits in 6.7 sec

The bologna optimal higher-order machine

Andrea Asperti, Cecilia Giovannetti, Andrea Naletto
1996 Journal of functional programming  
AbstractThe Bologna Optimal Higher-order Machine (BOHM) is a prototype implementation of the core of a functional language based on (a variant of) Lamping's optimal graph reduction technique (Lamping,  ...  The source language is a sugared λ-calculus enriched with booleans, integers, lists and basic operations on these data types (following the guidelines of Interaction Systems – Asperti and Laneve (1993b  ...  Introduction This paper describes the main architecture of the Bologna Optimal Higher-order Machine (BOHM).  ... 
doi:10.1017/s0956796800001994 fatcat:ht6a57jbvnasla5yn5fozkoose

Bologna Translation Service: Improving Access To Educational Courses Via Automatic Machine Translation

Justyna Pietrzak, Elena Garcia, Amaia Jauregi
2013 Revista de Procesamiento de Lenguaje Natural (SEPLN)  
Bologna Translation Service: mejorando el acceso a los planes de estudios universitarios mediante la traducción automática (demostración del sistema  ...  The regulatory environments in the context of the Bologna Accords combined with budget constraints and limited human resources make it very difficult for higher educational institutions to deliver English  ...  The platform was optimized following previous usability surveys conducted among potential users.  ... 
dblp:journals/pdln/PietrzakGJ13 fatcat:rlpsxg6y75ejjdmioqx37mf2q4

Eighty Years of Studies on Industrial Hemp in the Po Valley (1930--2010)

Alessandro Zatta, Andrea Monti, Gianpietro Venturi
2012 Journal of Natural Fibers  
Harvesting can be, therefore, postponed to the end of growing season in order to reach the highest biomass yield.  ...  Nonetheless, the higher energy requirement of the bio-retting process caused higher environmental impacts compared to flax (van der Werf and Turunen 2008).  ... 
doi:10.1080/15440478.2012.706439 fatcat:ginn6qbbujhovg4hxmp4srafcm

Improving University Operations With Data Mining: Predicting Student Performance

Mladen Dragičević, Mirjana Pejić Bach, Vanja Šimičević
2014 Zenodo  
These models could improve allocation of students among colleges and optimize the newly introduced model of government subsidies for higher education.  ...  For the purpose of collecting data, an anonymous survey was carried out in the last year of undergraduate degree student population using random sampling method.  ...  Higher Education System in Croatia The system of higher education that is currently in Croatia is the Bologna system of education.  ... 
doi:10.5281/zenodo.1092044 fatcat:f4js2ex5efcdpgswcnpowyxprm

Page 3853 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
In our opinion, there is still no general agreement on the logic to be viewed as the foundation of higher-order, lazy functional logic languages.  ...  Teresa (E-MADC-IA; Madrid); Rodriguez-Artalejo, Mario (E-MADC-IA; Madrid) A higher order rewriting logic for functional logic programming.  ... 

About the efficient reduction of lambda terms [article]

Andrea Asperti
2017 arXiv   pre-print
There is still a lot of confusion about "optimal" sharing in the lambda calculus, and its actual efficiency. In this article, we shall try to clarify some of these issues.  ...  Unfortunately, the thread was already archived when I noticed it and did not have the opportunity to post my contribution.  ...  ACKNOWLEDGMENTS This short note was mostly motivated by a recent Haskell discussion thread debating why isn't anyone talking about optimal lambda calculus implementations? 4 .  ... 
arXiv:1701.04240v1 fatcat:e7wndrc5qjcgrgqsryjcf2xbz4

QoS-Aware Approximate Query Processing for Smart Cities Spatial Data Streams

Isam Mashhour Al Jawarneh, Paolo Bellavista, Antonio Corradi, Luca Foschini, Rebecca Montanari
2021 Sensors  
This nature poses an extra challenge on data stream processing systems, which are required in order to achieve pre-specified latency and accuracy goals.  ...  This is attributable to the overabundance of affordable IoT devices.  ...  Acknowledgments: We would like to thank Microsoft for providing us with the free Microsoft Azure resources (through the AI for Earth project) through our project titled "Supporting Highly-Efficient Machine  ... 
doi:10.3390/s21124160 fatcat:7trqqvekhzgmvnc7lymg5wuu2a

Application of OpenMP to Weather, Wave and Ocean Codes

Paolo Malfetti
2001 Scientific Programming  
This paper will deal with the implementation on a SGI Origin 2000 of a weather forecast model (LAMBO — Limited Area Model Bologna, the NCEP ETA model adapted to the Italian territory), a wave model (WA.M  ...  These three models were written for vector machines, so the paper will describe the technique used to port a vector code to a SMP-ccNUMA architecture.  ...  The higher execution time when the number of processor passes from 12 to 14 is probably due to a high machine load.  ... 
doi:10.1155/2001/717549 fatcat:lwnmaw3nqzdmfbstmuhmgtemry

Packaging properties and control of Listeria monocytogenes in bologna by cellulosic films incorporated with pediocin

Paula Judith Pérez Espitia, Jhon Jairo Reina Pacheco, Nathália Ramos de Melo, Nilda de Fátima Ferreira Soares, Alba Manuela Durango
2013 Brazilian Journal of Food Technology  
The load at break of films was studied using the Universal Testing Machine (Instron) at 10 °C and 25 °C. The water vapor permeability was determined by gravimetric method.  ...  The potential application of the developed packaging for the preservation of bologna and inhibition of Listeria biofilm formation was also studied.  ...  Acknowledgments The authors thank Journal Editors of America LLC for language and writing assistance.  ... 
doi:10.1590/s1981-67232013005000028 fatcat:4n5gzm7aijfwvdz3jk7mpcy3tq

A Beowulf-class computing cluster for the Monte Carlo production of the LHCb experiment

G. Avoni, M. Bargiotti, A. Bertin, M. Bruschi, M. Capponi, A. Carbone, A. Collamati, S. De Castro, L. Fabbri, P. Faccioli, D. Galli, B. Giacobbe (+12 others)
2003 Computer Physics Communications  
The computing cluster built at Bologna to provide the LHCb Collaboration with a powerful Monte Carlo production tool is presented.  ...  This is two orders of magnitude lower than the nominal luminosity of LHC 0010-4655/02/$ -see front matter  2002 Elsevier Science B.V. All rights reserved. PII: S 0 0 1 0 -4 6 5 5 ( 0 2 ) 0 0 6 7 7 -X  ...  Acknowledgements The authors are very grateful to the CNAF staff and in particular to the CNAF's director F. Ruggieri for the prompt and valuable support.  ... 
doi:10.1016/s0010-4655(02)00677-x fatcat:y32wmvnirveodofoiksyv6ktse

Geographically distributed Batch System as a Service: the INDIGO-DataCloud approach exploiting HTCondor

D C Aiftimiei, M Antonacci, S Bagnasco, T Boccali, R Bucchi, M Caballer, A Costantini, G Donvito, L Gaido, A Italiano, D Michelotto, M Panella (+2 others)
2017 Journal of Physics, Conference Series  
In this paper, we are going to describe and motivate our implementation choices and to show the results of the first tests performed.  ...  One of the challenges a scientific computing center has to face is to keep delivering well consolidated computational frameworks (i.e. the batch computing farm), while conforming to modern computing paradigms  ...  Acknowledgments The authors would like to acknowledge the support of the INDIGO-DataCloud project, funded by the European Commission's Horizon 2020 Research and Innovation Programme (grant agreement RIA  ... 
doi:10.1088/1742-6596/898/5/052033 fatcat:jbdurlilcvbujbbmvcsmoozpzm

Page 6357 of Mathematical Reviews Vol. , Issue 97J [page]

1997 Mathematical Reviews  
6357 latter is introduced as a natural extension of simple algebraic and higher-order uniqueness typing.  ...  In particular, we show that our notion subsumes both negation as failure and negation as instantiation.” 97j:68016 68N17 Ciampolini, Anna (I-BOLO-EE; Bologna); Lamma, Evelina (I-BOLO-EE; Bologna); Mello  ... 

Research on the possibility of improving technical higher education through the parties involved in the Bologna Process

Călin Ciprian Oțel, Violeta Firescu
2017 Balkan Region Conference on Engineering and Business Education  
in technical higher education.  ...  Through this paper, the authors have propose to briefly illustrate the shift from the "approach of knowledge as a product" to the "approach of knowledge as a process", conducted through the Bologna Process  ...  ACKNOWLEDGEMENT This paper focuses on the results obtained from the implementation of the project "Specialists for Satu-Mare" funded by the Satu-Mare Local Council through the "G.M.  ... 
doi:10.1515/cplbu-2017-0006 fatcat:ngooaogoyrdafetq56v5sq45jy

Relationship between Pharmacokinetic/Pharmacodynamic Target Attainment and Microbiological Outcome in Critically Ill COVID-19 Patients with Documented Gram-Negative Superinfections Treated with TDM-Guided Continuous-Infusion Meropenem

Maria Sanz Codina, Milo Gatti, Carla Troisi, Giacomo Fornaro, Zeno Pasquini, Filippo Trapani, Andrea Zanoni, Fabio Caramelli, Pierluigi Viale, Federico Pea
2022 Pharmaceutics  
Methods: Patients receiving CI meropenem for documented Gram-negative infections at the COVID ICU of the IRCCS Azienda Ospedaliero-Universitaria di Bologna and undergoing therapeutic drug monitoring from  ...  The Css/MIC ratio was defined as optimal if ≥4, quasi-optimal if between 1 and 4, and suboptimal if <1. The relationship between Css/MIC and microbiological outcome was assessed.  ...  Bologna.  ... 
doi:10.3390/pharmaceutics14081585 fatcat:itaswpvqr5chpdkcemo6ae4aum

Design and control of segmented triple three-phase SPM machines for fault tolerant drives

G. Sala, D. Gerada, C. Gerada, A. Tani
2017 2017 IEEE Workshop on Electrical Machines Design, Control and Diagnosis (WEMDCD)  
Finally, an optimized design is proposed and the criticalities of the segmentation solution are explained.  ...  A new adaptable control technique is developed for the different segmentation geometries. Finite element simulations are used in order to validate the model and analyse possible layouts.  ...  By (4)-(6) it is possible to evaluate the machine behaviour and improve it optimizing the design by the parameters x N and es  . IV.  ... 
doi:10.1109/wemdcd.2017.7947725 fatcat:3yzyy6jecnglflotb4cwzftfgy
« Previous Showing results 1 — 15 out of 5,147 results