1.

Record Nr.

UNINA9910462079703321

Titolo

Academic and professional publishing / / edited by Robert Campbell, Ed Pentz and Ian Borthwick

Pubbl/distr/stampa

Oxford : , : Chandos Publishing, , 2012

ISBN

1-78063-309-2

Edizione

[1st edition]

Descrizione fisica

1 online resource (525 p.)

Collana

Chandos publishing series

Altri autori (Persone)

CampbellRobert

PentzEd

BorthwickIan

Disciplina

808.02

Soggetti

Scholarly publishing

Electronic books.

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 and index.

Nota di contenuto

Cover; Academic andProfessional Publishing; Copyright; Contents; List of figures and tables; About the authors; 1 Introduction: overview of academic and professional publishing; Introduction; Trends in journal publishing; The four phases of the 'modern journal'; The rise, fall and rise in circulation; Current status; Electronic publishing; Journals and data; A dark cloud; The future; References; 2 Peer review in a rapidly evolving publishing landscape; Introduction; Peer review as the foundation of the primary literature; The peer-review process; Evaluation and decision-making

New models of peer reviewPost-publication review and evaluation; Conclusion and outlook; Sources of further information; References; 3 The scholarly ecosystem; Introduction; Funding of research by governments, business and other organisations; Research and researchers; Competition and collaboration; Looking forward; Notes; References; 4 The digital revolution; Introduction; Online publishing platforms; Web 2.0; Workflow integration; Mobile devices; Semantic technology; Publisher interests in semantic technology; Conclusion and outlook; References; 5 Publishing and communication strategies

IntroductionStrategic developments in the scientific and academic publishing industry; Product development vs. market development; Programme management and portfolio development; The Tao of



Academic Publishing; Acknowledgments and sources of further information; Notes; References; 6 Development of journal publishing business models and finances; Introduction; Business models for scholarly journals; Cost management; Financial management and performance; Journals as a portfolio; Conclusion and outlook; Note; Sources of further information; References

7 Development of book publishing business models and financesIntroduction; The impact of digitisation and digital publishing; The stakeholders and market drivers of digital book publishing; The shape and development of new book publishing business models; Conclusion - the future of 'stuff'; Acknowledgement; Further reading; References; 8 Editorial and production workflows; Introduction; Advances in formats and in editorial and production workflows; Metadata and XML-based processing; Electronic production workflows; Business process management and IT systems development; Quality assurance

Conclusion and outlookNote; References; 9 Electronic publishing standards; Introduction; Standards development; Key standards in electronic publishing; Conclusion; Notes; References; 10 Citation, bibliometrics and quality: assessing impact and usage; Introduction; Quality, impact and popularity; Citation indices; Journal impact metrics; Backlash against citation metrics; Strategic journal development; The 'early view' effect; Open Access (OA) and citations; Author metrics; The future of research performance metrics; References; 11 Relating content to the user

Introduction: user experience in the publishing industry

Sommario/riassunto

Academic and professional publishing represents a diverse communications industry rooted in the scholarly ecosystem, peer review, and added value products and services. Publishers in this field play a critical and trusted role, registering, certifying, disseminating and preserving knowledge across scientific, technical and medical (STM), humanities and social science disciplines. Academic and Professional Publishing draws together expert publishing professionals, to provide comprehensive insight into the key developments in the industry and the innovative and multi-disciplinary approaches bein



2.

Record Nr.

UNINA9910522604003321

Autore

Ribeyrol Charlotte

Titolo

« Étrangeté, passion, couleur » : L’hellénisme de Swinburne, Pater et Symonds (1865-1880) / / Charlotte Ribeyrol

Pubbl/distr/stampa

Grenoble, : UGA Éditions, 2021

ISBN

2-37747-266-4

Descrizione fisica

1 online resource (264 p.)

Collana

Esthétique et représentation : monde anglophone (xviiie-xixe siècles)

Soggetti

Literature, British Isles

mythologie

hellénisme

corps

couleur

désir

artiste

antiquité

aestheticism

poésie anglaise

art grec

ballades

androgyne

hermaphrodite

mythopoïétique

Lingua di pubblicazione

Francese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

L’hellénisme naît dans le sillage romantique de l’œuvre de J. J. Winckelmann dont la vision épurée de l’Antiquité continue de nourrir les fantasmes helléniques de nombreux auteurs anglais tout au long du xixe siècle. Mais dans les années 1860-1880, un tournant se fait jour dans l’hellénomanie victorienne grâce à l’émergence de sciences telles que l’archéologie et l’anthropologie. En écho à ces recherches nouvelles



qui jettent un éclairage autre sur l’antique, A. C. Swinburne, W. Pater et J. A. Symonds, trois auteurs appartenant au mouvement esthétique (« Aestheticism »), se mettent en quête des parts d’ombre de l’Hellade, de son altérité et de ses couleurs, autant de marges dionysiaques qui viennent nuancer les fantasmes apolliniens de leurs contemporains. Substituant au désir d’érudition philologique une volonté d’exhumation des aspects les plus secrets de la culture grecque, ces poètes et essayistes révèlent ainsi une part trouble de l’héritage hellénique qui se donne également à voir dans les tableaux des peintres de leur cercle proche, comme E. Burne-Jones, S. Solomon, J. McNeill Whistler, A. Moore et D. G. Rossetti.

3.

Record Nr.

UNINA9910143618703321

Titolo

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000

ISBN

3-540-44518-8

Edizione

[1st ed. 2000.]

Descrizione fisica

1 online resource (X, 386 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 1912

Disciplina

511.3

Soggetti

Computer logic

Software engineering

Programming languages (Electronic computers)

Logic, Symbolic and mathematical

Database management

Logics and Meanings of Programs

Software Engineering/Programming and Operating Systems

Programming Languages, Compilers, Interpreters

Software Engineering

Mathematical Logic and Formal Languages

Database Management

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study.

Sommario/riassunto

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.