Listing 1 - 10 of 33 | << page >> |
Sort by
|
Choose an application
Disseny assistit per ordinador --- Microelectrònica --- Disseny de sistemes
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ó
Choose an application
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
Mathematical logic --- wiskunde --- logica --- Formal methods (Computer science) --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- System design --- Mètodes formals (Informàtica) --- Disseny de sistemes --- Enginyeria de programari --- Mathematical logic. --- Mathematical Logic and Foundations.
Choose an application
Bifurcation theory. --- System analysis. --- Network analysis --- Network science --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Differential equations, Nonlinear --- Stability --- Numerical solutions --- Teoria de la bifurcació --- Anàlisi de sistemes --- Cibernètica --- Física matemàtica --- Models matemàtics --- Teoria de sistemes --- Diagrames de flux --- Disseny de sistemes --- Identificació de sistemes --- Enginyeria de sistemes --- Mètodes de l'espai d'estat --- Sistemes borrosos --- Sistemes de temps discret --- Teoria de control --- Xarxes elèctriques --- Optimització matemàtica --- Teories no lineals --- Sistemes dinàmics diferenciables
Choose an application
Teoria de control --- Anàlisi de sistemes --- Optimització matemàtica --- Cibernètica --- Física matemàtica --- Models matemàtics --- Teoria de sistemes --- Diagrames de flux --- Disseny de sistemes --- Identificació de sistemes --- Enginyeria de sistemes --- Mètodes de l'espai d'estat --- Sistemes borrosos --- Sistemes de temps discret --- Xarxes elèctriques --- Teories no lineals --- Mètodes de simulació --- Jocs d'estratègia (Matemàtica) --- Optimització combinatòria --- Programació dinàmica --- Programació (Matemàtica) --- Control (Matemàtica) --- Control òptim --- Regulació --- Teoria de màquines --- Control automàtic --- Filtre de Kalman --- Sistemes de control biològic --- Control theory. --- Dynamics --- Machine theory
Choose an application
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ó --- Matemàtica constructiva --- Decidibilitat (Lògica matemàtica) --- Funcions calculables --- Funcions recursives parcials --- Teoria de la computabilitat --- Computable functions. --- Computer science --- Mathematics --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic)
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)
Choose an application
System design --- System analysis --- Engineering & Applied Sciences --- Computer Science --- Computer science --- Computer science. --- Computer communication systems. --- Software engineering. --- Information storage and retrieval. --- Artificial intelligence. --- Computer engineering. --- Computer Science. --- Computer Engineering. --- Computer Communication Networks. --- Information Systems Applications (incl. Internet). --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Information Storage and Retrieval. --- Computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Design and construction --- Distributed processing --- Information storage and retrieva. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Disseny de sistemes --- Anàlisi de sistemes --- Cibernètica --- Física matemàtica --- Models matemàtics --- Teoria de sistemes --- Diagrames de flux --- Identificació de sistemes --- Enginyeria de sistemes --- Mètodes de l'espai d'estat --- Sistemes borrosos --- Sistemes de temps discret --- Teoria de control --- Xarxes elèctriques --- Optimització matemàtica --- Teories no lineals --- Disseny de sistemes (Informàtica) --- Informàtica --- Disseny de bases de dades --- Mètodes formals (Informàtica) --- Usabilitat (Disseny de sistemes) --- Sankt Gallen <2010>
Choose an application
The encounter of 'personalized experiences' - targeted advertisements, tailored information feeds, and 'recommended' content, among other things - is now a common and somewhat inescapable component of digital life. More often than not however, 'you' the user are not primarily responsible for personalizing your web engagements: instead, with the help of your search, browsing, and purchase histories, your 'likes,' your click-throughs, and a multitude of other data you produce as you go about your day, your experience can 'conveniently' - and computationally - be personalized on your behalf. This work explores a host of new questions that emerge from web users' encounters with these forms of algorithmic personalization.
Human-computer interaction --- Human rights --- Mass communications --- Computer architecture. Operating systems --- Web personalization. --- Human-computer interaction. --- Algorismes computacionals --- Interacció persona-ordinador --- Comunicació home-ordinador --- Comunicació persona-màquina --- Comunicació persona-ordinador --- IPO --- Interacció home-ordinador --- Interacció persona-màquina --- Relacions home-ordinador --- Relacions persona-màquina --- Relacions persona-ordinador --- Ergonomia --- Interfícies d'usuari (Sistemes d'ordinadors) --- Usabilitat (Disseny de sistemes) --- Algorismes per ordinadors --- Algorismes --- Algorismes en línia --- Geometria computacional --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Personalization (Web site design) --- Web sites --- Design
Choose an application
System analysis. --- System analysis --- Anàlisi de sistemes --- Models matemàtics --- Mathematical models. --- Network analysis --- Network science --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Cibernètica --- Física matemàtica --- Teoria de sistemes --- Diagrames de flux --- Disseny de sistemes --- Identificació de sistemes --- Enginyeria de sistemes --- Mètodes de l'espai d'estat --- Sistemes borrosos --- Sistemes de temps discret --- Teoria de control --- Xarxes elèctriques --- Optimització matemàtica --- Teories no lineals --- Models (Matemàtica) --- Models experimentals --- Models teòrics --- Mètodes de simulació --- Mètode de Montecarlo --- Modelització multiescala --- Models economètrics --- Models lineals (Estadística) --- Models multinivell (Estadística) --- Models no lineals (Estadística) --- Programació (Ordinadors) --- Simulació per ordinador --- Teoria de màquines --- Models biològics
Listing 1 - 10 of 33 | << page >> |
Sort by
|