
Mind uploading speculation and debate often concludes that a procedure
described as gradual inplace replacement preserves personal identity while a
procedure described as destructive scanandcopy produces some other identity
in the target substrate such that personal identity is lost along with the
biological brain. This paper demonstrates a chain of reasoning that establishes
metaphysical equivalence between these two methods in terms of preserving
personal identity.

We propose the concept of a system algebra with a parallel composition
operation and an interface connection operation, and formalize
compositionorder invariance, which postulates that the order of composing and
connecting systems is irrelevant, a generalized form of associativity.
Compositionorder invariance explicitly captures a common property that is
implicit in any context where one can draw a figure (hiding the drawing order)
of several connected systems, which appears in many scientific contexts. This
abstract algebra captures settings where one is interested in the behavior of a
composed system in an environment and wants to abstract away anything internal
not relevant for the behavior. This may include physical systems, electronic
circuits, or interacting distributed systems.
One specific such setting, of special interest in computer science, are
functional system algebras, which capture, in the most general sense, any type
of system that takes inputs and produces outputs depending on the inputs, and
where the output of a system can be the input to another system. The behavior
of such a system is uniquely determined by the function mapping inputs to
outputs. We consider several instantiations of this very general concept. In
particular, we show that Kahn networks form a functional system algebra and
prove their compositionorder invariance.
Moreover, we define a functional system algebra of causal systems,
characterized by the property that inputs can only influence future outputs,
where an abstract partial order relation captures the notion of "later". This
system algebra is also shown to be compositionorder invariant and appropriate
instantiations thereof allow to model and analyze systems that depend on time.

TikZnetwork is an open source software project for visualizing graphs and
networks in LaTeX. It aims to provide a simple and easy tool to create,
visualize and modify complex networks. The packaged is based on the PGF/TikZ
languages for producing vector graphics from a geometric/algebraic description.
Particular focus is made on the software usability and interoperability with
other tools. Simple networks can be directly created within LaTeX, while more
complex networks can be imported from external sources (e.g. igraph, networkx,
QGIS, ...). Additionally, tikznetwork supports visualization of multilayer
networks in two and three dimensions. The software is available at:
https://github.com/hackl/tikznetwork.

This document is meant to help individuals use the Cerebral Signal Phase
Analysis toolbox which implements different methods for estimating the
instantaneous phase and frequency of a signal and calculating some related
popular quantities.The toolbox  which is distributed under the terms of the
GNU GENERAL PUBLIC LICENSE as a set of MATLAB routines  can be downloaded at
the address http://oset.ir/category.php?dir=Tools.The purpose of this toolbox
is to calculate the instantaneous phase and frequency sequences of cerebral
signals (EEG, MEG, etc.) and some related popular features and quantities in
brain studies and Neuroscience such as Phase Shift, Phase Resetting, Phase
Locking Value (PLV), Phase Difference and more, to help researchers in these
fields.

The article outlines in memoriam Prof. Pavel Zampa's concepts of system
theory which enable to devise a measurement in dynamic systems independently of
the particular system behaviour. From the point of view of Zampa's theory,
terms like system time, system attributes, system link, system element, input,
output, subsystems, and state variables are defined. In Conclusions, Zampa's
theory is discussed together with another mathematical approaches of
qualitative dynamics known since the 19th century. In Appendices, we present
applications of Zampa's technical approach to measurement of complex dynamical
(chemical and biological) systems at the Institute of Complex Systems,
University of South Bohemia in Ceske Budejovice.

