Semantic Code Refactoring for Abstract Data Types
Proc. ACM Program. Lang.Modifications to the data representation of an abstract data type (ADT) can require significant semantic refactoring of the code. Motivated by this observation, this paper presents a new method to automate semantic code refactoring tasks.
Shankara Pailoor +2 more
semanticscholar +1 more source
Tangle-tree duality: in graphs, matroids and beyond
, 2018 We apply a recent duality theorem for tangles in abstract separation systems to derive tangle-type duality theorems for width-parameters in graphs and matroids. We further derive a duality theorem for the existence of clusters in large data sets.
Diestel, Reinhard, Oum, Sang-il
core +2 more sources
Intensional and Extensional Semantics of Bounded and Unbounded Nondeterminism [PDF]
, 2019 We give extensional and intensional characterizations of nondeterministic functional programs: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which compute them.
Laird, James
core +2 more sources
Sterile neutrino oscillations after first MiniBooNE results [PDF]
, 2007 In view of the recent results from the MiniBooNE experiment we revisit the global neutrino oscillation fit to short-baseline neutrino data by adding one or two sterile neutrinos with eV-scale masses to the three Standard Model neutrinos, and for the ...
Maltoni, Michele, Schwetz, Thomas
core +2 more sources
Encryption as an abstract data type
Workshop on Logic, Language, Information and Computation, 2003 At the Dolev-Yao level of abstraction, security protocols can be specified using multisets rewriting. Such rewriting can be modeled naturally using proof search in linear logic.
D. Miller
semanticscholar +1 more source
A Multifunctional Bread Rich in Beta Glucans and Low in Starch Improves Metabolic Control in Type 2 Diabetes: A Controlled Trial [PDF]
, 2017 : Design: Functional foods may be useful for people with diabetes. The soluble fibers beta glucans can modify starch digestion and improve postprandial glucose response.
Lante, Anna, Tessari, Paolo
core +2 more sources
Nursing Open, 2023 Aim To investigate the relationship between Type D personality and adverse health outcomes [glycated haemoglobin (HbA1c) and health‐related quality of life (HRQOL)] directly, and indirectly via diabetes distress and social isolation in people with type 2
Eun‐Hyun Lee +4 more
doaj +1 more source
Effects of the Competency-based Integrated Training (CBIT) on the Secondary School English Teachers’ Self-efficacy Beliefs [PDF]
, 2008 This paper discusses findings of a survey about the effect of Competency-based Integrated training (CBIT) initiated by the Indonesian MoNE on the secondary school English teachers’ self efficacy beliefs for curriculum implementation in Yogyakarta ...
Basikin, Basikin
core
A network inference method for large-scale unsupervised identification of novel drug-drug interactions [PDF]
, 2013 Characterizing interactions between drugs is important to avoid potentially harmful combinations, to reduce off-target effects of treatments and to fight antibiotic resistant pathogens, among others.
Guimera, Roger, Sales-Pardo, Marta
core +4 more sources
The host of the Type I SLSN 2017egm: A young, sub-solar metallicity environment in a massive spiral galaxy [PDF]
, 2017 Here we present an integral-field study of the massive, high-metallicity spiral NGC 3191, the host of SN 2017egm, the closest SLSN Type I to date. We use data from PMAS/CAHA and the public MaNGA survey to shed light on the properties of the SLSN site and
Bensch, K. +9 more
core +2 more sources