Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constitutional law --- Droit constitutionnel --- United States --- Etats-Unis --- Constitution --- Politics and government --- Politique et gouvernement --- US / United States of America - USA - Verenigde Staten - Etats Unis --- 342.4 --- Grondwet. Staathervorming. --- Constitution. --- Grondwet. Staathervorming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Une fissure s’est ouverte, depuis une cinquantaine d’années, entre juge et démocratie représentative. La montée en puissance du premier anémie la seconde. L’emprise du juge sur la démocratie revêt deux aspects distincts : le droit se construit désormais en dehors de la loi, voire contre elle ; la pénalisation de la vie publique est croissante. Ces deux aspects sont liés car ils conduisent tous deux à la dégradation de la figure du Représentant : le premier en restreignant toujours davantage son champ d’action ; le second en en faisant un perpétuel suspect. Le mal qui ronge aujourd’hui la démocratie paraît se situer beaucoup plus là – c’est-à-dire dans l’abaissement du Représentant, dans le rétrécissement de la souveraineté du peuple, dans la rétraction de l’autorité publique – que dans les réactions allergiques que provoque cet affaiblissement de l’État : abstention, populisme, illibéralisme. Cet ascendant croissant du pouvoir juridictionnel sur les autres a-t-il amené davantage de rigueur et de transparence dans le fonctionnement démocratique ? Il se découvre chaque jour un peu plus qu’il n’a fait que remplacer le caprice du prince par le caprice du juge. D’où la question : que faire pour restaurer une juste séparation des pouvoirs ? Un essai qui dénonce l'emprise du juge sur la démocratie représentative qui s'est progressivement installée depuis une cinquantaine d'année en France ainsi que dans la plupart des pays occidentaux. Cette emprise revêt deux aspects qui conduisent à la dégradation de la figure du représentant : le droit se construit en dehors de la loi voire contre elle ; la pénalisation de la vie publique.

Juges. --- Pouvoir judiciaire. --- France. --- Juges --- Politique et pouvoir judiciaire. --- Régimes représentatifs. --- Séparation des pouvoirs. --- Judges --- Representative government and representation --- Separation of powers --- Political questions and judicial power --- Judicial power --- Democracy --- Gouvernement représentatif --- Séparation des pouvoirs --- Politique et pouvoir judiciaire --- Pouvoir judiciaire --- Démocratie --- Gouvernement des juges

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Automata theory is a subject of study at the crossroads of mathematics, theoretical computer science, and applications. In its core it deals with abstract models of systems whose behaviour is based on transitions between states, and it develops methods for the description, classification, analysis, and design of such systems. The Handbook of Automata Theory gives a comprehensive overview of current research in automata theory, and is aimed at a broad readership of researchers and graduate students in mathematics and computer science. Volume I is divided into three parts. The first part presents various types of automata: automata on words, on infinite words, on finite and infinite trees, weighted and maxplus automata, transducers, and two-dimensional models. Complexity aspects are discussed in the second part. Algebraic and topological aspects of automata theory are covered in the third part. Volume II consists of two parts. The first part is dedicated to applications of automata in mathematics: group theory, number theory, symbolic dynamics, logic, and real functions. The second part presents a series of further applications of automata theory such as message-passing systems, symbolic methods, synthesis, timed automata, verification of higher-order programs, analysis of probabilistic processes, natural language processing, formal verification of programs and quantum computing. The two volumes comprise a total of thirty-nine chapters, with extensive references and individual tables of contents for each one, as well as a detailed subject index." [Publisher's web]

Formal languages. --- Machine theory. --- Langages formels. --- Automates mathématiques, Théorie des.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

THEORIES ET ANALYSES DE L'ANIMATION SOCIO-CULTURELLE