CERN Accelerating science

Cestino pubblico

Computer
178 items
last update: 30 Aug 2006, 00:00
Subscribe to basket
This public basket belongs to the user Cristian Bacchi. Subscribe to basket
1.
Decoherence in a scalable adiabatic quantum computer / Ashhab, S ; Johansson, J R ; Nori, F
We consider the effects of decoherence on Landau-Zener crossings encountered in a large-scale adiabatic-quantum-computing setup. We analyze the dependence of the success probability, i.e. [...]
quant-ph/0608212.- 2006 - 6 p. - Published in : Phys. Rev. A 74 (2006) 052330 Access to fulltext document: PDF; External link: quant-ph/0608212 PDF
  Detailed record Copy itemCopy item
2.
9th International Conference on Enterprise Information Systems - ICEIS 2007   12 - 16 Jun 2007  - Funchal, Portugal  .-
2007 Conference home page
  Detailed record Copy itemCopy item
3.
Equation-of-motion treatment of hyperfine interaction in a quantum dot / Deng, C ; Hu, X
Isolated electron spins in semiconductor nanostructures are promising qubit candidates for a solid state quantum computer, There have seen truly impressive experimental progresses in the study of single spins in the past two years. [...]
cond-mat/0608544.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
4.
Computer simulation of coherent interaction of charged particles and photons with crystalline solids at high energies / Apyan, A
Monte Carlo simulation code has been developed and tested for studying the passage of charged particle beams and radiation through the crystalline matter at the energies from tens of MeV up to hundreds of GeV. The developed Monte Carlo code simulates electron, positron and photon shower in single crystals and amorphous media. [...]
physics/0608241.- 2007 - 7 p. - Published in : Nucl. Instrum. Methods Phys. Res., B 255 (2007) 269-275 Access to fulltext document: PDF; External link: physics/0608241 PDF
In : 8th International Conference on Computer Simulation of Radiation Effects in Solids, Richland, WA, USA, 18 - 23 Jun 2006, pp.269-275
  Detailed record Copy itemCopy item
5.
Automated verification of weak equivalence within the SMODELS system / Janhunen, T ; Oikarinen, E
In answer set programming (ASP), a problem at hand is solved by (i) writing a logic program whose answer sets correspond to the solutions of the problem, and by (ii) computing the answer sets of the program using an answer set solver as a search engine. [...]
cs.AI/0608099.
- 2006. - 48 p.
Access to fulltext document
  Detailed record Copy itemCopy item
6.
Logic programs with monotone abstract constraint atoms / Marek, V W ; Niemela, I ; Truszczynski], M
We introduce and study logic programs whose clauses are built out of monotone constraint atoms. [...]
cs.AI/0608103.
- 2006. - 33 p.
Access to fulltext document
  Detailed record Copy itemCopy item
7.
Intrinsic Universality in Real Computation / Zenil, H
Models of computation operating over real numbers and computing a larger class of functions compared to the class of general recursive functions invariably introduce a non-finite amount of information encoded in an arbitrary non-computable real number or at least one non-recursive function. [...]
cs.CC/0608094.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
8.
A study of fuzzy and many-valued logics in cellular automata / Mingarelli, A B
In this paper we provide an analytical study of the theory of multi-valued and fuzzy cellular automata where the fuzziness appears as the result of the application of an underlying multi-valued or continuous logic as opposed to standard logic as used conventionally. [...]
cs.LO/0608097.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
9.
Stationary Algorithmic Probability / Müller, M
Kolmogorov complexity and algorithmic probability quantify the randomness and universal a priori probability of finite binary strings. [...]
cs.IT/0608095.
- 2006. - 12 p.
Access to fulltext document
  Detailed record Copy itemCopy item
10.
Aperiodic packings of clusters obtained by projection / Cotfas, N
We present a modified version of the strip projection method which allows one to generate aperiodic packings of clusters. [...]
math-ph/0608061.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
11.
Neural Network Clustering Based on Distances Between Objects / Litinskii, L B ; Romanov, D E
We present an algorithm of clustering of many-dimensional objects, where only the distances between objects are used. [...]
cs.CV/0608115.
- 2006. - 7 p.
Access to fulltext document
  Detailed record Copy itemCopy item
12.
Calculating modules in contextual logic program refinement / Colvin, R ; Hayes, O J ; Strooper, P
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. [...]
cs.LO/0608110.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
13.
Some Pattern Recognition Challenges in Data-Intensive Astronomy / Djorgovski, S G ; Donalek, C ; Mahabal, A ; Williams, R ; Drake, A ; Graham, M ; Glikman, E
We review some of the recent developments and challenges posed by the data analysis in modern digital sky surveys, which are representative of the information-rich astronomy in the context of Virtual Observatory. [...]
astro-ph/0608638.
- 2006. - 8 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
14.
A multiplexed single electron transistor for application in scalable solid-state quantum computing / Conrad, V I ; Greentree, A D ; Hollenberg, L C L
Single Electron Transistors (SETs) are nanoscale electrometers of unprecedented sensitivity, and as such have been proposed as read-out devices in a number of quantum computer architectures. [...]
cond-mat/0608652.
- 2006. - 3 p.
Access to fulltext document
  Detailed record Copy itemCopy item
15.
Scaled Particle Theory for Hard Sphere Pairs. II. Numerical Analysis / Chatterjee, S ; De Benedetti, P G ; Stillinger, F H
We use the extension of scaled particle theory (ESPT) presented in the accompanying paper [Stillinger et al. [...]
cond-mat/0608688.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
16. PRESSCUT-S-2006-209 - Putting your computer to work to fight against malaria in Africa
Published in: Science Africa, pp. Internet 16 August 2006
Access Fulltext
  Detailed record Copy itemCopy item
17. PRESSCUT-S-2006-220 - Key dates in 25 years of the PC
Published in: Daily news (Turkey), pp. Internet 14 August 2006
Access Fulltext
  Detailed record Copy itemCopy item
18. World Wide Web also celebrating a birthday
Published in: modbee.com, pp. Internet 18 August 2006 CERN library copies
  Detailed record Copy itemCopy item
19.
Massive Parallel Quantum Computer Simulator / De Raedt, K ; Arnold, G ; De Raedt, H ; Ito, N ; Lippert, T ; Michielsen, K ; Richter, M ; Trieu, B ; Watanabe, H
We describe portable software to simulate universal quantum computers on massive parallel computers. [...]
quant-ph/0608239.
- 2006.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
20.
Context for models of concurrency / Bubenik, P
Many categories have been used to model concurrency. [...]
math.AT/0608733.
- 2006. - 18 p.
Access to fulltext document
  Detailed record Copy itemCopy item
21. CERN-ARCH-TT-01-0019
Technology Transfer : Contract N°K250/ECP between the European Organization for Nuclear Research (CERN) and the Parsytec Computer GmbH concerning the Collaboration Agreement
CERN. Geneva Parsytec Computer GmbH. Germany
. 1994-02-21  Description of record group
  Detailed record Copy itemCopy item
22.
Gauge sector statistics of intersecting D-brane models / Gmeiner, F
In this article, which is based on the first part of my PhD thesis, I review the statistics of the open string sector in T^6/(Z_2xZ_2) orientifold compactifications of the type IIA string. [...]
hep-th/0608227 ; LMU-ASC-2006-54 ; MPP-2006-103.
- 2006. - 51 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
23.
Towards a Solution of the Polycyclic Aromatic Hydrocarbon - Diffuse Interstellar Band Hypothesis / Tan, X
A novel theoretical method is developed to study the polycyclic aromatic hydrocarbon - diffuse interstellar band (PAH-DIB) hypothesis. [...]
astro-ph/0608714.
- 2006. - 14 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
24.
Resolving photon number states in a superconducting circuit / Schuster, D I ; Houck, A A ; Schreier, J A ; Wallraff, A ; Gambetta, J M ; Blais, A ; Frunzio, L ; Johnson, B ; Devoret, M H ; Girvin, S M et al.
Electromagnetic signals are always composed of photons, though in the circuit domain those signals are carried as voltages and currents on wires, and the discreteness of the photon's energy is usually not evident. [...]
cond-mat/0608693.
- 2006. - 6 p.
Access to fulltext document
  Detailed record Copy itemCopy item
25.
Antipersistant Effects in the Dynamics of a Competing Population / Lee, K H ; Wong, K Y M
We consider a population of agents competing for finite resources using strategies based on two channels of signals. [...]
cond-mat/0608716.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
26.
Time's Arrow from the Multiverse Point of View / Tamm, M
In this paper I suggest a possible explanation for the asymmetry of time. [...]
physics/0608312.
- 2006. - 20 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
27.
One method for proving inequalities by computer / Malesevic, B J
In this paper we consider a method for proving a class of analytical inequalities via minimax rational approximations. [...]
math.CA/0608789.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
28.
Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations / Blanqui, F
Since Val Tannen's pioneer work on the combination of simply-typed lambda-calculus and first-order rewriting (LICS'88), many authors have contributed to this subject by extending it to richer typed lambda-calculi and rewriting paradigms, culminating in calculi like the Calculus of Algebraic Constructions. [...]
cs.LO/0608125.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
29.
Adaptive molecular resolution via a continuous change of the phase space dimensionality / Praprotnik, M ; Kremer, K ; Site, L D
For the study of complex synthetic and biological molecular systems by computer simulations one is still restricted to simple model systems or to by far too small time scales. [...]
cond-mat/0609019.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
30.
8th International Conference on Computer Simulation of Radiation Effects in Solids - COSIRES 2006   18 - 23 Jun 2006  - Richland, WA, USA  / Weber, William J (ed.); Corrales, L R (ed.); Devanathan, Ram (ed.); Heinisch, H L (ed.)
2007 - Published in : Nucl. Instrum. Methods Phys. Res., B 255 (2007)
  Detailed record Copy itemCopy item
31.
On the confluence of lambda-calculus with conditional rewriting / Blanqui, F ; Kirchner, C ; Riba, C
The confluence of untyped lambda-calculus with unconditional rewriting has already been studied in various directions. [...]
cs.LO/0609002.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
32.
Connection between continuous and digital n-manifolds and the Poincare conjecture / Evako, A
We introduce LCL covers of closed n-dimensional manifolds by n-dimensional disks and study their properties. [...]
cs.DM/0608093.
- 2006. - 39 p.
Access to fulltext document
  Detailed record Copy itemCopy item
33.
Controller synthesis & Ordinal Automata / Cachat, T
Ordinal automata are used to model physical systems with Zeno behavior. [...]
cs.GT/0608120.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
34.
A general relativistic model for the light propagation in the gravitational field of the Solar System: the dynamical case / De Felice, F ; Vecchiato, A ; Crosta, M T ; Lattanzi, M G ; Bucciarelli, B
Modern astrometry is based on angular measurements at the micro-arcsecond level. [...]
astro-ph/0609073.
- 2006. - 40 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
35.
Introduction to Non-Linear Algebra / Dolotin, V ; Morozov, A
Concise introduction to a relatively new subject of non-linear algebra: literal extension of text-book linear algebra to the case of non-linear equations and maps. [...]
hep-th/0609022.
- 2006. - 124 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
36.
In Quest of Image Semantics: Are We Looking for It Under the Right Lamppost? / Diamant, E
In the last years we witness a dramatic growth of research focused on semantic image understanding. [...]
cs.CV/0609003.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
37.
An effective edge--directed frequency filter for removal of aliasing in upsampled images / Rataj, A
Raster images can have a range of various distortions connected to their raster structure. [...]
cs.CV/0609010.
- 2006. - 10 p.
Access to fulltext document
  Detailed record Copy itemCopy item
38.
On the freeze quantifier in Constraint LTL: decidability and complexity / Demri, S ; Lazic, R ; Nowak, D
Constraint LTL, a generalisation of LTL over Presburger constraints, is often used as a formal language to specify the behavior of operational models with constraints. [...]
cs.LO/0609008.
- 2006. - 29 p.
Access to fulltext document
  Detailed record Copy itemCopy item
39.
On class visualisation for high dimensional data: Exploring scientific datasets / Kaban, Ata ; Sun, J ; Raychaudhuri, S ; Nolan, L
Parametric Embedding (PE) has recently been proposed as a general-purpose algorithm for class visualisation. [...]
astro-ph/0609094.
- 2006. - 12 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
40.
Hybrid Dynamic Density Functional Theory for Polymer Melts and Blends / Honda, T ; Kawakatsu, T
We propose a high-speed and accurate hybrid dynamic density functional theory for the computer simulations of the phase separation processes of polymer melts and blends. [...]
cond-mat/0609081.
- 2006. - 30 p.
Access to fulltext document
  Detailed record Copy itemCopy item
41.
Liquid-vapor transition of systems with mean field universality class / Pauschenwein, G J ; Caillol, J M ; Levesque, D ; Weis, J J ; Schoell-Paschinger, E ; Kahl, G
We have considered a system where the interaction, v(r) = v_IS(r) + xi^2 v_MF(r), is given as a linear combination of two potentials, each of which being characterized with a well-defined critical behavior: for v_IS(r) we have chosen the potential of the restricted primitive model which is known to belong to the Ising 3D (IS) universality class, while for v_MF(r) we have considered a long-range interaction in the Kac-limit, displaying mean field (MF) behavior. [...]
cond-mat/0609096.
- 2006. - 9 p.
Access to fulltext document
  Detailed record Copy itemCopy item
42.
Mobile particles in an immobile environment: Molecular Dynamics simulation of a binary Yukawa mixture / Kikuchi, N ; Horbach, J
Molecular dynamics computer simulations are used to investigate thedynamics of a binary mixture of charged (Yukawa) particles with a size-ratio of 1:5. [...]
cond-mat/0609100.
- 2006. - 7 p.
Access to fulltext document
  Detailed record Copy itemCopy item
43.
A random walk approach to quantum algorithms / Kendon, V
The development of quantum algorithms based on quantum versions of random walks is placed in the context of the emerging field of quantum computing. Constructing a suitable quantum version of a random walk is not trivial: pure quantum dynamics is deterministic, so randomness only enters during the measurement phase, i.e., when converting the quantum information into classical information. [...]
quant-ph/0609035.- 2006 - 14 p. - Published in : Philos. Trans. R. Soc. Lond., A 364 (2006) 3407-3422 Access to fulltext document: PDF; External link: quant-ph/0609035 PDF
  Detailed record Copy itemCopy item
