lelf

Коллеги, прошу помощи со статейками:

01) http://dx.doi.org/10.1080/07328309508005351
02) http://dx.doi.org/10.1016/j.neulet.2004.05.093

Заранее сильно признателен.
Адрес: my@vysadka.ru

Уважаемы коллеги!
Пришлите еще 3 статьи, пожалуйста!
1. Guillaume Morissette, Robert Lodge and François Marceau. Intense pseudotransport of a cationic drug mediated by vacuolar ATPase: Procainamide-induced autophagic cell vacuolization. Toxicology and Applied Pharmacology, Volume 228, Issue 3, 1 May 2008, Pages 364-377
2. E. Alverca, M. Andradea, E. Diasa, , F. Sam Bento, M.C.C. Batoréu, P. Jordan, M.J. Silva and P. Pereira. Morphological and ultrastructural effects of microcystin-LR from Microcystis aeruginosa extract on a kidney cell line. Toxicon, Volume 54, Issue 3, 1 September 2009, Pages 283-294
3. Peter G. H. Clarke. Developmental cell death: morphological diversity and multiple mechanisms. Anatomy and Embryology, Volume 181, Number 3 / March, 1990
на tatarskii@gmail.com
Заранее огромное спасибо!

Я правильно понимаю, что Lwt теперь умеет работать в нативном коде?

Requesting:

INTRODUCTION ...

hphant at rambler dot ru

Thanks a lot in advance!

Вопрос следующего характера. Мне нужно посчитать значимость коэффициента корреляции для дискретного распределения по формуле:
t = (r * sqrt(N - 2)) / sqrt(1 - r * r),
где r - сам коэффициент корреляции, N - величина выборки, а sqrt - квадратный корень.
Так вот, как мы видим, при равенстве r "1" или "-1" в знаменателе получаем ноль, т.е. эту формулу употреблять нельзя. Чему тогда равно t? "1"?

Здравствуйте, коллеги!

Помогите плз, у кого доступ есть:

http://dx.doi.org/10.1137/0509088

на khrden at yandex.ru

Спс!

День добрый!
Заранее извиняюсь за несколько сумбурно сформулированный вопрос, ибо не представляю еще всех сложностей проблемы.
Опишу вратце ситуацию и решаемую задачу:
Есть организация - банк, в которой эксплуатируется множество телекоммуникационных устройств, в основном CISCO разных моделей, и FreeBSD по-мелочи. Есть специалисты, которые их конфигурируют. Также в организации есть прихлебатели типа меня - безопасники, задача которых бдить, контроллировать и быть в курсе. На данный момент не охваченный сегмент средствами моего технического мониторинга является как раз конфиги(настройки) сети. Собственно ставится задача выгружать, хранить и уметь извлекать нужную информацию о настройках. В основном конечно интерисует построение картины о возможности внешних поключений в сеть банка и разрешенных исходящих соединений из организации. В основном это нужно, что-бы иметь возможность проверить по-факту насколько реальные настройки соответсвуют задекларированным в различных политиках на бумаге. Технически мне видится, стоит задача парсинга конфигов циски и извлечения из них необходимых мне данных.
После чтения статей, блогов, журналов о фнкциональном программировании у меня сложилось впечатление, что это как-раз та область "народного хозяйства", где применение функциональной парадигмы будет более оправдано и за счет гибкости подхода и поможет решить задачу. Но, если честно, я на 100% не представляю насколько будет все сложно и можно ли добиться результата вообще.
Пока взял вот читать книгу по окамлу, но идет тяжко.
Собственно вопрос, что думаете по поводу этой задачи и использования ФП-языков для ее решения?
Стоит ли сосредоточиться на окамле или все-таки взять более распространенный питон? Ни питона ни окамла я не знаю, на фп раньше не писал, очень давно увлекался фортом. Основными средствами является С++ и немножко пхп.

Заранее спасибо за помощь и мнение.

Друзья, помогите найти статью:

Nature Structural & Molecular Biology
Published online: 20 December 2009 | doi:10.1038/nsmb.1753

Enzymatic and structural insights for substrate specificity of a family of jumonji histone lysine demethylases

John R Horton1, Anup K Upadhyay1, Hank H Qi, Xing Zhang, Yang Shi & Xiaodong Cheng1

адрес: nadezda_markina{at}mail{point}ru

Спасибо!

Вышел в свет третий выпуск журнала «Практика функционального программирования».

Коллектив авторов поздравляет вас с наступающим Новым Годом! Чтобы вам было, чем занять послепраздничные выходные (и большую часть января :), мы подготовили для вас конкурс!

Кроме того, в уникальной цирковой программе: рекурсивные функции тянут себя за хвост, факир прячет уходящие за горизонт фермы memcached под тонким уровнем абстракции, дрессированный верблюд превращается в кучу перьев и 1001 процесс, развенчание полиморфизма и разрезание функциональной парадигмы на части без наркоза.



