نتایج جستجو برای: کد alice

تعداد نتایج: 12588  

2015
HAMED HATAMI

So far, in this course, we have been focused on the communication cost of protocols, and given various communication tasks, we studied the minimum communication cost required to perform those tasks. The information theoretic tools introduced in the past two lectures enable us to introduce another natural measure of complexity. Roughly speaking, given a protocol and a distribution on the inputs ...

2012
Giuseppe Castagnoli

Bob chooses a function from a set of functions and gives Alice the black box that computes it. Alice is to find a characteristic of the function through function evaluations. In the quantum case, the number of function evaluations can be smaller than the minimum classically possible. The fundamental reason for this violation of a classical limit is not known. We trace it back to a disambiguatio...

2013
B Kileng B Wagner

This paper examines different virtualization technologies with the aim of running ALICE grid jobs on the ARC middleware which is used as internal middleware for the Nordic Tier-1 centre. The Vmbatch system, which allows dynamic management of virtual worker nodes, is presented. First tests confirm that management of virtual nodes cause minimal overhead for a typical ALICE simulation job.

2011
Busani Moyo Patrick J. Masika Arnold Hugo Voster Muchenje

1 Department of Livestock and Pasture Science, Faculty of Science and Agriculture, University of Fort Hare, P. Bag 1314, Alice, 5700, South Africa. 2 Agricultural and Rural Development Research Institute (ARDRI), University of Fort Hare, P. Bag X1314, Alice 5700, South Africa. 3 Department of Microbial Biochemical and Food Biotechnology, University of Free the State, P. O. Box 339, Bloemfontein...

2008

Various languages have tried to allow useful tools and solutions to concurrent programming, Alice ML is one of these. Alice ML uses futures and promises to help solve the problem of data synchronisa-tion and concurrency. This report explains how these features work, displays a detailed example, performs comparisons to other language solutions and presents related work in this area.

2017
Alice Kongsted Lise Hestbaek Carlo Ammendolia Pierre Côté Danielle Southerst Michael Schneider Brian Budgell Claire Bombardier Gillian Hawker Y. Raja Rampersaud Corinne Minder Cynthia Peterson B. Kim Humphreys Halldór Fannar Gíslason Jari Kullervo Salminen Linn Sandhaugen Andreas Stenseth Storbråten Renske Versloot Inger Rouge Dave Newell Ellen Aartun Hainan Yu Pierre Côté Erik Poulsen Glaucia H. Goncalves Ewa M. Roos Jonas B. Thorlund Carsten Juhl Andreas Eklund Irene Jensen Malin Lohela-Karlsson Jan Hagberg Lennart Bodin Charlotte Lebouf-Yde Alice Kongsted Iben Axén Kristina Boe Dissing Jan Hartvigsen Christopher Williams Steven Kamper Eleanor Boyle Niels Wedderkopp Lise Hestbæk Michael L. Meier Petra Schweinhardt Kim Humphreys Amy Miller Joyce Miller Alison Taylor Sue Way Brigitte Wirth Bruno A. P. Alvarenga Marcelo B. Botelho Jerusa P. R. Lara António P. Veloso Cecilia Bergström Margareta Persson Ingrid Mogren B. Janine Thöni David Guillén Daniel Heritage David Byfield Annie Newsam Mehmet Toprak Hasan Kerem Alptekim Doruk Turhan Hazel Mellars Jacqueline Rix Philip Dewhurst Caroline Cooke David Newell Joel Alcantara Jeanne Ohm Junjoe Alcantara Jonathan Field Dave Newell Heather Hanson Hiew Mandy Lo Derek Mok Zicheng Tee Yun Han Miller Joyce Signe Fuglkjær P. Schweinhardt B. Wirth G. Peterson B. K. Humphreys Tim L. Raven Lise R. Lothe Torsten Eken Rick Serola

O-01 Care seeking patterns during one year after visiting a chiropractor Alice Kongsted, Lise Hestbaek Nordic Institute of Chiropractic and Clinical Biomechanics, University of Southern Denmark, 5230 Odense M, Denmark; Department of Sports Science and Clinical Biomechanics, University of Southern Denmark, 5230 Odense M, Denmark Correspondence: Alice Kongsted ([email protected]) Chiropractic &...

Journal: :Electr. Notes Theor. Comput. Sci. 2001
Leif Kornstaedt

This paper reports practical experience in implementing Alice, an extension of Standard ML, on top of an existing implementation of Oz. This approach yields a high-quality implementation with little effort. The combination is an advanced programming system for both Oz and Alice, which offers more than either language on its own.

2013
George Story

Weighted voting is built around the idea that voters have differing amounts of influence in elections, with familiar examples ranging from company shareholder meetings to the United States Electoral College. We examine the idea that each voter has a uniquely determined weight, paying particular attention to how voters leverage this weight to get their way on a specific yes/no motion (for exampl...

2009
Andrea Dainese

ALICE [1] will study nucleus–nucleus and proton–proton collisions at the LHC. The main goal of the experiment is to investigate the properties of QCD matter at the extreme energy densities that will be reached in Pb–Pb collisions. Heavy quarks (charm and beauty) are regarded as powerful tools for this study. After briefly reviewing the ALICE heavy-flavour program, we will describe the preparati...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2006
Andreas Jakoby Maciej Liskiewicz Aleksander Madry

It is well known that unconditionally secure bit commitment is impossible even in the quantum world. In this paper a weak variant of quantum bit commitment, introduced independently by Aharonov et al. [2] and Hardy and Kent [8] is investigated. In this variant, the parties require some nonzero probability of detecting a cheating, i.e. if Bob, who commits a bit b to Alice, changes his mind durin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید