A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour

Smartcards are security critical devices requiring a high assurance verification approach. Although formal techniques can be used at design or even at development stages, such systems have to undergo a traditional hardware-in-the-loop testing phase. This phase is subject to two key requirements: achieving exhaustive transition coverage of the behavior of the system under test, and minimizing the testing time. In this context, testing time is highly bound to a specific hardware reset operation. Model-based testing is the adequate approach given the availability of a precise model of the system behavior and its ability to produce high quality coverage while optimizing some cost criterion. %l'argument n'est pas convainquant.This paper presents an original algorithm addressing this problem by reformulating it as an integer programming problem to make a graph Eulerian. The associated cost criterion captures both the number of resets and the total length of the test suite, as an auxiliary objective. The algorithm ensures transition coverage. An implementation of the algorithm was developed, benchmarked, and integrated into an industrial smartcard testing framework. A validation case study from this domain is also presented. The approach can of course be applied to any other domains with similar reset-related testing constraints

Optimization of logical networks for the modelling of cancer signalling pathways

Cancer is one of the main causes of death throughout the world. The survival of patients diagnosed with various cancer types remains low despite the numerous progresses of the last decades. Some of the reasons for this unmet clinical need are the high heterogeneity between patients, the differentiation of cancer cells within a single tumor, the persistence of cancer stem cells, and the high number of possible clinical phenotypes arising from the combination of the genetic and epigenetic insults that confer to cells the functional characteristics enabling them to proliferate, evade the immune system and programmed cell death, and give rise to neoplasms. To identify new therapeutic options, a better understanding of the mechanisms that generate and maintain these functional characteristics is needed. As many of the alterations that characterize cancerous lesions relate to the signaling pathways that ensure the adequacy of cellular behavior in a specific micro-environment and in response to molecular cues, it is likely that increased knowledge about these signaling pathways will result in the identification of new pharmacological targets towards which new drugs can be designed. As such, the modeling of the cellular regulatory networks can play a prominent role in this understanding, as computational modeling allows the integration of large quantities of data and the simulation of large systems. Logical modeling is well adapted to the large-scale modeling of regulatory networks. Different types of logical network modeling have been used successfully to study cancer signaling pathways and investigate specific hypotheses. In this work we propose a Dynamic Bayesian Network framework to contextualize network models of signaling pathways. We implemented FALCON, a Matlab toolbox to formulate the parametrization of a prior-knowledge interaction network given a set of biological measurements under different experimental conditions. The FALCON toolbox allows a systems-level analysis of the model with the aim of identifying the most sensitive nodes and interactions of the inferred regulatory network and point to possible ways to modify its functional properties. The resulting hypotheses can be tested in the form of virtual knock-out experiments. We also propose a series of regularization schemes, materializing biological assumptions, to incorporate relevant research questions in the optimization procedure. These questions include the detection of the active signaling pathways in a specific context, the identification of the most important differences within a group of cell lines, or the time-frame of network rewiring. We used the toolbox and its extensions on a series of toy models and biological examples. We showed that our pipeline is able to identify cell type-specific parameters that are predictive of drug sensitivity, using a regularization scheme based on local parameter densities in the parameter space. We applied FALCON to the analysis of the resistance mechanism in A375 melanoma cells adapted to low doses of a TNFR agonist, and we accurately predict the re-sensitization and successful induction of apoptosis in the adapted cells via the silencing of XIAP and the down-regulation of NFkB. We further point to specific drug combinations that could be applied in the clinics. Overall, we demonstrate that our approach is able to identify the most relevant changes between sensitive and resistant cancer clones

La facilidad de utilización de los "web sites" de partidos políticos. Estudio de algunos países de Europa del Este y Occidental (1999)*.

Sin resume

Military Conflict in Ukraine: Personality Profiles of the Principals – Vladimir Putin, Alexander Lukashenko, and Volodymyr Zelenskyy