Перейти к оглавлению номера.

Пусть M -- некоторое множество точек в R^n. Я беру все пары точек из M и соединяю их прямыми отрезками. Возникает новое множество -- объединение всех точек из всех этих отрезков. Имеется ли какое-то специальное название для этого множества?

У меня множество M -- это некоторое гладкое k-мерное многообразие, вложенное в аффинное n-мерное пространство. Будет ли новое множество тоже гладким многообразием или же у него могут быть сингулярные точки? А что можно сказать про размерность этого нового многообразия?

Заранее спасибо за любые подсказки.

Не знаю ничего о предмете. Интересует, что начать читать. Есть задача примерно такого типа. Есть n точек: x_1, ..., x_n. Есть функция n переменных F. Известно, что для некоторой перестановки s на {1, ..., n} справедливо

F( s(x_1), ..., s(x_n) ) = 0

Надо найти эту перестановку. Ответ должен быть в виде некоего программируемого алгоритма, работающего разумное время. Перебор как-то не тянет.

По каким ключевым словам начинать искать литературу?

Существует ли примочка для GHCi, чтобы он запоминал между запусками, какие модули подключены, историю команд?

Update. Действительно, история команд сохраняется, я упустил это. Даже поиск команд по Ctrl+R, как в bash, есть. Как правильно заметил mibori, меня интересует нечто большее, использование GHCi вместо bash. На Haskell можно писать скрипты, но интерпретатор Haskell на низком уровне. И сохранять определения, данные через "let … = …" и "var <- …", было бы неплохо, а они сбрасываются даже при перезагрузке модуля, не говоря о перезагрузке GHCi. И нужна частичная загрузка модуля, то есть когда загружаются только корректные определения из модуля.

Я тут на досуге разломал теорему Гёделя, а собрать обратно не могу. Помогите, пожалуйста, понять, в чём дело.

Всё началось с того, что благородный fregimus затеял цикл постов про теорему Гёделя на пальцах. Там в комментах и развернулся разговор с моим приятелем, который привёл к вышеописанному. Вот он. Или же можно начать читать с самого начала ветки, там чуть более подробно про "истинность" и "выводимость".

Суть теоремы и построений Гёделя напоминать не буду, сразу перейду к делу. Возражение моё состоит в следующем.

В нашем "окружающем мире" существуют формально правильные утверждения, для которых нельзя определить, истинны они или ложны. Например, всем известный Парадокс Лжеца (утверждение Y, состоящее в том, что "фраза Y - ложна") и все его производные, включающие несколько зацикленных на себя утверждений. Например, пара утверждений Y' и Y" ( Y': "Утверждение Y" истинно"; Y": "Утверждение Y' ложно" ). Как легко заметить, все эти утверждения - самоссылающиеся, и Закон Исключённого Третьего для них не выполняется.

Далее, есть у нас такой интуитивный способ доказательства, называемый "приведение к противоречию" или "от противного". Он неявно опирается на применимость закона исключённого третьего к выдвигаемому в этом способе предпложению. Таким образом, этот способ нельзя использовать в отношении самоссылающихся объектов.

А теперь к Гёделю. Суть доказательства Гёделя состоит в том, что он строит Формальную Систему и находит в ней утверждение, содержательно говорящее об этой самой системе - утверждение G. Очевидно, что G - самоссылающееcя утверждение.

И в ходе финального шага своего доказательства Гёдель использует способ "от противного". Но как мы ранее видели, его применять к самоссылающимся утверждениям нельзя. Поэтому доказательство Гёделя не имеет силы. Про истинность или ложность G ничего нельзя сказать.

UPD: Последний абзац очень плохо сформулирован. Вопрос не в применении метода, и лучше вместо него прочесть мои более правильные формулировки вот в этой ветке.


* * *
Так в чём тут дело? Требуется помощь зала :)

PS. Есть ещё такое соображение, что если в Формальной Системе Гёделя завести закон исключённого третьего, то он будет эквивалентен утверждению, что для любого утверждения выводимо либо оно само, либо его отрицание, т.е. тому, что ФС полна.

PS2. Есть ещё такое предположение, что G в некотором смысле эквивалентна Y.

Synthesis of AlxGa1-xN Alloy by Solid-Phase Reaction under High Pressure
Jpn. J. Appl. Phys. 43 (2004) pp. L981-L983

http://dx.doi.org/10.1143/JJAP.43.L981

Заранее спасибо!

petr.sokolov#gmail.com

Нужно всё.

peterarkadiev at yandex dot ru

Спасибо!

Marcel Mauss, l'esthétique et le "phénomène social total"

Спасибо!

(farkhatdinov@gmail.com)