44.
Residual Finite Tree Automata / Carme, J ; Gilleron, R ; Lemay, A ; Terlutte, A ; Tommasi, M
Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. [...]
cs.CL/0609015.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
45.
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems / Blanqui, F ; Riba, C
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size based termination and initially developed for ML-like programs. [...]
cs.LO/0609013.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
46.
Robust quantum searching using spontaneous decay / Spreeuw, R J C ; Hijmans, T W
We introduce spontaneous decay of qubits to damp the oscillations in a single-item quantum search. [...]
quant-ph/0609047.
- 2006. - 4 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
47.
Non uniform (hyper/multi)coherence spaces / Boudes, P
In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. [...]
cs.LO/0609021.
- 2006. - 32 p.
Access to fulltext document
  Detailed record Copy itemCopy item
48.
Dichotomies and Duality in First-order Model Checking Problems / Martin, B
We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. [...]
cs.LO/0609022.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
49.
Efficient algorithm for multi-qudit twirling / Tóth, G ; García-Ripoll, J J
We present an efficient algorithm for computing the state obtained from twirling a multi-qudit density matrix. [...]
quant-ph/0609052.
- 2006. - 8 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
50.
Characterizing multiparticle entanglement in symmetric N-qubit states via negativity of covariance matrices / Devi, A R U ; Prabhu, R ; Rajagopal, A K
We show that higher order inter-group correlations involving even number of qubits are necessarily positive semidefinite for separable symmetric N qubit states. [...]
quant-ph/0609055.
- 2006. - 4 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
51.
Upgrade of the Cellular General Purpose Monte Carlo Tool FOAM to version 2.06 / Jadach, Stanislaw ; Sawicki, P
FOAM-2.06 is an upgraded version of FOAM, a general purpose, self-adapting Monte Carlo event generator. [...]
physics/0609068 ; IFJ-2005.
- 2006. - 11 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
52.
Reduced Area Low Power High Throughput BCD Adders for IEEE 754r Format / Thapliyal, H ; Arabnia, H R ; Srinivas, M B
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. [...]
cs.AR/0609036.
- 2006. - 6 p.
Access to fulltext document
  Detailed record Copy itemCopy item
53.
Social Decision Making with Multi-Relational Networks and Grammar-Based Particle Swarms / Rodríguez, M A
Social decision support systems are able to aggregate the local perspectives of a diverse group of individuals into a global social decision. [...]
cs.CY/0609034.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
54.
(HO)RPO Revisited / Blanqui, F
The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. [...]
cs.LO/0609037.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
55.
Higher-Order Termination: from Kruskal to Computability / Blanqui, F ; Jouannaud, J P ; Rubio, A
In this paper, we reformulate and improve a recent idea of Blanqui (see the paper "(HO)RPO Revisited") by defining a new version of the HORPO with computability closure which integrates smoothly the idea of the general schema into HORPO in the form of a new ordering definition..
cs.LO/0609039.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
56.
Elgot Algebras / Adamek, J ; Milius, S ; Velebil, J
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. [...]
cs.LO/0609040.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
57.
Rational Secret Sharing and Multiparty Computation: Extended Abstract / Halpern, J Y ; Teague, V
We consider the problems of secret sharing and multiparty computation, assuming that agents prefer to get the secret (resp., function value) to not getting it, and secondarily, prefer that as few as possible of the other agents get it. [...]
cs.GT/0609035.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
58.
The last of the seven-parton tree amplitudes / de Florian, D ; Zurita, J
We compute the four-quark plus three-gluon and six-quark plus one-gluon tree level amplitudes using on-shell recursion relations. They are needed for the calculation of the 5-jet cross-section at the Born level, and constitute an essential ingredient for next-to-leading order 4-jet and next-to-next-to-leading order 3-jet production at hadronic colliders. [...]
hep-ph/0609099.- 2006 - 23 p. - Published in : JHEP 11 (2006) 080 Access to fulltext document: PDF; External link: hep-ph/0609099 PDF
  Detailed record Copy itemCopy item
59.
Finite Size Polyelectrolyte Bundles at Thermodynamic Equilibrium / Sayar, M ; Holm, C
We present the results of extensive computer simulations performed on solutions of monodisperse charged rod-like polyelectrolytes in the presence of trivalent counterions. [...]
cond-mat/0609216.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
60.
On domino insertion and Kazhdan--Lusztig cells in type $B_n$ / Bonnaf'e, C ; Geck, M ; Iancu, L ; Lam, T
Based on empirical evidence obtained using the {\sf CHEVIE} computer algebra system, we present a series of conjectures concerning the combinatorial description of the Kazhdan--Lusztig cells for type $B_n$ with unequal parameters. [...]
math.RT/0609279.
- 2006. - 22 p.
Access to fulltext document
  Detailed record Copy itemCopy item
61.
On the logical definability of certain graph and poset languages / Weil, P
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order logic, a natural extension of monadic second-order logic), and to be recognizable in an algebraic framework induced by the notion of modular decomposition of a finite graph. More precisely, we consider the set $F\_\infty$ of composition operations on graphs which occur in the modular decomposition of finite graphs. [...]
cs.LO/0609048.- 2004 - Published in : J. Automat. Lang. Comput.: 9 (2004) , pp. 147-165 External link: cs.LO/0609048 PDF
  Detailed record Copy itemCopy item
62.
Undecidability of the unification and admissibility problems for modal and description logics / Wolter, F ; Zakharyaschev, M
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality. [...]
cs.LO/0609052.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
63.
Book cover Digital control system analysis and design / Phillips, Charles L
Englewood Cliffs, NJ : Prentice-Hall, 1984. - 556 p.

Purchase it for me! - CERN library copies
  Detailed record Copy itemCopy item
64.
Exploring Computer Science Concepts with a Ready-made Computer Game Framework / Distasio, J ; Way, T P
Leveraging the prevailing interest in computer games among college students, both for entertainment and as a possible career path, is a major reason for the increasing prevalence of computer game design courses in computer science curricula. [...]
cs.OH/0609070.
- 2006. - 5 p.
Access to fulltext document
  Detailed record Copy itemCopy item
65.
Nominal Logic Programming / Cheney, J R ; Urban, C
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). [...]
cs.PL/0609062.
- 2006. - 47 p.
Access to fulltext document
  Detailed record Copy itemCopy item
66.
Matrix Games, Linear Programming, and Linear Approximation / Vaserstein, L N
The following four classes of computational problems are equivalent: solving matrix games, solving linear programs, best $l^{\infty}$ linear approximation, best $l^1$ linear approximation..
cs.GT/0609056.
- 2006. - 5 p.
Access to fulltext document
  Detailed record Copy itemCopy item
67.
Entangling spins by measuring charge: a parity-gate toolbox / Ionicioiu, R
The parity gate emerged recently as a promising resource for performing universal quantum computation with fermions using only linear interactions. [...]
quant-ph/0609118.
- 2006.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
68.
Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes / Bobenko, Alexander I ; Izmestiev, I
We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. [...]
math.DG/0609447.
- 2006. - 53 p.
Access to fulltext document
  Detailed record Copy itemCopy item
69.
RFI detection by automated feature extraction and statistical analysis / Winkel, B ; Kerp, J ; Stanko, S
In this paper we present an interference detection toolbox consisting of a high dynamic range Digital Fast-Fourier-Transform spectrometer (DFFT, based on FPGA-technology) and data analysis software for automated radio frequency interference (RFI) detection. [...]
astro-ph/0609485.
- 2006. - 12 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
70.
Transient Nucleation near the Mean-Field Spinodal / Schweiger, A O ; Klein, W
We consider nucleation in a one-dimensional $\phi^4$ model with a non-conserved order parameter and long-range interactions. [...]
cond-mat/0609406.
- 2006. - 8 p.
Access to fulltext document
  Detailed record Copy itemCopy item
