İçeriğe atla

Axiom (bilgisayarlı cebir sistemi)

Axiom
Axiom bir yüzeyi gösterirken
Geliştirici(ler)Bağımsız insan grubu
Güncel sürümSon Docker sürümü / 13 Kasım 2015 (8 yıl önce) (2015-11-13)[1]
Önizleme sürümüSourceforge master / 6 Şubat 2022 (2 yıl önce) (2022-02-06)
Programlama diliLisp
İşletim sistemiÇapraz platform
TürBilgisayarlı cebir sistemi
LisansDeğiştirilmiş BSD Lisansı
Resmî sitesiaxiom-developer.org
Kod deposusourceforge.net/p/axiom/code/

Axiom, özgür, genel amaçlı bir bilgisayarlı cebir sistemidir. Bir yorumlayıcı ortamı, bir derleyici ve güçlü tipleme hiyerarşisi tanımlayan bir kütüphaneden oluşur.

Tarihçe

Scratchpad adlı iki bilgisayar cebir sistemi IBM tarafından geliştirilmiştir. İlki 1965 yılında James Griesmer[2] tarafından Ralph Gomory'nin isteği üzerine başlatılmış ve Fortran dilinde yazılmıştır.[3] Bu yazılımın geliştirilmesi herhangi bir halka açık sürümden önce durdurulmuştur. Orijinal adı Scratchpad II olan ikinci Scratchpad, 1977'den itibaren Richard Dimick Jenks yönetiminde Thomas J. Watson Araştırma Merkezi'nde geliştirildi.[4]

Tasarım esas olarak Richard D. Jenks (IBM Research), James H. Davenport (Bath Üniversitesi), Barry M. Trager (IBM Research), David Y.Y. Yun (Southern Methodist University) ve Victor S. Miller'a (IBM Research) aittir. Projenin ilk danışmanları David Barton (University of California, Berkeley) ve James W. Thatcher (IBM Research) idi. Uygulamada Robert Sutor (IBM Research), Scott C. Morrison (University of California, Berkeley), Christine J. Sundaresan (IBM Research), Timothy Daly (IBM Research), Patrizia Gianni (Pisa Üniversitesi), Albrecht Fortenbacher (Universitaet Karlsruhe), Stephen M. Watt (IBM Research ve Waterloo Üniversitesi), Josh Cohen (Yale Üniversitesi), Michael Rothstein (Kent State University), Manuel Bronstein (IBM Research), Michael Monagan (Simon Fraser Üniversitesi), Jonathan Steinbach (IBM Research), William Burge (IBM Research), Jim Wen (IBM Research), William Sit (City College of New York) ve Clifton Williamson (IBM Research)[5]

Scratchpad II, IBM 1990 civarında ticari bir ürün haline getirmeye karar verdiğinde Axiom olarak yeniden adlandırıldı. Birkaç yıl sonra NAG'a satıldı. 2001 yılında piyasadan çekildi ve Değiştirilmiş BSD Lisansı altında yeniden yayımlandı. O zamandan beri projenin baş geliştiricisi Tim Daly'dir.

2007 yılında, "proje hedefleri konusunda ciddi anlaşmazlık" sonrasında Axiom iki kez çatallandı[6] ve iki farklı açık kaynaklı proje ortaya çıktı: OpenAxiom[7] ve FriCAS.[8] Axiom projesi Tim Daly tarafından geliştirilmeye devam etti.

Belgelendirme

Axiom, bir kolay anlaşılır programdır.[9] Kaynak kodu, axiom-developer.org web sitesinde bulunan bir dizi cilt halinde kullanıma sunulmaktadır. Bu ciltler sistemin gerçek kaynak kodunu içermektedir.

Halihazırda mevcut olan belgeler şunlardır:

Videolar

Axiom projesi dokümantasyon sağlamaya büyük önem vermektedir. Kısa bir süre önce proje, axiom-developer.org web sitesinde[10] de bulunan bir dizi eğitici videonun ilkini duyurdu. İlk video Axiom bilgi kaynakları hakkında ayrıntılı bilgi vermektedir.[11]

Felsefe

Axiom projesi, "30 Yıllık Ufuk (30 Year Horizon)" üzerine odaklanmaktadır. Temel felsefe, Axiom'un yeni nesil hesaplamalı matematikçiler için yararlı olabilmesi için birkaç temel özellik geliştirmesi gerektiğidir. Knuth'un kolay anlaşılır programlama tekniği kaynak kodu boyunca kullanılmaktadır. Axiom, algoritmaların doğruluğunu kanıtlamak için kanıt teknolojisini kullanmayı planlamaktadır (Coq ve ACL2 gibi).

Axiom, sürekli sürüm sürecinin bir parçası olarak Docker konteynerler kullanır. En son görüntü, docker ve komutlar kullanılarak herhangi bir platformda kullanılabilir: 

docker pull daly/axiom

docker run -i -t daly/axiom axiom

Tasarım

Axiom'da her nesne bir türe sahiptir. Türlere örnek olarak matematiksel yapılar (örneğin halkalar, cisimler, polinomlar) ve bilgisayar bilimlerindeki veri yapıları (örneğin listeler, ağaçlar, özet tabloları) verilebilir.

Bir fonksiyon, argüman olarak bir tür alabilir ve geri dönüş değeri de bir tür olabilir. Örneğin, Fraction argüman olarak bir IntegralDomain alan ve argümanının kesirler alanını döndüren bir fonksiyondur. Başka bir örnek olarak, rasyonel girdileri olan matrislerinin halkası SquareMatrix(4, Fraction Integer) olarak oluşturulabilir. Elbette, bu alanda çalışırken, 1 kimlik matrisi olarak yorumlanır ve A^-1, eğer varsa, A matrisinin tersini verir.

Birkaç işlem aynı isme sahip olabilir ve hem argümanların hem de sonucun türleri hangi işlemin uygulanacağını belirlemek için kullanılır (bkz. fonksiyon aşırı yükleme).

Axiom, SPAD adı verilen bir uzantı dili ile birlikte gelir. Axiom'un tüm matematiksel bilgisi bu dilde yazılır. Yorumlayıcı kabaca aynı dili kabul eder.

Özellikler

Yorumlayıcı ortamında Axiom, tip kalıtımı ve sezgisel bir algoritma kullanarak açık tip ek açıklamalarını çoğunlukla gereksiz hale getirir.

Etkileşimli tarayıcı benzeri bir yardım sistemi olan 'HyperDoc' özelliğine sahiptir ve iki ve üç boyutlu grafikleri görüntüleyebilir, ayrıca döndürme ve aydınlatma gibi etkileşimli özellikler sağlar. Ayrıca Emacs için özel bir etkileşim modunun yanı sıra TeXmacs editörü için bir eklentiye sahiptir.

  • Bir etki alanı (domain) için kullanılabilir işlemleri görüntüleyen HyperDoc
    Bir etki alanı (domain) için kullanılabilir işlemleri görüntüleyen HyperDoc
  • Axiom Firefox Taryıcı Arayüzü
    Axiom Firefox Taryıcı Arayüzü
  • Bir ısı denklemini sadeleştiren Axiom
    Bir ısı denklemini sadeleştiren Axiom
  • Axiom matris manipülasyonu
    Axiom matris manipülasyonu
  • Bir Risch integralini hesaplayan Axiom
    Bir Risch integralini hesaplayan Axiom

Axiom, Manuel Bronstein ve Barry Trager tarafından yapılan temel integral fonksiyonu için Risch algoritmasının bir uygulamasına sahiptir. Bu uygulama çoğu temel ters-türevi ve var olup olmadıklarını bulabilirken, bazı uygulanmamış dallara sahiptir ve integral alma sırasında bu tür durumlarla karşılaşıldığında bir hata verir.[12][13]

Ayrıca bakınız

  • A# programlama dili
  • Aldor programlama dili
  • Bilgisayarlı cebir sistemleri listesi

Kaynakça

  1. ^ "daly/axiom Tags". Docker Hub. 3 Temmuz 2022 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Mart 2022. 
  2. ^ Fitch, John (23 Temmuz 2012). "James Griesmer 1929--2011". ACM Communications in Computer Algebra. 46 (1/2): 10-11. doi:10.1145/2338496.2338499 Özgürce erişilebilir. 
  3. ^ "Axiom Computer Algebra System". axiom-developer.org. 18 Ağustos 2004 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  4. ^ "Richard D. Jenks Biographical Information". www.eecis.udel.edu. 25 Haziran 2022 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  5. ^ "EUROCAL '85 | SpringerLink". www.springer.com. 
  6. ^ "History — FriCAS". fricas.github.io. 24 Mayıs 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  7. ^ "OpenAxiom: The Open Scientific Computation Platform". www.open-axiom.org. 12 Nisan 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  8. ^ "FriCAS 18a5ef5d99c796a89efeac06df40043a85b3d44d — FriCAS". fricas.github.io. 13 Eylül 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  9. ^ Why Literate Programming? 30 Ocak 2009 tarihinde Wayback Machine sitesinde arşivlendi. at axiom-developer.org website 18 Ağustos 2004 tarihinde Wayback Machine sitesinde arşivlendi.
  10. ^ "Axiom Computer Algebra System". www.axiom-developer.org. 8 Ekim 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  11. ^ "Axiom Computer Algebra System Information Sources". YouTube. 30 Kasım 2008. 29 Mart 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ekim 2023. 
  12. ^ Bronstein, Manuel (5 Eylül 2003). "Manuel Bronstein on Axiom's Integration Capabilities". groups.google.com. 10 Şubat 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Şubat 2023. 
  13. ^ "integration - Does there exist a complete implementation of the Risch algorithm?". MathOverflow (İngilizce). 15 Ekim 2020. 21 Ağustos 2023 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Şubat 2023. 

Konuyla ilgili okumalar

  • James H. Griesmer; Richard D. Jenks (1971). "SCRATCHPAD/1: An interactive facility for symbolic mathematics | Proceedings of the second ACM symposium on Symbolic and algebraic manipulation (SYMSAC '71)": 42-58. 
  • Richard D. Jenks (1971). META/PLUS - The Syntax Extension Facility for SCRATCHPAD (Research report). IBM Thomas J. Watson Research Center. RC 3259. 
  • James H. Griesmer; Richard D. Jenks (1972). "Experience with an online symbolic mathematics system | Proceedings of the ONLINE72 Conference". 1. Brunel University: 457-476. 
  • James H. Griesmer; Richard D. Jenks (1972). "Scratchpad". ACM SIGPLAN Notices. 7 (10): 93-102. doi:10.1145/942576.807019. 
  • Richard D. Jenks (1974). "The SCRATCHPAD language". ACM SIGSAM Bulletin. 8 (2): 20-30. doi:10.1145/1086830.1086834. 
  • Arthur C. Norman (1975). "Computing with Formal Power Series". ACM Transactions on Mathematical Software. 1 (4): 346-356. doi:10.1145/355656.355660. ISSN 0098-3500. 
  • Richard D. Jenks (1976). "A pattern compiler | Proceedings of the third ACM symposium on Symbolic and algebraic manipulation (SYMSAC '76)": 60-65. 
  • E. Lueken (1977). Ueberlegungen zur Implementierung eines Formelmanipulationssystems (Masters thesis) (Almanca). Germany: Technischen Universitat Carolo-Wilhelmina zu Braunschweig. 
  • George E. Andrews (1984). "MACSYMA". Schenectady: General Electric: 383-408. 
  • James H. Davenport; P. Gianni; Richard D. Jenks; V. Miller; Scott Morrison; M. Rothstein; C. Sundaresan; Robert S. Sutor; Barry Trager (1984). "Scratchpad". Mathematical Sciences Department, IBM Thomas J. Watson Research Center. 
  • Richard D. Jenks (1984). "The New SCRATCHPAD Language and System for Computer Algebra". Proceedings of the 1984 MACSYMA Users' Conference: 409-416. 
  • Richard D. Jenks (1984). "A primer: 11 keys to New Scratchpad | Proceedings of International Symposium on Symbolic and Algebraic Computation '84". Springer: 123-147. 
  • Robert S. Sutor (1985). "The Scratchpad II Computer Algebra Language and System | Proceedings of International Symposium on Symbolic and Algebraic Computation '85". Springer: 32-33. 
  • Rüdiger Gebauer; H. Michael Möller (1986). Buchberger's algorithm and staggered linear bases | Proceedings of the fifth ACM symposium on Symbolic and algebraic computation (International Symposium on Symbolic and Algebraic Computation '86). ACM. ss. 218-221. ISBN 978-0-89791-199-3. 
  • Richard D. Jenks; Robert S. Sutor; Stephen M. Watt (1986). Scratchpad II: an abstract datatype system for mathematical computation (Research report). IBM Thomas J. Watson Research Center. RC 12327. 
  • Michael Lucks; Bruce W. Char (1986). A fast implementation of polynomial factorization | Proceedings of SYMSAC '86. ACM. ss. 228-232. ISBN 978-0-89791-199-3. 
  • J. Purtilo (1986). Applications of a software interconnection system in mathematical problem solving environments | Proceedings of SYMSAC '86. ACM. ss. 16-23. ISBN 978-0-89791-199-3. 
  • William H. Burge; Stephen M. Watt (1987). Infinite Structure in SCRATCHPAD II (Research report). IBM Thomas J. Watson Research Center. RC 12794. 
  • Pascale Sénéchaud; Françoise Siebert; Gilles Villard (1987). Scratchpad II: Présentation d'un nouveau langage de calcul formel. TIM (Research report) (Fransızca). IMAG, Grenoble Institute of Technology. 640-M. 
  • Robert S. Sutor; Richard D. Jenks (1987). "The type inference and coercion facilities in the scratchpad II interpreter". Papers of the Symposium on Interpreters and interpretive techniques - SIGPLAN '87. ss. 56-63. doi:10.1145/29650.29656. ISBN 978-0-89791-235-8. 
  • George E. Andrews (1988). R. Janssen (Ed.). Application of SCRATCHPAD to problems in special functions and combinatorics | Trends in Computer Algebra. Lecture Notes in Computer Science. Springer. ss. 159-166. 
  • James H. Davenport; Yvon Siret; Evelyne Tournier (1993) [1988]. Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press. ISBN 978-0122042300. 
  • Rüdiger Gebauer; H. Michael Möller (1988). "On an installation of Buchberger's algorithm". Journal of Symbolic Computation. 6 (2–3): 275-286. doi:10.1016/s0747-7171(88)80048-8 Özgürce erişilebilir. ISSN 0747-7171. 
  • Fritz Schwarz (1988). R. Janssen (Ed.). Programming with abstract data types: the symmetry package (SPDE) in Scratchpad | Trends in Computer Algebra. Lecture Notes in Computer Science. Springer. ss. 167-176. 
  • David Shannon; Moss Sweedler (1988). "Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence". Journal of Symbolic Computation. 6 (2–3): 267-273. doi:10.1016/s0747-7171(88)80047-6 Özgürce erişilebilir. 
  • Hans-J. Boehm (1989). "Type inference in the presence of type abstraction". ACM SIGPLAN Notices. 24 (7): 192-206. doi:10.1145/74818.74835. 
  • Manuel Bronstein (1989). "Simplification of real elementary functions | Proceedings of the International Symposium on Symbolic and Algebraic Computation (SIGSAM '89)". ACM: 207-211. 
  • Claire Dicrescenzo; Dominique Duval (1989). P. Gianni (Ed.). "Algebraic extensions and algebraic closure in Scratchpad II | Symbolic and Algebraic Computation". Springer: 440-446. 
  • Timothy Daly "Axiom -- Thirty Years of Lisp"
  • Timothy Daly "Axiom" Invited Talk, Free Software Conference, Lyon, France, May, 2002
  • Timothy Daly "Axiom" Invited Talk, Libre Software Meeting, Metz, France, July 9–12, 2003

Dış bağlantılar

Wikimedia Commons'ta Axiom (computer algebra software) ile ilgili çoklu ortam belgeleri bulunur

Yazılım çatallanmaları:

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Bilgisayar bilimi</span> belirli evren kurallarına dayalı, sistematik çalışan ve elementlerin ya da ağların birbirleriyle olan ilişkisi

Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.

<span class="mw-page-title-main">Turing Ödülü</span> bilgisayar bilimi ödülü

ACM A.M. Turing Ödülü, modern bilgisayar biliminin kurucularından sayılan Alan Turing anısına, 1966'dan beri her yıl Association for Computing Machinery (ACM) tarafından bilişim dünyasına katkıda bulunanlara verilen bir ödüldür. Ödüle değer görülen katkılarda "kalıcı olma ve bilgisayar bilimi dünyasına önemli bir etki yapma" koşulu aranmaktadır. Bilişim konulu en önemli ödül olduğu düşünülen Turing Ödülü bilgisayar dünyasının Nobel Ödülü olarak da anılmaktadır.

Alonzo Church, matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı. En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır. Ayrıca dil felsefesi üzerinde çalıştı.

<span class="mw-page-title-main">Saul Kripke</span> Amerikalı filozof (1940 – 2022)

Saul Aaron Kripke Princeton Üniversitesi'nden emekli Amerikalı filozof ve mantıkçı. Rockefeller Üniversitesi ve Princeton Üniversitesi'nde dersler verdi. Emekli olduktan sonra, 2003'ten itibaren New York Şehir Üniversitesi'nde öğretim görevlisi oldu. Model mantığın anlambilimine büyük katkılar yaptı. 1960'larda önemli yayınlar çıkardı. İsimlendirme ve Gereklilik adlı kitabı en önemli çalışması olarak bilinir. Ludwig Wittgenstein'ın Felsefi Soruşturmalar adlı eserindeki önermelerinden ilham alarak dilbilimsel anlama şüphecilikle yaklaştı. Wittgenstein ve dilbilim hakkında yayınları vardır.

Bilgisayarlı cebir sistemi (BCS) sembolik matematiği kolaylaştıran yazılım programıdır. BCS işlevselliğinin özü sembolik biçimlerdeki matematiksel ifadelerin işleme koyabilmesidir.

<span class="mw-page-title-main">Saldırı tespit sistemleri</span>

Saldırı Tespit Sistemleri (STS) (İngilizce: Intrusion Detection Systems (IDS)), ağlara veya sistemlere karşı yapılan kötü niyetli aktiviteleri ya da politika ihlallerini izlemeye yarayan cihaz ya da yazılımlardır. Tespit edilen herhangi bir aktivite veya ihlal, ya bir yöneticiye bildirilir ya da bir güvenlik bilgi ve olay yönetimi (SIEM) sistemi kullanılarak merkezi olarak toplanır. SIEM sistemi, çeşitli kaynaklardan gelen çıktıları birleştirir ve kötü niyetli alarmı yanlış alarmlardan ayırmak için alarm filtreleme teknikleri kullanır.

Bilişim Biliminde; Evrim Stratejileri (ES), evrim ve adaptasyon fikri optimizasyon tekniğine dayanmaktadır. Bu evrimsel hesaplama veya yapay evrim metodolojilerinin genel sınıfına aittir.

<span class="mw-page-title-main">Stephen Wolfram</span> İngiliz-Amerikalı fizikçi ve matematikçi

Stephen Wolfram ingiliz bilgisayar bilimcisi, girişimci ve fizikçidir. ayrıca Kuramsal fiziğe olan katkılarıyla tanınmaktadır; Bilgi-tabanlı sistem programlamayı geliştirilmesiyle de bilinmektedir ; kurucusu olduğu Wolfram araştırmaları isimli şirkette Mathematica ve Wolfram Alpha cevap motorunu geliştirmiştir; Bunlara ek olarak "Yeni Tür Bilim" adlı kitabın yazarıdır.

Özel mülk yazılım ya da sahipli yazılım, yazılımın yaratıcısının, yayıncısının veya diğer hak sahibi ortaklarının fikrî mülkiyet hakkını ve telif hakkını kendi elinde tuttuğu bilgisayar yazılımıdır. Yazılımın alıcılarına, yazılımı özgürce paylaşma veya değiştirme hakkı vermez. Özel mülk yazılımlar, mülk sahipleri tarafından ücretli ya da ücretsiz olarak yayınlanabilir.

<span class="mw-page-title-main">Riiser-Larsen Denizi</span> deniz

Riiser-Larsen Denizi, Doğu Antarktika ve Güney Okyanusu'nda bulunan bir denizdir. Deniz, batıda Astrid Sırtı, doğuda Gunnerus Sırtı ve Kainanmaru Kıyısı ile sınırlı olup batıda Lazarev Denizi ve doğuda Kozmonotlar Denizi ile komşudur. Kuzey sınırı 65. güney enlemi olarak tanımlanmaktadır. Sovyetler Birliği tarafından önerilen isim hiçbir zaman Uluslararası Hidrografi Örgütü tarafından resmi olarak onaylanmadı.

Germplasm Resources Information Network, Ulusal Bitki Germplazm Sistemi tarafından toplanan tüm bitki germplazmasının holdingleri için bilgisayar veritabanını kapsamlı bir şekilde yönetmek için kullanılan çevrimiçi bir USDA Ulusal Genetik Kaynaklar Programı yazılım projesidir.

<span class="mw-page-title-main">Bilgisayar bilimi tarihi</span>

Bilgisayar bilimi tarihi, modern dijital bilgisayarların ortaya çıkışından çok daha öncelere dayanmaktadır. Abaküs gibi sabit sayısal görevleri hesaplamak için kullanılan makineler, antik çağlardan beri çarpma ve bölme gibi hesaplamalara yardımcı olmuştur. Hesaplamalar yapmaya yaran algoritmalar, antik çağlardan beri, hatta gelişmiş bilgi işlem ekipmanlarının geliştirilmesinden önce bile var olmuştur.

<span class="mw-page-title-main">Matematiksel ve teorik biyoloji</span>

Matematiksel ve teorik biyoloji, biyolojinin bilimsel teorileri kanıtlamak için gerekli deneyleri yapmakla uğraşan deneysel biyoloji dalının aksine biyolojik sistemlerin yapılarının, gelişimlerinin ve davranışlarının altında yatan ilkeleri araştırmak için yaşayan organizmaların teorik analizlerini, matematiksel modellerini ve soyutlamalarını kullanan bir dalıdır. Bu alan aynı zamanda matematiksel yanını vurgulamak için matematiksel biyoloji ya da biyomatematik ya da biyolojik yanını vurgulamak için ise teorik biyoloji olarak da adlandırılır. Teorik biyolojinin odak noktası daha çok biyolojinin teorik ilkelerinin geliştirilmesi iken matematiksel biyoloji biyolojik sistemlerin incelenmesinde matematiği kullanır ama her iki terim de bazen birbirinin yerine kullanılabilmektedir.

<span class="mw-page-title-main">Grady Booch</span> Amerikalı yazılımcı

Grady Booch, Ivar Jacobson ve James Rumbaugh ile Birleşik Modelleme Dili'ni (UML) geliştirmesiyle tanınan Amerikalı bir yazılım mühendisidir. Yazılım mimarisi, yazılım mühendisliği ve işbirliğine dayalı geliştirme ortamlarındaki yenilikçi çalışmaları ile uluslararası alanda tanınmaktadır.

Veri analizinde, anomali tespiti, verilerin çoğunluğundan önemli ölçüde farklılaşarak şüphe uyandıran nadir öğelerin, olayların veya gözlemlerin tanımlanmasıdır. Tipik olarak anormal öğeler, banka dolandırıcılığı, yapısal bir kusur, tıbbi sorunlar veya bir metindeki hatalar gibi bir tür soruna dönüşecektir. Anormallikler ayrıca aykırı değerler, yenilikler, gürültü, sapmalar ve istisnalar olarak da adlandırılmaktadır.

Bilimsel dergiler listesi, kendi alanında etkili olan belli başlı dergileri yayınlarını içermektedir.

<span class="mw-page-title-main">Monika Henzinger</span>

Monika Henzinger bir Alman bilgisayar bilimcisi ve Google'da eski bir araştırma direktörüdür.. Halen Viyana Üniversitesi'nde profesördür. Viyana Üniversitesi'ne geçmeden önce EPFL, İsviçre'de profesördü. Uzmanlığı temel olarak veri yapıları, algoritmik oyun teorisi, bilgi erişimi, arama algoritmaları ve web veri madenciliği odaklı algoritmalar üzerinedir. Thomas Henzinger ile evli ve üç çocuğu vardır.

<span class="mw-page-title-main">Anna Karlin</span> Amerikalı bilgisayar bilimcisi

Anna R. Karlin, Washington Üniversitesi'nde Microsoft Bilgisayar Bilimi ve Mühendisliği Profesörü olan Amerikalı bir bilgisayar bilimcidir.

<span class="mw-page-title-main">DBLP</span>

DBLP, bilgisayar bilimi bibliyografya sitesidir. 1993'te Almanya'daki Universität Trier'de başlayarak, küçük bir HTML dosyaları koleksiyonundan büyüdü ve bir veritabanı ve mantık programlama bibliyografya sitesi barındıran bir organizasyon haline geldi. Kasım 2018'den bu yana DBLP, Schloss Dagstuhl – Leibniz-Zentrum für Informatik'in (LZI) bir şubesidir. DBLP, 1995'te yaklaşık 14.000 ve Temmuz 2016'da 3,66 milyon olan bilgisayar bilimi üzerine Aralık 2020'de 5,4 milyondan fazla dergi makalesi, konferans makalesi ve diğer yayın listeledi.. Bilgisayar bilimi ile ilgili tüm önemli dergiler izlenir. Birçok konferansın tutanakları da takip edilmektedir. İnternetteki üç sitede yansıtılır.

SHARE İşletim Sistemi SHARE kullanıcı grubu tarafından 1959 yılında tanıtılımış bir işletim sistemidir. General Motors'un GM-NAA I/O adlı işletim sisteminin geliştirilmiş bir sürümüdür ve IBM 704 için geliştirlmiş ilk işletim sistemidir. Ana amaç programların paylaşımını geliştirmekti.


Bu sayfa, bu Vikipedi makalesine dayanmaktadır.
Metin, CC BY-SA 4.0 lisansı altında mevcuttur; ek koşullar uygulanabilir.
Görseller, videolar ve sesler kendi lisansları altında mevcuttur.