Results 1 to 10 of about 5,550,853 (286)
A Logic for Constraint-based Security Protocol Analysis [PDF]
Journal of Computer Security, 2006 We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core +29 more sources
Abstracting and formalising the design co-evolution model
Design Science, 2022 Co-evolution accounts have generally been used to describe how problems and solutions both change during the design process. More generally, problems and solutions can be considered as analytic categories, where change is seen to occur within categories ...
John S. Gero +2 more
doaj +1 more source
International Review of Research in Open and Distributed Learning, 2012 The goal of this study is to further corroborate a hypothesized population parameter for the frequencies of social presence versus the sum of teaching presence and cognitive presence as defined by the community of inquiry model in higher education ...
Paul Gorsky +4 more
doaj +3 more sources
Studies in Engineering Education, 2021 Background: One of the most popular methods for studying the cognitive processes of design and problem-solving activity is Protocol Analysis (PA). As such, PA has been widely used in engineering design education research. Purpose: The aim of this work is
Gregory Litster, Ada Hurst
doaj +1 more source
A framework for studying design thinking through measuring designers’ minds, bodies and brains
Design Science, 2020 This paper presents a framework for studying design thinking. Three paradigmatic approaches are described to measure design cognitive processes: design cognition, design physiology and design neurocognition.
John S. Gero, Julie Milovanovic
doaj +1 more source
Frontiers in Human Neuroscience, 2019 Relatively little attention has been paid to the neural basis of superior memory despite its potential in providing important insight into efforts to improve memory in the general population or to offset age-related cognitive decline.
Jong-Sung Yoon +4 more
doaj +1 more source
Lamotrigine for Absence Seizures
Pediatric Neurology Briefs, 1999 The effectiveness and safety of lamotrigine (Lamictal) monotherapy in newly diagnosed typical absence seizures in 45 children and adolescents, aged 3-15 years, were evaluated in a placebo-controlled, double-blind trial at centers in Norfolk, VA; Akron ...
J Gordon Millichap
doaj +1 more source
MetaboTools: A comprehensive toolbox for analysis of genome-scale metabolic models [PDF]
, 2016 Metabolomic data sets provide a direct read-out of cellular phenotypes and are increasingly generated to study biological questions. Our previous work revealed the potential of analyzing extracellular metabolomic data in the context of the metabolic ...
Aurich, Maike K. +2 more
core +3 more sources
Protocol for Metatranscriptomic analysis of Intestinal Microbiota [PDF]
, 2012 The objective of this publication is to provide the detailed protocol for metartancriptomisc studies of animal intestinal microbiota. The protocol describes isolation of high quality microbial community RNA from the mammalian intestinal content ...
Alvaro Hernandez +4 more
core +2 more sources
One of the empirical analysis about sophistry of politician's statments
Journal of Human Environmental Studies, 2016 A referendum in a manner of direct democracy has been occasionally adopted in Japan for a political decision. However, it may not always maximize public interest, and it may thus lead failure.
Shintaro Yamada +2 more
doaj +1 more source