Panel Summary “Military Conflict in Ukraine: Personality Profiles of the Principals – Vladimir Putin, Alexander Lukashenko, and Volodymyr Zelenskyy” was a panel presentation at the 46th Annual Scientific Meeting of the International Society of Political Psychology in Montréal, Québec, Canada, July 9–11, 2023. Following an overview of the conceptual and methodological framework that informed their personality-in-politics inquiry, panelists presented the personality profiles of three national leaders central to the current military conflict in Ukraine: Russian president Vladimir Putin, Belarusian president Alexander Lukashenko, and Ukrainian president Volodymyr Zelenskyy. Presentation 1 “Psychodiagnostic Meta-Analysis: A Psychodiagnostically Relevant Conceptualization and Methodology for Assessing Personality in Politics” (presented by Aubrey Immelman, St. John’s University, Collegeville, Minnesota, United States) Dominant trends in political personality assessment date back to the establishment of organized political psychology in the 1970s and earlier, yet most of the classical approaches remain at variance with conventional psychodiagnostic frameworks and procedures. This presentation provided an overview of conceptual issues in personality-in-politics inquiry and described the presenter’s psychodiagnostic meta-analysis methodology, adapted for the psychological examination of political leaders from the evolutionary model of personologist Theodore Millon. See ‘Additional Files’ at the bottom of this page for the link to a PowerPoint presentation or view a PDF version at the ‘Download’ button. Further reading: “Political psychology and personality” by Aubrey Immelman, in Stephen Strack (Ed.), Handbook of personology and psychopathology (pp. 198–225). Copyright © 2005 by John Wiley & Sons, Inc. https://digitalcommons.csbsju.edu/psychology_pubs/49/ Presentation 2 “The Post-Expansionist Profile of Russian President Vladimir Putin” (presented by Abby Goff, College of St. Benedict, St. Joseph, Minnesota, United States) Link to presentation » http://digitalcommons.csbsju.edu/psychology_pubs/142/ Presentation 3 “The Personality Profile and Leadership Style of Belarusian President Alexander Lukashenko” (presented by Christ’l De Landtsheer, University of Antwerp, Belgium) See ‘Additional Files’ at the bottom of this page for the link to a PowerPoint presentation (pending permission of the authors). Presentation 4 “The Personality Profile and Leadership Style of Ukrainian President Volodymyr Zelenskyy” (presented by Elise Vomacka, College of St. Benedict, St. Joseph, Minnesota, United States) Link to presentation » http://digitalcommons.csbsju.edu/psychology_pubs/143

Reattendance in the Swiss mammography screening pilot programme