71.
Large Fourier transforms never exactly realized by braiding conformal blocks / Freedman, M H ; Wang, Z
Fourier transform is an essential ingredient in Shor's factoring algorithm. [...]
cond-mat/0609411.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
72.
Experimental entanglement of six photons in graph states / Lu, C Y ; Zhou, X Q ; Gühne, O ; Gao, W B ; Zhang, J ; Yuan, Z S ; Goebel, A ; Yang, T ; Pan, J W
Graph states are special kinds of multipartite entangled states that correspond to mathematical graphs where the vertices take the role of quantum spin systems and the edges represent interactions. [...]
quant-ph/0609130.
- 2006.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
73.
Book cover Samba : pocket reference / Eckstein, Robert
Beijing : O'Reilly, 2001. - 78 p.

ebook - Purchase it for me! - CERN library copies
  Detailed record Copy itemCopy item
74.
Extremal Real Algebraic Geometry and A-Discriminants / Dickenstein, A ; Rojas, J M ; Rusek, K ; Shih, J
We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. [...]
math.AG/0609485.
- 2006. - 19 p.
Access to fulltext document
  Detailed record Copy itemCopy item
75.
Total Variation Minimization and Graph Cuts for Moving Objects Segmentation / Ranchin, F ; Chambolle, A
In this paper, we are interested in the application to video segmentation of the discrete shape optimization problem involving the shape weighted perimeter and an additional term depending on a parameter. [...]
cs.CV/0609100.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
76.
Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems / Wehler, J
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems [...]
cs.LO/0609095.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
77.
Using groups for investigating rewrite systems / Dehornoy, P
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with a family of algebraic laws, and might be useful for more general rewrite systems. [...]
cs.LO/0609102.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
78.
On Verifying Complex Properties using Symbolic Shape Analysis / Wies, T ; Kuncak, V ; Zee, K ; Podelski, A ; Rinard, M
One of the main challenges in the verification of software systems is the analysis of unbounded data structures with dynamic memory allocation, such as linked data structures and arrays. [...]
cs.PL/0609104 ; MPI-I-2006-2-001.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
79.
Book cover Mathematica : a system for doing mathematics by computer, Version 2.2
Urbana-Champaign, IL : Wolfram Research, 1993. - 186 p.

Purchase it for me! - CERN library copies
  Detailed record Copy itemCopy item
80.
Helix formation in linear achiral dendronized polymers. A computer simulation study / Christopoulos, D K ; Terzis, A F ; Vanakaras, A G ; Photinos, D J
We present a molecular simulation study of the structure of linear dendronized polymers. [...]
cond-mat/0609459.
- 2006. - 24 p.
Access to fulltext document
  Detailed record Copy itemCopy item
81.
Equation of State for Supercooled Water Near the Liquid-Liquid Critical Point / Anisimov, M A ; Fuentevilla, D A
We have developed a scaled parametric equation of state to describe and predict thermodynamic properties of supercooled water. [...]
cond-mat/0609482.
- 2006. - 10 p.
Access to fulltext document
  Detailed record Copy itemCopy item
82.
Generalized Majority-Minority Operations are Tractable / Dalmau, V
Let $A$ be a finite set and let $\phi:A^k\to A$ with $k\geq 3$ be a $k$-ary operation on $A$. [...]
cs.CC/0609108.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
83.
The recognizability of sets of graphs is a robust property / Courcelle, B ; Weil, P
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the notion of a recognizable set of graphs in terms of finite congruences. Applications to the construction of efficient algorithms and to the theory of context-free sets of graphs follow naturally. [...]
cs.LO/0609109.- 2005 - Published in : Theor. Comput. Sci. 342 (2005) 173-228 External link: cs.LO/0609109 PDF
  Detailed record Copy itemCopy item
84.
Algebraic recognizability of languages / Weil, P
Recognizable languages of finite words are part of every computer science cursus, and they are routinely described as a cornerstone for applications and for theory. [...]
cs.LO/0609110.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
85. Discovery Mondays: 'The Grid: a universal computer'
Lundi découverte: «La Grille: un ordinateur planétaire»

[BUL-NA-2006-127]; [39/2006]; [40/2006].-

Published in CERN Bulletin 39/2006
  Detailed record Copy itemCopy item
86. CERN Technical Training 2006 - WBTechT offers online training
CERN Technical Training 2006 - WBTechT offers online training

[BUL-TD-2006-075]; [39/2006]; [40/2006].-

Published in CERN Bulletin 39/2006
  Detailed record Copy itemCopy item
87.
Computational potency of quantum many-body systems / Gross, D ; Eisert, J
We establish a framework which allows one to systematically construct novel schemes for measurement-based quantum computation. [...]
quant-ph/0609149.
- 2006. - 5 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
88.
On the additive theory of prime numbers II / Cegielski, P ; Richard, D ; Vsemirnov, M
The undecidability of the additive theory of primes (with identity) as well as the theory Th(N,+, n -> p\_n), where p\_n denotes the (n+1)-th prime, are open questions. [...]
math.LO/0609554.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
89.
Algebraic recognizability of regular tree languages / Esik, Z ; Weil, P
We propose a new algebraic framework to discuss and classify recognizable tree languages, and to characterize interesting classes of such languages. Our algebraic tool, called preclones, encompasses the classical notion of syntactic Sigma-algebra or minimal tree automaton, but adds new expressivity to it. [...]
cs.DM/0609113.- 2005 - Published in : Theor. Comput. Sci. 340 (2005) 291-321 External link: cs.DM/0609113 PDF
  Detailed record Copy itemCopy item
90.
A Richer Understanding of the Complexity of Election Systems / Faliszewski, P ; Hemaspaandra, E ; Hemaspaandra, L A ; Rothe, J
We provide an overview of some recent progress on the complexity of election systems. [...]
cs.GT/0609112 ; URCS-TR-2006-903.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
91.
Influence of qubit displacements on quantum logic operations in a silicon-based quantum computer with constant interaction / Kamenev, D I ; Berman, G P ; Tsifrinovich, V I
The errors caused by qubit displacements from their prescribed locations in an ensemble of spin chains are estimated analytically and calculated numerically for a quantum computer based on phosphorus donors in silicon. [...]
quant-ph/0609104.
- 2006.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
92.
Some notes on the program GKINT: Transient-field g-factor kinematics at intermediate energies / Stuchbery, A E
This report describes the computer program GKINT, which was developed to plan, analyze and interpret the first High Velocity Transient Field (HVTF) g-factor measurements on radioactive beams produced as fast fragments. [...]
nucl-ex/0609032 ; ANU-P-1678-2005.
- 2006. - 25 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
93.
Impact of non-Poisson activity patterns on spreading processes / Vazquez, A ; Andras, L ; Balazs, R ; Barabási, A L
Halting a computer or biological virus outbreak requires a detailed understanding of the timing of the interactions between susceptible and infected individuals. [...]
physics/0609184.
- 2006. - 5 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
94.
Skew Hadamard difference sets from the Ree-Tits slice symplectic spreads in PG(3,3^{2h+1}) / Ding, C ; Wang, Z ; Xiang, Q
Using a class of permutation polynomials of $F_{3^{2h+1}}$ obtained from the Ree-Tits symplectic spreads in $PG(3,3^{2h+1})$, we construct a family of skew Hadamard difference sets in the additive group of $F_{3^{2h+1}}$. [...]
math.CO/0609586.
- 2006. - 18 p.
Access to fulltext document
  Detailed record Copy itemCopy item
