Results 171 to 180 of about 43,033 (311)

Dynamic Data Structures for Timed Automata Acceptance. [PDF]

Algorithmica, 2022
Grez A, Mazowiecki F, Pilipczuk M, Puppis G, Riveros C.   +4 more
europepmc   +1 more source

Digital Technologies: Description, Classification, and Links to Circular Economy

Business Strategy and the Environment, EarlyView.
ABSTRACT Digital technologies (DTs) and circular economy (CE) are currently two topics that are expected to contribute significantly to sustainable development, and digitization is generally considered a key enabler of CE. However, most studies only cover the most known Industry 4.0 technologies, and very limited research detailing how DTs can support ...
Laura Piedra‐Muñoz, Eva M. García‐Granero, Raphael Ricardo Zepon Tarpani, Alejandro Gallego‐Schmid   +3 more
wiley   +1 more source

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design. [PDF]

PeerJ Comput Sci
Zhou W, Zhao Y, Zhang Y, Mu L, Wang Y, Yin M.   +5 more
europepmc   +1 more source

GraFLAP - Automated Grading of Formal Languages and Automata Problems

Grammars, automata, and machines in theoretical computer science can be viewed as specialized types of programs. Automata and grammars can be graded automatically using sets of words that either belong or don't belong to the corresponding language. For machines, traditional unit testing with predefined input and output can be performed.
openaire   +3 more sources

Industrial Dynamics and Business Strategies in the Emergence of Agricultural Biological Inputs

Business Strategy and the Environment, EarlyView.
ABSTRACT Biological products present a sustainable alternative to synthetic agricultural inputs, yet the industrial dynamics triggered by these solutions remain unexplored. This study examines the strategic responses of dominant agricultural input firms to the rise of biological solutions. Through qualitative textual analysis of press releases, company
Pablo Mac Clay, Guillermo Bort, Roberto Feeney, Jorge Sellare   +3 more
wiley   +1 more source

Quantum Collapse and Computation in an Everett Multiverse. [PDF]

Entropy (Basel)
Tamburini F, Licata I.
europepmc   +1 more source

Comparing in silico flowsheet optimization strategies in biopharmaceutical downstream processes

Biotechnology Progress, Volume 41, Issue 2, March/April 2025.
Abstract The challenging task of designing biopharmaceutical downstream processes is initially to select the type of unit operations, followed by optimizing their operating conditions. For complex flowsheet optimizations, the strategy becomes crucial in terms of duration and outcome.
Daphne Keulen, Myrto Apostolidi, Geoffroy Geldhof, Olivier Le Bussy, Martin Pabst, Marcel Ottens   +5 more
wiley   +1 more source

Higher-Order Logical Reasoning in Preschool Children: Evidence from Intonation and Quantifier Scope. [PDF]

Open Res Eur
Sauerland U, Sugawara A, Yatsushiro K.
europepmc   +1 more source

Novel molecular mechanisms of immune evasion in hepatocellular carcinoma: NSUN2‐mediated increase of SOAT2 RNA methylation

Cancer Communications, EarlyView.
Abstract Background Hepatocellular carcinoma (HCC) is a deadly malignancy known for its ability to evade immune surveillance. NOP2/Sun RNA methyltransferase family member 2 (NSUN2), an RNA methyltransferase involved in carcinogenesis, has been associated with immune evasion and energy metabolism reprogramming.
Jinhua Jiang, Feng Liu, Dan Cui, Caixia Xu, Jiachang Chi, Tinghua Yan, Fang Guo   +6 more
wiley   +1 more source

Effect of Inquiry-based Learning on Engineering Students as Collaborative Approach in Problem-Solving and Research for Formal Language Automata Course

P. Nagaraj, M. Raja, Josephine Selle Jeyanathan, V. Muneeswaran   +3 more
openalex   +1 more source