Informatica Inc. is an American software development company founded in 1993. It is headquartered in Redwood City, California. Its core products include...
14 KB (894 words) - 19:51, 13 June 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 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
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
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
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
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
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
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
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
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
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
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,713 words) - 22:29, 13 June 2025
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
Tudor Vianu National College of Computer Science (redirect from Colegiul Naţional de Informatică Tudor Vianu)
National High School of Computer Science (Romanian: Colegiul Național de Informatică Tudor Vianu) is a public secondary school located at 10 Arhitect Ion...
17 KB (1,785 words) - 21:05, 23 May 2025
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
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
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
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
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
ISBN 978-3-540-67958-5. Wirth, N. (1971). "The Programming Language Pascal". Acta Informatica. 1 (1): 35–63. doi:10.1007/BF00264291. hdl:20.500.11850/68712. Wirth...
70 KB (8,514 words) - 22:41, 26 May 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,611 words) - 02:02, 16 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
(1996-06-01). "The log-structured merge-tree (LSM-tree)" (PDF). Acta Informatica. 33 (4): 351–385. doi:10.1007/s002360050048. ISSN 1432-0525. S2CID 12627452...
14 KB (1,936 words) - 08:24, 10 January 2025
Chinese puzzle ball (section Production process)
Balls: A Case Study in Technical Art History" (PDF). Centrum Wiskunde & Informatica. Archived (PDF) from the original on 2020-06-18. Huang, Bing (2022-04-03)...
23 KB (2,785 words) - 06:56, 9 June 2025
This article is a comparison of notable business integration and business process automation software. Scope of this comparison: Service-oriented architecture...
22 KB (359 words) - 12:22, 13 March 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