Extracting TLA⁺ Specifications Out of a Program for a BEAM Virtual Machine.

Συγγραφείς: Maliuginas, Andrius, Petrauskas, Karolis

Πηγή: Vilnius University Open Series; 2024, p98-105, 8p

Θεματικοί όροι: Virtual machine systems, Elixir (Computer program language), Translations, Mathematical analysis, Reliability in engineering

ReGaTE: Registration of Galaxy Tools in Elixir.

Συγγραφείς: Doppelt-Azeroual, Olivia¹ olivia.doppelt@pasteur.fr, Mareuil, Fabien¹, Deveaud, Eric¹, Kalaš, Matúš², Soranzo, Nicola³, van den Beek, Marius⁴, Grüning, Björn⁵, Ison, Jon⁶, Ménager, Hervé¹

Πηγή: GigaScience. Jun2017, Vol. 6 Issue 6, p1-4. 4p.

Θεματικοί όροι: *Bioinformatics, *Elixir (Computer program language)

An Expressive and Efficient Language for XML Information Retrieval.

Συγγραφείς: Chinenyanga, Taurai Tapiwa, Kushmerick, Nicholas

Πηγή: Journal of the American Society for Information Science & Technology. Apr2002, Vol. 53 Issue 6, p438-453. 16p. 5 Diagrams, 2 Charts, 3 Graphs.

Θεματικοί όροι: *XML (Extensible Markup Language), Elixir (Computer program language), Query languages (Computer science)

Thailand's Low-Cost Carrier Airline Industry: Is the Services Marketing Mix the Elixir for Economic Growth and Prosperity?

Συγγραφείς: Srisook, Phoom¹ phoomsri.pim@gmail.com, Panjakajornsak, Vinai¹

Πηγή: Asia-Pacific Social Science Review (APSSR). Sep2018 Special Issue, Vol. 18, p65-79. 15p.

Θεματικοί όροι: Airline industry, Low cost airlines, Marketing in service industries, Air travelers, Economic development, Elixir (Computer program language)

Γεωγραφικοί όροι: Thailand

Real-World Event Sourcing

Συγγραφείς: Kevin Hoffman

Resource Type: eBook.

Θέματα: Real-time data processing, Elixir (Computer program language), Computer programming, Event detection

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / General

ElixirST : a session-based type system for Elixir modules

Συγγραφείς: Francalanza, Adrian, Tabone, Gerard

Θεματικοί όροι: Elixir (Computer program language), Functional programming languages, Functional programming (Computer science), Computer programming, ERLANG (Computer program language)

Relation: https://www.um.edu.mt/library/oar/handle/123456789/131278

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/131278
https://doi.org/10.1016/j.jlamp.2023.100891

Machine Learning in Elixir

Συγγραφείς: Sean Moriarity

Resource Type: eBook.

Θέματα: Machine learning, Elixir (Computer program language)

Categories: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Languages / General

From Ruby to Elixir : Unleash the Full Potential of Functional Programming

Συγγραφείς: Stephen Bussey

Resource Type: eBook.

Θέματα: Elixir (Computer program language), Ruby (Computer program language), Functional programming languages, Object-oriented programming languages

Categories: COMPUTERS / Languages / General, COMPUTERS / General, COMPUTERS / Languages / Ruby, COMPUTERS / Internet / Web Programming

Using registries to integrate bioinformatics tools and services into workbench environments.

Συγγραφείς: Ménager, Hervé, Kalaš, Matúš, Rapacki, Kristoffer, Ison, Jon

Πηγή: International Journal on Software Tools for Technology Transfer; Nov2016, Vol. 18 Issue 6, p581-586, 6p

Θεματικοί όροι: Bioinformatics, Workbenches, Data analysis, Elixir (Computer program language), Biological research, Software development tools

Graft : general purpose raft consensus in Elixir

Συγγραφείς: Le Brun, Matthew Alan, Attard, Duncan Paul, Francalanza, Adrian, 20th ACM SIGPLAN International Workshop on Erlang (Erlang ’21)

Θεματικοί όροι: Software engineering, Computer software -- Verification, Client/server computing, Elixir (Computer program language), Asynchronous transfer mode

Relation: https://www.um.edu.mt/library/oar/handle/123456789/85959

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/85959
https://doi.org/10.1145/3471871.3472963

Build Your Own Web Framework in Elixir : Develop Lightning-fast Web Applications Using Phoenix and Metaprogramming

Συγγραφείς: Aditya Iyengar

Resource Type: eBook.

Θέματα: Elixir (Computer program language), Web site development, Web applications--Programming

Categories: COMPUTERS / General, COMPUTERS / Web / General, COMPUTERS / Internet / Web Programming

Static checking of concurrent programs in Elixir using session types

Συγγραφείς: Tabone, Gerard (2022)

Θεματικοί όροι: Elixir (Computer program language), Parallel programming (Computer science)

Relation: Tabone, G. (2022). Static checking of concurrent programs in Elixir using session types (Master's dissertation).; https://www.um.edu.mt/library/oar/handle/123456789/141263

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/141263

Build a Binary Clock with Elixir and Nerves : Use Layering to Produce Better Embedded Systems

Συγγραφείς: Frank Hunleth, Bruce Tate

Resource Type: eBook.

Θέματα: Elixir (Computer program language), Embedded computer systems, Electronic clocks and watches--Computer programs

Categories: COMPUTERS / Hardware / Mainframes & Minicomputers, COMPUTERS / Hardware / Personal Computers / General, COMPUTERS / Languages / General, COMPUTERS / Computer Engineering

Programmer Passport: Elixir

Συγγραφείς: Bruce Tate

Resource Type: eBook.

Θέματα: Computer programming, Elixir (Computer program language), Functional programming languages

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Literacy, COMPUTERS / Languages / General, COMPUTERS / Programming / Open Source

Programmer Passport: OTP

Συγγραφείς: Bruce Tate

Resource Type: eBook.

Θέματα: Functional programming (Computer science), Elixir (Computer program language), Software architecture

Categories: COMPUTERS / Languages / General, COMPUTERS / Distributed Systems / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / Systems Analysis & Design

Concurrent Data Processing in Elixir : Fast, Resilient Applications with OTP, GenStage, Flow, and Broadway

Συγγραφείς: Svilen Gospodinov

Resource Type: eBook.

Θέματα: Application software--Development, Elixir (Computer program language)

Categories: COMPUTERS / Data Science / General, COMPUTERS / Programming / Parallel, COMPUTERS / Internet / Web Programming

Testing Elixir : Effective and Robust Testing for Elixir and Its Ecosystem

Συγγραφείς: Andrea Leopardi, Jeffrey Matthias

Resource Type: eBook.

Θέματα: Elixir (Computer program language)

Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Software Development & Engineering / Tools

Exploring Graphs with Elixir : Connect Data with Native Graph Libraries and Graph Databases

Συγγραφείς: Tony Hammond

Resource Type: eBook.

Θέματα: Elixir (Computer program language), Graph theory--Data processing

Categories: COMPUTERS / Data Science / Data Modeling & Design, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Parallel, COMPUTERS / Computer Engineering

プログラミング Elixir = : Programming Elixir1.6 : functional, concurrent, pragmatic, fun

Συγγραφείς: Dave Thomas, 笹田 耕一, 鳥井 雪

Resource Type: eBook.

Θέματα: Computer programming, Elixir (Computer program language), Functional programming languages

Categories: COMPUTERS / Programming / General, COMPUTERS / Parallel Processing

Real-Time Phoenix : Build Highly Scalable Systems with Channels

Συγγραφείς: Stephen Bussey

Resource Type: eBook.

Θέματα: Web applications--Programming, Phoenix (Web framework), Web site development, Elixir (Computer program language)

Categories: COMPUTERS / Internet / Web Programming, COMPUTERS / Languages / General, COMPUTERS / Programming / Mobile Devices