Legal computer science
In: Proceedings of the ... world congress of the International Association for Philosophy of Law and Social Philosophy (IVR) 17
In: From practical reason to legal computer science 2
5532 Ergebnisse
Sortierung:
In: Proceedings of the ... world congress of the International Association for Philosophy of Law and Social Philosophy (IVR) 17
In: From practical reason to legal computer science 2
In: Coding Your Passion Ser.
Technology has dramatically changed the world of media. People stream programs on demand to their televisions, they read books on handheld tablets, they get their news via the Internet, and listen to podcasts on their mobile phones. This authoritative book gives an overview of media careers that depend on a knowledge of computer science, including special effects designers, social media managers, and the programmers and developers who work on everything from satellite radio to web-based videos. Those passionate about media careers learn about the skills and education needed to pursue these careers, and the rewarding opportunities that may be in their future.
In: Coding your passion
Info and entertainment goes digital -- Lights, cameras, coding: computer science in television and film -- On the air: computer science in radio -- Low tech goes high tech: computer science in publishing -- Reaching the masses: computer science in new media.
In: Springer eBook Collection
Historical Overview -- Office Information Systems Engineering -- Update Languages vs. Query Languages -- OPUS: An Extensible Optimizer for Up-to-Date Database Systems -- A Hyperlcon Interface to a Blackboard System for Planning Research Projects -- Chusaurus: A Writing Tool Resource for Non-Native Users of English -- Trends in Representing the Semantics of Natural Language Sentences: A Comparative Study -- Extending Partial Evaluation in Logic Programming -- Modules, Macros and Lisp -- Using Filters to Improve the Efficiency of Game-Playing Learning Procedures -- An O(n2.5) Time Heuristic Algorithm for a Class of Large Weighted Edge Colouring Problem -- Randomized Sorting of Shuffled Monotone Sequences -- A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields -- An Algorithm for Computing Multivariate Polynomial Resultants -- New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics -- Skip Sort-An Adaptive Randomized Algorithm or Expected Time Adaptivity is Best -- Data Structures and Access Methods for Read-Only Optical Disks -- Mixed-Radix Huffman Codes -- A Schema Manipulation Mechanism for an OODB Model -- Versions in the Context of Object-Oriented Database Systems -- Ddraw: An Object-Oriented Design Tool -- A Graphical Interactive Object-Oriented Development System -- A Concurrent Object-Oriented Paradigm for Attribute Grammars -- Preserving Distributed Data Coherence Using Asynchronous Broadcasts -- An Implementation of Service Rebalancing -- Bit Optimal Distributed Consensus -- An Efficient Distributed Termination -- Allocating Modules to Processors in a Distributed System with Limited Memory -- The Complexity of Algorithmic Problems on Succint Instances (Invited paper -- Parallel Algorithms for NP-Complete Problems (Invited paper -- Parallel Search in Sorted Multisets, and NP-Complete Problems -- Towards Understanding the Effective Parallelization of Sequential Algorithms -- On the Density of the Probabilistic Polynomial Classes -- Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms -- The Caracas Multiprocessor System -- A New Communication Systems Architecture Supporting Migration to OSI -- Modelling and Analysis of Time Critical Applications on Local Area Networks -- Matrix Multiplication on Digital Signal Processors and Hierarchical Memory Systems -- Author Index.
In: Series of books in the mathematical sciences
World Affairs Online
Historical Overview -- Office Information Systems Engineering -- Update Languages vs. Query Languages -- OPUS: An Extensible Optimizer for Up-to-Date Database Systems -- A Hyperlcon Interface to a Blackboard System for Planning Research Projects -- Chusaurus: A Writing Tool Resource for Non-Native Users of English -- Trends in Representing the Semantics of Natural Language Sentences: A Comparative Study -- Extending Partial Evaluation in Logic Programming -- Modules, Macros and Lisp -- Using Filters to Improve the Efficiency of Game-Playing Learning Procedures -- An O(n2.5) Time Heuristic Algorithm for a Class of Large Weighted Edge Colouring Problem -- Randomized Sorting of Shuffled Monotone Sequences -- A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields -- An Algorithm for Computing Multivariate Polynomial Resultants -- New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics -- Skip Sort-An Adaptive Randomized Algorithm or Expected Time Adaptivity is Best -- Data Structures and Access Methods for Read-Only Optical Disks -- Mixed-Radix Huffman Codes -- A Schema Manipulation Mechanism for an OODB Model -- Versions in the Context of Object-Oriented Database Systems -- Ddraw: An Object-Oriented Design Tool -- A Graphical Interactive Object-Oriented Development System -- A Concurrent Object-Oriented Paradigm for Attribute Grammars -- Preserving Distributed Data Coherence Using Asynchronous Broadcasts -- An Implementation of Service Rebalancing -- Bit Optimal Distributed Consensus -- An Efficient Distributed Termination -- Allocating Modules to Processors in a Distributed System with Limited Memory -- The Complexity of Algorithmic Problems on Succint Instances (Invited paper -- Parallel Algorithms for NP-Complete Problems (Invited paper -- Parallel Search in Sorted Multisets, and NP-Complete Problems -- Towards Understanding the Effective Parallelization of Sequential Algorithms -- On the Density of the Probabilistic Polynomial Classes -- Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms -- The Caracas Multiprocessor System -- A New Communication Systems Architecture Supporting Migration to OSI -- Modelling and Analysis of Time Critical Applications on Local Area Networks -- Matrix Multiplication on Digital Signal Processors and Hierarchical Memory Systems -- Author Index.
In: Springer eBook Collection
Historical Overview -- Algorithms and Data Structures -- Applying Genetic Algorithms to the Load-Balancing Problem -- Parallel Update and Search in Skip Lists -- Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chains -- Graph Clustering and Caching -- A Comparison of Algorithms for the Triangulation Refinement Problem -- Prime Length Symmetric FFTs and Their Computer Implementations -- Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereo -- Finding the Safest One-Dimensional Path among Obstacles for the Acceleration Constrained Robot -- An Optimized External Sort Algorithm -- Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnesses -- Databases and Information Systems -- Hybrid Information Systems: Integrating Data and Knowledge Management -- A Semantic Data Model Approach for the Prototyping of Information Systems -- A Temporal Logic Language for Temporal Conditions Definition -- Multimedia Object Management in an O-O Database Environment -- Database Schema Design: The Contribution of Natural Language Techniques -- Distributed Systems and Computer Architecture -- Modelling Geographic Information Systems Using an Object-Oriented Framework -- The Role of Object Technology in Distributed Systems (Invited Paper) -- Analysis and Control of Computer Systems Distributed in Local Networks -- Garbage Collection in Distributed EZ -- A Design System for Massively Parallel Hardware -- A Collision Resolution Algorithm for Random Access Channels Using Multiple Transmission Levels -- Methodology for the Life Cycle Development of Enterprise Networks -- Channel Routing in the Knock-knee Diagonal Model -- Logic and Knowledge -- Inheritance and Recognition in the Cumulative Typed System for Knowledge Representation SC -- Making Argument Systems Computationally Attractive: Argument Construction and Maintenance -- Lexical Error Correction Using Contextual Linguistic Expectations -- Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learning -- Metacontrol of a Traffic Simulator Using Situation Semantics -- Abductive Inference of Plans and Intentions in Information Seeking Dialogues -- Cognitive Maps as Human Computer Interface Design Tools for Learning -- On Observational Equivalence and Relational Semantics -- Petri Nets -- Analysis of General Refined Petri Boxes -- Event Modeling with Petri Nets: A Survey and Discussion -- Morphisms to Preserve Structural Properties of Petri Nets -- Studying the Behaviour of Petri Nets through a Formalization as Term Rewriting Systems -- Software Engineering and Programming Languages -- The Management of a Cooperative Environment -- Combining Instance and Class-Based Descriptions in Hypermedia Authoring -- How Programming Can Be Visualized: A Practical Approach -- A Process Model to Transform Evaluation from Human Review to Automatic Measurement -- Planning Methodology of Information Systems under Cooperative Design -- Pacific: A Programming Language Based on the Idea of Natural Naming -- Evaluation of Logic Programs in a Relational Language -- A Synthetic Approach to Object Oriented Analysis -- Graphical Animation of LOTOS Specifications -- Integrated-Specifications Analysis -- Author Index.
A Computer Science Reader covers the entire field of computing, from its technological status through its social, economic and political significance. The book's clearly written selections represent the best of what has been published in the first three-and-a-half years of ABACUS, Springer-Verlag's internatioanl quarterly journal for computing professionals. Among the articles included are: - U.S. versus IBM: An Exercise in Futility? by Robert P. Bigelow - Programmers: The Amateur vs. the Professional by Henry Ledgard - The Composer and the Computer by Lejaren Hiller - SDI: A Violation of Professional Responsibility by David L. Parnas - Who Invented the First Electronic Digital Computer? by Nancy Stern - Foretelling the Future by Adaptive Modeling by Ian H. Witten and John G. Cleary - The Fifth Generation: Banzai or Pie-in-the-Sky? by Eric A. Weiss This volume contains more than 30 contributions by outstanding and authoritative authors grouped into the magazine's regular categories: Editorials, Articles, Departments, Reports from Correspondents, and Features. A Computer Science Reader will be interesting and important to any computing professional or student who wants to know about the status, trends, and controversies in computer science today
In: Formal Theories of Politics, S. ii-ii
In: Emerald Points
In: How Things Work Ser.
Cover -- Half Title -- Series Page -- Title Page -- Copyright Page -- Dedication -- Contents -- Acknowledgments -- Author -- CHAPTER 1 ▪ Computers Are Everywhere -- INTRODUCTION -- MODERN TECHNOLOGY -- OBJECTIVES OF THIS BOOK -- ORGANIZATION -- FORMATTING CONVENTIONS -- CHAPTER 2 ▪ A Brief History of Computing -- OVERVIEW -- MAJOR ADVANCES IN COMPUTING -- Abacus-2700-2300 BCE -- Babbage's Analytical Engine-1834-1871 -- The Advent of Software-1840s -- Turing Machines-1930s -- ABC: First Electrical Computer-1930s-1940s -- ENIAC: First Digital Computer-1940s -- The Advent of the Transistor-1940s-1950s -- The First Commercial Computer-1951 -- The First Home Computers-1977 -- SUMMARY -- CHAPTER 3 ▪ Digitization -- OVERVIEW -- WHAT IS DIGITIZATION? -- Keyboard Characters -- Digitized Images -- Digitized Music and Sound -- Other Examples of Digitization -- Data Loss -- ADVANCED TOPIC: OKAY, SO WHAT'S A "BIT"? -- SUMMARY -- CHAPTER 4 ▪ What Is a Computer? -- OVERVIEW -- CONCEPTUAL DESIGN -- Hardware -- Motherboard Components -- Peripheral Components -- Software -- System Software -- Application Software -- Networking -- ADVANCED TOPIC: LAYERING -- SUMMARY -- CHAPTER 5 ▪ Internal Hardware Components -- INTRODUCTION -- THE CPU -- The Control Unit -- Registers -- The Arithmetic/Logic Unit -- Arithmetic Operations -- Logic Operations -- Data Transfer Operations -- Other Operations -- Assembler Mnemonics and Opcodes -- MEMORY -- THE BUS -- Internal Bus -- External Bus -- DATA STORAGE -- Hard Drives -- Optical Drives -- Flash Drives -- Solid-state Drives -- Cloud Drives -- INSTRUCTION EXECUTION -- ADVANCED TOPIC: ARITHMETIC SHIFT INSTRUCTIONS -- SUMMARY -- CHAPTER 6 ▪ Hardware-External Components -- INTRODUCTION -- INPUT-ONLY DEVICES -- Keyboard -- Mouse -- Image Input -- Audio Input -- Barcode and Quick Response Readers -- Optical Character Recognition.
World Affairs Online