95.
Rule-based Knowledge Representation for Service Level Agreement / Paschke, A
Automated management and monitoring of service contracts like Service Level Agreements (SLAs) or higher-level policies is vital for efficient and reliable distributed service-oriented architectures (SOA) with high quality of ser-vice (QoS) levels. [...]
cs.AI/0609120.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
96.
Reversible Vortex Ratchet Effects and Ordering in Superconductors with One-Dimensional Asymmetric Potential Arrays / Lu, Q ; Olson-Reichhardt, C J ; Reichhardt, C
We demonstrate using computer simulations that the simplest vortex ratchet system for type-II superconductors with artificial pinning arrays, an asymmetric one-dimensional (1D) potential array, exhibits the same features as more complicated two-dimensional vortex ratchets that have been studied in recent experiments. [...]
cond-mat/0609560.
- 2006. - 10 p.
Access to fulltext document
  Detailed record Copy itemCopy item
97.
On Bus Graph Realizability / Ada, A ; Coggan, M ; Marco, P D ; Doyon, A ; Flookes, L ; Heilala, S ; Kim, E ; Wing, J L O ; Preville-Ratelle, L F ; Whitesides, S et al.
In this paper, we consider the following graph embedding problem: Given a bipartite graph G = (V1; V2;E), where the maximum degree of vertices in V2 is 4, can G be embedded on a two dimensional grid such that each vertex in V1 is drawn as a line segment along a grid line, each vertex in V2 is drawn as a point at a grid point, and each edge e = (u; v) for some u 2 V1 and v 2 V2 is drawn as a line segment connecting u and v, perpendicular to the line segment for u? We show that this problem is NP-complete, and sketch how our proof techniques can be used to show the hardness of several other related problems..
cs.CG/0609127 ; SOCS-TR-2006-1.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
98.
The Three Gap Theorem (Steinhauss Conjecture) / Mayero, M
We deal with the distribution of N points placed consecutively around the circle by a fixed angle of a. [...]
cs.LO/0609124.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
99.
Pores in a two-dimensional network of DNA strands - computer simulations / Krawczyk, M J ; Kulakowski, K
Formation of random network of DNA strands is simulated on a two-dimensional triangular lattice. We investigate the size distribution of pores in the network. [...]
cond-mat/0609605.- 2006 - 8 p. - Published in : Lect. Notes Comput. Sci.: 3991 (2006) , pp. 665 External link: cond-mat/0609605 PDF
  Detailed record Copy itemCopy item
100.
First Principles Calculations of Shock Compressed Fluid Helium / Militzer, B
The properties of hot dense helium at megabar pressures were studied with two first-principles computer simulation techniques, path integral Monte Carlo and density functional molecular dynamics. [...]
cond-mat/0609640.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
101.
Verification of crystal collimation model in experiment / Biryukov, V.M. (Serpukhov, IHEP)
The studies of crystal collimation in the experiments at Relativistic Heavy Ion Collider and Tevatron and in computer simulations reveal strong coherent effects observed in a very broad angular range. Our theory explains the effects by coherent scattering on the potential of bent crystal atomic planes, which amplifies beam diffusion in accelerator by orders of magnitude. [...]
physics/0609214.- 2006 - 7 p. Access to fulltext document: PDF; External link: physics/0609214 PDF
In : 33rd International Conference on High-Energy Physics, Moscow, Russian Federation, 26 Jul - 2 Aug 2006, pp.621-624
  Detailed record Copy itemCopy item
102.
Interactive computer simulations of electrokinetic physics phenomena / Murariu, G
In our days, the necessity of laboratory apparatus accustoming by building up specific software objects for studying the virtual evolution of physical phenomena is a major request. [...]
physics/0609215.
- 2006. - 10 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
103.
A Predicative Harmonization of the Time and Provable Hierarchies / Caporaso, S
A decidable transfinite hierarchy is defined by assigning ordinals to the programs of an imperative language. [...]
cs.LO/0609130.
- 2006. - 11 p.
Access to fulltext document
  Detailed record Copy itemCopy item
104.
Position-sensitive Si pad detectors for electron emission channeling experiments / ISOLDE Collaboration
Position-sensitive detector systems, initially developed for the detection of X-rays, have been adapted for their use in electron emission channeling experiments. Each detection system consists of a 30.8x30.8 mm$^{2}$ 22x22 -pad Si detector, either of 0.3 mm, 0.5 mm or 1 mm thickness, four 128$-$channel preamplifier chips, a backplane trigger circuit, a sampling analog to digital converter, a digital signal processor, and a personal computer for data display and storage. [...]
CERN-OPEN-2006-045.- Geneva : CERN, 2004 - 15 p. - Published in : Nucl. Instrum. Methods Phys. Res., A 524 (2004) 245-256 Access to fulltext document: PDF;
  Detailed record Copy itemCopy item
105.
Mass Spectrum in R-Parity Violating mSUGRA and Benchmark Points / Allanach, Benjamin C ; Bernhardt, M A ; Dreiner, H K ; Kom, C H ; Richardson, P
We investigate in detail the low-energy spectrum of the R-parity violating mSUGRA model using the computer program \texttt{SOFTSUSY}. We impose the experimental constraints from the measurement of the anomalous magnetic moment of the muon, $(g-2)_\mu$, the decay $b\ra s\gamma$ as well as the mass bounds from direct searches at colliders, in particular on the Higgs boson and the lightest chargino. [...]
hep-ph/0609263; DAMTP-2006-76.- Cambridge : Cambridge Univ. Dept. Appl. Math. Theor. Phys., 2007 - 18 p. - Published in : Phys. Rev. D 75 (2007) 035002 Access to fulltext document: PDF; External link: hep-ph/0609263 PDF
  Detailed record Copy itemCopy item
106.
Statistical Models of Fracture / Alava, M J ; Nukala, P K ; Zapperi, S
Disorder and long-range interactions are two of the key components that make material failure an interesting playfield for the application of statistical mechanics. The cornerstone in this respect has been lattice models of the fracture in which a network of elastic beams, bonds or electrical fuses with random failure thresholds are subject to an increasing external load. [...]
cond-mat/0609650.- 2006 - 148 p. - Published in : Adv. Phys.: 55 (2006) , pp. 349-476 External link: cond-mat/0609650 PDF
  Detailed record Copy itemCopy item
107.
Dynamics in inhomogeneous liquids and glasses via the test particle limit / Archer, A J ; Hopkins, P ; Schmidt, M
We show that one may view the self and the distinct part of the van Hove dynamic correlation function of a simple fluid as the one-body density distributions of a binary mixture that evolve in time according to dynamical density functional theory. [...]
cond-mat/0609663.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
108.
ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language / Paschke, A
Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. [...]
cs.AI/0609143.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
109.
On some winning strategies for the Iterated Prisoner's Dilemma or Mr. Nice Guy and the Cosa Nostra / Slany, W ; Kienreich, W
We submitted two kinds of strategies to the iterated prisoner's dilemma (IPD) competitions organized by Graham Kendall, Paul Darwen and Xin Yao in 2004 and 2005. [...]
cs.GT/0609017.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
110.
A comparative analysis of the geometrical surface texture of a real and virtual model of a tooth flank of a cylindrical gear / Michalski, J ; Skoczylas, L
The paper presents the methodology of modelling tooth flanks of cylindrical gears in the Cad environment. [...]
cs.CE/0609087.
- 2006. - 32 p.
Access to fulltext document
  Detailed record Copy itemCopy item