The concept of "logical depth" introduced by Charles H. Bennett (1988) seems
to capture, at least partially, the notion of organized complexity, so central
in big history. More precisely, the increase in organized complexity refers
here to the wealth, variety and intricacy of structures, and should not be
confused with the increase of random complexity, formalized by Kolmogorov
(1965). If Bennett is right in proposing to assimilate organized complexity
with "computational content", then the fundamental cause of the increase of
complexity in the universe is the existence of computing mechanisms with
memory, and able to cumulatively create and preserve computational contents. In
this view, the universe computes, remembers its calculations, and reuses them
to conduct further computations. Evolutionary mechanisms are such forms of
cumulative computation with memory and we owe them the organized complexity of
life. Language, writing, culture, science and technology can also be analyzed
as computation mechanisms generating, preserving and accelerating the increase
in organized complexity. The main unifying theme for big history is the energy
rate density, a metric based on thermodynamics. However useful, this metric
does not provide much insight into the role that information and computation
play in our universe. The concept of "logical depth" provides a new lens to
examine the increase of organized complexity. We argue in this paper that
organized complexity is a valid and useful way to make sense of big history.
Additionally, logical depth has a rigorous formal definition in theoretical
computer science that hints at a broader research program to quantify
complexity in the universe.
Keywords: organized complexity, Kolmogorov complexity, logical depth, big
history, cosmic evolution, evolution, complexity, complexification,
computation, artificial life, philosophy of information

Logical models offer a simple but powerful means to understand the complex
dynamics of biochemical regulation, without the need to estimate kinetic
parameters. However, even simple automata components can lead to collective
dynamics that are computationally intractable when aggregated into networks. In
previous work we demonstrated that automata network models of biochemical
regulation are highly canalizing, whereby many variable states and their
groupings are redundant (MarquesPita and Rocha, 2013). The precise charting
and measurement of such canalization simplifies these models, making even very
large networks amenable to analysis. Moreover, canalization plays an important
role in the control, robustness, modularity and criticality of Boolean network
dynamics, especially those used to model biochemical regulation (Gates and
Rocha, 2016; Gates et al., 2016; Manicka, 2017). Here we describe a new
publiclyavailable Python package that provides the necessary tools to extract,
measure, and visualize canalizing redundancy present in Boolean network models.
It extracts the pathways most effective in controlling dynamics in these
models, including their effective graph and dynamics canalizing map, as well as
other tools to uncover minimum sets of control variables.

In this paper a multiobjective mathematical model has been used to optimize
grinding parameters include workpiece speed, depth of cut and wheel speed which
highly affect the final surface quality. The mathematical model of the
optimization problem consists of three conflict objective functions subject to
wheel wear and production rate constraints. Exact methods can solve the NLP
model in few seconds, therefore using Metaheuristic algorithms which provide
near optimal solutions in not suitable. Considering this, five MultiObjective
Decision Making methods have been used to solve the multiobjective
mathematical model using GAMS software to achieve the optimal parameters of the
grinding process. The MultiObjective Decision Making methods provide different
effective solutions where the decision maker can choose each solution in
different situations. Different criteria have been considered to evaluate the
performance of the five MultiObjective Decision Making methods. Also,
Technique for Order of Preference by Similarity to Ideal Solution method has
been used to obtain the priority of each method and determine which
MultiObjective Decision Making method performs better considering all criteria
simultaneously. The results indicated that Weighted Sum Method and Goal
programming method are the best MultiObjective Decision Making methods. The
Weighted Sum Method and Goal programming provided solutions which are
competitive to each other. In addition, these methods obtained solutions which
have minimum grinding time, cost and surface roughness among other
MultiObjective Decision Making methods.

Student loans occupy a significant portion of the federal budget, as well as,
the largest financial burden in terms of debt for graduates. This paper
explores datadriven approaches towards understanding the repayment of such
loans. Using statistical and machine learning models on the College Scorecard
Data, this research focuses on extracting and identifying key factors affecting
the repayment of a student loan. The specific factors can be used to develop
models which provide predictive capability towards repayment rate, detect
irregularities/nonrepayment, and help understand the intricacies of student
loans.

Phase unwrapping is a key problem in many coherent imaging systems, such as
synthetic aperture radar (SAR) interferometry. A general formulation for
redundant integration of finite differences for phase unwrapping (Costantini et
al., 2010) was shown to produce a more reliable solution by exploiting
redundant differential estimates. However, this technique requires a commercial
linear programming solver for largescale problems. For a linear cost function,
we propose a method based on Dual Decomposition that breaks the given problem
defined over a nonplanar graph into tractable subproblems over planar
subgraphs. We also propose a decomposition technique that exploits the
underlying graph structure for solving the subproblems efficiently and
guarantees asymptotic convergence to the globally optimal solution. The
experimental results demonstrate that the proposed approach is comparable to
the existing stateoftheart methods in terms of the estimate with a better
runtime and memory footprint.

