Results 101 to 110 of about 6,857,309 (337)

eCherry: A Modelica Library for Modular Dynamic Modelling of Electrochemical Reactors

Electrochemical Science Advances, EarlyView.
ABSTRACT Electrochemical reactors offer promising pathways for defossilizing the chemical industry. To understand the operation as well as to evaluate and optimise their performance and efficiency, modelling presents a crucial tool. Currently, no comprehensive open‐source library for dynamic modelling of electrochemical reactors exists, and instead ...
Jan F. Pyschik, Katharina M. Ebeling, Georgia Ioanna Prokopou, Michael J. Rix, J. Raphael Seidenberg, Marius B. Kleiner, Matthias Leitl, Alexander Mitsos, Dominik Bongartz   +8 more
wiley   +1 more source

Higher-Order Abstract Syntax in Coq

, 1995
The terms of the simply-typed $\lambda$-calculus can be used to express the {\em higher-order abstract syntax} of objects such as logical formulas, proofs, and programs. Support for the manipulation of such objects is provided in several programming languages (e.g. $\lambda$Prolog, Elf). Such languages also provide embedded implication, a tool which is
Despeyroux, Joëlle, Felty, Amy, Hirschowitz, André   +2 more
openaire   +4 more sources

Research on monitoring method during the construction of safety-critical software

Xibei Gongye Daxue Xuebao
The C language is widely used in aerospace and other critical areas due to its flexibility and high efficiency. However, C programs have safety risks, such as unrestricted pointer operations and lack of boundary checks for arrays and strings, which can ...
WANG Ben, DING Chengjun, LIN Wei, MA Chunyan   +3 more
doaj   +1 more source

COMPILER FRONT END FUSION: UNDO DESUGARING IN LANGUAGE PROCESSING TOOLS

Studia Universitatis Babes-Bolyai: Series Informatica, 2018
Compiler front ends often perform desugaring on the source code while constructing the abstract syntax tree (AST). A programming language processing tool (such as a refactoring tool) working with the desugared AST perceives the code at this abstract ...
Artúr POÓR, Tamás KOZSIK, Melinda TÓTH, István BOZÓ   +3 more
doaj   +1 more source

A Comparison of Psychiatric Comorbid Symptomology Between Adolescents With Restrictive/Avoidant Food Intake Disorder, Anorexia Nervosa and Atypical Anorexia Nervosa

European Eating Disorders Review, EarlyView.
ABSTRACT Objective Psychiatric comorbid conditions are common among individuals with Eating Disorders (EDs), and these symptoms may exacerbate and/or interact with ED symptoms and impact treatment effectiveness. Whilst comorbid symptomology in Anorexia Nervosa (AN) has been well described, less is known about how the ‘newer’ ED diagnoses of Atypical ...
Daniel Wilson, Govind Krishnamorthy, Renata A. Mendes, Tania Withington, Melanie Dalton, Natalie J. Loxton   +5 more
wiley   +1 more source

AstBERT: Enabling Language Model for Financial Code Understanding with Abstract Syntax Trees [PDF]

, 2022
Rong Liang, Tiehua Zhang, Yujie Lu, Yuze Liu, Zhen Huang, Xin Chen   +5 more
openalex   +3 more sources

A Meta‐Analysis of Employee HR Attributions and Their Relationships With Employee‐Perceived High‐Performance Work Systems and Employee Outcomes

Human Resource Management, EarlyView.
ABSTRACT Research on HR attributions has received a considerable amount of attention in the study of employee perceptions of human resource management (HRM). This increased attention is based on the premise that employee attributions about why certain HR practices are implemented significantly influence employee outcomes.
Dishi Hu, In‐Sue Oh, Anastasiia Agolli
wiley   +1 more source

Employer Responsiveness to Online Reviews: A Signal of Caring About Employees

Human Resource Management, EarlyView.
ABSTRACT Employer reviews (i.e., online workplace ratings authored by employees) attract broad interest and shape the opinions of potential employees. Thus, companies face the challenge of dealing with these workplace judgments that are outside their direct control.
Christoph E. Höllig, Endrit Ademi, Andranik Tumasjan   +2 more
wiley   +1 more source

Exploring the potential of AI‐powered applications for clinical decision‐making in gynecologic oncology

International Journal of Gynecology &Obstetrics, EarlyView.
Abstract Objective The rise of artificial intelligence (AI) and large language models like Llama, Gemini, or Generative Pretraining Transformer (GPT) signals a promising new era in natural language processing and has significant potential for application in medical care.
Bastian Meyer, Raphael Kfuri‐Rubens, Georg Schmidt, Maliha Tariq, Caroline Riedel, Florian Recker, Fabian Riedel, Marion Kiechle, Maximilian Riedel   +8 more
wiley   +1 more source

Incremental Prognostic Value of the Incorporation of Clinical Data Into Coronary Anatomy Data in Acute Coronary Syndromes: SYNTAX-GRACE Score

Arquivos Brasileiros de Cardiologia, 2017
Background: When performing coronary angiography in patients with acute coronary syndrome (ACS), the anatomical extent of coronary disease usually prevails in the prognostic reasoning.
Mateus dos Santos Viana, Fernanda Lopes, Antonio Mauricio dos Santos Cerqueira Junior, Jessica Gonzalez Suerdieck, André Barcelos da Silva, Ana Clara Barcelos da Silva, Thiago Menezes Barbosa de Souza, Manuela Campelo Carvalhal, Marcia Maria Noya Rabelo, Luis Claudio Lemos Correia   +9 more
doaj   +1 more source