111.
The Origin of the Decoupling of Oxygen and Silicon Dynamics in Liquid Silica as Expressed by its Potential Energy Landscape / Saksaengwijit, A ; Heuer, A
The oxygen and silicon dynamics in silica is compared via computer simulations. [...]
cond-mat/0609684.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
112.
Microscopic description of the low-temperature anomalies in silica and lithium silicate via computer simulations / Reinisch, J ; Heuer, A
Information about the nature of the low-temperature anomalies and in particular the properties of the tunneling systems in silica and lithium silica glasses are revealed via computer simulations. The potential energy landscape of these systems is systematically explored for adjacent pairs of local minima which may act as double-well potentials (DWP) at low temperatures. [...]
cond-mat/0609693.- 2006 - Published in : J. Phys. Chem. B: 110 (2006) , pp. 19044 External link: cond-mat/0609693 PDF
  Detailed record Copy itemCopy item
113.
Implementation of Grover search algorithm with Josephson charge qubits / Zheng, X H ; Dong, P ; Xue, Z Y ; Cao, Z L
A scheme for the implementation of Grover search algorithm based on Josephson charge qubits is proposed. [...]
cond-mat/0609699.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
114.
Out-of-equilibrium dynamics in a gaussian trap model / Diezemann, G
The violations of the fluctuation-dissipation theorem are analyzed for a trap model with a gausssian density of states. [...]
cond-mat/0609762.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
115.
Conditional Expressions for Blind Deconvolution: Multi-point form / Aogaki, S ; Moritani, I ; Sugai, T ; Takeutchi, F ; Toyama, F M
We present conditional expression (CE) for finding blurs convolved in given images. [...]
cs.CV/0609164.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
116.
Simple method to eliminate blur based on Lane and Bates algorithm / Aogaki, S ; Moritani, I ; Sugai, T ; Takeutchi, F ; Toyama, F M
A simple search method for finding a blur convolved in a given image is presented. [...]
cs.CV/0609165.
- 2006. - 3 p.
Access to fulltext document
  Detailed record Copy itemCopy item
117.
Updates in Answer Set Programming: An Approach Based on Basic Structural Properties / Osorio, M ; Cuevas, V
We have studied the update operator defined for update sequences by Eiter et al. [...]
cs.LO/0609167.
- 2006. - 30 p.
Access to fulltext document
  Detailed record Copy itemCopy item
118.

System Merlin

Produced by: CERN Audio Service
00:06:19.240 / 01 January 1983 / © 1983-2017 CERN
Keywords: UA1, computer screen, events
Reference: CERN-MOVIE-1983-010-001
Language: English

  Detailed record Copy itemCopy item
119.
Ortho-normal quaternion frames, Lagrangian evolution equations and the three-dimensional Euler equations / Gibbon, J D
More than 150 years after their invention by Hamilton, quaternions are now widely used in the aerospace and computer animation industries to track the paths of moving objects undergoing three-axis rotations. [...]
math-ph/0610004.
- 2006. - 22 p.
Access to fulltext document
  Detailed record Copy itemCopy item
120.
Conditional Expressions for Blind Deconvolution: Derivative form / Aogaki, S ; Moritani, I ; Sugai, T ; Takeutchi, F ; Toyama, F M
We developed novel conditional expressions (CEs) for Lane and Bates' blind deconvolution [...]
cs.CV/0610002.
- 2006. - 5 p.
Access to fulltext document
  Detailed record Copy itemCopy item
121.

SPS : the control system

Produced by: CERN Neyrac Films
Director: G Pessis
00:19:47.080 / 01 July 1975 / © 1975-2021 CERN
Keywords: Computer Screens, Control Room, SPS
Reference: CERN-MOVIE-1975-003-001
Language: English

  Detailed record Copy itemCopy item
122.

Some examples of proton-antiproton collisions in the UA1 detector

Produced by: Sideral Films
00:06:24.400 / 01 December 1983 / © 1983-2017 CERN
Keywords: UA1, Z0, W
Reference: CERN-MOVIE-1983-012-001
Language: English

  Detailed record Copy itemCopy item
123.
Fast Jacobian group operations for C_{3,4} curves over a large finite field / Salem, F K A ; Khuri-Makdisi, K
Let C be an arbitrary smooth algebraic curve of genus g over a large finite field K. [...]
math.NT/0610121.
- 2006. - 24 p.
Access to fulltext document
  Detailed record Copy itemCopy item
124.
On the zero mass limit of tagged particle diffusion in the 1-d Rayleigh-gas / Balint, P ; Tóth, B ; Toth, P
We consider the M -> 0 limit for tagged particle diffusion in a 1-dimensional Rayleigh-gas, studied originaly by Sinai and Soloveichik (1986), respectively by Szasz and Toth (1986). [...]
math.PR/0610125.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
125. Hawking Colloquium Packed CERN Auditoriums
Stephen Hawking attire les foules au CERN

[BUL-NA-2006-134]; [41/2006]; [42/2006].-

Published in CERN Bulletin 41/2006
  Detailed record Copy itemCopy item
126.
Single electron spin and its coherence in Si quantum computer architecture / Calderón, M J ; Koiller, B ; Sarma, S D
The possibility of performing single spin measurements in Si-based quantum computers through electric field control of electrons bound to double donors near a barrier interface is assessed. [...]
cond-mat/0610089.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
127.
On the dynamics of spin systems in the Landau-Lifshitz theory / Krey, U
In the framework of the Landau-Lifshitz equations without any dissipation (an approximation which may also be helpful for finite, but weak Gilbert damping), with all interactions included (specifically always with exchange and magnetic dipole interactions), for general ground states, geometries and domain structures, and many types of effective fields (including contributions from spin currents etc.) the dynamics of the spin precession around the ground state is considered. [...]
cond-mat/0610122.
- 2006. - 12 p.
Access to fulltext document
  Detailed record Copy itemCopy item
128.
NectaRSS, an RSS feed ranking system that implicitly learns user preferences / Samper, J J ; Castillo, P A ; Araujo, L ; Merelo, J J
In this paper a new RSS feed ranking method called NectaRSS is introduced. [...]
cs.IR/0610019.
- 2006. - 16 p.
Access to fulltext document
  Detailed record Copy itemCopy item
129.
Paper to Screen: Processing Historical Scans in the ADS / Thompson, D M ; Accomazzi, A ; Eichhorn, G ; Grant, C ; Henneken, E ; Kurtz, M J ; Bohlen, E ; Murray, S S
The NASA Astrophysics Data System in conjunction with the Wolbach Library at the Harvard-Smithsonian Center for Astrophysics is working on a project to microfilm historical observatory publications. [...]
cs.DL/0610030.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
130.
LTL with the Freeze Quantifier and Register Automata / Demri, S ; Lazic, R
Temporal logics, first-order logics, and automata over data words have recently attracted considerable attention. [...]
cs.LO/0610027.
- 2006. - 35 p.
Access to fulltext document
  Detailed record Copy itemCopy item