DEVS is a popular formalism for modelling complex dynamic systems using a
discreteevent abstraction. At this abstraction level, a timed sequence
ofpertinent "events" input to a system (or internal, in the case of timeouts)
cause instantaneous changes to the state of the system. Between events, the
state does not change, resulting in a a piecewise constant state trajectory.
Main advantages of DEVS are its rigorous formal definition, and its support for
modular composition.
This chapter introduces the Classic DEVS formalism in a bottomup fashion,
using a simple traffic light example. The syntax and operational semantics of
Atomic (i.e., nonhierarchical) models are intruced first. The semantics of
Coupled (hierarchical) models is then given by translation into Atomic DEVS
models. As this formal "flattening" is not efficient, a modular abstract
simulator which operates directly on the coupled model is also presented. This
is the common basis for subsequent efficient implementations. We continue to
actual applications of DEVS modelling and simulation, as seen in performance
analysis for queueing systems. Finally, we present some of the shortcomings in
the Classic DEVS formalism, and show solutions to them in the form of variants
of the original formalism.

Big Datadriven transportation engineering has the potential to improve
utilization of road infrastructure, decrease traffic fatalities, improve fuel
consumption, decrease construction worker injuries, among others. Despite these
benefits, research on Big Datadriven transportation engineering is difficult
today due to the computational expertise required to get started. This work
proposes BoaT, a transportationspecific programming language, and it's Big
Data infrastructure that is aimed at decreasing this barrier to entry. Our
evaluation that uses over two dozen research questions from six categories show
that research is easier to realize as a BoaT computer program, an order of
magnitude faster when this program is run, and exhibits 1214x decrease in
storage requirements.

SolidState Drives (SSDs) are recently employed in enterprise servers and
highend storage systems in order to enhance performance of storage subsystem.
Although employing high speed SSDs in the storage subsystems can significantly
improve system performance, it comes with significant reliability threat for
write operations upon power failures. In this paper, we present a comprehensive
analysis investigating the impact of workload dependent parameters on the
reliability of SSDs under power failure for variety of SSDs (from top
manufacturers). To this end, we first develop a platform to perform two
important features required for study: a) a realistic fault injection into the
SSD in the computing systems and b) data loss detection mechanism on the SSD
upon power failure. In the proposed physical fault injection platform, SSDs
experience a real discharge phase of Power Supply Unit (PSU) that occurs during
power failure in data centers which was neglected in previous studies. The
impact of workload dependent parameters such as workload Working Set Size
(WSS), request size, request type, access pattern, and sequence of accesses on
the failure of SSDs is carefully studied in the presence of realistic power
failures. Experimental results over thousands number of fault injections show
that data loss occurs even after completion of the request (up to 700ms) where
the failure rate is influenced by the type, size, access pattern, and sequence
of IO accesses while other parameters such as workload WSS has no impact on the
failure of SSDs.

We present DeepPicar, a lowcost deep neural network based autonomous car
platform. DeepPicar is a small scale replication of a real selfdriving car
called DAVE2 by NVIDIA. DAVE2 uses a deep convolutional neural network (CNN),
which takes images from a frontfacing camera as input and produces car
steering angles as output. DeepPicar uses the same network architecture9
layers, 27 million connections and 250K parametersand can drive itself in
realtime using a web camera and a Raspberry Pi 3 quadcore platform. Using
DeepPicar, we analyze the Pi 3's computing capabilities to support endtoend
deep learning based realtime control of autonomous vehicles. We also
systematically compare other contemporary embedded computing platforms using
the DeepPicar's CNNbased realtime control workload. We find that all tested
platforms, including the Pi 3, are capable of supporting the CNNbased
realtime control, from 20 Hz up to 100 Hz, depending on hardware platform.
However, we find that shared resource contention remains an important issue
that must be considered in applying CNN models on shared memory based embedded
computing platforms; we observe up to 11.6X execution time increase in the CNN
based control loop due to shared resource contention. To protect the CNN
workload, we also evaluate stateoftheart cache partitioning and memory
bandwidth throttling techniques on the Pi 3. We find that cache partitioning is
ineffective, while memory bandwidth throttling is an effective solution.

