search for: inca

Friends I can't quite find a direct answer to this question from the lists, so here goes: I have several dataframes, 200+ columns 2000+ rows. I wish to script some operations to perform on some of the variables (columns) in the data frames not knowing what the column number is, hence have to refer by name. I have variable names in a text file "varlist". So, something like this:

...// Square of an even number is divisible by 4 assert(c % 4 == 0); } You could check the validity of the assertion by checking the unsatisfiability of the negated formula (corresponds to checking that the assertion can never be FALSE): # Checking a simple assertion v 1.0 d a:i32 a1:i32 c:i32 inca:i32 tmp1:i32 tmp2:i1 tmp3:i32 assert:i1 c inca + a 1:i32 c tmp1 %s a 2:i32 c tmp2 trun tmp1 c a1 ite tmp2 inca a c c * a1 a1 c tmp3 %s c 4:i32 c assert = tmp3 0:i32 p = assert 0:i1 Spear proves this query to be unsatisfiable in 0.02 sec on AMD 64 X2 4600+ for 32-bit integers, and in 0.08 sec for 6...

...problem still persists. I have also tried to copy the files from C:\Tcl\lib into the C:\Arquivos de programas\R\R-2.6.1\Tcl\lib but the problem still there. Any help would be greatly appreciated Marcos Pinho Instituto Nacional de Câncer Rio de Janeiro - Brasil Tel: 55-21-3233-1426 email: mbpinho@inca.gov.br [[alternative HTML version deleted]]

Any news on gameguard and other anti-hacking applications? I wonder who will give in eventually, would it be Wine or INCA. I know for a fact that this is the only stumbling block to allow windows based games to work on linux/mac using wine. Any news in this area? Thanks

...s[puppet]/File[/var/bb/bb/etc/bb-hosts]/content: change from absent to ## ## Do NOT modify this file directly, it is being controlled by puppet. ## Please contact usg@example.org if your require a change. ## 123.123.123.123 maya.example.org # BBDISPLAY BBPAGER BBNET noconn 123.123.123.132 inca.example.org # BBDISPLAY BBPAGER BBNET noconn 192.168.154.235 puppetslave.example.org # failed: No such file or directory - /var/bb/bb/etc/bb-hosts.puppettmp err: //Node[puppetslave.example.org]/defaultnode/shared-default/ bigbrother/Bb-hosts[puppet]/File[/var/bb/bb/etc/bb-hosts]/owner:...

...h ESMTP id 41BE9443E for <samba@lists.samba.org>; Tue, 29 May 2001 10:29:27 -0700 (PDT) Received: from mhbs.lsil.com (mhbs [147.145.31.100]) by mail2.lsil.com (8.9.3+Sun/8.9.1) with ESMTP id KAA28558 for <samba@lists.samba.org>; Tue, 29 May 2001 10:29:51 -0700 (PDT) Received: from inca.co.lsil.com by mhbs.lsil.com with ESMTP for samba@lists.samba.org; Tue, 29 May 2001 10:29:34 -0700 Received: from lsil.com (heeler.co.lsil.com [172.20.4.49]) by inca.co.lsil.com (8.9.3/8.9.3) with ESMTP id LAA12813; Tue, 29 May 2001 11:29:33 -0600 (MDT) Message-Id: <3B13DC7D.415EC8F1@lsil....

...h ESMTP id 861865329 for <samba@lists.samba.org>; Thu, 24 May 2001 09:22:39 -0700 (PDT) Received: from mhbs.lsil.com (mhbs [147.145.31.100]) by mail2.lsil.com (8.9.3+Sun/8.9.1) with ESMTP id JAA18132 for <samba@lists.samba.org>; Thu, 24 May 2001 09:23:16 -0700 (PDT) Received: from inca.co.lsil.com by mhbs.lsil.com with ESMTP for samba@lists.samba.org; Thu, 24 May 2001 09:23:01 -0700 Received: from lsil.com (heeler.co.lsil.com [172.20.4.49]) by inca.co.lsil.com (8.9.3/8.9.3) with ESMTP id KAA13242 for <samba@lists.samba.org>; Thu, 24 May 2001 10:22:59 -0600 (MDT) Messa...