Listing 1 - 10 of 17 | << page >> |
Sort by
|
Choose an application
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8. The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s. To disagree, Paul Klint relates the contrasting views on software in Dutch research traditions. ALGOL culture: Frans Kruseman Aretz takes the reader along to the detailed decisions on constructing compilers and shows the values of an ALGOL culture transpiring. Signposts: Dirk Dekker for the first time ‘owns’ his algorithm for mutual exclusion. In particle physics: René van Dantzig’s use case was an Electrologica X8 computer controlling two other computers in three-dimensional detection of colliding particles. Early steps in AI: Lambert Meertens’ tale of the X8 machine composing a violin quartet comes with his original presentation, as well as the code in ALGOL 60. The reflections of first hand experiences combine well with the second thoughts of historical research into archival sources. Historians Huub de Beer and Gerard Alberts offer a view into the boardrooms of the local enterprise Electrologica, and of the electronics multinational Philips. Where pioneers and historians meet in an inspiring dialogue, the reader gains a view on the often implicit decisions constituting the field. Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of the state of historiography of Electrologica. Gerard Alberts is an associate professor in History of Digital Cultures, retired from the University of Amsterdam. Jan Friso Groote is a full professor of Formal Methods at the Eindhoven University of Technology. .
Manufacturing technologies --- Computer architecture. Operating systems --- Computer. Automation --- textieltechnologie --- computers --- informatica --- hardware --- software engineering --- computergeschiedenis --- Computers—History. --- Computer industry. --- Computers. --- Software engineering. --- Indústria informàtica --- Història de la informàtica --- History of Computing. --- The Computer Industry. --- Computer Hardware. --- Software Engineering.
Choose an application
Computer science. --- Informatics --- Science --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Informàtica.
Choose an application
Computable functions. --- Computer science --- Mathematics --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Funcions computables --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Funcions calculables --- Funcions recursives parcials --- Teoria de la computabilitat --- Matemàtica constructiva --- Decidibilitat (Lògica matemàtica) --- Informàtica.
Choose an application
Computers --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer science --- computer science --- information processing --- computing --- Ordinadors. --- Computadores digitals --- Hardware --- Hardware d'ordinadors --- Hardware (Informàtica) --- Maquinari --- Màquines de calcular digitals --- Ordinadors automàtics digitals --- Ordinadors digitals --- Ordinadors digitals electrònics --- Ordinadors electrònics --- Ordinadors electrònics digitals --- Cibernètica --- Indústria informàtica --- Sistemes informàtics --- Art per ordinador --- Infografia --- Miniordinadors --- Multiprocessadors --- Ordinadors analògics --- Ordinadors híbrids --- Ordinadors moleculars --- Ordinadors paral·lels --- Ordinadors quàntics --- Organització d'ordinadors --- Processament del so per ordinador --- Ciberespai --- Programari --- Sistemes d'informació --- Ordinadors
Choose an application
machine learning --- artificial intelligence --- computational physics --- reinforcement learning --- neural networks --- applied algorithms --- Machine learning --- Learning, Machine --- Artificial intelligence --- Machine theory --- Informàtica. --- Processament de dades. --- Revistes electròniques. --- Revistes digitals --- Revistes en línia --- Revistes on line --- Revistes per Internet --- Publicacions electròniques --- Revistes --- Processament de dades electròniques --- Processament automàtic de dades --- Processament electrònic de dades --- Processament integrat de dades --- Sistematització de dades (Ordinadors) --- Tractament de dades --- Tractament electrònic de dades --- Tractament integrat de dades --- Automatització --- Informàtica --- Complexitat computacional --- Curació de dades --- Depuració (Informàtica) --- Estructures de dades (Informàtica) --- Gestió de bases de dades --- Informàtica mòbil --- Informàtica recreativa --- Intel·ligència artificial --- Sistemes en línia --- Temps real (Informàtica) --- Tractament del llenguatge natural (Informàtica) --- Processament òptic de dades --- Protecció de dades --- Transmissió de dades --- Tolerància als errors (Informàtica) --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Machine learning.
Choose an application
Informàtica --- Enginyeria de programari --- Intel·ligència artificial --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial --- Enginyeria de programes d'ordinador --- Enginyeria del software --- Enginyeria informàtica --- Enginyeria --- Programació (Ordinadors) --- Arquitectura del programari --- Desenvolupament de programari --- Mètodes formals (Informàtica) --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Sistemes informàtics --- Teledocumentació --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació
Choose an application
Models matemàtics --- Estadística --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Anàlisi estadística --- Control estadístic --- Informació estadística --- Economia --- Matemàtica --- Allisament (Estadística) --- Anàlisi de regressió --- Anàlisi de variància --- Biometria --- Censos --- Correlació (Estadística) --- Presa de decisions (Estadística) --- Estadística comercial --- Estadística demogràfica --- Estadística econòmica --- Estadística educativa --- Estadística financera --- Estadística industrial --- Estadística matemàtica --- Estadística mèdica --- Mitjana (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Serveis estadístics --- Sondejos d'opinió --- Econometria --- Investigació quantitativa --- Models (Matemàtica) --- Models experimentals --- Models teòrics --- Mètodes de simulació --- Anàlisi de sistemes --- Mètode de Montecarlo --- Modelització multiescala --- Models economètrics --- Models multinivell (Estadística) --- Simulació per ordinador --- Teoria de màquines --- Models biològics --- Mathematical models --- Models, Mathematical --- Simulation methods --- Informàtica.
Choose an application
This book presents some sufficient mathematical content with expressive result. The aim of JANO13 is to bring together scientists to discuss their research in all the aspects of mathematics and their applications to different scientific discipline. The main topics of the conference is partial differential equations, mathematical control, numerical analysis and computer science. The conference is interested in recent developments on numerical analysis and real applications in computer science. The latter is viewed as a dynamic branch on the interface of mathematics and informatics that has been growing rapidly over the past several decades. However, its mathematical modelling and interpretation are still not well-explained and need much more clarifications. The main contributions of this book are to give some sufficient mathematical content with expressive results. As a growing field, it is gaining a lot of attention both in media and in the industry world, which will attract the interest of readers from different scientist disciplines.
Anàlisi numèrica --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Mètodes numèrics --- Algorismes --- Anàlisi matemàtica --- Teoria de l'aproximació --- Anàlisi d'error (Matemàtica) --- Anàlisi d'intervals (Matemàtica) --- Càlculs numèrics --- Equacions diferencials estocàstiques --- Integració numèrica --- Interpolació (Matemàtica) --- Mètodes de Galerkin --- Mètode de Montecarlo --- Mètode dels elements finits --- Mètodes iteratius (Matemàtica) --- Nomografia (Matemàtica) --- Rutes aleatòries (Matemàtica) --- Solucions numèriques --- Numerical analysis --- Computer science --- Mathematics --- Mathematical optimization. --- Algorithms. --- Calculus of variations. --- Optimization. --- Mathematical Applications in Computer Science. --- Calculus of Variations and Optimization. --- Mathematics. --- Isoperimetrical problems --- Variations, Calculus of --- Maxima and minima --- Algorism --- Algebra --- Arithmetic --- Computer mathematics --- Electronic data processing --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Mathematical analysis --- Operations research --- Simulation methods --- System analysis --- Foundations --- Anàlisi numèrica. --- Informàtica.
Choose an application
This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. .
Lògica algebraica --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Lògica algèbrica --- Lògica matemàtica --- Àlgebra de Boole --- Computer science --- Algebraic logic --- Relation algebras --- Mathematics --- Algebra of relations --- Algebras, Relation --- Relational algebras --- Relations, Algebra of --- Logic, Symbolic and mathematical --- Logic programming. --- Computer science—Mathematics. --- Computer science. --- Mathematical logic. --- Logic in AI. --- Mathematics of Computing. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Computer programming
Choose an application
Estadística matemàtica --- Càlcul de tensors --- Informàtica --- Enginyeria --- Càlcul intensiu (Informàtica) --- Disseny de sistemes --- Història de la informàtica --- Geometria computacional --- Informàtica tova --- Processament de dades --- Programació (Ordinadors) --- Sistemes informàtics --- Teledocumentació --- Tractament del llenguatge natural (Informàtica) --- Automatització d'arxius --- Automatització de biblioteques --- Automatització de museus --- Indústria informàtica --- Teoria de la informació --- Anàlisi de tensors --- Anàlisi tensorial --- Càlcul absolut diferencial --- Càlcul tensorial --- Anàlisi vectorial --- Geometria diferencial --- Espais generalitzats --- Productes tensorials --- Anàlisi espinorial --- Estadística descriptiva --- Inferència estadística --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de sèries temporals --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Correlació (Estadística) --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Calculus of tensors --- Data processing. --- Absolute differential calculus --- Analysis, Tensor --- Calculus, Absolute differential --- Calculus, Tensor --- Tensor analysis --- Tensor calculus --- Geometry, Differential --- Geometry, Infinitesimal --- Vector analysis --- Spinor analysis --- Informàtica.
Listing 1 - 10 of 17 | << page >> |
Sort by
|