Kirjojen hintavertailu. Mukana 11 699 587 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

393 tulosta hakusanalla Arto Salomaa

Arto Salomaa: Mathematician, Computer Scientist, and Teacher

Arto Salomaa: Mathematician, Computer Scientist, and Teacher

Jukka Paakki

Springer Nature Switzerland AG
2019
sidottu
This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields.Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna.
Vertaile hintoja
Arto Salomaa: Mathematician, Computer Scientist, and Teacher

Arto Salomaa: Mathematician, Computer Scientist, and Teacher

Jukka Paakki

Springer Nature Switzerland AG
2020
nidottu
This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields.Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna.
Vertaile hintoja
Computation and Automata

Computation and Automata

Arto Salomaa

Cambridge University Press
2011
pokkari
In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.
Vertaile hintoja
Computation and Automata

Computation and Automata

Arto Salomaa

Cambridge University Press
1985
sidottu
In this book, Professor Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. The presentation is essentially self-contained with detailed proofs of all statements provided, yet without sacrificing readability. Professor Salomaa is well known for his books in this area; the present work will be welcomed as an exposition that begins with basics familiar to advanced undergraduate students yet proceeds to some of the most important recent developments in theoretical computer science.
Vertaile hintoja
Public-Key Cryptography

Public-Key Cryptography

Arto Salomaa

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1996
sidottu
Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications in computers and communications. This book gives a broad overview of public-key cryptography - its essence and advantages, various public-key cryptosystems, and protocols - as well as a comprehensive introduction to classical cryptography and cryptoanalysis. The second edition has been revised and enlarged especially in its treatment of cryptographic protocols. From a review of the first edition: "This is a comprehensive review ... there can be no doubt that this will be accepted as a standard text. At the same time, it is clearly and entertainingly written ... and can certainly stand alone." Alex M. Andrew, Kybernetes, March 1992
Vertaile hintoja
Public-Key Cryptography

Public-Key Cryptography

Arto Salomaa

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
nidottu
Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications in computers and communications. This book gives a broad overview of public-key cryptography - its essence and advantages, various public-key cryptosystems, and protocols - as well as a comprehensive introduction to classical cryptography and cryptoanalysis. The second edition has been revised and enlarged especially in its treatment of cryptographic protocols. From a review of the first edition: "This is a comprehensive review ... there can be no doubt that this will be accepted as a standard text. At the same time, it is clearly and entertainingly written ... and can certainly stand alone." Alex M. Andrew, Kybernetes, March 1992
Vertaile hintoja
Automata-Theoretic Aspects of Formal Power Series

Automata-Theoretic Aspects of Formal Power Series

Arto Salomaa; Matti Soittola

Springer-Verlag New York Inc.
2011
nidottu
This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory.
Vertaile hintoja
Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography

Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography

Dingyi Pei; Arto Salomaa; Cunsheng Ding

World Scientific Publishing Co Pte Ltd
1996
sidottu
Chinese Remainder Theorem, CRT, is one of the jewels of mathematics. It is a perfect combination of beauty and utility or, in the words of Horace, omne tulit punctum qui miscuit utile dulci. Known already for ages, CRT continues to present itself in new contexts and open vistas for new types of applications. So far, its usefulness has been obvious within the realm of “three C's”. Computing was its original field of application, and continues to be important as regards various aspects of algorithmics and modular computations. Theory of codes and cryptography are two more recent fields of application.This book tells about CRT, its background and philosophy, history, generalizations and, most importantly, its applications. The book is self-contained. This means that no factual knowledge is assumed on the part of the reader. We even provide brief tutorials on relevant subjects, algebra and information theory. However, some mathematical maturity is surely a prerequisite, as our presentation is at an advanced undergraduate or beginning graduate level. We have tried to make the exposition innovative, many of the individual results being new. We will return to this matter, as well as to the interdependence of the various parts of the book, at the end of the Introduction.A special course about CRT can be based on the book. The individual chapters are largely independent and, consequently, the book can be used as supplementary material for courses in algorithmics, coding theory, cryptography or theory of computing. Of course, the book is also a reference for matters dealing with CRT.
Vertaile hintoja
DNA Computing

DNA Computing

Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1998
sidottu
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory. It then brings the reader to the most advanced theories develop thus far in this emerging research area.
Vertaile hintoja
DNA Computing

DNA Computing

Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
nidottu
This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory. It then brings the reader to the most advanced theories develop thus far in this emerging research area.
Vertaile hintoja
Formale Sprachen

Formale Sprachen

