Singular Solutions of Protter’s Problem for a Class of 3-D Hyperbolic Equations

Недю Иванов Попиванов, Алексей Йорданов Николов - През 1952 г. М. Протър формулира нови гранични задачи за вълновото уравнение, които са тримерни аналози на задачите на Дарбу в равнината. Задачите са разгледани в тримерна област, ограничена от две характеристични конуса и равнина. Сега, след като са минали повече от 50 години, е добре известно, че за безброй гладки функции в дясната страна на уравнението тези задачи нямат класически решения, а обобщеното решение има силна степенна особеност във върха на характеристичния конус, която е изолирана и не се разпространява по конуса. Тук ние разглеждаме трета гранична задача за вълновото уравнение с младши членове и дясна страна във формата на тригонометричен полином. Дадена е по-нова от досега известната априорна оценка за максимално възможната особеност на решенията на тази задача. Оказва се, че при по-общото уравнение с младши членове възможната сингулярност е от същия ред като при чисто вълновото уравнение.

Evolution of Sets Systems and Homotopy Groups of Spheres

Симеон Т. Стефанов, Велика И. Драгиева - В работата е изследвана еволюцията на системи от множества върху n-мерната евклидова сфера S^n. Установена е връзката на такива системи с хомотопичните групи на сферите. Получени са някои комбинаторни приложения за многостени.

Extracting Business Rules through Static Analysis of the Source Code

Красимир Манев, Нели Манева, Хараламби Хараламбиев - Подходът с използване на бизнес правила (БП) беше въведен в края на миналия век, за да се улесни специфицирането на фирмен софтуер и да може той да задоволи по-добре нуждите на съответния бизнес. Днес повечето от целите на подхода са постигнати. Но усилията, в научно-изследователски и практически аспект, за постигане на „’формална основа за обратно извличане на БП от съществуващи системи “продължават. В статията е представен подход за извличане на БП от програмен код, базиран на методи за статичен анализ на кода. Посочени са някои предимства и недостатъци на такъв подход.

Verification of Procedural Programs via Building their Generalized Nets Models

Магдалина Василева Тодорова - В статията е описан подход за верификация на процедурни програми чрез изграждане на техни модели, дефинирани чрез обобщени мрежи. Подходът интегрира концепцията “design by contract” с подходи за верификация от тип доказателство на теореми и проверка на съгласуваност на модели. За целта разделно се верифицират функциите, които изграждат програмата относно спецификации според предназначението им. Изгражда се обобщен мрежов модел, специфициащ връзките между функциите във вид на коректни редици от извиквания. За главната функция на програмата се построява обобщен мрежов модел и се проверява дали той съответства на мрежовия модел на връзките между функциите на програмата. Всяка от функциите на програмата, която използва други функции се верифицира и относно спецификацията, зададена чрез мрежовия модел на връзките между функциите на програмата.

Warehousing and OLAP Analysis of Data About Unique Bulgarian Bells

Тихомир Трифонов, Цветанка Георгиева-Трифонова - В настоящата статия е представена системата bgBell/OLAP за складиране и онлайн аналитична обработка на данни за уникални български камбани. Реализираната система предоставя възможност за извеждане на обобщени справки и анализиране на различни характеристики на камбаните, за да се извлече предварително неизвестна и потенциално полезна информация.

Some Marginal Densities of the Wishart Distribution

Евелина Илиева Велева - Разпределението на Уишарт се среща в практиката като разпределението на извадъчната ковариационна матрица за наблюдения над многомерно нормално разпределение. Изведени са някои маргинални плътности, получени чрез интегриране на плътността на Уишарт разпределението. Доказани са необходими и достатъчни условия за положителна определеност на една матрица, които дават нужните граници за интегрирането.

Sobolev Type Decomposition of Paley-Wiener-Schwartz Space with Application to Sampling Theory

2000 Mathematics Subject Classification: 94A12, 94A20, 30D20, 41A05.

IUPHAR-DB:the IUPHAR database of G protein-coupled receptors and ion channels

The IUPHAR database (IUPHAR-DB) integrates peer-reviewed pharmacological, chemical, genetic, functional and anatomical information on the 354 nonsensory G protein-coupled receptors (GPCRs), 71 ligand-gated ion channel subunits and 141 voltage-gated-like ion channel subunits encoded by the human, rat and mouse genomes. These genes represent the targets of approximately one-third of currently approved drugs and are a major focus of drug discovery and development programs in the pharmaceutical industry. IUPHAR-DB provides a comprehensive description of the genes and their functions, with information on protein structure and interactions, ligands, expression patterns, signaling mechanisms, functional assays and biologically important receptor variants (e.g. single nucleotide polymorphisms and splice variants). In addition, the phenotypes resulting from altered gene expression (e.g. in genetically altered animals or in human genetic disorders) are described. The content of the database is peer reviewed by members of the International Union of Basic and Clinical Pharmacology Committee on Receptor Nomenclature and Drug Classification (NC-IUPHAR); the data are provided through manual curation of the primary literature by a network of over 60 subcommittees of NC-IUPHAR. Links to other bioinformatics resources, such as NCBI, Uniprot, HGNC and the rat and mouse genome databases are provided. IUPHAR-DB is freely available at http://www.iuphar-db.org. © 2008 The Author(s).

Plato's Cretan Colony: Theology and Religion in the Political Philosophy of the Laws

The Laws is generally regarded as Plato’s attempt to engage with the practical realities of political life, as opposed to the more idealistic, or utopian, vision of the Republic. Yet modern scholars have often felt disquieted at the central role of religion in the Laws’ second-best city and regime. There are essentially the two dominant interpretations on offer today: either religion supports a repressive theocracy, which controls every aspect of the citizens’ lives to such an extent that even philosophy itself is discouraged, or religion is an example of the kind of noble lie, which the philosopher must deceive the citizens into believing—viz., that a god, not a man, is the author of the regime’s laws. I argue that neither of these interpretations do justice to the dialogue’s intricately dramatic structure, and therefore to Plato’s treatment of civil religion. What I propose is a third position in which Plato both takes seriously the social and political utility of religion, and views theology as a legitimate, and even necessary, subject of philosophical inquiry without going so far as to advocate theocracy as the second best form of regime.

I conclude that a proper focus on the dialogue form, combined with a careful historical analysis of Plato’s use of social and political institutions, reveals an innovative yet traditional form of civil religion, purified of the harmful influence of the poets, based on the authority of the oracle at Delphi, and grounded on a philosophical conception of god as the eternal source of order, wisdom, and all that is good. Through a union of traditional Delphic theology and Platonic natural theology, Plato gives the city of the Laws a common cult acceptable to philosopher and non-philosopher alike, and thus, not only bridges the gap between religion and philosophy, but also creates a sense of community, political identity, and social harmony—the prerequisites for political order and stability. The political theology of the Laws, therefore, provides a rational defense of the rule of law (νόμος) re-conceived as the application of divine Reason (νοῦς) to human affairs.

Age and alkenone-derived Holocene sea-surface temperature records of sediment core M40-4-SL78

This Special Issue of The Holocene contains 16 research papers based on a symposium at the 11th International Meeting of the European Union of Geosciences held in Strasbourg in April 2001. The aim of the symposium was a state-of-the-art assessment of empirical studies of postglacial marine and terrestrial climatic archives and their integration with numerical climate models. This editorial places the individual papers in the broader context of natural climate variability and anthropogenic impacts on the global climate system, regional differences in climate between maritime and continental areas, and the need for an improved theoretical basis for understanding the underlying causes of environmental change. The focus of the Special Issue is the dynamic and relatively well-understood climate of the North Atlantic and the European realm, where, in relation to the steepest offshore temperature gradient on Earth, observational data are abundant and many recent advances have been made in climate reconstruction from proxy archives. The editorial also contains a summary and overview of the papers included in the four main sections of the Special Issue, which emphasize: (1) numerical modelling experiments; (2) models of glacier buildup and equilibrium-line altitude; (3) marine and terrestrial proxy records of climatic change; and (4) multiproxy palaeoenvironmental reconstruction of a Portuguese lagoonal system.

Irreducibility of Random Hilbert Schemes

We prove that a random Hilbert scheme that parametrizes the closed subschemes with a fixed Hilbert polynomial in some projective space is irreducible and nonsingular with probability greater than $0.5$. To consider the set of nonempty Hilbert schemes as a probability space, we transform this set into a disjoint union of infinite binary trees, reinterpreting Macaulay's classification of admissible Hilbert polynomials. Choosing discrete probability distributions with infinite support on the trees establishes our notion of random Hilbert schemes. To bound the probability that random Hilbert schemes are irreducible and nonsingular, we show that at least half of the vertices in the binary trees correspond to Hilbert schemes with unique Borel-fixed points.

Proceedings of the convention.

Published: 11th- 1877- in its Cigar makers official journal.

Proceedings of the consolidated convention /

Includes the proceedings of the Miscellaneous Division and the Skilled Division, previously held and published separately.

Official proceedings of the ... convention ...

Proceedings for have title official proceedings of the ... convention of the Western federation of mines (varies slightly)

Report of the officers to the convention.

No more published?