[Abstract] OBJECTIVES: To explore the patterns and determinants of reattendance among initial attendees at an organised breast cancer screening programme. SETTING: Swiss mammography screening pilot programme, based on first-round enrollment in 1993-1995. METHODS: Data on socio-demographic features, health preventive behaviour and history, prior screening round and referring physicians' attributes were collected at initial attendance. First-round attendees (n=4162) were followed prospectively through next screening round. Determinants of reattendance were identified by multivariate logistic regression. RESULTS: Reattendance rate was high (80%). Women most likely to reattend were urban, Swiss residents with a true-negative first-round screening result. The more intensive the initial recruitment efforts, the lesser were the odds of reattendance. Mammography screening prior to screening enrolment increased reattendance. Having a gynaecologist, a female and a younger doctor as a referring physician was positively associated with reattendance. CONCLUSION: Mammography screening attendance is not only influenced by women-related factors but also by structural factors, and thus requires a global approach. For strategies aimed at improving performances of organised cancer screening programmes, understanding and quantification of determinants of (re)attendance are key elements to consider. [Authors]]]> Breast Neoplasms; Mammography; Mass Screening; Patient Compliance eng oai:serval.unil.ch:BIB_BD607C6FF453 2022-05-07T01:26:06Z openaire documents urnserval <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_BD607C6FF453 The Combined Effect of Qualifications and Marriage on the Employment Trajectories of Peruvian Graduates in Switzerland info:doi:10.1007/s12134-019-00730-8 info:eu-repo/semantics/altIdentifier/doi/10.1007/s12134-019-00730-8 Seminario, Romina Le Feuvre, Nicky info:eu-repo/semantics/article article 2019-12-03 Journal of International Migration and Integration info:eu-repo/semantics/altIdentifier/pissn/1488-3473 info:eu-repo/semantics/altIdentifier/pissn/1874-6365 Cultural Studies; Demography; Anthropology eng https://serval.unil.ch/resource/serval:BIB_BD607C6FF453.P001/REF.pdf http://nbn-resolving.org/urn/resolver.pl?urn=urn:nbn:ch:serval-BIB_BD607C6FF4531 info:eu-repo/semantics/altIdentifier/urn/urn:nbn:ch:serval-BIB_BD607C6FF4531 info:eu-repo/semantics/acceptedVersion info:eu-repo/semantics/openAccess Copying allowed only for non-profit organizations https://serval.unil.ch/disclaimer application/pdf oai:serval.unil.ch:BIB_BD611E77F40C 2022-05-07T01:26:06Z <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_BD611E77F40C Tras las huellas de nuestros clásicos o cómo Luisgé Martín dialoga con ellos en ‘Todos los crímenes se cometen por amor’ Rosa, Silvia info:eu-repo/semantics/article article 2017 Boletín Hispánico Helvético , no. 31, pp. 105-129 spa https://serval.unil.ch/resource/serval:BIB_BD611E77F40C.P001/REF.pdf info:eu-repo/semantics/submittedVersion info:eu-repo/semantics/restrictedAccess Restricted: indefinite embargo Copying allowed only for non-profit organizations https://serval.unil.ch/disclaimer application/pdf oai:serval.unil.ch:BIB_BD614F5237AA 2022-05-07T01:26:06Z openaire documents <oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"> https://serval.unil.ch/notice/serval:BIB_BD614F5237AA A novel kinematic detection of foot-strike and toe-off events during noninstrumented treadmill running to estimate contact time. info:doi:10.1016/j.jbiomech.2021.110737 info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jbiomech.2021.110737 info:eu-repo/semantics/altIdentifier/pmid/34517256 Patoz, A. Lussiana, T. Gindre, C. Malatesta, D. info:eu-repo/semantics/article article 2021-09-06 Journal of biomechanics, vol. 128, pp. 110737 info:eu-repo/semantics/altIdentifier/eissn/1873-2380 urn:issn:0021-9290 <![CDATA[Contact time (t &lt;sub&gt;c&lt;/sub&gt; ) relies upon the accuracy of foot-strike and toe-off events, for which ground reaction force (GRF) is the gold standard. However, force plates are not always available, e.g., when running on a noninstrumented treadmill. In this situation, a kinematic algorithm (KA) - an algorithm based on motion capture data - might be used if it performs equally for all foot-strike angles across speeds. The purpose of this study was to propose a novel KA, using a combination of heel and toe kinematics (three markers per foot), to detect foot-strike and toe-off and compare it to GRF at different speeds and across foot-strike angles. One hundred runners ran at 9 km/h, 11 km/h, and 13 km/h. Force data and whole-body kinematic data were acquired by an instrumented treadmill and optoelectronic system. Foot-strike and toe-off showed small systematic biases between GRF and KA at all speeds (≤5 ms), except toe-off at 11 km/h (no bias). The root mean square error (RMSE) was ≤9 ms and was mostly constant across foot-strike angles for toe-off (7.4 ms) but not for foot-strike (4.1-11.1 ms). Small systematic biases (≤8 ms) and significant differences (P ≤ 0.01) were reported for t &lt;sub&gt;c&lt;/sub&gt; at all speeds, and the RMSE was ≤14 ms (≤5%). The RMSE for t &lt;sub&gt;c&lt;/sub&gt; increased with increasing foot-strike angle (3.5-5.4%). Nonetheless, this novel KA computed smaller errors than existing methods for foot-strike, toe-off, and t &lt;sub&gt;c&lt;/sub&gt; . Therefore, this study supports the use of this novel KA to accurately estimate foot-strike, toe-off, and t &lt;sub&gt;c&lt;/sub&gt; from kinematic data obtained during noninstrumented treadmill running independent of the foot-strike angle