Arto K. Salomaa

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1978
nidottu
In diesem Buch wird eine Theorie der formalen Sprachen yom Standpunkt der Erzeugungsverfahren, hauptslichlich der Gramma- tiken aus entwickelt. Erkennungsverfahren, also Automaten, wer- den nur als eine zweite Moglichkeit eingefiihrt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen aufProgrammiersprachen (bzw. narurliche Spra- chen) interessiert ist, wiirde sicherlich eine ausfiihrlichere Diskus- sion von Themen wie LR(k)-Grammatiken (bzw. Transformations- grammatiken) bevorzugen. So1che Diskussionen liegen au erhalb des Rahmens dieses Buches. Wir vermeiden unnotige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, d der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse tiber formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so d man keine weiteren Quellen fUr die Beweise von Ergebnissen benotigt, die als Slitze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angefiihrt, hauptslichlich als Behauptungen oder in den Be- merkungen im Anschl an einige Abschnitte. Selbstverstandlich werden diese Ergebnisse in den Beweisen spliterer Slitze nicht ver- wendet. Es wurde auch versucht, die jiingsten Ergebnisse mit ein- zubeziehen. Danksagungen Teile des Manuskriptes flir dieses Buch wurden als Unterlagen fUr Vorlesungen verwendet, die an den Universitaten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich mochte den Teil- nehmern dieser VorleSlingen danken.
Vertaile hintoja
L’arto inferiore nella paralisi cerebrale infantile

L’arto inferiore nella paralisi cerebrale infantile

Springer Verlag
2013
nidottu
Partendo dall’analisi del segno il testo affronta i principali difetti (impairment) che possono interessare l’arto inferiore nel bambino affetto da paralisi cerebrale infantile. Per ciascuna delle tre principali stazioni di movimento (piede, ginocchio e anca) vengono considerate le possibili cause del segno, le manovre di semeiotica clinica e strumentale (gait analysis) in grado di evidenziarle, le proposte di chirurgia funzionale più praticate capaci di modificarle. Per ciascun intervento chirurgico viene fornita una descrizione sintetica della procedura e dei tempi di interdizione dal carico, il protocollo di addestramento fisioterapico nell’immediato postoperatorio e quello da seguire dalla ripresa del carico in poi. Il testo è correlato da una ricca iconografia e da una bibliografia aggiornata. Un glossario ragionato permette di conoscere il significato dei principali termini utilizzati. Un capitolo conclusivo analizza le strategie dell’approccio chirurgico nelle principali forme di paralisi cerebrale infantile.
Vertaile hintoja
Fratture da fatica dell'arto inferiore negli atleti

Fratture da fatica dell'arto inferiore negli atleti

Khelil Khaled

Edizioni Sapienza
2023
pokkari
Le fratture da fatica sono lesioni frequentemente osservate negli sportivi e colpiscono preferibilmente gli arti inferiori in seguito a uno sforzo intenso e insolito. Nell'ambiente militare e sportivo, queste fratture si distinguono per circostanze e fattori di rischio diversi. Lo scopo dello studio stato quello di indagare le caratteristiche epidemiologiche, cliniche e radiologiche e di specificare il trattamento e i fattori prognostici delle fratture da fatica dell'arto inferiore negli sportivi. Il nostro studio stato retrospettivo e descrittivo su un periodo di 15 anni, da gennaio 2002 a dicembre 2016, e ha riguardato 38 casi di fratture da fatica degli arti inferiori in sportivi trattati nel reparto di chirurgia ortopedica dell'H pital Militaire Principal d'Instruction de Tunis.
Vertaile hintoja
Dolore All'arto Superiore

Dolore All'arto Superiore

Ines Kammoun; Sana Sellami; Salaheddine Rekik

Edizioni Sapienza
2023
pokkari
Il dolore all'arto superiore, in particolare quello neuropatico, un motivo frequente per richiedere un elettroneuromiogramma (ENMG). Questa esplorazione implica una complementarit con l'esame clinico. L'elettrodiagnosi pu dare una risposta al quesito clinico chedomanda che non trova risposta nell'esame neurologico.In questo libro abbiamo specificato il contributo dell'ENMG nell'esplorazione di un arto superiore doloroso in base all'esistenza o meno di un'ipotesi diagnostica formulata dal medico richiedente. Abbiamo anche studiato la relazione tra la gravit dei segni clinici e i dati ENMG.
Vertaile hintoja
Lesioni sportive dell'arto superiore

Lesioni sportive dell'arto superiore

Ruben Juárez

Edizioni Sapienza
2023
pokkari
Sulla base di un'analisi della realt , viene condotto uno studio attraverso sondaggi tra gli studenti e i docenti del Diploma di Personal Trainer dell'Universit di Panama, i cui risultati permettono di stabilire che necessario progettare un modello pedagogico diverso da quello proposto finora nelle Scienze dello Sport in relazione allo studio delle lesioni dell'arto superiore.Da qui, si propone un modello di apprendimento per le suddette lesioni, incorporando le teorie dell'apprendimento collaborativo, della pedagogia attiva, dell'uso delle TIC nell'apprendimento, dell'aggiornamento professionale, degli ambienti virtuali e della programmazione di corsi online, un modello di apprendimento collaborativo con altre discipline legate allo sport, asincrono, mantenendo il rigore scientifico ma arricchito da video, attraverso la piattaforma d'aula in cinque moduli e con la rispettiva valutazione.
Vertaile hintoja
123...20