Show me the money!!!

Entre el sábado a la madrugada a el Martes a la tarde tuve ingresos extras por $270 :D

jeje, en detalles:

* El viernes a la noche fui a Carlos Paz, a una milonga con una amiga y terminamos en el bingo... no fue al pedo, ganamos un bingo, $140, $70 para cada uno.

* Tenía la idea de dar clases particulares a extranjeros y cobrarlas costosas... 2hs x $100. Por esas cosas de la vida, el Flaco tenía una persona interesada en tomar clases, Iliana, y le dí la clase. Cómo le gusto, me pidió que le de también una clase al marido. Así que dí 2 clases de 2 hs. cada cada una por $200 :D

Para terminar, los resultados de la clase de Iliana:

Sobre sexo

Un amigo después de mucho tiempo sin estar con una chica, mientras estaba, pensaba esto y no podía terminar de entender :)

"dos días de chat, 47 mensajes de texto, 5 hs de auto y acá estoy, cogiendo"

Y el Kolo una vez dijo y siempre me quedo grabado en la mente:

"El que no coge en casa, no coge en Bariloche...."

C'est la vie... :D

Corrigiendo

Es muy fácil corregir cuando:
A - Está todo bien.
B - Está todo mal.

... Lo más o menos es un bajón....

No entiendo cómo hacen para estudiar los alumnos de la materia en la que estoy... las cosas estaban más o menos....

Brasil!!

No tengo ahorros, pero tengo un pasaje para Brasil B-)

Me voy en avión a Recife y de ahí a Campina Grande. Y no sé bien que voy a hacer, sólo sé que vuelvo el 3 de Febrero.... jeje me olvidaba, salgo el 29 de Diciembre. :D

Avanzandooo

Si bien avanzo, mientras más avanzo, más cosas descubro, más cosillas para tener en cuenta. Je... todo hace parecer que no es viable...

Pero así es la vida del que investiga :D

Chun en la primaria

Yo fui al colegio Mariano Acosta, un colegio famoso en BsAs, pasaron por ahí mucha gente famosa.
No se xq pero me quedo como una fascinación con el mismo, y es algo que le pasa a mucha gente, si uno busca en google, encuentra varios lugares con grupos de ex-alumnos. Hoy encontré uno en facebook y me uní :D Encontré a 3 compañeritos!! :D

Le saqué una foto a un foto vieja para agregar al grupo. Acá esta:

Fredes, Ale, Chun, Seba y ...

Jeje, si, era gordito cuando era chico :D

Lost

...acabo de ver 9 capitulos de Lost

Feliz 9 de Julio!!!

Pensando...

jeje, para no dejarme tan mal parado con el último post, al final trabaje.

Lo bueno de lo que hago es que lo puedo hacer en cualquier momento. Ejemplo: recién mientras me bañaba, encontré una forma de demostrar algo que no sabía como demostrar.... :D

Excelente!

Boludeo...

Hace 2 horas que estoy boludeando... ¿en qué?... no sé.
Bah!! en nada importante...

Me voy a trabajar... espero.

Tribunal

Hoy fuí por 1º vez parte de un tribunal para evaluar una tesis. Por suerte fue un muy buen trabajo y fue fácil poner un 10. Los detalles técnicos:


Alumno: Carlos S. Bederián
Director: Pedro D'Argenio.

Título: Model checking cuantitativo de propiedades LTL en PRISM

Auditorio, Viernes 4 de julio a las 16:00 hs.

Resumen:

Las técnicas de verificación formal de sistemas complementan a las técnicas de testing en el proceso de desarrollo, y son imprescindibles para asegurar la corrección de sistemas críticos cuyos fallos pueden tener resultados catastróficos.

En este trabajo agregamos soporte para verificar propiedades en la lógica temporal LTL sobre modelos con elementos probabilistas y no deterministas a la herramienta de model checking PRISM [1], utilizando el algoritmo descrito por Luca de Alfaro en [2] que reduce el problema a un cálculo de alcanzabilidad máxima.

Como el model checking sufre de baja escalabilidad cuando se utilizan representaciones explícitas del modelo, el algoritmo ha sido convertido en su totalidad al uso de diagramas de decisión binarios [3], una estructura de datos optimizada para almacenar grandes modelos en una cantidad pequeña de memoria sin sacrificar demasiada performance para operar sobre el mismo.

[1] http://www.prismmodelchecker.org/

[2] Luca de Alfaro. Temporal Logics for the Specification of Performance and Reliability. Lecture Notes in Computer Science, 1200:165—176, 1997.

[3] Randall Y. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. Technical report, CMU, 1992.

Objetivo 2008.

Son las 4 y no puedo dormir.... ¿no es una canción así? :P

Bueno, no puedo dormir, parece que estar tanto tiempo en reposo me dejo con horas de sueño de más. Pero pasemos al tema importante: Objetivo 2008.

El objetivo para lo que queda del año es escribir un paper. Sólo eso. No mucho más para decir. Justo hoy arranca la segunda mitad del año. ¿Una señal? :P