131.
Network calculus based FDI approach for switched Ethernet architecture / Brahimi, B ; Aubrun, C ; Rondeau, E
The Networked Control Systems (NCS) are complex systems which integrate information provided by several domians such as automatic control, computer science, communication network. [...]
cs.NI/0610024.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
132.
Salt-induced collapse and reexpansion of highly charged flexible polyelectrolytes / Hsiao, P Y ; Luijten, E
We study the salt-dependent conformations of dilute flexible polyelectrolytes in solution via computer simulations. Low concentrations of multivalent salt induce the known conformational collapse of individual polyelectrolyte chains, but as the salt concentration is increased further this is followed by a reexpansion. [...]
cond-mat/0610164.- 2006 - Published in : Phys. Rev. Lett. 97 (2006) 148301 External link: cond-mat/0610164 PDF
  Detailed record Copy itemCopy item
133.
Force heterogeneities in particle assemblies: From order to disorder / Silbert, L E
The effect of increasing structural disorder on the distribution of contact forces P(f), inside three dimensional particle assemblies is systematically studied using computer simulations of model granular packings. [...]
cond-mat/0610184.
- 2006. - 7 p.
Access to fulltext document
  Detailed record Copy itemCopy item
134. PRESSCUT-S-2006-269 - Grant boosts Fermi viability : Lab will be able to plug into research network by Kunz, Tona
Published in: Daily Herald, pp. Internet 29 September 2006
Access Fulltext
  Detailed record Copy itemCopy item
135.
A kernel for time series based on global alignments / Cuturi, M ; Vert, J P ; Birkenes, O ; Matsui, T
We propose in this paper a new family of kernels to handle times series, notably speech data, within the framework of kernel methods which includes popular algorithms such as the Support Vector Machine. [...]
cs.CV/0610033.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
136.
Postinal Determinacy of Games with Infinitely Many Priorities / Graedel, E ; Walukiewicz, I
We study two-player games of infinite duration that are played on finite or infinite game graphs. [...]
cs.LO/0610034.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
137.
Positional Determinacy of Games with Infinitely Many Priorities / Graedel, E ; Walukiewicz, I
We study two-player games of infinite duration that are played on finite or infinite game graphs. [...]
cs.LO/0610035.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
138.
Virtual Laboratories / Hut, P
At the frontier of most areas in science, computer simulations play a central role. [...]
astro-ph/0610222.
- 2006.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
139. PRESSCUT-S-2006-293 - Spenden mit BOINC by Banse, Phillip
Published in: dradio.de, pp. Internet 24 July 2006
Access Fulltext
  Detailed record Copy itemCopy item
140.
Gaussian hypergeometric series and extensions of supercongruences / Osburn, R ; Schneider, C
Let p be an odd prime. [...]
math.NT/0610281.
- 2006. - 28 p.
Access to fulltext document
  Detailed record Copy itemCopy item
141.
Church's thesis is questioned by new calculation paradigm / Hutzelmeyer, H
Church's thesis claims that all effecticely calculable functions are recursive. [...]
cs.LO/0610038.
- 2006. - 32 p.
Access to fulltext document
  Detailed record Copy itemCopy item
142.
Simulating at Realistic Quark Masses: Pseudoscalar Decay Constants and Chiral Logarithms / Göckeler, M ; Horsley, R ; Nakamura, Y ; Pleiter, D ; Rakow, P E L ; Schierholz, G ; Schroers, W ; Streuer, T ; Stüben, H ; Zanotti, J M
Due to improvements in computer performance and algorithms, the rapidly increasing cost for unquenched Wilson-type fermions with lighter quarks has been ameliorated and new simulations are now possible. Here we present results using two flavours of O(a)-improved Wilson fermions for meson decay constants at pseudoscalar masses down to 320MeV. [...]
hep-lat/0610066; DESY-06-169; DESY-2006-169; Edinburgh-2006-31; Liverpool-LTH-724.- Hamburg : DESY, 2006 - 7 p. - Published in : PoS: LAT2006 (2006) , pp. 179 Fulltext: PDF; Published version from PoS: PDF; External link: hep-lat/0610066 PDF
In : 24th International Symposium on Lattice Field Theory, Tucson, AZ, USA, 23 - 28 Jul 2006, pp.179
  Detailed record Copy itemCopy item
143.
Enumeration Problems Related to Ground Horn Theories / Dershowitz, N ; Harris, M A ; Huang, G S
We investigate the enumeration of varieties of boolean theories related to Horn clauses. [...]
cs.LO/0610054.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
144.
Creation and pinning of vortex-antivortex pairs / Kim, S ; Hu, C R ; Andrews, M J
Computer modeling is reported about the creation and pinning of a magnetic vortex-antivortex (V-AV) pair in a superconducting thin film, due to the magnetic field of a vertical magnetic dipole above the film, and two antidot pins inside the film. [...]
cond-mat/0610306.
- 2006. - 8 p.
Access to fulltext document
  Detailed record Copy itemCopy item
145.
Comparing Typical Opening Move Choices Made by Humans and Chess Engines / Levene, M ; Bar-Ilan, J
The opening book is an important component of a chess engine, and thus computer chess programmers have been developing automated methods to improve the quality of their books. [...]
cs.AI/0610060.
- 2006. - 12 p.
Access to fulltext document
  Detailed record Copy itemCopy item
146.
Camera motion estimation through planar deformation determination / Jonchery, C ; Koepfler, G
In this paper, we propose a global method for estimating the motion of a camera which films a static scene. [...]
cs.CV/0610059.
- 2006. - 21 p.
Access to fulltext document
  Detailed record Copy itemCopy item
147.
Extending the Calculus of Constructions with Tarski's fix-point theorem / Bertot, Y
We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. [...]
cs.LO/0610055.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
148.
A type-based termination criterion for dependently-typed higher-order rewrite systems / Blanqui, F
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. [...]
cs.LO/0610062.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
149.
The Calculus of Algebraic Constructions / Blanqui, F ; Jouannaud, J P ; Okada, M
This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. [...]
cs.LO/0610063.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
150.
Termination and Confluence of Higher-Order Rewrite Systems / Blanqui, F
In the last twenty years, several approaches to higher-order rewriting have been proposed, among which Klop's Combinatory Rewrite Systems (CRSs), Nipkow's Higher-order Rewrite Systems (HRSs) and Jouannaud and Okada's higher-order algebraic specification languages, of which only the last one considers typed terms. [...]
cs.LO/0610064.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
151.
Definitions by Rewriting in the Calculus of Constructions / Blanqui, F
The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. [...]
cs.LO/0610065.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
152.
Inductive-data-type Systems / Blanqui, F ; Jouannaud, J P ; Okada, M
In a previous work (``Abstract Data Type Systems'', TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed lambda-calculus enriched by pattern-matching definitions following a certain format, called the ``General Schema'', which generalizes the usual recursor definitions for natural numbers and similar ``basic inductive types''. [...]
cs.LO/0610066.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
153.
Type theory and rewriting / Blanqui, F
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting..
cs.LO/0610068.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
154.
An Isabelle formalization of protocol-independent secrecy with an application to e-commerce / Blanqui, F
A protocol-independent secrecy theorem is established and applied to several non-trivial protocols. [...]
cs.LO/0610069.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
155.
Inductive types in the Calculus of Algebraic Constructions / Blanqui, F
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), which is the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions with functions and predicates defined by higher-order rewrite rules. [...]
cs.LO/0610070.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
156.
Rewriting modulo in Deduction modulo / Blanqui, F
We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions and predicates defined by higher-order rewrite rules. [...]
cs.LO/0610071.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
157. Volunteer computing to study malaria's spread by Brahic, Catherine
Published in: SciDev.Net, Science Development Network, pp. Internet 24 July 2006 CERN library copies
  Detailed record Copy itemCopy item
