28 research outputs found
Blunt Partial Transection of the Innominate Artery: Anomalous Origin of the Left Carotid Artery and Off-Pump Repair
Covert Computation in the Abstract Tile-Assembly Model
There have been many advances in molecular computation that offer benefits such as targeted drug delivery, nanoscale mapping, and improved classification of nanoscale organisms. This power led to recent work exploring privacy in the computation, specifically, covert computation in self-assembling circuits. Here, we prove several important results related to the concept of a hidden computation in the most well-known model of self-assembly, the Abstract Tile-Assembly Model (aTAM). We show that in 2D, surprisingly, the model is capable of covert computation, but only with an exponential-sized assembly. We also show that the model is capable of covert computation with polynomial-sized assemblies with only one step in the third dimension (just-barely 3D). Finally, we investigate types of functions that can be covertly computed as members of P/Poly
Reachability in Restricted Chemical Reaction Networks
The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system\u27s rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem.Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework.We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy
Reachability in Restricted Chemical Reaction Networks
The popularity of molecular computation has given rise to several models of
abstraction, one of the more recent ones being Chemical Reaction Networks
(CRNs). These are equivalent to other popular computational models, such as
Vector Addition Systems and Petri-Nets, and restricted versions are equivalent
to Population Protocols. This paper continues the work on core reachability
questions related to Chemical Reaction Networks; given two configurations, can
one reach the other according to the system's rules? With no restrictions,
reachability was recently shown to be Ackermann-complete, this resolving a
decades-old problem.
Here, we fully characterize monotone reachability problems based on various
restrictions such as the rule size, the number of rules that may create a
species (k-source) or consume a species (k-consuming), the volume, and whether
the rules have an acyclic production order (feed-forward). We show
PSPACE-completeness of reachability with only bimolecular reactions with
two-source and two-consuming rules. This proves hardness of reachability in
Population Protocols, which was unknown. Further, this shows reachability in
CRNs is PSPACE-complete with size-2 rules, which was previously only known with
size-5 rules. This is achieved using techniques within the motion planning
framework.
We provide many important results for feed-forward CRNs where rules are
single-source or single-consuming. We show that reachability is solvable in
polynomial time if the system does not contain special void or autogenesis
rules. We then fully characterize all systems of this type and show that if you
allow void/autogenesis rules, or have more than one source and one consuming,
the problems become NP-complete. Finally, we show several interesting special
cases of CRNs based on these restrictions or slight relaxations and note future
significant open questions related to this taxonomy.Comment: This research was supported in part by National Science Foundation
Grant CCF-181760
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Tile Automata is a recently defined model of self-assembly that borrows many concepts from cellular automata to create active self-assembling systems where changes may be occurring within an assembly without requiring attachment. This model has been shown to be powerful, but many fundamental questions have yet to be explored. Here, we study the state complexity of assembling n × n squares in seeded Tile Automata systems where growth starts from a seed and tiles may attach one at a time, similar to the abstract Tile Assembly Model. We provide optimal bounds for three classes of seeded Tile Automata systems (all without detachment), which vary in the amount of complexity allowed in the transition rules. We show that, in general, seeded Tile Automata systems require Θ(log^{1/4} n) states. For Single-Transition systems, where only one state may change in a transition rule, we show a bound of Θ(log^{1/3} n), and for deterministic systems, where each pair of states may only have one associated transition rule, a bound of Θ(({log n}/{log log n})^{1/2})
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Tile Automata is a recently defined model of self-assembly that borrows many
concepts from cellular automata to create active self-assembling systems where
changes may be occurring within an assembly without requiring attachment. This
model has been shown to be powerful, but many fundamental questions have yet to
be explored. Here, we study the state complexity of assembling
squares in seeded Tile Automata systems where growth starts from a seed and
tiles may attach one at a time, similar to the abstract Tile Assembly Model. We
provide optimal bounds for three classes of seeded Tile Automata systems (all
without detachment), which vary in the amount of complexity allowed in the
transition rules. We show that, in general, seeded Tile Automata systems
require states. For single-transition systems,
where only one state may change in a transition rule, we show a bound of
, and for deterministic systems, where each
pair of states may only have one associated transition rule, a bound of
.Comment: An earlier version was published in the 2022 Symposium on Algorithmic
Foundations of Dynamic Networks (SAND
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Tile Automata is a recently defined model of self-assembly that borrows many concepts from cellular automata to create active self-assembling systems where changes may be occurring within an assembly without requiring attachment. This model has been shown to be powerful, but many fundamental questions have yet to be explored. Here, we study the state complexity of assembling n × n squares in seeded Tile Automata systems where growth starts from a seed and tiles may attach one at a time, similar to the abstract Tile Assembly Model. We provide optimal bounds for three classes of seeded Tile Automata systems (all without detachment), which vary in the amount of complexity allowed in the transition rules. We show that, in general, seeded Tile Automata systems require Θ(log^{1/4} n) states. For Single-Transition systems, where only one state may change in a transition rule, we show a bound of Θ(log^{1/3} n), and for deterministic systems, where each pair of states may only have one associated transition rule, a bound of Θ(({log n}/{log log n})^{1/2})
Complexity of Reconfiguration in Surface Chemical Reaction Networks
We analyze the computational complexity of basic reconfiguration problems for
the recently introduced surface Chemical Reaction Networks (sCRNs), where
ordered pairs of adjacent species nondeterministically transform into a
different ordered pair of species according to a predefined set of allowed
transition rules (chemical reactions). In particular, two questions that are
fundamental to the simulation of sCRNs are whether a given configuration of
molecules can ever transform into another given configuration, and whether a
given cell can ever contain a given species, given a set of transition rules.
We show that these problems can be solved in polynomial time, are NP-complete,
or are PSPACE-complete in a variety of different settings, including when
adjacent species just swap instead of arbitrary transformation (swap sCRNs),
and when cells can change species a limited number of times (k-burnout). Most
problems turn out to be at least NP-hard except with very few distinct species
(2 or 3)
Predation risk and foraging behavior of the hoary marmot in Alaska
I observed hoary marmots for three field seasons to determine how the distribution of food and the risk of predation influenced marmots' foraging behavior. I quantified the amount of time Marmota caligata foraged in different patches of alpine meadows and assessed the distribution and abundance of vegetation eaten by marmots in these meadows. Because marmots dig burrows and run to them when attacked by predators, marmot-toburrow distance provided an index of predation risk that could be specified for different meadow patches.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46873/1/265_2004_Article_BF00292992.pd
Memory clinics
Memory clinics were first described in the 1980s. They have become accepted worldwide as useful vehicles for improving practice in the identification, investigation, and treatment of memory disorders, including dementia. They are provided in various settings, the setting determining clientele and practice. All aim to facilitate referral from GPs, other specialists, or by self referral, in the early stages of impairment, and to avoid the stigma associated with psychiatric services. They bring together professionals with a range of skills for the benefit of patients, carers, and colleagues, and contribute to health promotion, health education, audit, and research, as well as service to patients