Results 91 to 100 of about 18,484 (310)
European Journal of Social Psychology, EarlyView.ABSTRACT This research investigates how political ideology shapes laypeople's evaluation of scientific studies examining cognitive differences between groups. In three experiments in Germany and the United States, participants evaluated identical research reports that varied only in the intergroup context—racial (Blacks/Whites) or ideological (liberals/
Julia Elad‐Strenger +2 more
wiley +1 more source
Research on monitoring method during the construction of safety-critical software
Xibei Gongye Daxue XuebaoThe 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 +3 more
doaj +1 more source
A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs [PDF]
, 2017 Yuting Wang
openalex +1 more source
AI‐driven circular economy optimization in waste management: A review of current evidence
Environmental Progress &Sustainable Energy, EarlyView.Abstract The integration of artificial intelligence (AI) and machine learning (ML) in waste management has the potential to significantly advance circular economy objectives by enhancing efficiency, reducing waste, and optimizing resource recovery. However, realising these benefits depends on addressing significant technical, economic, and systemic ...
David Bamidele Olawade +3 more
wiley +1 more source
The EU's Strategy for Sustainability: A Landmark Turn With the European Green Deal?
European Policy Analysis, EarlyView.ABSTRACT While the European Green Deal (EGD) has been widely recognized as a milestone in the EU's sustainability strategy, scholars disagree on the nature of the policy change it represents. Critics highlight its limited social and environmental ambitions, despite its portrayal as a “man on the moon” moment.
Ekaterina Domorenok, Franco Gatti
wiley +1 more source
Executive functions and self‐limited epilepsy with centro‐temporal spikes: A scoping review
Epileptic Disorders, EarlyView.Abstract Executive functions are a set of high‐level cognitive processes necessary for planning, organization, decision‐making, self‐control, and attention, and are carried out in the anterior frontal lobes. An impairment in executive functioning might present as difficulties in planning and organizing activities, in attention and concentration, in ...
Edoardo Fino +6 more
wiley +1 more source
, 2016 The theory of abstract interpretation is a conceptual frame- work for reasoning about approximation of semantics. We ask if the creative process of designing an approximation can be studied mathe- matically. Semantic approximations, whether studied in a purely mathe- matical setting, or implemented in a static analyser, must have a repre- sentation. We
D'Silva, V, Kroening, D
openaire +1 more source
Semantics- and Syntax-Related Subvectors in the Skip-Gram Embeddings (Student Abstract)
, 2020 Maxat Tezekbayev +2 more
openalex +2 more sources
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts [PDF]
, 2001 Christine Röckl +2 more
openalex +1 more source
DeepSeek in Education: Exploring the Transformative Potential of AI‐Driven Educational Intelligence
Future in Educational Research, EarlyView.ABSTRACT The integration of artificial intelligence into education remains challenged by issues of scalability, interpretability, and multimodal adaptability. DeepSeek's AI‐driven educational tools show potential to improve educational applications through advances in reasoning efficiency, lightweight deployment, and multimodal fusion.
Jian Liao, Fan Sun, Yajie Liu, Yuli Hu
wiley +1 more source