Using Regularization to Infer Cell Line Specificity in Logical Network Models of Signaling Pathways.

Understanding the functional properties of cells of different origins is a long-standing challenge of personalized medicine. Especially in cancer, the high heterogeneity observed in patients slows down the development of effective cures. The molecular differences between cell types or between healthy and diseased cellular states are usually determined by the wiring of regulatory networks. Understanding these molecular and cellular differences at the systems level would improve patient stratification and facilitate the design of rational intervention strategies. Models of cellular regulatory networks frequently make weak assumptions about the distribution of model parameters across cell types or patients. These assumptions are usually expressed in the form of regularization of the objective function of the optimization problem. We propose a new method of regularization for network models of signaling pathways based on the local density of the inferred parameter values within the parameter space. Our method reduces the complexity of models by creating groups of cell line-specific parameters which can then be optimized together. We demonstrate the use of our method by recovering the correct topology and inferring accurate values of the parameters of a small synthetic model. To show the value of our method in a realistic setting, we re-analyze a recently published phosphoproteomic dataset from a panel of 14 colon cancer cell lines. We conclude that our method efficiently reduces model complexity and helps recovering context-specific regulatory information

La facilidad de utilización de los "web sites" de partidos políticos. Estudio de algunos países de Europa del Este y Occidental (1999)*.

Sin resume

FALCON: A Toolbox for the Fast Contextualisation of Logical Networks.

Motivation: Mathematical modelling of regulatory networks allows for the discovery of knowledge at the system level. However, existing modelling tools are often computation-heavy and do not offer intuitive ways to explore the model, to test hypotheses or to interpret the results biologically. Results: We have developed a computational approach to contextualise logical models of regulatory networks with biological measurements based on a probabilistic description of rule-based interactions between the different molecules. Here, we propose a Matlab toolbox, FALCON, to automatically and efficiently build and contextualise networks, which includes a pipeline for conducting parameter analysis, knockouts, and easy and fast model investigation. The contextualised models could then provide qualitative and quantitative information about the network and suggest hypotheses about biological processes. Availability and implementation: FALCON is freely available for non-commercial users on GitHub under the GPLv3 licence. The toolbox, installation instructions, full documentation and test datasets are available at https://github.com/sysbiolux/FALCON . FALCON runs under Matlab (MathWorks) and requires the Optimization Toolbox. Contact: [email protected]. Supplementary information: Supplementary data are available at Bioinformatics online

Towards an Energy-Aware Framework for Application Development and Execution in Heterogeneous Parallel Architectures

The Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation (TANGO) project’s goal is to characterise factors which affect power consumption in software development and operation for Heterogeneous Parallel Hardware (HPA) environments. Its main contribution is the combination of requirements engineering and design modelling for self-adaptive software systems, with power consumption awareness in relation to these environments. The energy efficiency and application quality factors are integrated into the application lifecycle (design, implementation and operation). To support this, the key novelty of the project is a reference architecture and its implementation. Moreover, a programming model with built-in support for various hardware architectures including heterogeneous clusters, heterogeneous chips and programmable logic devices is provided. This leads to a new cross-layer programming approach for heterogeneous parallel hardware architectures featuring software and hardware modelling. Application power consumption and performance, data location and time-criticality optimization, as well as security and dependability requirements on the target hardware architecture are supported by the architecture