Computer science Books
Springer Fachmedien Wiesbaden Rechneraufbau am konkreten Beispiel: Dargestellt
Book SynopsisTable of Contents1: Einleitung.- 1.1 Zielsetzung und Strategie.- 1.2 Inhaltlicher Aufbau.- 2: Computersysteme im Überblick.- 2.1 Grundlagen.- 2.2 Einordnung und Spezifikation.- 2.3 Übungen.- 3: Bestandteile des Computersystems.- 3.1 Grundlagen.- 3.2 Hardware-Einheiten.- 3.2.1 Konfiguration der Basiseinheit.- 3.2.2 Anschluß der peripheren Einheiten.- 3.3 Software-Architektur.- 3.3.1 User Interface Toolbox.- 3.3.2 Betriebssystem.- 3.4 Übungen.- 4: Systemkern - Die Hauptplatine.- 4.1 Grundlagen.- 4.2 Organisationsstruktur der Hauptplatine.- 4.3 Prozessor/Coprozessor.- 4.3.1 68 020 – Prozessor.- Architektur.- Mikrocode.- Befehlsabarbeitung.- Leistungsmerkmale.- Registersatz.- Programmierung.- Signalleitungen.- Busstruktur und Buszyklen.- Coprozessor-Schnittstelle.- 4.3.2 68 881 - Floating Point Coprozessor.- 4.4 Speicherorganisation.- 4.4.1 Speicherverwaltung.- AMU - Address Mapping Unit.- PMMU - Paged Memory Management Unit.- 4.4.2 Hauptspeicher.- RAM-Bereich.- ROM-Bereich.- 4.5 Schnittstellen-Bausteine.- 4.5.1 VIA - Versatile Interface Adapter.- 4.5.2 SCC - Serial Communication Controller.- 4.5.3 SCSI - Small Computer System Interface.- 4.6 Spezial-Bausteine.- 4.6.1 ASIC-Entwurf.- 4.6.2 Beispiele.- ASC - Apple Sound Chip.- IWM - Integrated Woz Machine.- GLUE - General Logic Unit.- 4.7 Bussysteme.- 4.7.1 ADB - Apple Desktop Bus.- 4.7.2 SCSI –Bus.- 4.8 NuBus-Systemerweiterung.- 4.8.1 Standard-NuBus.- 4.8.2 Apple-NuBus.- 4.8.3 Erweiterungskarten.- 4.9 Übungen.- 5: Peripherieeinheiten des Systems.- 5.1 Grundlagen.- 5.2 Eingabeperipherie.- 5.2.1 Tastatur.- 5.2.2 Maus.- 5.3 Ausgabeperipherie.- 5.3.1 Videosystem.- Grafikkarte.- Monitor.- 5.3.2 Drucker.- Nadeldrucker.- Laserdrucker.- 5.4 Speicherperipherie.- 5.4.1 Magnetisctie Speichermedien.- Diskettenlaufwerke.- Festplatten.- 5.4.2 Optische Speichermedien.- 5.5 Kommunikationsperipherie.- 5.5.1 AppleTalk – Netzwerk.- 5.5.2 MS-DOS – Verbindung.- 5.5.3 Ethernet – Anschluß.- 5.6 Übungen.- 6: Neuentwiciclungen.- 6.1 Prozessoren.- MC 68.- MC 68.- 6.2 Computersysteme.- A: Entwicklungsgeschichte des Macintosh.- B: Lösungen ausgewählter Übungsaufgaben.- C: Literaturverzeichnis.- D: Verzeichnis der Grafiken, Bilder und Tabellen.- E: Verzeichnis der Abkürzungen und Akronyme.- F: Sachwortverzeichnis.
£44.64
Springer Fachmedien Wiesbaden AutoCAD - Grundkurs: Lehr- und Übungsbuch
Book SynopsisTable of Contents1 Einleitung.- 2 Einstieg in das Arbeiten mit AutoCAD.- 2.1 Anstarten und Beenden des Arbeitens mit AutoCAD.- 2.2 Das Arbeiten mit Dateien.- 2.3 Hilfen für den Benutzer.- 2.4 Festlegen der Zeichnungsgröße.- 3 Das Zeichnen gerader Linien.- 3.1 Der Befehl LINIE.- 3.2 Löschen von Zeichnungselementen.- 3.3 Zeichnen von Linien im Ortho-Modus.- 4 Hilfen beim Zeichnen.- 4.1 Das Arbeiten mit Rastern.- 4.2 Das Arbeiten mit verschiedenen Objektfang-Modi.- 5 Das Arbeiten mit Bildausschnitten.- 5.1 Der Befehl ZOOM.- 5.2 Der Befehl PAN.- 6 Kreise, Kreisbögen und Abrundungen.- 6.1 Das Zeichnen von Kreisen.- 6.2 Das Zeichnen von Kreisbögen.- 6.3 Das Abrunden sich schneidender Linien.- 7 Die Bemaßung von Zeichnungen.- 7.1 Allgemeines zum Bemaßen.- 7.2 Ausführen von Linearbemaßungen.- 7.3 Winkelbemaßungen.- 7.4 Durchmesser- und Radienbemaßung.- 7.5 Weitere Optionen des Bemaßungsbefehls BEM.- 8 Das Arbeiten mit Texten.- 8.1 Der Befehl TEXT.- 8.2 Der Befehl DTEXT.- 8.3 Der Befehl STIL.- 9 Regenerieren von Zeichnungen.- 10 Das Zeichnen von Bändern und Flächen.- 10.1 Der Befehl BAND.- 10.2 Der Befehl SOLID.- 11 Das Schraffieren von Flächen.- 11.1 Das eigentliche Schraffieren.- 11.2 Befehle zum Löschen von Zeichnungsteilen.- 12 Das Zeichnen von Freihandlinien.- 13 Abfrage- und Anzeigebefehle.- 14 Layer-Technik.- 14.1 Der Befehl LAYER.- 14.2 Umbenennen und Löschen von Layern.- 15 Das Arbeiten mit Blöcken.- 15.1 Das Erzeugen von Blöcken.- 15.2 Das Einfügen von Blöcken.- 16 Das Manipulieren von Zeichnungen.- 16.1 Das Verschieben und Spiegeln von Objekten.- 16.2 Das Kopieren von Objekten.- 16.3 Das Ändern von Objekten.- 17 Das Erstellen von Zusammenbau-Zeichnungen.- A Lösungen.- B Zusätzliche Übungsaufgaben.- C Standard-Schraffuren.- D Referenzliste.
£40.84
Springer Fachmedien Wiesbaden COBOL — Das Handbuch für den professionellen
Book SynopsisCOBOL dürfte die am meisten angewendete Programmiersprache seit ihrer ersten Veröffentlichung im Jahre 1960 sein. Man schätzt, daß etwa 40% aller geschriebenen Programme in COBOL abgefaßt worden sind, wobei der Trend eher als zunehmend zu beurteilen ist. Der Grund für dieses gesteigerte Interesse liegt vor allem in der ständig zu nehmenden Aufbereitung und Verarbeitung von Massendaten aus allen wirtschaftlich orientierten Bereichen, wofür COBOL hervorragend ge eignet ist. Da die anwenderbezogenen Anforderungen an die Verar beitung dieser Daten einer ständigen Entwicklung unterliegen, muß auch COBOL dieser Entwicklung gerecht werden. Seit 1968 hat das American National Standards Institute (ANS I) , dem auch ein inter nationaler Beraterkreis angehört, die Standardisierung der COBOL Entwicklung übernommen. Dadurch wurde der Grundstein für die Kompatibilität der Sprache gelegt. Heute sind alle publizierten COBOL Versionen aufwärtskompatibel. Das heißt, daß auch Programme, die in älteren Versionen geschrieben wurden, beim Einsatz neuer Compiler Versionen unter geringfügigen Quell-Code-Änderungen läuffähig bleiben. Damit ist COBOL zu einer lebendigen Programmiersprache geworden, die eine zukünftige Entwicklung bereits in sich trägt und universell einsetzbar ist. Da COBOL für die Verarbeitung großer Datenmengen geschaffen wurde, war ihr Einsatz in der Vergangenheit auf Großrechner be schränkt. Durch die rasche Hardware-Entwicklung, die vor allem durch immer schnellere Rechner und größere Speicherkapazitäten auf kleinstem Raum zum Ausdruck kommt, können COBOL-Programme auch zunehmend auf mittleren und Kleinanlagen eingesetzt werden. Die Computer-Hersteller haben dieser Entwicklung Rechnung getragen und eine Reihe sehr guter Compiler entwickelt, die auf dem PC einsetzbar sind.Table of Contents1 Entwicklung von COBOL.- 2 COBOL-Notation (Syntax).- 3 Die COBOL-Programmstruktur.- 3.1 Die Divisions.- 3.2 Der COBOL-Zeichenvorrat.- 3.3 COBOL-Zeichenfolgen.- 3.3.1 COBOL-Wortarten.- 3.3.1.1 Programmierer-Wörter.- 3.3.1.2 Systemnamen.- 3.3.1.3 Reservierte Wörter.- 3.3.2 Literate.- 3.3.2.1 Numerische Literate.- 3.3.2.2 Nichtnumerische Literate.- 3.3.3 PICTURE-Zeichenfolgen.- 3.4 Das Standard-COBOL-Format.- 3.4.1 Zeilenfortsetzung.- 3.4.1.1 Trennen von Wörtern und numerischen Literaten.- 3.4.1.2 Trennen von nichtnumerischen Literaten.- 3.4.2 Kommentarzeilen.- 3.4.3 Leerzeilen.- 3.5 Das COBOL-Quellprogramm.- 4 Identification Division.- 4.1 Der Paragraph PROGRAM-ID.- 4.2 Die wahlfreien Paragraphen.- 5 Environment Division.- 5.1 Configuration Section.- 5.1.1 Der Paragraph SOURCE-COMPUTER.- 5.1.1.1 WITH DEBUGGING MODE-Klausel.- 5.1.2 Der Paragraph OBJECT-COMPUTER.- 5.1.2.1 MEMORY SIZE-Klausel.- 5.1.2.2 SEGMENT-LIMIT-Klausel.- 5.1.2.3 PROGRAM COLLATING SEQUENCE-Klausel.- 5.1.3 Der Paragraph SPECIAL-NAMES.- 5.1.3.1 Funktionsname-1 IS Merkname-Klausel.- 5.1.3.2 Funktionsname-2 IS Merkname-Klausel.- 5.1.3.3 ALPHABET Alphabetname-Klausel.- 5.1.3.4 CURRENCY SIGN-Klausel.- 5.1.3.5 DECIMAL-POINT IS COMMA-Klausel.- 5.1.3.6 CLASS-Klausel.- 5.2 Input-Output Section.- 5.2.1 Dateiorganisationsformen und Zugriffsmethoden.- 5.2.1.1 Sequentielle Organisationsform.- 5.2.1.2 Indizierte Organisationsform.- 5.2.1.3 Relative Organisationsform.- 5.2.1.4 Sequentieller Zugriff.- 5.2.1.5 Wahlfreier Zugriff.- 5.2.1.6 Dynamischer Zugriff.- 5.3 Der Paragraph FILE-CONTROL.- 5.3.1 SELECT-Klausel.- 5.3.2 ASSIGN-Klausel.- 5.3.3 RESERVE-Klausel.- 5.3.4 ORGANIZATION-Klausel.- 5.3.5 ACCESS MODE-Klausel.- 5.3.6 PADDING CHARACTER-Klausel.- 5.3.7 RECORD DELIMITER-Klausel.- 5.3.8 RECORD KEY-Klausel.- 5.3.9 ALTERNATE RECORD KEY-Klausel.- 5.3.10 FILE STATUS-Klausel.- 5.4 Der Paragraph I-O-CONTROL.- 5.4.1 RERUN-Klausel.- 5.4.2 SAME AREA-Klausel.- 5.4.3 MULTIPLE FILE TAPE-Klausel.- 5.4.4 APPLY WRITE ONLY-Klausel.- 6 Data Division.- 6.1 File Section.- 6.1.1 BLOCK CONTAINS-Klausel.- 6.1.2 RECORD CONTAINS-Klausel.- 6.1.3 LABEL RECORD-Klausel.- 6.1.4 VALUE OF-Klausel.- 6.1.5 DATA RECORDS-Klausel.- 6.1.6 LINAGE-Klausel.- 6.1.7 RECORDING MODE-Klausel.- 6.1.8 CODE SET-Klausel.- 6.2 Datenbeschreibung.- 6.2.1 Stufennummern.- 6.2.1.1 Stufennummern für die Satzbeschreibung.- 6.2.1.2 Spezielle Stufennummern.- 6.3 Datenerklärung.- 6.3.1 Datennamen.- 6.3.1.1 Die Feldbezeichnung FILLER.- 6.3.2 PICTURE-Klausel.- 6.3.2.1 Datenklassen und Datenkategorien.- 6.3.2.2 Alphabetische Datenelemente.- 6.3.2.3 Numerische Datenelemente.- 6.3.2.4 Alphanumerische Datenelemente.- 6.3.2.5 Aufbau der PICTURE-Zeichenfolge.- 6.3.2.6 PICTURE-Symbole für die Druckaufbereitung.- 6.3.2.7 Mindestlange der PICTURE-Zeichenfolge.- 6.3.3 SIGN-Klausel.- 6.3.4 REDEFINES-Klausel.- 6.3.4.1 Implizite Redefinition (FILE SECTION).- 6.3.4.2 Explizite Redefinition.- 6.3.4.3 Mehrmalige Redefinition eines Datenbereichs.- 6.3.4.4 Redefinition von Einzelfeldern.- 6.3.4.5 Datenübertragungen in redefinierte und redefinierende Felder.- 6.3.5 BLANK WHEN ZERO-Klausel.- 6.3.6 JUSTIFIED RIGHT-Klausel.- 6.3.7 OCCURS-Klausel.- 6.3.8 SYNCHRONIZED-Klausel.- 6.3.8.1 Einfügung von Füll-Bytes durch den Compiler.- 6.3.8.2 Einfügung von Füll-Bytes durch den Programmierer.- 6.3.9 USAGE-Klausel.- 6.3.9.1 Usage Is Display.- 6.3.9.2 Usage Is Binary.- 6.3.9.3 Usage Is Computational (COMP).- 6.3.9.4 Usage Is Index.- 6.3.9.5 Usage Is Packed-Decimal.- 6.3.9.6 Vorzeichenverarbeitung unter VS COBOL II.- 6.3.9.7 Einfluß des Datenformats auf die Effizienz arithmetischer Operationen.- 6.3.10 VALUE-Klausel.- 6.3.11 RENAMES-Klausel.- 6.3.12 Stufennummer 88.- 7 Procedure Division.- 7.1 Die Struktur der PROCEDURE DIVISION.- 7.1.1 Der selbstdefinierte Dateistatus.- 7.2 Datenübertragungen.- 7.2.1 ACCEPT-Anweisung.- 7.2.1.1 Übertragung von Daten.- 7.2.1.2 Übertragung von Systeminformationen.- 7.2.2 DISPLAY-Anweisung.- 7.2.3 MOVE-Anweisung.- 7.2.4 MOVE CORRESPONDING-Anweisung.- 7.2.5 STRING-Anweisung.- 7.2.6 UNSTRING-Anweisung.- 7.2.7 INSPECT-Anweisung.- 7.2.8 INITIALIZE-Anweisung.- 7.2.8.1 Initialisierung von Tabellen.- 7.3 Arithmetische Ausdrücke.- 7.3.1 Arithmetische Operatoren.- 7.4 Bedingungen.- 7.4.1 Einfache Bedingungen.- 7.4.1.1 Klassenbedingungen.- 7.4.1.2 Vorzeichenbedingungen.- 7.4.1.3 Vergleichsbedingungen.- 7.4.1.4 Bedingungsnamen-Bedingungen.- 7.4.2 Zusammengesetzte Bedingungen.- 7.5 Bedingte Anweisungen.- 7.5.1 IF-Anweisung.- 7.5.1.1 Geschachtelte IF-Anweisungen.- 7.5.1.2 IF-Anweisungen mit Leerzweigen.- 7.5.2 CONTINUE-Anweisung.- 7.5.3 EVALUATE-Anweisung.- 7.5.3.1 Verarbeitung von Entscheidungstabellen.- 7.6 Arithmetische Anweisungen.- 7.6.1 ROUNDED-Angabe.- 7.6.2 ON SIZE ERROR-Angabe.- 7.6.3 NOT ON SIZE ERROR-Angabe.- 7.6.4 END-Begrenzungen.- 7.6.5 ADD-Anweisung.- 7.6.6 SUBTRACT-Anweisung.- 7.6.7 MULTIPLY-Anweisung.- 7.6.8 DIVIDE-Anweisung.- 7.6.9 COMPUTE-Anweisung.- 7.7 Eingabe-/Ausgabeanweisungen.- 7.7.1 OPEN-Anweisung.- 7.7.2 CLOSE-Anweisung.- 7.7.3 READ-Anweisung.- 7.7.4 WRITE-Anweisung.- 7.7.5 REWRITE-Anweisung.- 7.7.6 START-Anweisung.- 7.7.7 DELETE-Anweisung.- 7.8 Programmverzweigungen.- 7.8.1 PERFORM-Anweisung.- 7.8.1.1 Tabellverarbeitung mit PERFORM VARYING.- 7.8.1.2 Geschachtelte PERFORM-Anweisungen.- 7.8.2 EXIT-Anweisung.- 7.8.3 GO TO-Anweisung.- 7.8.4 GO TO ... DEPENDING ON-Anweisung.- 7.8.5 STOP-Anweisung.- 7.8.6 ALTER-Anweisung.- 7.9 Tabellenverarbeitung.- 7.9.1 OCCURS-Klausel.- 7.9.1.1 Normalindizierung (Subscripting).- 7.9.1.2 Spezialindizierung (Indexing).- 7.9.1.3 Mehrdimensionale Tabellen.- 7.9.2 SET-Anweisung.- 7.9.3 SEARCH-Anweisung.- 7.9.3.1 Sequentielles Durchsuchen einer Tabelle.- 7.9.3.2 Binares Durchsuchen einer Tabelle.- 7.10 Änderung von Quell-Text.- 7.10.1 COPY-Anweisung.- 7.10.2 REPLACING-Anweisung.- 7.10.3 BASIS-Anweisung.- 8 Externe Unterprogramme.- 8.1 CALL-Anweisung.- 8.1.1 USING-Zusatz.- 8.1.1.1 Using by Reference/Content.- 8.2 USING-Zusatz in der PROCEDURE DIVISION des Unterprogramms.- 8.3 LINKAGE SECTION.- 8.4 EXIT PROGRAM-Anweisung.- 8.5 CANCEL-Anweisung.- 8.6 ENTRY-Anweisung.- 9 Sortieren und Mischen.- 9.1 Sortieren von Dateien (SORT).- 9.1.1 SELECT/ASSIGN-Klausel.- 9.1.2 SD-Eintragung.- 9.1.3 SORT-Anweisung.- 9.1.4 RELEASE-Anweisung.- 9.1.5 RETURN-Anweisung.- 9.2 Mischen von Dateien (MERGE).- 9.2.1 MERGE-Anweisung.- 9.3 Das IBM-Dienstprogramm DFSORT.- 9.3.1 Die IBM-Sonderregister.- 10 Declaratives.- 10.1 USE-Anweisung.- 11 Dialog-orientierte Programmierung.- 11.1 Menü-Technik mit MS-COBOL.- 11.1.1 Positionierung des Cursors.- 11.1.1.1 Cursor-Klausel (CURSOR IS daten-name).- 11.1.2 Löschen des Bildschirms.- 11.1.3 Struktur der Aus- und Eingabebereiche.- 11.2 Menü-Technik mit den Mitteln des ANSI-Standards unter VS COBOL II.- 12 Grundlagen der strukturierten Programmierung.- 12.1 Der logische Aufbau eines strukturierten Programms.- 12.1.1 Der Haupt-Modul.- 12.2 COBOL-Tools für die strukturierte Programmierung.- 12.3 Allgemeine Regeln und Empfehlungen zur Erstellung eines strukturierten Programms.- 12.3.1 Maßnahmen zur Verbesserung der Lesbarkeit des Quell-Programms.- 12.3.2 Kennzeichnung der Paragraphen-Namen.- 12.3.3 Der eingeschränkte Gebrauch von GO TO.- 12.3.4 Der Programmentwurf im Strukturtext.- 12.4 Struktogramm-Technik.- 12.4.1 Einfacher Strukturblock.- 12.4.2 Bedingungs-Strukturblock.- 12.4.3 CASE-Strukturblock.- 12.4.4 CYCLE-Strukturblock.- 12.4.4.1 Realisierung eines CYCLE-Blocks durch das IN-LINE-PERFORM.- 12.4.5 Prozeduraufruf-Strukturblock.- 12.4.6 BREAK-Strukturblock.- 12.4.7 Klammer-Strukturblock.- Anhang 1: ASCII-Sortierfolge (8-Bit-Code).- Anhang 2: EBCDIC-Sortierfolge (IBM-Standard U.S.).- Anhang 3: Liste der reservierten COBOL-Wörter.- Sachwortverzeichnis.
£58.49
Springer Fachmedien Wiesbaden Multiobjective Heuristic Search: An Introduction
Book SynopsisSolutions to most real-world optimization problems involve a trade-off between multiple conflicting and non-commensurate objectives. Some of the most challenging ones are area-delay trade-off in VLSI synthesis and design space exploration, time-space trade-off in computation, and multi-strategy games. Conventional search techniques are not equipped to handle the partial order state spaces of multiobjective problems since they inherently assume a single scalar objective function. Multiobjective heuristic search techniques have been developed to specifically address multicriteria combinatorial optimization problems. This text describes the multiobjective search model and develops the theoretical foundations of the subject, including complexity results . The fundamental algorithms for three major problem formulation schemes, namely state-space formulations, problem-reduction formulations, and game-tree formulations are developed with the support of illustrative examples. Applications of multiobjective search techniques to synthesis problems in VLSI, and operations research are considered. This text provides a complete picture on contemporary research on multiobjective search, most of which is the contribution of the authors.Table of Contents1 Introduction.- 1.1 Multiobjective Search.- 1.1.1 Contributions.- 1.2 Organization of the book.- 2 The Multiobjective Search Model.- 2.1 Popular Approaches.- 2.2 The multiobjective approach.- 2.3 The Multiobjective Search Problem.- 2.4 Previous Work: Multiobjective A*.- 2.5 Conclusion.- 3 Multiobjective State Space Search.- 3.1 Preliminary notations and definitions.- 3.2 Multidimensional Pathmax.- 3.2.1 The definition of pathmax.- 3.2.2 Two basic properties of pathmax.- 3.2.3 The significance of pathmax.- 3.3 An induced total ordering: K-ordering.- 3.4 The algorithm MOA**.- 3.4.1 The Algorithm Outline.- 3.4.2 Admissibility & Optimality.- 3.5 Memory bounded multiobjective search.- 3.5.1 Cost back-up and K-ordering.- 3.5.2 General philosophy of MOMA*0.- 3.5.3 Algorithm MOMA*0.- 3.5.4 Variants of MOMA*0.- 3.6 Searching with inadmissible heuristics.- 3.7 Extension to graphs.- 3.8 Conclusion.- 4 Applications of Multiobjective Search.- 4.1 The Operator Scheduling Problem.- 4.1.1 Notation & Terminology.- 4.1.2 Algorithm MObj_Schedule.- 4.2 The Channel Routing Problem.- 4.2.1 Notation & Terminology.- 4.2.2 Algorithm MObj_Route.- 4.2.3 Selection of wires for a track.- 4.3 The Log Cutting problem.- 4.4 Evaluation of the Multiobjective Strategies.- 4.4.1 Utility of Pathmax.- 4.4.2 Comparison of MOA** and ItrA*.- 4.4.3 Comparison of MOMA*0 and DFBB.- 4.4.4 Effect of multiple back-up costs in MOMA*0.- 5 Multiobjective Problem Reduction Search.- 5.1 The problem definition.- 5.2 The utility of K-ordering.- 5.3 Selection using pathmax is NP-hard.- 5.4 Selection for monotone heuristics.- 5.5 The Algorithm: MObj*.- 5.5.1 General philosophy of MObj*.- 5.5.2 Outline of MObj*.- 5.5.3 Admissibility of MObj*.- 5.5.4 Complexity of MObj*.- 5.5.5 MObj* for OR-graphs.- 5.6 Conclusion.- 6 Multiobjective Game Tree Search.- 6.1 The problem definition.- 6.2 Dominance Algebra.- 6.3 Finding the packets.- 6.4 Partial Order ?-? Pruning.- 6.4.1 Shallow ?-? pruning.- 6.4.2 Deep ?-? pruning.- 6.5 Conclusion.- 7 Conclusion.- A.- A.1 The outline of algorithm MOMA*.
£42.74
Springer Fachmedien Wiesbaden Lehrbuch EDV: Elektronische Datenverarbeitung
Book SynopsisTable of Contents1. Algorithmen.- 1.1 Was ist ein Algorithmus?.- Euklidischer Algorithmus.- Die Fähigkeiten des Computers.- 1.2 Lineare Anweisungsfolge.- Variable und Konstante.- Name von Variablen.- Wertzuweisung.- Programmablaufplan.- Hilfsvariable.- Ein- und Ausgabe von Daten.- Die Zahlenmengen der EDV.- Abschneiden und Runden.- Abschneiden.- Runden.- 1.3 Bedingte Anweisungen (Verzweigungen).- Sortierprobleme.- Zusammengesetzte Bedingungen.- 1.4 Schleifen.- Laufanweisungen.- Auflösen von Laufanweisungen.- Schleifen mit Bedingungen.- Ineinandergeschachtelte Schleifen.- 1.5 Felder.- Sortieren eines Feldes.- Tabellen.- Äquidistante Schlüsselwerte.- Sequentielles Suchen und Interpolieren in geordneten Tabellen.- Binäres Suchen.- Doppelt indizierte Felder.- 1.6 Funktionen.- Funktionen mit mehreren Parametern.- 1.7 Unterprogramme.- 2. Algol.- 2.1 Was ist eine Programmiersprache?.- 2.2 Lineare Anweisungsfolge.- Abschneiden.- Runden.- Die Programmierung von Termen.- 2.3 Bedingte Anweisungen (Verzweigungen).- Sortierprobleme.- Zusammengesetzte Bedingungen.- 2.4 Schleifen.- Auflösen der Laufanweisung.- Schleifen mit Bedingung.- Ineinandergeschachtelte Laufanweisungen.- 2.5 Felder.- Sortieren eines Feldes.- Tabellen.- Äquidistante Tabellen.- Sequentielles Suchen in geordneten Tabellen.- Binäres Suchen.- Doppelt indizierte Felder.- 2.6 Funktionen.- Standardfunktionen.- Funktionen mit mehreren Parametern.- 2.7 Unterprogramme.- Zusammenfassung der ALGOL-Begriffe.- 3. Fortran.- 3.1 Was ist eine Programmiersprache?.- 3.2 Die Programmierung einer linearen Anweisungsfo1ge.- Erläuternde Kommentare zu einem FORTRAN-Programm.- Ausgabe von Text.- Die Programmierung von Termen.- Abschneiden und Runden.- 3.3 Bedingte Anweisungen (Verzweigungen).- Sortierprobleme.- Zusammengesetzte Bedingungen.- 3.4 Schleifen.- Aufgelöste Schleifenanweisung.- Schleifen mit Bedingung.- Ineinandergeschachtelte Schleifenanweisung.- 3.5 Felder.- Suchen und Interpolieren in Tabellen.- Tabellen mit äquidistanten Schlüsselwerten.- Tabellen mit geordneten Schlüsselwerten.- Doppelt indizierte Felder.- 3.6 Funktionen.- Standardfunktionen.- Funktionen mit mehreren Parametern.- 3.7 Unterprogramme.- Zusammenfassung der Grundbegriffe der Programmiersprache FORTRAN.- 4. Aufgaben.- E Aufgaben aus elementaren Stoffgebieten.- M Aufgaben aus der Mengenlehre.- Z Aufgaben mit ganzen Zahlen (Zahlentheorie).- S Aufgaben mit Gesamtheiten reeller Zahlen (Statistik, Tabellen).- G Aufgaben mit Gleichungen und Ungleichungen.- F Aufgaben über Funktionen.- A Aufgaben über Vektoren und analytische Geometrie.- T Aufgaben aus der Trigonometrie.- R Aufgaben über Folgen und Reihen.- N Näherungsmethoden.- I Aufgaben aus der Integralrechnung.- V Verschiedenes.- Geschichtlicher Überblick.- Weiterführende Literatur.- Stichwortverzeichnis.
£40.84
Peter Lang AG Beurteilung Der Bestandsfestigkeit Von
Book SynopsisDie Bestandsfestigkeit eines Unternehmens spielt in zahlreichen betriebswirtschaftlichen Entscheidungsproblemen eine wichtige Rolle. Um ein zuverlässiges, objektives und auch nachvollziehbares Urteil über die Bestandsfestigkeit fällen zu können, bedarf es eines leistungsfähigen Instruments der Jahresabschlussanalyse. Ein solches wird in dieser Arbeit mit Hilfe eines hybriden Verfahrens der Künstlichen Intelligenz auf Basis von mehr als 8.000 Jahresabschlüssen entwickelt. Hierbei wird die Nachvollziehbarkeit wissensbasierter Fuzzy-Regelsysteme mit der Lernfähigkeit Künstlicher Neuronaler Netze verbunden. Die Ergebnisse zeigen, dass das entwickelte Neuro-Fuzzy-System neben einer hohen Leistungsfähigkeit zugleich für den Anwender eine nachvollziehbare Urteilsbildung bereitstellt und sich daher für die Jahresabschlussanalyse in idealer Weise eignet.
£999.99
Springer Fachmedien Wiesbaden Masterkurs IT-Controlling: Grundlagen und Praxis
Book SynopsisIT-Controlling bedeutet Dienstleistung. Es unterstützt Existenz- und Arbeitsplatzsicherung durch Gewinnerzielung. Das Buch zeigt, wie es geht. Ausgehend von einem bewährten Leitbildcontrolling-Konzept werden systematisch die für das IT-Controlling relevanten Gesichtspunkte vorgestellt. Ein Buch zum Lernen, Vergleichen und Nachschlagen, für Studenten und Praktiker gleichermaßen.Dies Werk gilt mit seinem geschlossenen IT-Controlling-Konzept inzwischen als das Standard-Werk schlechthin. Es wird in Hochschulen und Seminaren als praxisgerechte Grundlage nachdrücklich empfohlen. Nachvollziehbar für die Praxis wird die Darstellung durch geeignete Beispiele aus bedeutenden Unternehmen. Übungsaufgaben und eine Übungsklausur bieten insbesondere den studierenden Lesern eine Absicherung des Lernerfolgs.Table of ContentsLeitbildcontrolling-Konzept für die IT - Zielformulierung, Zielsteuerung, Zielerfüllung - IT-Controlling-Konzept - Strategische IT-Controlling-Werkzeuge: Balanced Scorecard - Portfoliomanagement - Wertbeitrag der IT - Operative Werkzeuge: Projektcontrolling - Kennzahlen - IT-Sourcing - IT-Kosten- und Leistungsrechnung - Deckungsbeitrags- und Prozesskostenrechnung
£52.24
Springer Vieweg Flexibilitätspotenziale Heben - It-Wertbeitrag
Book Synopsis
£11.77
Springer Fachmedien Wiesbaden Diskrete Mathematik mit Grundlagen: Lehrbuch für
Book SynopsisDieses Lehrbuch wendet sich an Leser ohne Studienvorkenntnisse, gibt eine elementare Einführung in die Diskrete Mathematik und die Welt des mathematischen Denkens und führt den Leser auf ein solides Hochschulniveau. Im Einzelnen werden elementare Logik, Mengenlehre, Beweiskonzepte und die mathematische Terminologie dafür ausführlich erklärt und durch Anwendungsbeispiele motiviert. Darauf aufbauend werden die wichtigsten Disziplinen der Diskreten Mathematik behandelt in einem Umfang, der für jedes MINT-Studium außer der Mathematik selbst ausreicht. Zahlreiche Übungsaufgaben runden das Angebot ab, die Lösungen dazu werden online zur Verfügung gestellt. Das Buch ist zum Selbststudium, als Vorlesungsbegleitung und zum Nachschlagen geeignet. Die zweite Auflage wurde vollständig überarbeitet. Das Kapitel zur Logik wurde erheblich ausgeweitet, unter anderem durch eine allgemeinverständliche Anleitung mit vielen Beispielen, wie Alltagssprache in logische Sprache übersetzt wird.Table of ContentsLogik.- Mengenlehre.- Beweisverfahren.- Zahlentheorie.- Algebraische Strukturen.- Kombinatorik.- Graphentheorie.
£27.99
Springer Fachmedien Wiesbaden Virtual Reality kompakt: Entwicklung von
Book SynopsisVirtual Reality ist immer noch eine Technologie, die sich extrem schnell verändert. Ständig wird neue Hardware entwickelt, die neue Anwendungen hervorbringt und die Weiterentwicklung der dafür nötigen Softwaren erzwingt. Die Themen Immersion, Interaktivität und die Gestaltung des User Interfaces in einer immersiven Anwendung haben au den Konferenzen wie der IEEE VR oder der ISMAR immer noch einen großen Stellenwert.Dieses Buch konzentriert sich auf die Software-Entwicklung von VR-Anwendungen. Dabei werden Werkzeuge aus der Praxis wie Unity, Unreal und andere frei verfügbare SDKs vorgestellt und in Fallstudien eingesetzt. Nach einer Einführung in die Grundlagen der virtuellen Realität konzentrieren wir uns auf allgemeine Aspekte der Software-Entwicklung. Hauptthema sind Portabilität am Beispiel von OpenXR und generische und wiederverwendbare Bausteine für die Implementierung von Benutzungsoberflächen. Wie wir diese Bausteine in den Werkzeugen vorfinden oder selbst implementieren ist anschließend das Thema. Letztendlich werden die Leser ein eigenes Framework für diese Techniken entwickeln, die anschließend in den eigenen Anwendungen verwendet werden können. Die Lösungen der Aufgaben, insbesondere die Quelltexte der vorgestellten Software sind in einem öffentlichen GitHub-Repository verfügbar. Im letzten Abschnitt des Buchs werden immersive Anwendungen im Bereich der Strömungsdynamik, der Volumengrafik und des Immersive Learnings vorgestellt, realisiert und weiter entwickelt.Table of ContentsEinleitung - Anwendungs-Entwicklung mit Unity und C# - VR-Systeme - VR-Anwendungen mit Unity XR, XRI Toolkit und HTC Vive Input Utility - Bausteine für interaktive immersive Anwendungen - Systemsteuerung - Auswahl und Manipulation von virtuellen Objekten - Fortbewegung in der virtuellen Welt
£17.09
Spektrum Akademischer Verlag Theoretische Informatik - kurz gefasst
Book SynopsisEinleitung.- 1 Automatentheorie und Formale Sprachen.- 1.1 Allgemeines. 1.2 Reguläre Sprachen. 1.3 Kontextfreie Sprachen. 1.4 Kontextsensitive und Typ 0-Sprachen. 1.5 Tabellarischer Überblick.- 2 Berechenbarkeitstheorie.- 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These. 2.2 Turing-Berechenbarkeit. 2.3 LOOP-, WHILE- und GOTO-Berechenbarkeit. 2.4 Primitiv rekursive und mü-rekursive Funktionen. 2.5 Die Ackermannfunktion. 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit. 2.7 Das Postsche Korrespondenzprinzip. 2.8 Unentscheidbare Grammatik-Probleme. 2.9 Der Gödelsche Satz.- 3 Komplexitätstheorie.- 3.1 Komplexitätsklassen und P-NP-Problem. 3.2 NP-Vollständigkeit. 3.3 Weitere NP-vollständige Probleme.- Anhang: Mathematische Grundlagen.- Literaturverzeichnis.- Index.
£999.99
Springer Fachmedien Wiesbaden Biometrie
Book SynopsisDas Buch gibt eine Einführung in die wichtigsten statistischen Methoden und Denkweisen. Dabei werden insbesondere Verfahren behandelt, die auch in der Biostatistik zum Einsatz kommen, z. B. Verfahren rund um randomisierte Studien und Vierfeldertafeln. Neben klassischen Methoden werden auch rechenintensive Verfahren wie z. B. exakte Konfidenzschranken oder Bootstrap/Resampling-Methoden beschrieben.Table of ContentsDeskriptive Statistik - Statistische Modelle - Konfidenzintervalle für Häufigkeiten und Quantile - Vierfeldertafeln und Chancenquotienten - Konfidenzbereiche für Normalverteilungen - Dichteschätzung - Statistische Tests - Vergleich zweier Stichproben - Multiple Vergleiche und Tests auf Assoziation - Multivariate Beobachtungen - Diskriminanzanalyse und Klassifikation - Lineare Modelle - Bootstrap-Verfahren
£26.59
Springer Fachmedien Wiesbaden Eigenschaftsorientierte Beschreibung der
Book SynopsisDavid Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.Table of ContentsLogische Architektur; Formale Grundlagen; Grundlagen eigenschaftsorientierter Architekturbeschreibung; Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation; Fallstudie ; Ströme und temporale Logik in Isabelle/HOL
£61.19
Springer Fachmedien Wiesbaden Grundkurs Computernetzwerke: Eine kompakte
Book SynopsisDas Buch begleitet Sie zuverlässig vom ersten Einstieg in das Thema bis hin in die berufliche Praxis. In zehn überschaubaren Kapiteln und in strukturierter Form erhält der Leser eine Einführung in die grundlegenden Konzepte, Technologien und Zusammenhänge von Computernetzwerken. Er wird schrittweise an die komplexe Thematik herangeführt und durch anschauliche Grafiken unterstützt. Die 2. Auflage wurde überarbeitet und erweitert. Neben vielen ergänzten und neuen Abschnitten gibt es ein zusätzliches Kapitel „Funknetz-Technologien“, das Mobilfunknetze und lokale Funknetze beschreibt. Und der Online-Service zur 2. Auflage bietet jetzt zusätzlich ein Abkürzungsverzeichnis mit über 700 Abkürzungen und Musterlösungen zu den Testaufgaben. Nach der Durcharbeitung des Buches hat der Leser ein solides Fundament - für die weitere Beschäftigung mit dem Thema sowie für die berufliche Praxis.Trade Review"Die Gebiete Kommunikationssysteme und speziell Rechnernetze gehören nicht gerade zu den Lieblingsthemen der Wirtschaftsinformatiker, weil sie bekanntlich stark von der Nachrichtentechnik geprägt sind. Umso freudiger wird man daher zu einem Buch greifen, das lt. Verlagstext als erste Zielgruppe Studierende – und damit wohl auch Lehrende – in den IT-Studiengängen (Informatik, Wirtschaftsinformatik) anspricht. Und man wird nicht enttäuscht. Das Buch gibt eine kompakte und vor allem verständliche Einführung in die Rechnerkommunikation, die von den klassischen Begriffen Datenendeinrichtung (DEE) und Datenübertragungseinrichtung (DÜE) bis hin zu den modernen LAN-Technologien führt. Bei der rasanten Entwicklung vor allem bei den lokalen Funknetzen (WLANs) ist es verständlich, wenn der Autor nicht im Detail auf Einzelheiten aller Standards der Gruppe IEEE 802.11 eingehen kann." Peter Stahlknecht in WIRTSCHAFTSINFORMATIK, 3/2006 "Sehr gute didaktische Aufbereitung; viele instruktive Abbildungen, gute Erklärungen der vielen für das Gebiet typischen Abkürzungen, Testfragen zur Kontrolle des Lernfortschrittes." ekz-Informationsdienst, ID 30/06Table of ContentsGrundlagen von Computernetzwerken (Netzwerkkonzept, -komponenten u. a.) – Netzwerke im praktischen Einsatz (Netzwerkklassen, Netzwerkevolution u. a.) – Kommunikationsarchitektur (OSI-Referenzmodell, Internet-Protokollfamilie u. a.) – Technik der Nachrichtenübertragung (Bitübertragung, Kabelarten, Funk u. a.) – Netzwerkmechanismen zum Nachrichtentransport (Multiplexing, Routing u. a.) – WAN-Technologien zur Telekommunikation (HDLC, ISDN, ATM, MPLS, DSL u. a.) – LAN-, MAN- und SAN-Technologien (Ethernet, Switching, Metro-Ringe, FC u. a.) – Internetworking und Campusnetzwerke (Netzwerkgeräte, MAC-/IP-Adr., VLANs u. a.) – Internet und Intranets (TCP/IP, ARP, DHCP, DNS, HTTP, FTP, SMTP, VoIP u. a.) – Funknetz-Technologien (GSM, GPRS, UMTS, HSDPA, WLANs, Bluetooth u. a.)
£36.09
Springer Fachmedien Wiesbaden Strukturbasierte Verifikation von BPMN-Modellen
Book SynopsisJens Müller untersucht die Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Er stellt neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren.Table of ContentsSzenario: Modellierung und Adaption von Geschäftsprozessmodellen; Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; Modellierung von Anforderungen an BPMN-Modelle; Suche nach Instanzen struktureller Muster in BPMN-Modellen; Auswertung musterbasierter Bedingungen an BPMN-Modelle; Validierung
£999.99
CRC Press Cybersecurity of Industrial Internet of Things
Book Synopsis
£42.74
Humana Large Language Models LLMs in Protein
Book SynopsisA Survey of Pre-Trained Protein Language Models.- Enhancing Structure-Aware Protein Language Models with Efficient Fine-Tuning for Various Protein Prediction Tasks.- Exploring ProtFlash: An Efficient Approach to Protein Data Analysis.- Ranking Protein-Protein Models with Large Language Models and Graph Neural Networks.- Translating a GO Term List to Human Readable Function Description Using GO2Sum.- TransFun: A Tool of Integrating Large Language Models, Transformers, and Equivariant Graph Neural Networks to Predict Protein Function.- Using InterLabelGO+ for Accurate Protein Language Model-Based Function Prediction.- Functional Annotation of Proteomes Using Protein Language Models: A High-Throughput Implementation of the ProtTrans Model.- Advances in Language-Model-Informed Protein-Nucleic Acid Binding Site Prediction.- Practical Applications of Language Models in Protein Sorting Prediction: SignalP 6.0, DeepLoc 2.1, and DeepLocPro 1.0.- CNN-Meth: A Tool to Accurately Predict Lysine Methylation Sites Using Evolutionary Information-Based Protein Modeling.- Predicting the Pathogenicity of Human Protein Variants: Not Only a Matter of Residue Labeling.- A Survey of Biological Function Prediction Methods with Focus on Natural Language Processing (NLP) and Large Language Models (LLM).- PLMSearch and PLMAlign: Protein Language Model-Based Homologous Sequence Search and Alignment.- Large Context, Deeper Insights: Harnessing Large Language Models for Advancing Protein-Protein Interaction Analysis.- Prediction of Protein-Peptide Binding Sites Using PepBCL.- Predicting Peptide Bioactivity Using the Unified Model Architecture UniDL4BioPep.- CLAPE: Protein-Ligand Binding Site Prediction via Protein Language Models.- Large Language Model-Based Advances in Prediction of Post-Translational Modification Sites in Proteins.
£999.99
Springer Spektrum Einführung in die Bioinformatik in der
Book Synopsis
£34.19
Springer Designing for Tomorrow Innovation and Equity in
Book Synopsis
£161.99
De Gruyter Linguistische Methodenreflexion im Aufbruch
Book Synopsis
£95.48
Springer Das Apple-Imperium 2.0: Die neuen
Book SynopsisDas Apple-Imperium 2.0Apple ist größer, wertvoller und mächtiger als je zuvor. Doch im Zenit der Macht liegt bekanntlich der Keim des Niedergangs. Wie andere Imperien in der Geschichte ist auch Apples scheinbar unangefochtene Regentschaft vom Verfall bedroht. Die Apple Watch, die erste neue Produktkategorie seit fünf Jahren, tut sich schwerer als erwartet. Und wie lange kann das iPhone eigentlich noch sein bemerkenswertes Wachstum fortsetzen? Das „Apple-Imperium 2.0“ beleuchtet Apple als Wirtschaftsunternehmen – und das vor allem in der Ära des neuen Regenten Tim Cook. Besichtigen Sie den wertvollsten Konzern der Welt, der sein Königreich mit aller Macht verteidigen will und sich dafür doch ein weiteres Mal neu erfinden muss.Der erfahrene Wirtschaftsjournalist und Apple-Experte Nils Jacobsen erzählt die packende Geschichte des beeindruckendsten Unternehmens unserer Zeit: Das Geheimnis des unglaublichen Apple-Erfolgs – und welchen Herausforderungen sich der Techpionier in Zukunft stellen muss.Der AutorNils Jacobsen, Jahrgang 1974, ist ausgewiesener Apple-Experte und Wirtschaftsjournalist mit knapp 20-jähriger redaktioneller Erfahrung. Der gebürtige Hanseat verfolgt seit Mitte der 90er Jahre in unzähligen Artikeln Apples erstaunlichen Aufstieg zum wertvollsten Konzern aller Zeiten und die darauffolgenden Turbulenzen der Tim Cook-Ära. Jacobsen berichtet über Apple täglich beim Medienportal MEEDIA, in einer wöchentlichen Kolumne bei Yahoo Finance und zuvor in zahlreichen Artikeln für manager magazin online, SPIEGEL Online, WELT Online, das Hamburger Abendblatt, Mac Life und anderen bekannten Medien und Apple-Magazinen. www.facebook.com/DasAppleImperiumTable of ContentsVorwort.- Über den Autor.- Prolog: Das Imperium schlägt zurück.- Teil I: Das größte Comeback aller Zeiten.- Teil II: Der iZyklus – Apples Königreich entsteht.- Teil III: Epische Schlachten auf dem Olymp.- Teil IV: Der unerwartete Abstieg vom Gipfel.- Teil V: Apples neue Kriegsschauplätze.- Teil VI: Leise Comebacksignale.- Teil VII: Zurück in die Zukunft.- Teil VIII: Die Rückkehr der Rekorde.- Teil IX: Aufbruch ins Apple Watch-Zeitalter.- Teil X: Gefechte um die Zukunft.- Teil XI: Apples alte und neue Gegner.- Teil XII: Der Lebenszyklus von Imperien.- Teil XIII: Segen und Fluch der Apple-Aktie.- Teil XIV: Alte und neue Regenten.
£999.99
World Scientific Publishing Co Pte Ltd Unravelling Complexity: The Life And Work Of
Book SynopsisThe revolutions that Gregory Chaitin brought within the fields of science are well known. From his discovery of algorithmic information complexity to his work on Gödel's theorem, he has contributed deeply and expansively to such diverse fields.This book attempts to bring together a collection of articles written by his colleagues, collaborators and friends to celebrate his work in a festschrift. It encompasses various aspects of the scientific work that Chaitin has accomplished over the years. Topics range from philosophy to biology, from foundations of mathematics to physics, from logic to computer science, and all other areas Chaitin has worked on.It also includes sketches of his personality with the help of biographical accounts in some unconventional articles that will provide a rare glimpse into the personal life and nature of Chaitin.Compared to the other books that exist along a similar vein, this book stands out primarily due to its highly interdisciplinary nature and its scope that will attract readers into Chaitin's world.
£121.50
John Wiley & Sons Inc The Internet of Things
Book SynopsisProvides comprehensive coverage of the current state of IoT, focusing on data processing infrastructure and techniques Written by experts in the field, this book addresses the IoT technology stack, from connectivity through data platforms to end-user case studies, and considers the tradeoffs between business needs and data security and privacy throughout. There is a particular emphasis on data processing technologies that enable the extraction of actionable insights from data to inform improved decision making. These include artificial intelligence techniques such as stream processing, deep learning and knowledge graphs, as well as data interoperability and the key aspects of privacy, security and trust. Additional aspects covered include: creating and supporting IoT ecosystems; edge computing; data mining of sensor datasets; and crowd-sourcing, amongst others. The book also presents several sections featuring use cases across a range of application areas such as smartTable of ContentsAbout the Editors xi List of Contributors xiii Acknowledgments xvii 1 Introduction 1John Davies and Carolina Fortuna 1.1 Stakeholders in IoT Ecosystems 3 1.2 Human and IoT Sensing, Reasoning, and Actuation: An Analogy 4 1.3 Replicability and Re-use in IoT 5 1.4 Overview 6 References 7 2 Connecting Devices: Access Networks 9Paul Putland 2.1 Introduction 9 2.2 Overview of Access Networks 10 2.2.1 Existing Technologies are Able to Cover a Number of IoT Scenarios 10 2.3 Low-Power Wide Area Network (LPWAN) 12 2.3.1 Long-Range (LoRa) Low-Power Wide Area Network 14 2.3.2 Sigfox Low-Power Wide Area Network 14 2.3.3 Weightless Low-Power Wide Area Network 15 2.4 Cellular Technologies 15 2.4.1 Emerging 5G Cellular Technology 16 2.5 Conclusion 18 References 18 3 Edge Computing 21Mohammad Hossein Zoualfaghari, Simon Beddus, and Salman Taherizadeh 3.1 Introduction 21 3.2 Edge Computing Fundamentals 22 3.2.1 Edge Compute Strategies 22 3.2.2 Network Connectivity 25 3.3 Edge Computing Architecture 25 3.3.1 Device Overview 25 3.3.2 Edge Application Modules 26 3.3.3 IoT Runtime Environment 26 3.3.4 Device Management 27 3.3.5 Secure Runtime Environment 27 3.4 Implementing Edge Computing Solutions 28 3.4.1 Starter Configuration 28 3.4.2 Developer Tools 28 3.4.3 Edge Computing Frameworks 29 3.5 Zero-Touch Device On-boarding 30 3.6 Applying Edge Computing 32 3.7 Conclusions 33 References 33 4 Data Platforms: Interoperability and Insight 37John Davies and Mike Fisher 4.1 Introduction 37 4.2 IoT Ecosystems 38 4.3 Context 40 4.4 Aspects of Interoperability 41 4.4.1 Discovery 41 4.4.2 Access Control 43 4.4.3 Data Access 44 4.5 Conclusion 48 References 49 5 Streaming Data Processing for IoT 51Carolina Fortuna and Timotej Gale 5.1 Introduction 51 5.2 Fundamentals 52 5.2.1 Compression 52 5.2.2 Dimensionality Reduction 52 5.2.3 Summarization 53 5.2.4 Learning and Mining 53 5.2.5 Visualization 53 5.3 Architectures and Languages 54 5.4 Stream Analytics and Spectrum Sensing 56 5.4.1 Real-Time Notifications 57 5.4.2 Statistical Reporting 57 5.4.3 Custom Applications 58 5.5 Summary 59 References 60 6 Applied Machine Vision and IoT 63V. García, N. Sánchez, J.A. Rodrigo, J.M. Menéndez, and J. Lalueza 6.1 Introduction: Machine Vision and the Proliferation of Smart Internet of Things Driven Environments 63 6.2 Machine Vision Fundamentals 65 6.3 Overview of Relevant Work: Current Trends in Machine Vision in IoT 67 6.3.1 Improved Perception for IoT 67 6.3.2 Improved Interpretation and Learning for IoT 68 6.4 A Generic Deep Learning Framework for Improved Situation Awareness 69 6.5 Evaluating the Impact of Deep Learning in Different IoT Related Verticals 70 6.5.1 Sensing Critical Infrastructures Using Cognitive Drone-Based Systems 70 6.5.2 Sensing Public Spaces Using Smart Embedded Systems 71 6.5.3 Preventive Maintenance Service Comparison Based on Drone High-Definition Images 72 6.6 Best Practice 74 6.7 Summary 75 References 75 7 Data Representation and Reasoning 79Maria Maleshkova and Nicolas Seydoux 7.1 Introduction 79 7.2 Fundamentals 80 7.3 Semantic IoT and Semantic WoT (SWoT) 81 7.4 Semantics for IoT Integration 82 7.4.1 IoT Ontologies and IoT-O 83 7.4.2 The Digital Twin Approach 85 7.5 Use Case 87 7.6 Summary 88 References 89 8 Crowdsourcing and Human-in-the-Loop for IoT 91Luis-Daniel Ibáñez, Neal Reeves, and Elena Simperl 8.1 Introduction 91 8.2 Crowdsourcing 92 8.3 Human-in-the-Loop 95 8.4 Spatial Crowdsourcing 97 8.5 Participatory Sensing 99 8.6 Conclusion 100 References 101 9 IoT Security: Experience is an Expensive Teacher 107Paul Kearney 9.1 Introduction 107 9.2 Why is IoT Security Different from IT Security? 108 9.3 What is Being Done to Address IoT Security Challenges? 110 9.3.1 Governments 110 9.3.2 Standards Bodies 111 9.3.3 Industry Groups 112 9.4 Picking the Low-Hanging Fruit 113 9.4.1 Basic Hygiene Factors 113 9.4.2 Methodologies and Compliance Frameworks 115 9.4.3 Labeling Schemes and Consumer Advice 116 9.5 Summary 117 References 118 10 IoT Data Privacy 121Norihiro Okui, Vanessa Bracamonte, Shinsaku Kiyomoto, and Alistair Duke 10.1 Introduction 121 10.2 Basic Concepts in IoT Data Privacy 122 10.2.1 What is Personal Data? 122 10.2.2 General Requirements for Data Privacy 123 10.2.3 Personal Data and IoT 124 10.2.4 Existing Privacy Preservation Approaches 126 10.2.5 Toward a Standards-Based Approach in Support of PIMS Business Models 128 10.3 A Data Handling Framework Based on Consent Information and Privacy Preferences 129 10.3.1 A Data Handling Framework 129 10.3.2 Privacy Preference Manager (PPM) 130 10.3.3 Implementation of the Framework 131 10.4 Standardization for a User-Centric Data Handling Architecture 132 10.4.1 Introduction to oneM2M 132 10.4.2 PPM in oneM2M 133 10.5 Example Use Cases 133 10.5.1 Services Based on Home Energy Data 133 10.5.2 HEMS Service 133 10.5.3 Delivery Service 134 10.6 Conclusions 137 References 137 11 Blockchain: Enabling Trust on the Internet of Things 141Giampaolo Fiorentino, Carmelita Occhipinti, Antonello Corsi, Evandro Moro, John Davies, and Alistair Duke 11.1 Introduction 141 11.2 Distributed Ledger Technologies and the Blockchain 143 11.2.1 Distributed Ledger Technology Overview 143 11.2.2 Basic Concepts and Architecture 145 11.2.2.1 Consensus Algorithm 148 11.2.3 When to Deploy DLT 149 11.3 The Ledger of Things: Blockchain and IoT 150 11.4 Benefits and Challenges 150 11.5 Blockchain Use Cases 152 11.6 Conclusion 154 References 154 12 Healthcare 159Duarte Gonçalves-Ferreira, Joana Ferreira, Bruno Oliveira, Ricardo Cruz-Correia, and Pedro Pereira Rodrigues 12.1 Internet of Things in Healthcare Settings 159 12.1.1 Monitoring Patient Status in Hospitals 160 12.1.2 IoT from Healthcare to Everyday Life 160 12.1.3 Systems Interoperability 161 12.2 BigEHR: A Federated Repository for a Holistic Lifelong Health Record 163 12.2.1 Why a Federated Design? 164 12.2.2 System Architecture 164 12.3 Gathering IoT Health-Related Data 165 12.3.1 From Inside the Hospitals 166 12.3.2 Feeding Data from Outside Sources 166 12.4 Extracting Meaningful Information from IoT Data 167 12.4.1 Privacy Concerns 167 12.4.2 Distributed Reasoning 167 12.5 Outlook 168 Acknowledgments 169 References 169 13 Smart Energy 173Artemis Voulkidis, Theodore Zahariadis, Konstantinos Kalaboukas, Francesca Santori, and Matev Vučnik 13.1 Introduction 173 13.2 Use Case Description 175 13.2.1 The Role of 5G in the Smart Grid IoT Context 177 13.3 Reference Architecture 178 13.4 Use Case Validation 182 13.4.1 AMI-Based Continuous Power Quality Assessment System 183 13.5 Conclusion 187 Acknowledgment 187 References 187 14 Road Transport and Air Quality 189Charles Carter and Chris Rushton 14.1 Introduction 189 14.2 The Air Pollution Challenge 191 14.3 Road Traffic Air Pollution Reduction Strategies 193 14.4 Monitoring Air Pollution Using IoT 194 14.5 Use Case: Reducing Emissions Through an IoT-Based Advanced Traffic Management System 196 14.6 Limitations of Average Speed Air Quality Modeling 201 14.7 Future Roadmap and Summary 202 References 203 15 Conclusion 207John Davies and Carolina Fortuna 15.1 Origins and Evolution 207 15.2 Why Now? 207 15.2.1 Falling Costs and Miniaturization 208 15.2.2 Societal Challenges and Resource Efficiency 208 15.2.3 Information Sharing Comes of Age 208 15.2.4 Managing Complexity 208 15.2.5 Technological Readiness 208 15.3 Maximizing the Value of Data 209 15.4 Commercial Opportunities 209 15.5 A Glimpse of the Future 210 References 212 Index 213
£94.46
APress Beginning C23
Book SynopsisBegin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++23 standard. All you need are Beginning C++23and any recent C++ compiler and you'll soon be writing real C++ programs.There is no assumption of prior programming knowledge. All language concepts that are explained in the book are illustrated with working program examples, and all chapters include exercises for you to test and practice your knowledge. Free source code downloads are provided for all examples from the text and solutions to the exercises.This latest edition has been fully updated to the latest version of the language, C++23, and to all conventions and best practices of modern C++. This bookalso introduces elements of the C++ Standard Library that provide essential support for C++23. After completing this book, you will have the knowledge and skills needed to build your first C++ applications.What You Will LearnBegin programming with the C++23 standardCarry out modular programming in C++Work with arrays and loops, pointers and references, strings, and moreWrite your own functions, types, and operatorsDiscover the essentials of object-oriented programmingUse overloading, inheritance, virtual functions, and polymorphismWrite generic function and class templates, and make them safer using conceptsLearn the ins and outs of containers, algorithms, and rangesUse auto type declarations, exceptions, move semantics, lambda expressions, and much moreWho This Book Is ForProgrammers new to C++ and those who may be looking for a refresh primer on C++ in general.Table of Contents1. Basic Ideas2. Introducing Fundamental Types of Data3. Working Fundamental Types4. Making Decisions5. Arrays and Loops6. Pointers and References7. Working with Strings8. Defining Functions9. Vocabulary Types10. Function Templates11. Modules and Namespaces12. Defining your own Data Types13. Operator Overloading14. Inheritance15. Polymorphism16. Runtime Errors and Exceptions17. Class Templates18. Move Semantics19. First-Class Functions20. Containers and Algorithms21. Constrained Templates and ConceptsAppendix A (online only; to be offered as part of source code download)
£999.99
SDC Publications Engineering Dynamics Labs with SOLIDWORKS Motion
Book SynopsisThis book is designed as a software-based lab book to complement a standard textbook in an engineering dynamics course, which is usually taught at the undergraduate level.
£55.09
J Ross Publishing Principles of Computer Science: An Invigorating,
Book SynopsisPrinciples of Computer Science is an invigorating and rapid adventure that covers core introductory theoretical computer science topics, including discrete mathematics, logic, programming languages, and programming language pragmatics. Readers dive deep into the syntax and semantics of constructing a small yet usable programming language (interpreter) containing paradigms from functional and non-functional programming. Additionally, users will gain an understanding of compilation by writing functions that translate code written in their high-level language down to low-level machine language. Moreover, Crotts provides a perspective on event-driven programming, memory management via garbage collection, and much more. Principles of Computer Science assumes no prior programming experience--all topics are taught from scratch, making this a highly approachable and inclusive textbook.Table of ContentsPrefaceChapter 1: A Computing MindsetChapter 2: A Logic PrimerChapter 3: Data StructuresChapter 4: Formal LanguagesChapter 5: Programming and DesignChapter 6: InterpretationChapter 7: Functional ProgrammingChapter 8: Imperative ProgrammingChapter 9: CompilationChapter 10: Memory ManagementChapter 11: Event-Driven ProgrammingAppendix A: Environment and Code Setup Appendix B: Graphics Library Source CodeAppendix C: Assembly Environment SetupBibliographyIndex
£54.00
Rosen Education Service Computing
Book Synopsis
£36.88
SDC Publications Autodesk Revit 2026 Architecture Basics
Book SynopsisAutodesk Revit 2026 Architecture Basics is geared towards beginning architectural students or professional architects who want to get a jump-start into 3D parametric modeling for commercial structures. This book is filled with tutorials, tips and tricks, and will help you get the most out of your software in very little time. The text takes you from concepts to site plans to floor plans and on to reflected ceiling plans, then ends with an easy chapter on how to customize Autodesk Revit to boost your productivity.The advantages of working in 3D are not initially apparent to most architectural users. The benefits come when you start creating your documentation and you realize that your views are automatically defined for you with your 3D model. Your schedules and views automatically update when you change features. You can explore your conceptual designs faster and in more depth.Learning to use Revit will allow you to communicate your ideas and designs faster, more easily, and more beautifully.
£68.39
IGI Global Theoretical and Conceptual Frameworks in ICT
Book SynopsisResearch that is based on appropriate theoretical or conceptual frameworks ensures valid and credible research objectives and the production of relevant results that complement existing literature on a research problem. Innovative and relevant knowledge is produced using appropriate theories and concepts. Despite the importance of theoretical and conceptual frameworks to research, many researchers have difficulties applying them appropriately in their research. Researchers in information systems have limited exposure to theories of societal and human development that should guide them in applying their knowledge of information systems to address real-world problems. Theoretical and Conceptual Frameworks in Information Systems Research presents a collection of practical case applications of theoretical and conceptual frameworks in information systems research. It guides researchers of information systems to explore and use appropriate theoretical frameworks. This book further tests different theories and frameworks and recommends their effectiveness and improvement and identifies context-specific theoretical and conceptual frameworks. Covering topics such as decision electronic health record implementation, institution management, and technology adoption, this premier reference source is an essential resource for policymakers, educators and advanced-level students of higher education, information systems professionals, librarians, researchers, and academicians.
£123.00
Bao Books GCSE Computer Science Exam Practice Book: AQA
Book Synopsis
£9.77
Books on Demand 69 teknikfilosofiska fragment: Aforismer i
Book Synopsis
£10.23
Humana Protein Bioinformatics
Book SynopsisExploring the Alternative Proteome with OpenProt and Mass Spectrometry.- Identification of Novel Bacterial Microproteins Encoded by Small Open Reading Frames Using a Computational Proteogenomics Workflow.- Demystifying PTM Identification Using MODplus: Best Practices and Pitfalls.- Understanding PTM Cross-Talk Through a Visualization Tool, PTMViz.- Integrating HexNAcQuest with Glycoproteomics Data Analysis Software to Distinguish HexNAc Isomers on Peptides.- UniCarb-DB, an MS/MS Experimental Glycomic Fragmentation Database.- Integration of Web-Based Tools to Visualize, Integrate, and Interpret Glycogene Expression and Glycomics Data.- PGFinder, an Open Source Software for Peptidoglycomics: The Structural Analysis of Bacterial Peptidoglycan by LC-MS.- Making MS Omics Data ML Ready: SpeCollate Protocols.- AI-Assisted Processing Pipeline to Boost Protein Isoform Detection.- Biodiversity Analysis of Metaproteomics Samples with Unipept: A Comprehensive Tutorial.- Analysis and Visualizati
£179.99
Keyboarding and Word Processing Essentials
Book SynopsisGet ready for academic and workplace success! This robust learning package integrates keyboarding, essential word processing, document formatting basics, and communication skills within a single text, along with a strong emphasis on honing skills by competing projects in a realistic office environment . Using Microsoft Word 2016, you will format memos, letters, tables, and reports; work with graphics; and practice real-time co-authoring on OneDrive. The text includes six modular projects and one comprehensive project to help you apply what you learn and prepare to be productive immediately when beginning your professional career. Combined with Skills Assessment Manager (SAM), the text makes learning even easier and more effective, allowing you to work independently from anywhere.Table of ContentsThe Power of Word 2016. Know Your Computer. Part I: KEYBOARDING���DEVELOPING KEYBOARDING SKILL. Keyboarding Assessment/Placement. 1. Alphabetic Keys (L1-13). 2. Figure and Symbol Keys (L14-25). Part II: ESSENTIALS--FORMATTING BUSINESS DOCUMENTS. 3. Word 2016 Essentials (L26-31). 4. Memos and Letters (L32-37). 5. Tables (L38-42). 6. Reports (L43-49). 7. Graphics (L50-53). 8. Project: Palmetto Event Solutions, Inc. (L54-55). 9. Real-Time Co-Authoring on OneDrive. Appendix A: Windows 10. Appendix B: File Management. Appendix C: Reference Guide. Appendix D: Command Summary.
£181.35
now publishers Inc Tensor Networks for Dimensionality Reduction and
Book SynopsisModern applications in engineering and data science are increasingly based on multidimensional data of exceedingly high volume, variety, and structural richness. However, standard machine learning and data mining algorithms typically scale exponentially with data volume and complexity of cross-modal couplings - the so called curse of dimensionality - which is prohibitive to the analysis of such large-scale, multi-modal and multi-relational datasets. Given that such data are often conveniently represented as multiway arrays or tensors, it is therefore timely and valuable for the multidisciplinary machine learning and data analytic communities to review tensor decompositions and tensor networks as emerging tools for dimensionality reduction and large scale optimization.This monograph provides a systematic and example-rich guide to the basic properties and applications of tensor network methodologies, and demonstrates their promise as a tool for the analysis of extreme-scale multidimensional data. It demonstrates the ability of tensor networks to provide linearly or even super-linearly, scalable solutions.The low-rank tensor network framework of analysis presented in this monograph is intended to both help demystify tensor decompositions for educational purposes and further empower practitioners with enhanced intuition and freedom in algorithmic design for the manifold applications. In addition, the material may be useful in lecture courses on large-scale machine learning and big data analytics, or indeed, as interesting reading for the intellectually curious and generally knowledgeable reader.Table of Contents 1: Introduction and Motivation 2: Tensor Operations and Tensor Network Diagrams 3: Constrained Tensor Decompositions: From Two-way to Multiway Component Analysis 4: Tensor Train Decompositions: Graphical Interpretations and Algorithms 5: Discussion and Conclusions References
£999.99
Logos Verlag Berlin GmbH Sound to Sense - Sense to Sound: a State of the
Book Synopsis
£999.99
OUP Oxford Computers in Chemistry
Book SynopsisThis Primer provides an authoritative and easy to read overview of computers and their use in chemistry. It presents the essential basic ideas required to understand and exploit computers as encountered by chemistry students in their studies and in the laboratory at all stages up to and including research level. It gives its readers an insight into the workings of computers and so helps them to use the facilities more effectively.
£999.99
Oxford University Press Algebraic Computing in General Relativity
Book SynopsisBased on lectures given at a summer school on computer algebra, the book provides a didactic description of the facilities available in three computor algebra systems - MAPLE, REDUCE and SHEEP - for performing calculations in the algebra-intensive field of general relativity. With MAPLE and REDUCE, two widespread great-purpose systems, the reader is shown how to use currently available packages to perform calculations with respect to tetrads, co-ordinate systems, and Poincare` gauge theory. The section on SHEEP and Stensor, being the first published book on these systems, explains how to use these systems to tackle a wide range of calculations with respect to tackle a wide range of calculations in general relativity, including the manipulation of indicial formulae. For the researcher in general relativity, the book therefore promises a wide overview of the facilities available in computer algebra to lessen the burden of the lengthy, error-prone calculations involved in their research.Table of ContentsSHEEP: A computer algebra system for general relativity: An overview of SHEEP; Using SHEEP and CLASSI; Using CLASSI to classify metrics; The internals of SHEEP; Packages for special occasions; STENSOR; REDUCE: in general relativity and Poincare gauge theory: Geometrical preliminaries; Calculations on coordinate bases; Anholonomic frames; The exterior calculus package EXCALC; The Poincare gauge theory; MAPLE: applications to general relativity: Introduction; Computation of the connection and the curvature; The Petrov classification of the Weyl tensor; Computer algebra aided integration of field equations with the NP package; Bibliography; Index.
£999.99
Oxford University Press Crystallographic Computing 5 From Chemistry to Biology IUCr Crystallographic Symposia
Book SynopsisThe International School on Crystallographic Computing was held at the Bischenberg Congress Center, close to Strasbourg, in 1990. This was the twelfth such school organized since 1960 under the auspices of the IUCR Commission of crystallographic computing. The school was a satellite meeting to the XVth Congress of the International Union of Crystallography in Bordeaux, at which lecturers and tutors gave conferences and demonstrated their programs.In selecting the contents of the school, the program committee took into account the increasing emphasis on the study of macromolecules of biological interests, a natural progression of the clear success of crystallographic methodology in small molecule crystallography. Themes covered include synchrotron data collection, the potentiality of imaging plate technology coupled with efficient software, maximum entropy phasing methods, refinement using molecular dynamics, and map interpretation using structural databases.This is the latest volume inTrade Review'the written contributions are carefully crafted to offer the reader new insight, a deeper understanding or a broader appreciation of the import of the subject ... I recommend the book as a solid contribution to the crystallographic literature and as of special interest to macromolecular crystallographers. I also compliment the organizers and editors for the work they did to make both the school and the book successful.' Howard M. Einspahr, Acta Cryst. (1993)... the book is a worthy addition to the library of any group that is actively involved in crystallographic computing. * Cryst. Res. Technol. 30 July 1995 *Table of ContentsDATA COLLECTION AND ANALYSIS: J.R. Helliwell: The recording and analysis of data from macromolecular crystals; I.A. Andersson, I.J. Clifton, V.Fülöp, & J. Hadju: High speed, high resolution data collection on spinach Rubisco using a Weissenberg camera at the Photon factory; J. Hajdu, S.C. Almo, G.K. Farber, J.K. Prater, G.A. Petsko, S. Wakatsuki, I.J. Clifton, & V. FülÖp: On the limitations of the Laue method when applied to crystals of macromolecules; A.G.W. Leslie: Molecular data processing; B. Schierbeek: New developments on the Enraf-Nonius FAST detector; D. Schwarzenbach: Statistical descriptors; S.R. Hall: CIF standard data; PROGRAM PACKAGES: D.J. Watkin: Crystals; K.D. Watenpaugh, D.R. Holland, D.M. Collins, & J.M. Stewart: Macromolecular crystallographic computing designed around the XTAL system; W. Steigemann: Recent advances in the PROTEIN program system for the X-ray structure analysis of biological macromolecules; B. Frenz: Improved productivity through crystallographic packages; P.R. Evans: The CCP4 package program; SOLVING THE PHASE PROBLEM: Heavy Atoms: G.M. Sheldrick: Tutorial on automated Patterson interpretation to find heavy atoms; R.J. Read: Dealing with imperfect isomorphism in multiple isomorphous replacement; Anomalous Dispersion: E. Fanchon & W.A. Hendrickson: The MAD phasing method in macromolecular crystallography: general principles and the problem of the anisotrophy of anomalous scattering; H. Krabbendam: The phase problem in protein crystallography: integration of multiwavelength anomalous diffraction and direct methods; J. Karle: Phasing by anomalous scattering: theoretical aspects; Direct Methods: M. Roth: Phasing at low resolution; C. Giacovazzo: About the integration of direct and Patterson methods; Maximum Entropy: G. Bricogne: Maximum entropy as a common statistical basis for all phase determination methods; C.J. Gilmore & G. Bricogne: Maximum entropy, likelihood, and the phase problem in single crystal and powder diffraction; D.M. Collins & E. Prince: Exponential density: exact fitting of structure moduli by entropy maximization; J. Navaza: Accurate solutions of the maximum entropy equations. Their impact on the foundations of direct methods; H.A. Hauptman: A minimal principle in the phase problem; Molecular Replacement: P.M.D. Fitzgerald: Molecular replacement; P.M. Alzari & J. Navaza: On the use of the fast rotation function; Density Modification: A.D. Podjarny & B. Rees: Density modification: theory and practice; K. Cowtan: Sayre's equation and histogram methods for phase refinement and extension of protein structures; REFINEMENT: J. Sussman: Introduction to macromolecular refinement; A.T. Brünger: A unified approach to crystallographic refinement and molecular replacement; P. Gros: Time-averaged crystallography restrained molecular dynamics; T.N. Bhat: X-ray structure refinement with X-PLOR; STRUCTURE ANALYSIS, MODELLING, AND DATABASES: P. Murray-Rust: A protein structure database; P.R. Sibbald: Computational protein sequence analysis as an aid to solving protein structure; E. Westhof, L. Jaeger, P. Dumas, & F. Michel: Modelling the architecture of large RNA molecules: a three-dimensional model for group I ribozymes; Poster Abstracts.
£999.99
Oxford University Press, USA Physical Computation A Mechanistic Account
Book SynopsisComputation permeates our world, but a satisfactory philosophical theory of what it is has been lacking. Gualtiero Piccinini presents a mechanistic account of what makes a physical system a computing system. He argues that computation does not entail representation or information-processing, although information-processing entails computation.Trade Reviewthe mechanistic account of physical computation is the best that we currently have . . . Physical Computation is eminently readable and well presented, with a clear structure and helpful introduction . . . It provides a thorough . . . introduction to the philosophical issues associated with computation in the physical sense and would serve as a good basis for a postgraduate or upper-level undergraduate course on the subject. Piccinini delivers a comprehensive summary of previous work on physical computation, alongside the definitive presentation of his mechanistic account, and I have no doubt that this book will become a valuable resource for future work on the topic. * Joe Dewhurst, Philosophical Psychology *Table of ContentsAcknowledgements Introduction 1: Towards an Account of Physical Computation 2: Mapping Accounts 3: Semantic Accounts 4: Pancomputationalism 5: From Functional Analysis to Mechanistic Explanation 6: The Ontology of Functional Mechanisms 7: The Mechanistic Account 8: Primitive Components of Computing Mechanisms 9: Complex Components of Computing Mechanisms 10: Digital Calculators 11: Digital Computers 12: Analog Computers 13: Parallel Computers and Neural Networks 14: Information Processing 15: The Bold Physical Church-Turing Thesis 16: The Modest Physical Church-Turing Thesis Epilogue: The Nature of Computation Appendix: Computability Bibliography Index
£999.99
CRC Press An Invitation to Real Analysis
Book SynopsisAdopting a student-cantered approach, this book anticipates and addresses the common challenges that students face when learning abstract concepts like limits, continuity, and inequalities. The text introduces these concepts gradually, giving students a clear pathway to understanding the mathematical tools that underpin much of modern science and technology. In addition to its focus on accessibility, the book maintains a strong emphasis on mathematical rigor. It provides precise, careful definitions and explanations while avoiding common teaching pitfalls, ensuring that students gain a deep understanding of core concepts. Blending algebraic and geometric perspectives to help students see the full picture. The theoretical results presented in the book are consistently applied to practical problems. By providing a clear and supportive introduction to real analysis, the book equips students with the tools they need to confidently engage with both theoretical mathematics and its wide array of practical applications.Featuresâ Student-Friendly Approach making abstract concepts relatable and engaging.â Balanced Focus combining algebraic and geometric perspectives.â Comprehensive Coverage: Covers a full range of topics, from real numbers and sequences to metric spaces and approximation theorems, while carefully building upon foundational concepts in a logical progression.â Emphasis on Clarity: Provides precise explanations of key mathematical definitions and theorems, avoiding common pitfalls in traditional teaching. â Perfect for a One-Semester Course: Tailored for a first course in real analysis.â Problems, exercises and solutions.
£50.34
Springer-Verlag New York Inc. Computer Applications to Private Office Practice
Book SynopsisThis publication is sponsored by the American Association for Medical Systems and Informatics. The Board of AAMSI and the Board of the Society for Computer Medicine, one of AAMSI''s predecessors, agreed that a book on application of medical systems and informatics for the practitioner would help promote high quality health care and they charged the Committee on Standards of the Society for Computer Medicine to write such a text. It is intended as a guide for the field of medical systems and informatics with emphasis on standards, terminology, and coding systems. The text, a result of three years of research and effort, has been reviewed by the Board of Directors of AAMSI and approved by the Publications Committee. We believe that you will find it valuable and hope to revise it from time to time to meet current needs. On behalf of the members of the Association, we congratulate thTable of ContentsI Introduction to Accounting Systems.- 1 Beyond Billing: Some Things You Should Know Before You Begin.- 2 What Sort of Data Should Be Collected and Why?.- 3 The Accounting Module.- II Introduction to Administrative Systems.- 4 The Administration Module.- III Introduction to Health Care Delivery Systems.- 5 How Computers Can Help in Patient Care and Practice (Health Care Delivery).- 6 How Physician Professional Education and Development Can Be Enhanced by Computers.- 7 The Medical Record Summary, Contents, and Utilization.- 8 History Gathering Techniques Via the Computer.- 9 Supervising and Keeping Track of Patient Care.- 10 Quality Assessment and Quality Control of Patient Care.- 11 Patient/Parent/Family Educational Assists.- IV Introduction to Planning, Vendors, and Implementation.- 12 Planning for Automation: The Total Office Practice System.- 13 Be Prepared to Give, Not Receive, the Sales Pitch.- 14 Problems with System Implementation.- 15 Office Computing and the Right to Privacy.- 16 Summary.- Appendices.
£40.49
Springer Us An Application Science for MultiAgent Systems 10 Multiagent Systems Artificial Societies and Simulated Organizations
Book SynopsisAn Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application.Table of ContentsAn Application Science for Multi-Agent Systems; T. Wagner. Coordination Challenges for Autonomous Spacecraft; B.J. Clement, A.C. Barrett. A Framework for Evaluation of Multi-Agent System Approaches to Logistics Network Management; P. Davidsson, F. Wernstedt. Centralized Versus Decentralized Coordination: Two Application Case Studies; T. Wagner, J. Phelps, V. Guralnik. A Complex Systems Perspective on Collaborative Design; M. Klein, H. Sayama, P. Faratin, Y. Bar-Yam. Multi-Agent System Interaction Protocols in a Dynamically Changing Environment; M. Purvis, S. Cranefield, M. Nowostawski, M. Purvis. Challenges to Scaling-Up Agent Coordination Strategies; E.H. Durfee. Roles in MAS: Managing the Complexity of Tasks and Environments; I. Partsakoulakis, G. Vouros. An Evolutionary Framework for Large-Scale Experimentation in Multi-Agent Systems; A. Babanov, W. Ketter, M. Gini. Application Characteristics Motivating Adaptive Organizational Capabilities within Multi-Agent Systems; K.S. Barber, M.T. MacMahon. Applying Coordination Mechanisms for Dependency Relationships under Various Environments; Wei Chen, K. Decker. Performance Models for Large Scale Multi-Agent Systems: A Distributed POMDP-Based Approach; Hyuckchul Jung, M. Tambe. Index.
£46.74
Springer Nature Switzerland AG Mathematics of Quantum Computing: An Introduction
Book SynopsisThis textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and computer scientists taking a first course on quantum computing. It starts by introducing the basic mathematics required for quantum mechanics, and then goes on to present, in detail, the notions of quantum mechanics, entanglement, quantum gates, and quantum algorithms, of which Shor's factorisation and Grover's search algorithm are discussed extensively. In addition, the algorithms for the Abelian Hidden Subgroup and Discrete Logarithm problems are presented and the latter is used to show how the Bitcoin digital signature may be compromised. It also addresses the problem of error correction as well as giving a detailed exposition of adiabatic quantum computing. The book contains around 140 exercises for the student, covering all of the topics treated, together with an appendix of solutions.Table of ContentsIntroduction.- Basic Notions of Quantum Mechanics.- Tensor Products and Composite Systems.- Entanglement.- Quantum Gates and Circuits for Elementary Calculations.- On the Use of Entanglement.- Error Correction.- Adiabatic Quantum Computing.- Epilogue Appendices: A Elementary Probability Theory.- B Elementary Arithmetic Operations.- C LANDAU Symbols.- D Modular Arithmetic.- E Continued Fractions.- F Some Group Theory.- G Proof of a Quantum Adiabatic Theorem.- Solutions to Exercises.
£62.99
Springer Nature Switzerland AG Research in Computational Molecular Biology: 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings
Book SynopsisThis book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.
£999.99
Springer International Publishing AG Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems
Book SynopsisUnderstanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction and the reliable broadcast abstraction), and the consensus agreement abstractions that allows them to cooperate despite failures. As they give a precise meaning to the words "communicate" and "agree" despite asynchrony and failures, these abstractions allow distributed programs to be designed with properties that can be stated and proved. Impossibility results are associated with these abstractions. Hence, in order to circumvent these impossibilities, the book relies on the failure detector approach, and, consequently, that approach to fault-tolerance is central to the book. Table of Contents: List of Figures / The Atomic Register Abstraction / Implementing an Atomic Register in a Crash-Prone Asynchronous System / The Uniform Reliable Broadcast Abstraction / Uniform Reliable Broadcast Abstraction Despite Unreliable Channels / The Consensus Abstraction / Consensus Algorithms for Asynchronous Systems Enriched with Various Failure Detectors / Constructing Failure DetectorsTable of ContentsList of Figures.- The Atomic Register Abstraction.- Implementing an Atomic Register in a Crash-Prone Asynchronous System.- The Uniform Reliable Broadcast Abstraction.- Uniform Reliable Broadcast Abstraction Despite Unreliable Channels.- The Consensus Abstraction.- Consensus Algorithms for Asynchronous Systems Enriched with Various Failure Detectors.- Constructing Failure Detectors.
£37.99
Springer International Publishing AG Fault-tolerant Agreement in Synchronous Message-passing Systems
Book SynopsisUnderstanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. A previous book Communication and Agreement Abstraction for Fault-tolerant Asynchronous Distributed Systems (published by Morgan & Claypool, 2010) was devoted to the problems created by crash failures in asynchronous message-passing systems. The present book focuses on the way to cope with the uncertainty created by process failures (crash, omission failures and Byzantine behavior) in synchronous message-passing systems (i.e., systems whose progress is governed by the passage of time). To that end, the book considers fundamental problems that distributed synchronous processes have to solve. These fundamental problems concern agreement among processes (if processes are unable to agree in one way or another in presence of failures, no non-trivial problem can be solved). They are consensus, interactive consistency, k-set agreement and non-blocking atomic commit. Being able to solve these basic problems efficiently with provable guarantees allows applications designers to give a precise meaning to the words ""cooperate"" and ""agree"" despite failures, and write distributed synchronous programs with properties that can be stated and proved. Hence, the aim of the book is to present a comprehensive view of agreement problems, algorithms that solve them and associated computability bounds in synchronous message-passing distributed systems. Table of Contents: List of Figures / Synchronous Model, Failure Models, and Agreement Problems / Consensus and Interactive Consistency in the Crash Failure Model / Expedite Decision in the Crash Failure Model / Simultaneous Consensus Despite Crash Failures / From Consensus to k-Set Agreement / Non-Blocking Atomic Commit in Presence of Crash Failures / k-Set Agreement Despite Omission Failures / Consensus Despite Byzantine Failures / Byzantine Consensus in Enriched ModelsTable of ContentsList of Figures.- Synchronous Model, Failure Models, and Agreement Problems.- Consensus and Interactive Consistency in the Crash Failure Model.- Expedite Decision in the Crash Failure Model.- Simultaneous Consensus Despite Crash Failures.- From Consensus to k-Set Agreement.- Non-Blocking Atomic Commit in Presence of Crash Failures.- k-Set Agreement Despite Omission Failures.- Consensus Despite Byzantine Failures.- Byzantine Consensus in Enriched Models.
£26.99
Springer International Publishing AG The Mobile Agent Rendezvous Problem in the Ring
Book SynopsisMobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity. This monograph focuses on studying mobile agents as modelled in distributed systems research and in particular within the framework of research performed in the distributed algorithms community. It studies the fundamental question of how to achieve rendezvous, the gathering of two or more agents at the same node of a network. Like leader election, such an operation is a useful subroutine in more general computations that may require the agents to synchronize, share information, divide up chores, etc. The work provides an introduction to the algorithmic issues raised by the rendezvous problem in the distributed computing setting. For the most part our investigation concentrates on the simplest case of two agents attempting to rendezvous on a ring network. Other situations including multiple agents, faulty nodes and other topologies are also examined. An extensive bibliography provides many pointers to related work not covered in the text. The presentation has a distinctly algorithmic, rigorous, distributed computing flavor and most results should be easily accessible to advanced undergraduate and graduate students in computer science and mathematics departments. Table of Contents: Models for Mobile Agent Computing / Deterministic Rendezvous in a Ring / Multiple Agent Rendezvous in a Ring / Randomized Rendezvous in a Ring / Other Models / Other TopologiesTable of ContentsModels for Mobile Agent Computing.- Deterministic Rendezvous in a Ring.- Multiple Agent Rendezvous in a Ring.- Randomized Rendezvous in a Ring.- Other Models.- Other Topologies.
£25.19
Springer International Publishing AG Quorum Systems: With Applications to Storage and Consensus
Book SynopsisA quorum system is a collection of subsets of nodes, called quorums, with the property that each pair of quorums have a non-empty intersection. Quorum systems are the key mathematical abstraction for ensuring consistency in fault-tolerant and highly available distributed computing. Critical for many applications since the early days of distributed computing, quorum systems have evolved from simple majorities of a set of processes to complex hierarchical collections of sets, tailored for general adversarial structures. The initial non-empty intersection property has been refined many times to account for, e.g., stronger (Byzantine) adversarial model, latency considerations or better availability. This monograph is an overview of the evolution and refinement of quorum systems, with emphasis on their role in two fundamental applications: distributed read/write storage and consensus. Table of Contents: Introduction / Preliminaries / Classical Quorum Systems / Classical Quorum-Based Emulations / Byzantine Quorum Systems / Latency-efficient Quorum Systems / Probabilistic Quorum SystemsTable of ContentsIntroduction.- Preliminaries.- Classical Quorum Systems.- Classical Quorum-Based Emulations.- Byzantine Quorum Systems.- Latency-efficient Quorum Systems.- Probabilistic Quorum Systems.
£999.99
