3,212 research outputs found
Implementing a Competency-Based Information Technology Curriculum: Challenges and Opportunities (Poster Abstract)
ACM and IEEE Computer Society released new curriculum guidelines for baccalaureate degree programs in Information Technology, also known as the IT2017 report. Built on the foundation of the first ACM/IEEE IT2008 report, the new report, published in December 2017, stands out by its focus on employer-informed competencies that IT graduates should have in order to meet technological challenges of the workplace in the next decade. This poster highlights elements of the IT2017 curricular framework that help academic departments apply a competency-based approach to IT program development. Although competencies are prevalent in many areas of professional practice, placing competencies at the center of IT curriculum development requires rethinking of how we design learning environments in which students achieve IT competencies. In this poster I present some challenges with implementing the IT2017 curricular framework and discuss opportunities for turning the IT2017 report into a living document that learns from IT programs\u27 implementation experiences
Implicit structure in 2-representations of quantum groups
Given a strong 2-representation of a Kac-Moody Lie algebra (in the sense of
Rouquier) we show how to extend it to a 2-representation of categorified
quantum groups (in the sense of Khovanov-Lauda). This involves checking certain
extra 2-relations which are explicit in the definition by Khovanov-Lauda and,
as it turns out, implicit in Rouquier's definition. Some applications are also
discussed.Comment: 33 pages, xypic diagrams; v2 corrects typos in section 7; v3 final
versio
Member State Exemptions from Article 100A Harmonizing Measures: A Possible European Court Approach
Trying again to fail-first
For constraint satisfaction problems (CSPs), Haralick and Elliott [1] introduced the Fail-First Principle and defined in it terms of minimizing branch depth. By devising a range of variable ordering heuristics, each in turn trying harder to fail first, Smith and Grant [2] showed that adherence to this strategy does not guarantee reduction in search effort. The present work builds on Smith and Grant. It benefits from the development of a new framework for characterizing heuristic performance that defines two policies, one concerned with enhancing the likelihood of correctly extending a partial solution, the other with minimizing the effort to prove insolubility. The Fail-First Principle can be restated as calling for adherence to the second, fail-first policy, while discounting the other, promise policy. Our work corrects some deficiencies in the work of Smith and Grant, and goes on to confirm their finding that the Fail-First Principle, as originally defined, is insufficient. We then show that adherence to the fail-first policy must be measured in terms of size of insoluble subtrees, not branch depth. We also show that for soluble problems, both policies must be considered in evaluating heuristic performance. Hence, even in its proper form the Fail-First Principle is insufficient. We also show that the “FF” series of heuristics devised by Smith and Grant is a powerful tool for evaluating heuristic performance, including the subtle relations between heuristic features and adherence to a policy
Dynamic analysis of a lithium-boiling potassium refractory metal Rankine cycle power system for the Jet Propulsion Laboratory
Lithium-boiling potassium refractory metal Rankine cycle power system heat transfer model
A Buffer Stocks Model for Stabilizing Price of Staple Food with Considering the Expectation of Non Speculative Wholesaler
This paper is a study of price stabilization in the
staple food distribution system. All stakeholders experience
market risks due to some possibility causes of price volatility.
Many models of price stabilization had been developed by
employing several approaches such as floor-ceiling prices,
buffer funds, export or import taxes, and subsidies. In the
previous researches, the models were expanded to increase the
purchasing price for producer and decrease the selling price
for consumer. Therefore, the policy can influence the losses for
non-speculative wholesaler that is reflected by the descending
of selling quantity and ascending of the stocks. The objective of
this model is not only to keep the expectation of both producer
and consumer, but also to protect non-speculative wholesaler
from the undesirable result of the stabilization policy. A
nonlinear programming model was addressed to determine the
instruments of intervention program. Moreover, the result
shows that the wholesaler behavior affects the intervention
costs.
Index Terms Buffer stocks, Price stabilization, Nonlinear
programming, Wholesaler behavior
The progestin receptor interactome in the female mouse hypothalamus: Interactions with synaptic proteins are isoform specific and ligand dependent
Progestins bind to the progestin receptor (PR) isoforms, PR-A and PR-B, in brain to influence development, female reproduction, anxiety, and stress. Hormone-activated PRs associate with multiple proteins to form functional complexes. In the present study, proteins from female mouse hypothalamus that associate with PR were isolated using affinity pull-down assays with glutathione S-transferase–tagged mouse PR-A and PR-B. Using complementary proteomics approaches, reverse phase protein array (RPPA) and mass spectrometry, we identified hypothalamic proteins that interact with PR in a ligand-dependent and isoform-specific manner and were confirmed by Western blot. Synaptic proteins, including synapsin-I and synapsin-II, interacted with agonist-bound PR isoforms, suggesting that both isoforms function in synaptic plasticity. In further support, synaptogyrin-III and synapsin-III associated with PR-A and PR-B, respectively. PR also interacted with kinases, including c-Src, mTOR, and MAPK1, confirming phosphorylation as an integral process in rapid effects of PR in the brain. Consistent with a role in transcriptional regulation, PR associated with transcription factors and coactivators in a ligand-specific and isoform-dependent manner. Interestingly, both PR isoforms associated with a key regulator of energy homeostasis, FoxO1, suggesting a novel role for PR in energy metabolism. Because many identified proteins in this PR interactome are synaptic proteins, we tested the hypothesis that progestins function in synaptic plasticity. Indeed, progesterone enhanced synaptic density, by increasing synapsin-I–positive synapses, in rat primary cortical neuronal cultures. This novel combination of RPPA and mass spectrometry allowed identification of PR action in synaptic remodeling and energy homeostasis and reveals unique roles for progestins in brain function and disease
The Godrevy dog; Early canine or lost pet ?
During sampling of the late Devensian St. Loy Member of the Penwith Formation at Godrevy, Cornwall, several ribs and vertebrae were discovered within the cliff face. The visible bones appeared in context with the surrounding geology with no evidence for later site disturbance or burial. During the excavation the skeleton was entirely enclosed within the coarse grained head deposits. The skeleton was articulated and nearly complete and is identified as Canis familiaris, the"domestic" dog. The recovery of this skeleton from the St. Loy Member of the Penwith Formation, generally regarded to be of mid to late Devensian age, is scientifically problematic. The accepted age for the late Devensian is 12-15,000 years BP. The oldest known domestic dogs are dated at about 10,000 years BP, although the burial of a dog or wolf puppy with a human skeleton from Israel 12,000 yrs BP is taken as early evidence of domestication. There are three possible interpretations: (1) the St. Loy Member of the Penwith Formation is younger than previously thought; (2) that Godrevy dog is a very early domestic dog; (3) that it is possible to incorporate a rcent articulated dog skeleton into Quaternary head deposits without any signs of physical disturbance at the site. Dating of the right radius bone by accelerator mass spectrometry has given a likely age for the skeleton of between 1620 AD and 1680 AD. Thus a 17th century domestic dog has been enclosed within Devensian coarse grained head deposits with no signs of disturbance to the site
- …
