Отправляет email-рассылки с помощью сервиса Sendsay

Автор

Система компьютерной алгебры GAP - Mini-workshop on algebra

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

CENTRO DE ALGEBRA DA UNIVERSIDADE DE LISBOA http://caul.cii.fc.ul.pt/ * * MINI-WORKSHOP ON ALGEBRA * * DIA 18 DE ABRIL DE 2008 (SEXTA-FEIRA, 14H30M, ANFITEATRO "Universal algebra and CSP" by Catarina Carvalho (CAUL, Portugal) Abstract: I 'll introduce the subject of Constraint Satisfaction Problems (CSP) and relate the study of its complexity with Universal Algebra. "Approaching cosets using Green's relations and Schutzenberger groups" by Robert Gray (University of St. Andrews, U.K) Abs...

2008-04-16 17:02:27 + Комментировать Автор:

Анекдот, гривна, каватина

Знаете слово?

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

подписчиков: 5207
Подписаться

Выпуск 536 Здравствуйте! Анекд о т - 1) (устар) занимательный или поучительный рассказ из жизни исторического лица, легендарного героя и т. п.; 2) один из жанров фольклора, короткий смешной рассказ с неожиданной концовкой; 3) (разг) необычное происшествие, событие. [Фр. anecdote - анекдот < греч. anekdotos - неизданный, от an- - не, ekdotos - выданный, от ekdidomi - выдавать, от didomi - давать] Гр и вна - 1) в древности: шейное украшение, обруч из бронзы, серебра или золота; 2) денежная и весовая едини...

2008-04-16 03:05:09 + Комментировать Автор:

Система компьютерной алгебры GAP - Combining Systems for Efficient and Scalable Reasoning

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Call for papers The workshop Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08) will be held as part of the 4th Int. Joint Conference on Automated Reasoning (IJCAR'08) in Sydney, Australia. Workshop website: http://www.dfki.de/cosyscare/ Workshop dates: 10/11 August 2008 Submission deadline: 31 May 2008 Large-scale reasoning can be a daunting task, so in the past this problem has been broken down into smaller parts to be attacked independently. This has allowed us to build powerful theor...

2008-04-14 21:07:55 + Комментировать Автор:

Дар слова. Еженедельный лексикон Михаила Эпштейна.

Дар слова. Еженедельный лексикон Михаила Эпштейна.

В рассылке публикуются новые слова русского языка, представляющие интерес с точки зрения лингвистики, поэтики, философии: их значения, производные, примеры использования и пр. Ни одного из предлагaемых слов нет ни в одном из существующих словарей.

подписчиков: 4164
Подписаться

ДАР СЛОВА 208 (278) Проективный лексикон русского языка 13 апреля 2008 Зачем интеллектуалам нужен свой праздник? День 21 апреля ничем особенным не ознаменовал и не запятнал себя в истории. Но он стоит в промежутке между двумя другими, памятными датами, которые торжественно отмечались самыми свирепыми режимами XX века. 21 апреля знаменует тонкую черту между двумя тоталитарными безднами, по которой человечество, как по узкому мостику, перебралось в XXI в. 20 апреля - День рождения Гитлера 21 апреля - День Ин...

2008-04-13 08:05:26 + Комментировать Автор:

Система компьютерной алгебры GAP - UNIF'08: Second Call for papers

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

UNIF 2008 22nd International Workshop on Unification http://www.score.cs.tsukuba.ac.jp/~mmarin/UNIF2008/ July 18, 2008, Castle of Hagenberg, Austria Important Dates - Title & abstract: April 28, 2008 Paper submission: May 5, 2008 Notification: June 2, 2008 Final version: June 23, 2008 Workshop: July 18, 2008 Background - UNIF is the main international meeting on unification. The aim of UNIF 2008 is to bring together people interested in unification, present recent (even unfinished) work, and discuss ne...

2008-04-11 18:42:41 + Комментировать Автор:

Раскраски

Раскраски

Раскраски на самую различную тематику: герои мультфильмов, сказок, детских литературных произведений, кинофильмов; флора и фауна, техника, различные сюжеты.

подписчиков: 1160
Подписаться

Раскраски 10 апреля 2008 Волшебный подводный мир русалок - такова тема новых раскрасок. подробнее: Подводное царство русалок Следующая подборка раскрасок расскажет о жизни Тарзана. Тарзан вырос среди горилл, в таинственных лесах, где не ступала нога человека. Враждебное царство диких животных долго не хотело признавать хрупкого мальчика. Вскоре на глазах у всех слабый малыш превратился в храброго юношу и стал быстрее пантеры, сильнее тигра, зорче орла. Но когда Тарзан становится настоящим королем джунглей,...

2008-04-10 22:48:07 + Комментировать Автор:

Система компьютерной алгебры GAP - ECCAD'2008

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

The 15-th Annual East Coast Computer Algebra Day (ECCAD'2008) Shepherd University Shepherdstown, WV, USA May 10, 2008 Free Ristration is available online now at http://www.shepherd.edu/eccad2008 Second Call For Participation ECCAD is an annual conference that provides opportunities to learn and share new developments and to present research results in the areas of symbolic and mathematical computation. The meeting includes invited talks and contributed poster/software demo sessions, covering the breadth of...

2008-04-10 00:20:34 + Комментировать Автор:

Система компьютерной алгебры GAP - Issue 163 of ACM Communications in Computer Algebra

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Добрый день! Вышел выпуск 163 журнала ACM Communications in Computer Algebra (CCA. Его содержание публикуется ниже. Этот и предыдущие выпуски доступны на сайте http://www.sigsam.org/cca/ . (Для этого нужно сначала зарегистрироваться на http://portal.acm.org/ , регистрация бесплатна) С уважением, Коновалов А.Б. ACM Communications in Computer Algebra, Vol. 42, No. 1, March 2008 FORMALLY REVIEWED ARTICLES Reasoning in Symbolic Computation, Michael P. Barnett, pp. 1-17 ABSTRACTS AMS Special Session on Applicat...

2008-04-09 12:39:06 + Комментировать Автор:

Аббревиатура, кавардак, фактотум

Знаете слово?

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

подписчиков: 5207
Подписаться

Выпуск 535 Здравствуйте, дорогие друзья! Аббревиат у ра - 1) сложносокращённое слово, образованное из начальных букв или слогов какого-либо словосочетания. Например, "МГУ" (Московский государственный университет, "мехмат" (механико-математический (факультет); 2) условное сокращение слов или слова. Например, "и т. д" (и так далее, "см" (смотрите, "f" (форте. [Фр. abre'viature - аббревиатура, сокращение, ит. abbreviatura - аббревиатура, сокращение < позднелат. abbreviatura - аббревиатура, сокращение < ...

2008-04-09 03:05:23 + Комментировать Автор:

Система компьютерной алгебры GAP - GUAVA and AutomGrp packages

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Добрый день! Вышла новая версия 3.3 пакета GUAVA , а также версия 1.1.3 пакета AutomGrp . В связи с этим обновлены архив пакетов на сайте системы GAP и дистрибутив GAP для Windows . С уважением, Коновалов А.Б. ...

2008-04-08 10:13:55 + Комментировать Автор: