Displaying 20 results from an estimated 3000 matches similar to: "racc/parser.rb:27: warning: already initialized constant Racc_Runtime_Version"
2006 Jul 08
2
String mathematical function to R-function
hello
I make a subroutine that give-me a (mathematical)
function in string format.
I would like transform this string into function ( R
function ).
thanks for any tips.
cleber
#e.g.
fun_String = "-100*x1 + 0*x2 + 100*x3"
fun <- function(x1,x2,x3){
return(
############
evaluation( fun_String )
############
)
True String mathematical function :-( :-(
> nomes
[1]
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos at linki.tools wrote:
>
>
> On 12 February 2019 18:59:21 CET, Mikhail Ramalho <
> mikhail.ramalho at gmail.com> wrote:
> >I _think_ there is a problem with the license as well: Z3 is MIT, so
> >clang
> >would have to be released with Z3's license.
>
> I don't think that's a problem. You are not
2009 Nov 09
3
How to transform the Matrix into the way I want it ???
Hi, R users,
I'm trying to transform a matrix A into B (see below). Anyone knows how to
do it in R? Thanks.
Matrix A (zone to zone travel time)
zone z1 z2 z3 z1 0 2.9 4.3 z2 2.9 0 2.5 z3 4.3 2.5 0
B:
from to time z1 z1 0 z1 z2 2.9 z1 z3 4.3 z2 z1 2.9 z2 z2 0 z2 z3 2.5 z3 z1
4.3 z3 z2 2.5 z3 z3 0
The real matrix I have is much larger, with more than 2000 zones. But I
think it should
2019 Feb 12
2
[cfe-dev] clang in official apt repo built without z3 support
I _think_ there is a problem with the license as well: Z3 is MIT, so clang
would have to be released with Z3's license.
On Tue, 12 Feb 2019, 09:24 Roman Lebedev via cfe-dev <cfe-dev at lists.llvm.org
wrote:
> On Tue, Feb 12, 2019 at 4:13 PM Paulo Matos via cfe-dev
> <cfe-dev at lists.llvm.org> wrote:
> >
> > Hello,
> >
> > I am trying to run scan-build
2006 Jan 27
1
about lm restrictions...
Hello all R-users
_question 1_
I need to make a statistical model and respective ANOVA table
but I get distinct results for
the T-test (in summary(lm.object) function) and
the F-test (in anova(lm.object) )
shouldn't this two approach give me the same result, i.e
to indicate the same significants terms in both tests???????
obs.
The system has two restrictions:
1) sum( x_i ) = 1
2) sum(
2009 Jul 02
1
lpSolve: how to allow variables to become negative
Dear all,
I am interested in solving a MIP problem with binary outcomes and
continuous variables, which ARE NOT RESTRICTED TO BE NEGATIVE. In
particular,
Max {z1,z2,z3,b1} z1 + z2 + z3
(s.t.)
# 7 z1 + 0 z2 + 0 z3 + b1 <= 5
# 0 z1 + 8 z2 + 0 z3 - b1 <= 5
# 0 z1 + 0 z2 + 6 z3 + b1 <= 7
# z1, z2, z3 BINARY {0,1}
# -5<= b1 <=5 (i.e. b1 <= 5; -b1 <= 5 )
Using
2016 Feb 11
3
Buildling with/without AddressSanitizer causes divergent execution behaviour
Hi Kostya & Yury,
Thanks for the advice.
On 9 February 2016 at 22:48, Kostya Serebryany <kcc at google.com> wrote:
> Hi Dan,
>
> On Tue, Feb 9, 2016 at 10:57 AM, Dan Liew <dan at su-root.co.uk> wrote:
>>
>> Hi,
>>
>> # TL;DR
>>
>> I've been building an application with and without the address
>> sanitizer (with gcc 5.3 and
2017 Jul 28
0
problem with "unique" function
Most likely, previous computations have ended up giving slightly different values of say 0.13333. A pragmatic way out is to round to, say, 5 digits before applying unique. In this particular case, it seems like all numbers are multiples of 1/30, so another idea could be to multiply by 30, round, and divide by 30.
-pd
> On 28 Jul 2017, at 17:17 , li li <hannah.hlx at gmail.com> wrote:
2012 Aug 10
1
Solving binary integer optimization problem
Hi,
I am new to R for solving optimization problems, I have set of communication
channels with limited capacity with two types of costs, fixed and variable
cost. Each channel has expected gain for a single communication.
I want to determine optimal number of communications for each channel
maximizing ROI)return on investment) with overall budget as constraint.60000
is the budget allocated.
2001 Apr 19
2
extraction
Hello everybody
I am trying to extract some observations from a data frame, ie the
subjects that belong to a given group, and although t-test etc work
if I try to obtain the number of subjects in the subgroup i get some
funny numbers. All the subjects with NA for group are included in
the subgroups 'group==1' etc.
Is this a bug?
for example in Windoze
R : Copyright 2001, The R
2013 Apr 05
0
[LLVMdev] Z3 and loadable optimization
On 4/5/13 3:16 PM, Giacomo Tagliabue wrote:
> I created a loadable optimization following the tutorial at
> http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3
> library, installed in my system, in my optimization. When I include
> z3++.h (the name of the library) in the code and use its classes, it
> compiles well, but when I try to run it it says:
>
>
2017 Jul 28
3
problem with "unique" function
I have the joint distribution of three discrete random variables z1, z2 and
z3 which is captured by "z"
and "prob" as described below.
For example, the probability for z1=0.46667, z2=-1 and z3=-1 is 2.752e-13.
Also, the probability adds up to 1.
> head(z) z1 z2 z3
[1,] -0.46667 -1.0000 -1.0000
[2,] -0.33333 -0.9333 -0.9333
[3,] -0.20000 -0.8667 -0.8667
2018 Feb 25
0
include
Jim has been exceedingly patient (and may well continue to be so), but this smells like "failure to launch". At what point will you start showing your (failed) attempts at solving your own problems so we can help you work on your specific weaknesses and become self-sufficient?
--
Sent from my phone. Please excuse my brevity.
On February 25, 2018 7:55:55 AM PST, Val <valkremk at
2013 Apr 05
1
[LLVMdev] Z3 and loadable optimization
I think I am in the first case, but I don't understand something, the -load
option during which command? opt? and which file should I load? libz3.so?
On 5 April 2013 15:32, John Criswell <criswell at illinois.edu> wrote:
> On 4/5/13 3:16 PM, Giacomo Tagliabue wrote:
>
> I created a loadable optimization following the tutorial at
>
2010 Feb 05
1
String Manipulation- Extract numerical and alphanumerical segment
I am currently attempting to split a long list of strings (let's call it
"string.list") that is of the format:
"1234567.z3.abcdef-gh.12"
I have gotten it to:
"1234567" "z3" "abcdef-gh" "12"
by use of the strsplit function.
This leaves me with each element of "string.list" having a split string of
the above format. What
2010 Jan 29
1
use zoo package with multiple column data sets
Readers,
I am trying to use the zoo package with an array of data:
file1:
hh:mm:ss 1
hh:mm:ss 2
hh:mm:ss 3
hh:mm:ss 4
file2:
hh:mm:ss 11 55
hh:mm:ss 22 66
hh:mm:ss 33 77
hh:mm:ss 44 88
I wanted to merge these data set so I tried the following commands:
library(chron)
library(zoo)
z1<-read.zoo("path/to/file1.csv",header=TRUE,sep=",",FUN=times)
2013 May 16
2
A function that can modify an object? Or at least shows principles how to modify an object?
Hi, If I have an R object UUU, where the second element is U2, based on
"g" column of my.table
my.table of UUU is:
mmm ggg gindex map Info
aaa123 U1 1 1 1
aaa124 U1 1 2 1
bbb1378 U2 2 1 1
bbb8888 U2 2 2 0
bbb1389 U2 2 3
2018 Mar 15
1
[GSoC 2018] Integrate with Z3 SMT solver to reduce false positives.
Hi all,
I am a fourth year EE bachelors student who is very interested in
compilers. I have taken the only compilers course offered in my school and
did an independent study with my CS professor. Although I'll begin to work
in a couple of months, I definitely want to pursue my interest in compiler
design and optimization as a PhD in the future. I am very interested in the
z3 SMT solver
2009 Nov 24
1
Titles in plots overlap
Hi,
I use fCopulae package to draw different graphs of univariate and bivariate skew t. But the plots titles overlap. I tried using cex.main, font.main to adjust the size but they still overlaps. Here is my code:
par(mfrow = c(3, 1))
mu = 0
Omega = 1
alpha1 = 0
alpha2 = 1.5
alpha3 = 2
alpha4 = 0.5
Z1 = matrix(dmvst(x, 1, mu, Omega, alpha1, df = Inf), length(x))
Z2 = matrix(dmvst(x, 1, mu,
2010 Oct 04
3
Upgrade to 2.6.1 appears to break puppetmaster
Hello.
While trying to get to the bottom of a puppetmaster+unicorn+nginx rig that''s
serving empty files, it seemed to be a relatively sensible idea to upgrade
the puppetmaster to 2.6.1
This broke in a manner that seems to be the multiple-& bug.
Running the puppetmaster standalone gives the following:
[ ... ]
info: mount[files]: allowing *.mysparedomain.com access
info: