Results 41 to 50 of about 699 (280)

INFORMATION TECHNOLOGIES SPECIALISTS TRAINING IN HIGHER EDUCATION INSTITUTIONS OF UKRAINE: GENERAL STATE, PROBLEMS AND PERSPECTIVES

Ìнформаційні технології в освіті, 2018
The following article presents general state, problems and perspectives of specialists in information technologies training in higher education institutions of Ukraine, defines main problems of their training and outlines the prospects for improving ...
Proskura S., Lytvynova S.
doaj   +1 more source

B cells from anti-thyroid antibody positive, infertile women show hyper-reactivity to BCR stimulation

Frontiers in Immunology, 2022
Anti-thyroid antibody (ATA) positivity affects 1 out of 9 women in childbearing age and presents a significant risk for infertility. Emerging evidence indicates that alterations in the B cell receptor induced calcium (Ca2+) signaling could be key in the ...
Timea Serény-Litvai, Timea Serény-Litvai, Timea Serény-Litvai, Anna Bajnok, Anna Bajnok, Viktoria Temesfoi, Viktoria Temesfoi, Viktoria Temesfoi, Jasper Nörenberg, Jasper Nörenberg, Greta Pham-Dobor, Ambrus Kaposi, Akos Varnagy, Akos Varnagy, Kalman Kovacs, Kalman Kovacs, Sandor Pentek, Sandor Pentek, Tamas Koszegi, Tamas Koszegi, Tamas Koszegi, Emese Mezosi, Emese Mezosi, Timea Berki, Timea Berki   +24 more
doaj   +1 more source

Program Equivalence in the Erlang Actor Model

Computers
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky, Dániel Horpácsi, Simon Thompson   +2 more
doaj   +1 more source

The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages

J. Univers. Comput. Sci., 2006
JUCS - Journal of Universal Computer Science Volume Nr.
Silva,Anderson Faustino da, Costa,Vitor
openaire   +1 more source

Profile-based optimizations for JavaScript programs

Труды Института системного программирования РАН, 2018
In recent years, JavaScript has become one of the most popular programming languages on the web. Many massive applications are written using JavaScript, such as Gmail, Google docs, etc. JavaScript is also used in the Node.js - server-side web application
V. . Vardanyan
doaj   +1 more source

Integrating heuristiclab with compilers and interpreters for non-functional code optimization

, 2020
Modern compilers and interpreters provide code optimizations during compile and run time, simplifying the development process for the developer and resulting in optimized software.
Oliver Krauss, Dorfmeister, Daniel, Daniel Dorfmeister, Krauss, Oliver   +3 more
core   +1 more source

Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code

IEEE Access
Various static code analysis tools have been designed to automatically detect software faults and security vulnerabilities. This paper aims to 1) conduct an empirical evaluation to assess the performance of five free and state-of-the-art static analysis ...
Midya Alqaradaghi, Tamas Kozsik
doaj   +1 more source

Long and short-range air navigation on spherical Earth

International Journal of Aviation, Aeronautics, and Aerospace, 2017
Global range air navigation implies non-stop flight between any two airports on Earth. Such effort would require airplanes with the operational air range of at least 12,500 NM which is about 40-60% longer than anything existing in commercial air ...
Nihad E Daidzic
doaj   +1 more source

Long‐Term Neurologic Exam Findings in People Diagnosed and Treated During Acute HIV Infection

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Evaluate clinical and laboratory correlates of abnormal neurologic exam findings after acute HIV infection (AHI). Methods Participants from the RV254/SEARCH 010 cohort in Bangkok underwent standardized neurologic examinations at Weeks 0 (AHI), 12, 96, and 288 following antiretroviral therapy (ART).
Kathryn B. Holroyd, Tyler Hamby, Carlo Sacdalan, Somchai Sriplienchan, Pathariya Promensa, Luxenaree Poonpitak, Netsiri Dumrongpisutikul, Eugène Kroon, Sandhya Vasan, Robert Paul, Ferron O'Campo, Lydie Trautmann, Phillip Chan, Serena Spudich, on behalf of the RV254/SEARCH 010 Study Team, Julie Ake, Sandhya Vasan, Lydie Trautmann, Merlin Robb, Trevor Crowell, Donn Colby, Diane Bolton, Shelly Krebs, Leigh Ann Eller, Morgane Rolland, Rasmi Thomas, Dominic Paquin Proulx, Suteeraporn Pinyakorn, Tyler Hamby, Mark de Souza, Ellen Turk, Amber Moodley, Gerald Quarles, Jintanat Ananworanich, Denise Hsu, Victoria Polonis, Nelson Michael, Sheila Peel, COL Eric Garges, Alexandra Schuetz, Siriwat Akapirat, Bessara Nantapinit, Pornsuk Visudhiphan, Saowanit Getchalarat, Nampueng Churikanont, Sangsulee Thamakaison, Somchai Sriplienchan, Carlo Sacdalan, Pathariya Promsena, Luxe‐naree Poonpitak, Eugene Kroon, Nitiya Chomchey, Jintana Intasan, Varaporn Pothipala, Ferron Ocampo, Nittaya Phanuphak, Nipat Teeratakulpisan, Yuwaree Pichitchok, Anchalee Avihingsanon, Opass Putcharoen, Kiat Ruxrungtham, Thanyawee Puthanakit, Sopark Manasnayakorn, Phandee Watanaboonyongcharoen, Rungsun Rerknimitr, Irini Sereti, Daniel Douek, Eli Bortiz, Frank Maldarelli, Mary Kearney, Serena Spudich, Phillip Chan, Lishomwa Ndhlovu, Guinevere Li, Michael Corley, Victor Valcour, Peter Hunt, Jacob Estes, Afam Okoye, Jeff Lifson, Claire Deleage, Nicolas Chomont, Andres Finzi, Lyle McKinnon, Henrik Zetterberg, Robert Siliciano, Robert Paul, Julie Mannarino, Jonathan Li, John Mellors, Josh Cytkor, Dan Barouch, Michael Seaman, Boris Juelg, Alex Shalek, Timothy Schacker, Ashley Haase, Mario Stevenson, Wenjun Li, Arthur Kim, Sharon Lewin, Adam Carrico, Susana Valente, Fred Hutchinson, Josh Schiffer, Guido Ferrari, Beau Ances, Alberto Bosque, Katharine Bar, Killian Pohl, David Ho, Yaoxing Huang, Michael Busch, Mohamed Abdel‐Mohsen, Johanna Gostner, Brian Agan, Fatah Kashanchi, Greg Laird, Kathryn Holroyd   +118 more
wiley   +1 more source

Overview of Scalable Frameworks of Cross-Module Optimization

Труды Института системного программирования РАН, 2018
Most applications consist of separated modules. Optimization of such applications during building in the traditional way “compiling-linking” is reduced to a single module optimization.
K. U. Dolgorukova
doaj   +1 more source