1.

Record Nr.

UNISALENTO991002370529707536

Autore

Lucas Verdu, Pablo

Titolo

Teoría de la Constitución como ciencia cultural / Pablo Lucas Verdú

Pubbl/distr/stampa

Madrid : Dykinson, 1997

Descrizione fisica

292 p. ; 24 cm.

Collana

Derecho constitucional

Classificazione

C-XVII/A

Lingua di pubblicazione

Spagnolo

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNISALENTO991003317889707536

Titolo

Advances in agricultural economic history [e-journal]

Pubbl/distr/stampa

Amsterdam : Elsevier

ISSN

1569-4933

Altri autori (Enti)

ScienceDirect (Online service)

Soggetti

Agricultura - Aspetti economici - Periodici

Industrializzazione - Periodici

Lingua di pubblicazione

Inglese

Formato

Software

Livello bibliografico

Periodico

Note generali

Description based on print version record

Nota di bibliografia

Includes bibliographical references and indexes



3.

Record Nr.

UNINA9910966842003321

Autore

Egwaikhide Festus O

Titolo

Federal presence in Nigeria : the 'sung' and 'unsung' basis for ethnic grievance / / Festus O. Egwaikhide, Victor A. Isumonah, Olumide S. Ayodele

Pubbl/distr/stampa

Dakar, Senegal, : Council for the Development of Social Science Research in Africa, 2009

ISBN

9786612901355

9781282901353

1282901354

9782869783966

2869783965

9782869783522

2869783523

9782869782969

2869782969

Edizione

[1st ed.]

Descrizione fisica

1 online resource (128 p.)

Collana

Codesria book series

Altri autori (Persone)

IsumonahVictor A

AyodeleOlumide S

Soggetti

Revenue sharing - Nigeria

Nigeria Economic conditions

Nigeria Ethnic relations

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

Front Cover; Title Page; Copyright Page; Table of Contents; List of Tables and Figures; Notes on Authors; 1 - Introduction; 2 - Ethno-Regional Competition for Resources in Nigeria; 3 - Fiscal History; 4 - Educational Facilities and their Beneficiaries; 5 - Federal Public Service as a Cake to be Shared; 6 - the Distribution of Health Benefits; 7 - Federal Expenditure on Roads, Housing and Erosion Control; 8 - Conclusion; Bibliography; Back Cover

Sommario/riassunto

Minorities of the oil-producing states are seriously disturbed by the inequity that is apparent from the existing principles of revenue



allocation in Nigeria. In taking issues with them and other southern advocates of new revenue allocation criteria, the dominant north's organic intellectuals have always relied on the obvious concentration of economic and commercial activities in southern Nigeria to refute the argument that the north is the greater beneficiary of Nigeria's wealth. Scholarly contribution to the ethno-regional debate on the equity of resource allocation has been anchored to the

4.

Record Nr.

UNINA9910983066103321

Titolo

Recent Advances in the Message Passing Interface : 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings / / edited by Claudia Blaas-Schenner, Christoph Niethammer, Tobias Haas

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025

ISBN

3-031-73370-3

Edizione

[1st ed. 2025.]

Descrizione fisica

1 online resource (144 pages)

Collana

Lecture Notes in Computer Science, , 1611-3349 ; ; 15267

Disciplina

004.6

Soggetti

Algorithms

Computer networks

Software engineering

Computer programming

Computer engineering

Computer simulation

Computer Communication Networks

Software Engineering

Programming Techniques

Computer Engineering and Networks

Computer Modelling

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Compile time Correctness Checks and Optimization -- SPMD IR



Unifying SPMD and Multi Value IR Showcased for Static Verification of Collectives -- Annotation of Compiler Attributes for MPI Functions -- Limitations and Extensions for GPGPUs in MPI -- Understanding GPU Triggering APIs for MPI X Communication -- Stream Support in MPI without the Churn -- Improvements for MPI -- Improved MPI Collectives for 3D FFT -- To Share or Not to Share A Case for MPI in Shared Memory -- MPI Ecosystem -- Dynamic Resource Management for In Situ Techniques using MPI Sessions -- MPI BugBench A Framework for Assessing MPI Correctness Tools.

Sommario/riassunto

This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024. The 8 full papers presented here were carefully reviewed and selected from 19 submissions. These papers have been categorized under the following topical sections: Compile-time Correctness checks and optimization; Limitations and Extensions for GPGPUs in MPI; Improvements for MPI and MPI Ecosystem.