An increasing number of works have devoted to the application of Transition
Adjacency Relation (TAR) as a means to capture behavioral features of business
process models. In this paper, we systematically study the efficient TAR
derivation from process models using unfolding technique which previously has
been used to address the state space explosion when dealing with concurrent
behaviors of a Petri net. We reveal and formally describe the equivalence
between TAR and Event Adjacency Relation (EAR), the manifestation of TAR in the
Complete Prefix Unfolding (CPU) of a Petri net. By computing TARs from CPU
using this equivalence, we can alleviate the concurrency caused stateexplosion
issues. Furthermore, structural boosting rules are categorized, proved and
added to the TAR computing algorithm. Formal proofs of correctness and
generality of CPUbased TAR computation are provided for the first time by this
work, and they significantly expand the range of Petri nets from which TARs can
be efficiently derived. Experiments on both industrial and synthesized process
models show the effectiveness of proposed CPUbased algorithms as well as the
observation that they scale well with the increase in size and concurrency of
business process models.

We present GPU accelerated implementations of Markov chain algorithms to
sample random tilings, dimers, and the sixvertex model.

Detection of indoor and outdoor scenarios is an important resource for many
types of activities such as multisensor navigation and locationbased services.
This research presents the use of NMEA data provided by GPS receivers to
characterize different types of scenarios automatically. A set of static tests
was performed to evaluate metrics such as number of satellites, positioning
solution geometry and carriertoreceiver noisedensity ratio values to detect
possible patterns to determine indoor and outdoor scenarios. Subsequently,
validation tests are applied to verify that parameters obtained are adequate.

In biology, there are several questions that translate to combinatorial
search. For example, vesicle traffic systems that move cargo within eukaryotic
cells have been proposed to exhibit several graph properties such as three
connectivity. These properties are consequences of underlying biophysical
constraints. A natural question for biologists is: what are the possible
networks for various combinations of those properties? In this paper, we
present novel SMT based encodings of the properties over vesicle traffic
systems and a tool that searches for the networks that satisfies the properties
using SMT solvers. In our experiments, we show that our tool can search for
networks of sizes that are considered to be relevant by biologists.

The connected allograph representing calligraphic Arabic word does not appear
individually in any calligraphic resource but in association with other letters
all adapted to each other. The graphic segmentation of the word by respecting
aesthetical attributes indicating the grapheme of every letter is far from
being an obvious task. The question consists in discovering every letter
constituting the word, points of cutting which separate its grapheme from other
constituents of word's shape. The obtained segment must be a complete drawing
of the represented letter. This segmentation according to contextual graphic
and qualitative criteria connecting the attached allograph will have to satisfy
typographic constraints varying in conformity with the possibilities offered by
the wanted technology. In this paper, we develop an approach for segmenting
Arabic word from which the purpose is to extract graphemes respecting the
design of Arabic letters such as it is in the calligraphic literature. The
procedure bases itself on the principle that the Arabic connected letters have
a common part included in the cursive area, which must not be lost during the
process of cutting.

This study focuses on the design of multiple Arabic diacritical marks and to
developing a model that generates the stacking of multiples Arabic diacritics
in order to integrate it into a system of Arabic composition. The problem
concerns the presence of multiple diacritics on a single basic letter. This
model is based on the layering composition. The combination of diacritics with
letters requires a basic layering to combine any diacritics in the word with
their base letter, without having to deal individually and separately each pair
of base letter and diacritics.