158.
Book cover Editing, publishing, and computer technology : papers given at the twentieth annual conference on editorial problems, University or Toronto, 2-3 November 1984 / Butler, Sharon (ed.) ; Stoneman, Wiliam P (ed.)
[S.l.] : [s.n.], 2006. - 151 p.

Purchase it for me! - CERN library copies
  Detailed record Copy itemCopy item
159.
Mixed design of integrated circuits and systems   30 May - 1 Jun 1996  - Lodz, Poland  / Napieralski, Andrzej (ed.); Ciota, Zygmunt (ed.); Martinez, Augustin (ed.); De Mey, Gilbert (ed.); Cabestany, Joan (ed.)
Norwell, MA : Kluwer, 1998 - 237 p. CERN library copies
  Detailed record Copy itemCopy item
160.
Are polymer melts "ideal"? / Wittmer, J P ; Beckrich, P ; Crevel, F ; Huang, C C ; Cavallo, A ; Kreer, T ; Meyer, H
It is commonly accepted that in concentrated solutions or melts high-molecular weight polymers display random-walk conformational properties without long-range correlations between subsequent bonds. [...]
cond-mat/0610359.
- 2006. - 4 p.
Access to fulltext document
  Detailed record Copy itemCopy item
161.
Light Computing / Chalmers, G
A configuration of light pulses is generated, together with emitters and receptors, that allows computing. [...]
physics/0610099.
- 2006. - 5 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
162.
Non-Uniform Comparison of Notions for Closed Set Computability of Fixed Cardinality with Applications to Singular Coverings / Ziegler, M
The empty set of course contains no computable point. [...]
cs.LO/0610080.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
163.
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages / Birkedal, L ; Torp-Smith, N ; Yang, H
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps (but with immutable stack variables). [...]
cs.LO/0610081.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
164.
Symbolic Simulation-Checking of Dense-Time Systems / Wang, F
Intuitively, an (implementation) automata is simulated by a (specification) automata if every externally observable transition by the implementation automata can also be made by the specification automata. [...]
cs.LO/0610085.
- 2006. - 16 p.
Access to fulltext document
  Detailed record Copy itemCopy item
165.
Investigation of possibility of creation of a superconductor quantum register / Burlakov, A A ; Gurtovoi, V L ; Dubonos, S V ; Nikulov, A V ; Tulin, V A
Multiple and single measurements of quantum states of mesoscopic superconducting loops are carried out in order to investigate a possibility of macroscopic quantum superposition and of creation of a superconductor quantum register. [...]
cond-mat/0609345.
- 2006. - 10 p.
Access to fulltext document
  Detailed record Copy itemCopy item
166.
Solution of a Problem of Barendregt on Sensible \lambda-Theories / Intrigila, B ; Statman, R
H is the theory extending \beta-conversion by identifying all closed unsolvables. [...]
cs.LO/0609080.
- 2006. - 29 p.
Access to fulltext document
  Detailed record Copy itemCopy item
167.
PROCRUSTES: A computer algebra package for post-Newtonian calculations in General Relativity / Puetzfeld, D
We report on a package of routines for the computer algebra system Maple which supports the explicit determination of the geometric quantities, field equations, equations of motion, and conserved quantities of General Relativity in the post-Newtonian approximation. The package structure is modular and allows for an easy modification by the user. [...]
gr-qc/0610081.- 2006 - 20 p. - Published in : Comput. Phys. Commun. 175 (2006) 497-508 Access to fulltext document: PDF; External link: gr-qc/0610081 PDF
  Detailed record Copy itemCopy item
168.
Field - Driven Translocation of Regular Block Copolymers through a Selective Liquid - Liquid Interface / Corsi, A ; Milchev, A ; Rostiashvili, V G ; Vilgis, T A
We propose a simple scaling theory describing the variation of the mean first passage time (MFPT) $\tau(N,M)$ of a regular block copolymer of chain length $N$ and block size $M$ which is dragged through a selective liquid-liquid interface by an external field $B$. The theory predicts a non-Arrhenian $\tau$ vs. [...]
cond-mat/0610432.- 2006 - 20 p. - Published in : Macromolecules: 39 (2006) , pp. 7115-7124 External link: cond-mat/0610432 PDF
  Detailed record Copy itemCopy item
169.
Point Estimation of States of Finite Quantum Systems / Petz, D ; Hangos, K M ; Magyar, A
The estimation of the density matrix of a $k$-level quantum system is studied when the parametrization is given by the real and imaginary part of the entries and they are estimated by independent measurements. [...]
quant-ph/0610124.
- 2006. - 16 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
170.
Grover's algorithm on a Feynman computer / De Falco, D ; Tamascelli, D
We present an implementation of Grover's algorithm in the framework of Feynman's cursor model of a quantum computer. The cursor degrees of freedom act as a quantum clocking mechanism, and allow Grover's algorithm to be performed using a single, time-independent Hamiltonian. [...]
quant-ph/0610130.- 2004 - Published in : J. Phys. A 37 (2004) 909-930 Access to fulltext document: PDF; External link: quant-ph/0610130 PDF
  Detailed record Copy itemCopy item
171.
On the Behavior of Journal Impact Factor Rank-Order Distribution / Mansilla, R ; Cocho, G ; Miramontes, P
An empirical law for the rank-order behavior of journal impact factors is found. [...]
cs.IR/0610091.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
172.
The logic of ontic and epistemic change / van Ditmarsch, H P ; Kooi, B P
We propose an epistemic logic incorporating dynamic operators to describe information changing events, both informative actions, where agents become more informed about the non-changing state of the world, as ontic changes, wherein the world and the facts describing it change themselves as well [...]
cs.LO/0610093.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
173.
Characterizing Solution Concepts in Games Using Knowledge-Based Programs / Halpern, J Y ; Moses, Y
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms of \emph{knowledge-based programs}. [...]
cs.GT/0610098.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item
174.
Quantum computers based on electron spins controlled by ultra-fast, off-resonant, single optical pulses / Clark, S M ; Fu, K M C ; Ladd, T D ; Yamamoto, Y
We describe a quantum computer operating at a 100 GHz clock frequency based on optically controlled electron spins in quantum dots. [...]
quant-ph/0610152.
- 2006. - 5 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
175. Nouveau record pour la plus grande grille de calcul scientifique du monde à Genève by Tesnier, Gregory
Published in: Entreprise Romande (Switzerland) 6 October 2006 CERN library copies
  Detailed record Copy itemCopy item
176.
On measurement-based quantum computation with the toric code states / Bravyi, S B ; Raussendorf, R
We study measurement-based quantum computation (MQC) using as quantum resource the planar code state on a two-dimensional square lattice (planar analogue of the toric code). [...]
quant-ph/0610162.
- 2006. - 9 p.
Access to fulltext document - Access to fulltext document
  Detailed record Copy itemCopy item
177.
Instant Computing - A New Computation Paradigm / Thomann, H R
Voltage peaks on a conventional computer's power lines allow for the well-known dangerous DPA attacks. [...]
cs.CC/0610114.
- 2006. - 32 p.
Access to fulltext document
  Detailed record Copy itemCopy item
178.
Quantifier elimination for the reals with a predicate for the powers of two / Avigad, J ; Yin, Y
In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decidable. [...]
cs.LO/0610117.
- 2006.
Access to fulltext document
  Detailed record Copy itemCopy item