| 1. |
|
|
| 2. |
- Adkisson, J. M., et al.
(author)
-
A shell-like model for general purpose programming
- 2019
-
In: ACM International Conference Proceeding Series. - New York, NY, USA : Association for Computing Machinery. - 9781450362573
-
Conference paper (peer-reviewed)abstract
- Shell scripting languages such as bash are designed to integrate with an OS, which mainly involves managing processes with implicit input and output streams. They also attempt to do this in a compact way that could be reasonably typed on a command-line interface. However, existing shell languages are not sufficient to serve as general-purpose languages-values are not observable except in raw streams of bytes, and they lack modern language features such as lexical scope and higher-order functions. By way of a new programming language, Magritte, we propose a general-purpose programming language with semantics similar to bash. In this paper, we discuss the early design of such a system, in which the primary unit of composition, like bash, is processes with input and output channels, which can be read from or written to at any time, and which can be chained together via a pipe operator. We also explore concurrency semantics for such a language.
|
|
| 3. |
- Gomez-Torrent, Adrian, et al.
(author)
-
A Silicon Micromachined 220-330 GHz Turnstile Orthomode Transducer (OMT) in a Low-Loss Micromachining Fabrication Platform
- 2018
-
Conference paper (peer-reviewed)abstract
- The work presented in this paper reports on the first wideband OMT in any frequency band implemented by micromachining. This turnstile-junction design provides full waveguide-band operation (220-330 GHz) and is the first implementation of a turnstile-OMT above 110 GHz, since very accurate fabrication is required for this topology. The measured insertion loss is below 0.5 dB and below 0.6 dB for the two polarizations, respectively, with an average measured return loss of 22 dB. Except for some spikes which still are below 30 dB, the cross-polarization is between 50 and 60 dB.
|
|
| 4. |
- Morrison, David A., et al.
(author)
-
Molecular homology and multiple-sequence alignment : an analysis of concepts and practice
- 2015
-
In: Australian Systematic Botany. - 1030-1887 .- 1446-5701. ; 28:1, s. 46-62
-
Journal article (peer-reviewed)abstract
- Sequence alignment is just as much a part of phylogenetics as is tree building, although it is often viewed solely as a necessary tool to construct trees. However, alignment for the purpose of phylogenetic inference is primarily about homology, as it is the procedure that expresses homology relationships among the characters, rather than the historical relationships of the taxa. Molecular homology is rather vaguely defined and understood, despite its importance in the molecular age. Indeed, homology has rarely been evaluated with respect to nucleotide sequence alignments, in spite of the fact that nucleotides are the only data that directly represent genotype. All other molecular data represent phenotype, just as do morphology and anatomy. Thus, efforts to improve sequence alignment for phylogenetic purposes should involve a more refined use of the homology concept at a molecular level. To this end, we present examples of molecular-data levels at which homology might be considered, and arrange them in a hierarchy. The concept that we propose has many levels, which link directly to the developmental and morphological components of homology. Of note, there is no simple relationship between gene homology and nucleotide homology. We also propose terminology with which to better describe and discuss molecular homology at these levels. Our over-arching conceptual framework is then used to shed light on the multitude of automated procedures that have been created for multiple-sequence alignment. Sequence alignment needs to be based on aligning homologous nucleotides, without necessary reference to homology at any other level of the hierarchy. In particular, inference of nucleotide homology involves deriving a plausible scenario for molecular change among the set of sequences. Our clarifications should allow the development of a procedure that specifically addresses homology, which is required when performing alignment for phylogenetic purposes, but which does not yet exist.
|
|
| 5. |
- Ovsiannikova, Polina, et al.
(author)
-
Towards user-friendly model checking of IEC 61499 systems with counterexample explanation
- 2021
-
In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). - : IEEE. ; , s. 01-04
-
Conference paper (peer-reviewed)abstract
- Distributed automation systems design is getting increasingly popular as the systems become more complex and modular. The IEC 61499 automation architecture is seen as the main enabler of component software design fur distributed automation systems. It requires novel approaches to integrated development environments (IDE) supporting the engineering of such component software systems. One important part of automation systems engineering is their verification and validation. The efficacy of verification is largely dependent on how seamlessly this process is integrated with the traditional development tools, such as editors, compilers and debnggers. This work presents a start of such a development, that automatizes the model cbeeking process for IEC 61499 systems and provides a visual explanation of its results in the graphical development environment FBME.
|
|
| 6. |
- Qi, Luyuan, et al.
(author)
-
Design of evacuation strategies with crowd density feedback
- 2016
-
In: Science China Information Sciences. - : Science in China Press. - 1674-733X .- 1869-1919. ; 59:1, s. 1-11
-
Journal article (peer-reviewed)abstract
- A second-order stochastic model describing a large scale crowd is formulated, and an efficient evacuation strategy for agents in complex surroundings is proposed and solved numerically. The method consists in reshaping the crowd contour by making use of the crowd density feedback that is commonly available from geolocation technologies, and Kantorovich distance is used to transport the current shape into the desired one. The availability of the crowd density enables to solve the otherwise challenging forward-backward problem. Using this approach, we demonstrate via numerical results that the crowd migrates through the complex environment as designed.
|
|
| 7. |
- Tabar, Laszlo, et al.
(author)
-
A New Era in the Diagnosis and Treatment of Breast Cancer
- 2010
-
In: The Breast Journal. - : Hindawi Limited. - 1075-122X .- 1524-4741. ; 16, s. S2-S4
-
Journal article (peer-reviewed)abstract
- Randomized controlled mammography screening trials and the evaluation of service screening have unequivocally proven that regular mammography screening significantly reduces mortality from breast cancer. This evidence contradicts the theory of Fisher, claiming that breast cancer is a systemic disease from its inception and undermines the justification for systemic therapy in most screen-detected cancers, because they are still localized to the breast and can be cured by local treatment alone. When high quality mammographic screening is offered at regular intervals to 40- to 74-year-old women, over 50% of the invasive cancers will be detected in the size range of 1-14 mm, fewer than 20% will be axillary node positive, and only about 20% will be poorly differentiated. This predominance of early-stage disease has created a revolutionary new era for those involved in the diagnosis and treatment of patients with breast cancer.
|
|
| 8. |
- Tabar, L., et al.
(author)
-
All-cause mortality among breast cancer patients in a screening trial : Support for breast cancer mortality as an end point
- 2002
-
In: Journal of Medical Screening. - : SAGE Publications. - 0969-1413 .- 1475-5793. ; 9:4, s. 159-162
-
Journal article (peer-reviewed)abstract
- Background: It has recently been suggested that all-cause mortality is a more appropriate end point than disease specific mortality in cancer screening trials, and that disease specific mortality is biased in favour of screening. This suggestion is based partly on supposed inconsistencies between all-cause mortality results and disease specific results in cancer screening trials, and alleged increases in deaths from causes other than breast cancer among breast cancer cases diagnosed among women invited to screening. Methods: We used data from the Swedish Two-County Trial of mammographic screening for breast cancer, in which 77 080 women were randomised to an invitation to screening and 55 985 to no invitation. We estimated relative risks (RRs) (invited v control) of death from breast cancer, death from other causes within the breast cancer cases, and death from all causes within the breast cancer cases. RRs were adjusted for age and took account of the longer follow up of breast cancer cases in the invited group due to lead time. Results: There was a significant 31% reduction in breast cancer mortality in the invited group (RR 0.69, 95% confidence interval (Cl) 0.58-0.80, p
|
|
