Informatica Inc. is an American software development company founded in 1993. It is headquartered in Redwood City, California. Its core products include...
14 KB (859 words) - 01:56, 29 May 2025
science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide...
19 KB (2,452 words) - 08:56, 28 June 2024
National Institute of Statistics and Geography (redirect from Instituto Nacional de Estadistica, Geografia e Informatica)
former name in Spanish: Instituto Nacional de Estadística, Geografía e Informática) is an autonomous agency of the Mexican Government dedicated to coordinate...
4 KB (235 words) - 00:17, 25 February 2025
The Escuela Superior Latinoamericana de Informática (Spanish for "Latin American Superior School of Informatics", ESLAI) was an Argentine undergraduate...
3 KB (365 words) - 22:12, 29 September 2023
The Centrum Wiskunde & Informatica (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the...
14 KB (1,390 words) - 16:04, 8 February 2025
Information Processing Society (CIPS), Canada Chinese Institute of Electronics - CIE, China Centro Latinoamericano de Estudios Informatica, Costa Rica...
36 KB (4,167 words) - 06:40, 28 April 2025
Process Model and Notation (BPMN) tools. Note: all tools do support BPMN Version 2.0. Alfresco. "Alfresco launches Activiti BPMN 2.0 Business Process...
10 KB (259 words) - 10:20, 1 June 2025
flow networks". Acta Informatica. 32 (4): 347–374. doi:10.1007/BF01178383. Parks, Thomas M. (1995). Bounded Scheduling of Process Networks (Ph. D.). University...
11 KB (1,457 words) - 02:42, 26 May 2025
Positivo Tecnologia (redirect from Positivo Informatica)
Positivo Tecnologia (B3: POSI3, formerly Positivo Informática) is a Brazilian technology company headquartered in Curitiba, Paraná. It develops, manufactures...
10 KB (875 words) - 07:54, 24 March 2025
University of Informatic Sciences (Spanish: Universidad de las Ciencias Informáticas; UCI, also known as the University of Information Sciences and University...
4 KB (302 words) - 21:25, 15 December 2024
management system (RDBMS) originally developed at the Centrum Wiskunde & Informatica (CWI) in the Netherlands. It is designed to provide high performance...
28 KB (2,912 words) - 20:25, 6 April 2025
Neural network (machine learning) (redirect from Neural network processor)
Symposium Informatica 3-121-5, Bled. Bozinovski S.(2020) "Reminder of the first paper on transfer learning in neural networks, 1976". Informatica 44: 291–302...
169 KB (17,641 words) - 00:21, 11 June 2025
Brazilian Society of Health Informatics (redirect from Sociedade Brasileira de Informática em Saúde)
The Sociedade Brasileira de Informática em Saúde (Brazilian Society of Health Informatics), abbreviated as SBIS, is a professional society created in...
11 KB (1,100 words) - 18:13, 26 July 2024
mCRL2 HyPA — a process algebra for hybrid systems J.C.M. Baeten, A brief history of process algebra, Rapport CSR 04-02, Vakgroep Informatica, Technische...
10 KB (1,754 words) - 21:23, 20 August 2024
control Information and Computation Acta Informatica Information Processing Letters Neural Information Processing Systems Journal of Automata, Languages...
34 KB (2,867 words) - 23:13, 22 May 2025
Consultoria e Assessoria em Informática S.A.) is a private Brazilian multinational, service and software provider, for data processing and consulting, based...
2 KB (99 words) - 02:09, 8 December 2024
Computer science (section Image and sound processing)
used, e.g. informatique (French), Informatik (German), informatica (Italian, Dutch), informática (Spanish, Portuguese), informatika (Slavic languages and...
73 KB (6,712 words) - 20:16, 28 May 2025
Anderson, T.; Eve, J.; Horning, J. (1973). "Efficient LR(1) parsers". Acta Informatica (2): 2–39. DeRemer, Frank; Pennello, Thomas (October 1982). "Efficient...
11 KB (1,470 words) - 12:41, 29 November 2024
National Informatics Congress CelerIT hosted by Stichting Nationaal Informatica Congres (SNiC). Sanderson offered his perspective on how mathematics...
15 KB (1,079 words) - 19:56, 17 May 2025
advised by Wayne Richter. He was a researcher at Centrum Wiskunde & Informatica (CWI) and the University of Amsterdam until 1991, when he was appointed...
4 KB (284 words) - 07:52, 4 June 2024
Universidade Católica de Campinas: texto publicado na Revista do Instituto de Informática da PUC Campinas, em 2001. DURAND, Daniel. La systémique. Collection Que...
7 KB (920 words) - 07:33, 17 February 2024
Search engine indexing (redirect from Search Engine Indexing Process)
McCreight. Organization and maintenance of large ordered indices. Acta Informatica, 173-189, 1972. Donald E. Knuth. The Art of Computer Programming, volume...
35 KB (4,732 words) - 12:25, 28 February 2025
2015-02-06. Retrieved 2015-02-06. "INGENIERÍA CIVIL INFORMÁTICA | INGENIERÍA DE EJECUCIÓN EN INFORMÁTICA" (PDF) (in Spanish). PUCV. Archived from the original...
31 KB (3,358 words) - 13:20, 3 June 2025
Nacional de Estadística e Informática. Perfil sociodemográfico del Perú. Lima: INEI, 2008. Instituto Nacional de Estadística e Informática. Perú: Estimaciones...
222 KB (22,601 words) - 01:23, 10 June 2025
original on March 10, 2014. Retrieved February 3, 2014. "Jive Elects Informatica Executive Margaret Breya to Board of Directors". Jive Software. Archived...
36 KB (2,459 words) - 21:08, 8 June 2025
Trimestre 2023" [Statistics Bulletin Third Trimester 2023] (PDF). Ufficio Informatica, Tecnologia, Dati e Statistica (in Italian). 2023. p. 9. Retrieved 9...
113 KB (10,955 words) - 05:02, 9 June 2025
Centrum Wiskunde & Informatica (CWI) in the Netherlands. The project co-founders designed DuckDB to address the need for an in-process OLAP database solution...
14 KB (1,079 words) - 21:59, 21 May 2025
Π-calculus (category Process calculi)
Sangiorgi, D. (1996). "A theory of bisimulation for the π-calculus". Acta Informatica. 33: 69–97. doi:10.1007/s002360050036. S2CID 18155730. "BPML | BPEL4WS:...
31 KB (4,841 words) - 18:43, 1 June 2025
Estadística e Informática. Lima Metropolitana perfil socio-demográfico. Lima: INEI, 1996. (in Spanish) Instituto Nacional de Estadística e Informática, Perfil...
170 KB (18,041 words) - 21:22, 2 June 2025
Quadtree (section Image processing using quadtrees)
"Quad trees a data structure for retrieval on composite keys". Acta Informatica. 4 (1): 1–9. doi:10.1007/BF00288933. S2CID 33019699. Retrieved 6 November...
34 KB (4,712 words) - 16:58, 12 March 2025