Background Computerbased geometrical meshes of bones are important for
applications in computational biomechanics as well as clinical software. There
is however a lack of freely available detailed bone meshes, especially related
to the human female morphology.
Methods & Results We provide high resolution bone meshes of the lower body,
derived from CT images of a 59 year old female cadaver that were sourced from
the Visible Human Data Set, Visible Human Project (NIH, USA). Important bone
landmarks and joint rotation axes are identified from the extracted meshes. A
scriptbased framework is developed to provide a graphical user interface that
can visualize, resample and modify the meshes to fit different subject scales.
Conclusion This opendata resource fills a gap in available data and is
provided for free usage in research and other applications. The associated
scripts allows users to easily transform the meshes to different laboratory and
software setups. This resource may be accessed through the following web link:
https://github.com/manishsreenivasa/BMFToolkit
This document is the author's version of this article.

Evacuation is one of the main disaster management solutions to reduce the
impact of manmade and natural threats on building occupants. To date, several
modern technologies and gamification concepts, e.g. immersive virtual reality
and serious games, have been used to enhance building evacuation preparedness
and effectiveness. Those tools have been used both to investigate human
behavior during building emergencies and to train building occupants on how to
cope with building evacuations.
Augmented Reality (AR) is novel technology that can enhance this process
providing building occupants with virtual contents to improve their evacuation
performance. This work aims at reviewing existing AR applications developed for
building evacuation. This review identifies the disasters and types of building
those tools have been applied for. Moreover, the application goals, hardware
and evacuation stages affected by AR are also investigated in the review.
Finally, this review aims at identifying the challenges to face for further
development of AR evacuation tools.

Player selection is one the most important tasks for any sport and cricket is
no exception. The performance of the players depends on various factors such as
the opposition team, the venue, his current form etc. The team management, the
coach and the captain select 11 players for each match from a squad of 15 to 20
players. They analyze different characteristics and the statistics of the
players to select the best playing 11 for each match. Each batsman contributes
by scoring maximum runs possible and each bowler contributes by taking maximum
wickets and conceding minimum runs. This paper attempts to predict the
performance of players as how many runs will each batsman score and how many
wickets will each bowler take for both the teams. Both the problems are
targeted as classification problems where number of runs and number of wickets
are classified in different ranges. We used na\"ive bayes, random forest,
multiclass SVM and decision tree classifiers to generate the prediction models
for both the problems. Random Forest classifier was found to be the most
accurate for both the problems.

5G millimeter wave (mmWave) technology is envisioned to be an integral part
of nextgeneration vehicletoeverything (V2X) networks and autonomous vehicles
due to its broad bandwidth, wide field of view sensing, and precise
localization capabilities. The reliability of mmWave links may be compromised
due to difficulties in beam alignment for mobile channels and due to blocking
effects between a mmWave transmitter and a receiver. To address such
challenges, outofband information from sub6 GHz channels can be utilized for
predicting the temporal and angular channel characteristics in mmWave bands,
which necessitates a good understanding of how propagation characteristics are
coupled across different bands. In this paper, we use ray tracing simulations
to characterize the angular and temporal correlation across a wide range of
propagation frequencies for V2X channels ranging from 900 MHz up to 73 GHz, for
a vehicle maintaining lineofsight (LOS) and nonLOS (NLOS) beams with a
transmitter in an urban environment. Our results shed light on increasing
sparsity behavior of propagation channels with increasing frequency and
highlight the strong temporal/angular correlation among 5.9 GHz and 28 GHz
bands especially for LOS channels.

The energy consumption of Data Centers (DCs) is a very important figure for
the telecommunications operators, not only in terms of cost, but also in terms
of operational reliability. A relation between the energy consumption and the
weather conditions would indicate that weather forecast models could be used
for predicting energy consumption of DCs. A reliable forecast would result in a
more efficient management of the available energy and would make it easier to
take advantage of the modern types of powergrid based on renewable energy
resources. In this ,paper, we exploit the capabilities provided by the
FIESTAIoT platform in order to investigate the correlation between the weather
conditions and the energy consumption in DCs. Then, by using multivariable
linear regression process, we model this correlation between the energy
consumption and the dominant weather conditions parameters in order to
effectively forecast the energy consumption based on the weather forecast. We
have validated our results through live measurements from the RealDC testbed.
Results from our proposed approach indicate that forecasting of energy
consumption based on weather conditions could help not only DC operators in
managing their cooling systems and power usage, but also electricity companies
in optimizing their power distribution systems.