Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailModelling of microcracking in microtomography image-based models of cement materials using phase field method
Yvonnet, J.; Nguyen, Thanh Tung UL; Bornert, M. et al

in Fourth International Conference on Computational Modeling of Fracture and Failure of Materials and Structures (2015)

Detailed reference viewed: 18 (5 UL)
Peer Reviewed
See detailModelling of Railways Signalling System Requirements by Controlled Natural Languages: A Case Study
Lenzini, Gabriele UL; Petrocchi, Marinella

in From Software Engineering to Formal Methods and Tools, and Back (2019)

The railway sector has been a source of inspiration for generations of researchers challenged to develop models and tools to analyze safety and reliability. Threats were coming mainly from within, due to ... [more ▼]

The railway sector has been a source of inspiration for generations of researchers challenged to develop models and tools to analyze safety and reliability. Threats were coming mainly from within, due to occasionally faults in hardware components. With the advent of smart trains, the railway industry is venturing into cybersecurity and the railway sector will become more and more compelled to protect assets from threats against information & communication technology. We discuss this revolution at large, while speculating that instruments developed for security requirements engineering can then come in support of in the railway sector. And we explore the use of one of them: the Controlled Natural Language for Data Sharing Agreement (CNL4DSA). We use it to formalize a few exemplifying signal management system requirements. Since CNL4DSA enables the automatic generation of enforceable access control policies, our exercise is preparatory to implementing the security-by design principle in railway signalling management engineering. [less ▲]

Detailed reference viewed: 44 (0 UL)
Full Text
Peer Reviewed
See detailModelling of ultrasound therapeutic heating and numerical study of the dynamics of the induced heat shock response
Mizera, Andrzej UL; Gambin, Barbara

in Communications in Nonlinear Science & Numerical Simulation (2011), 16(5), 23422349

Detailed reference viewed: 52 (1 UL)
Peer Reviewed
See detailModelling of wood combustion under fixed bed conditions.
Peters, Bernhard UL; Bruch, Christian; Nussbaumer, Th

in Fuel (2003), 82 (6)

Detailed reference viewed: 119 (0 UL)
Full Text
Peer Reviewed
See detailModelling Scale in Historiographical Data
Armaselu, Florentina UL

Scientific Conference (2018, December 09)

The project will investigate the meaning of scale in historical writings, and more precisely how scale is expressed through language in historical discourse. This question draws attention to the ... [more ▼]

The project will investigate the meaning of scale in historical writings, and more precisely how scale is expressed through language in historical discourse. This question draws attention to the conceptual and linguistic mechanisms at play in building historical knowledge, when the historian moves between different layers of analysis, narration or consulted sources, involving different degrees of generality. A small historiographical corpus, in which variations of scale are clearly present, will serve to develop the digital approach/tools/methodology. Depending on the findings of the project, an extension of the research to other types of corpora is envisaged. The paper presents a workflow and first experiments using topic modelling to analyse scale representation in historiographical data. Further experiments with more documents, other models and visualisation tools, as well as eventually creating a pipeline for semi-automatic restructuration of data as zoomable texts are also envisaged. [less ▲]

Detailed reference viewed: 83 (33 UL)
See detailModelling the English Learning Process of Foreign Students in Singapore: Thematic Analyses of Student Focus Groups
Sng, Bee Bee; Pathak, Anil; Serwe, Stefan Karl UL

in Humanising Language Teaching (2009), 11(4),

Detailed reference viewed: 45 (0 UL)
Full Text
See detailModelling the Extensionally Driven Transitions of DNA
Taghavi, Amirhossein UL

Doctoral thesis (2018)

Empirical measurements on DNA under tension show a jump by a factor of ≈ 1.5 − 1.7 in the relative extension at applied force of ≈ 65 − 70 pN, indi- cating a structural transition. The still ambiguously ... [more ▼]

Empirical measurements on DNA under tension show a jump by a factor of ≈ 1.5 − 1.7 in the relative extension at applied force of ≈ 65 − 70 pN, indi- cating a structural transition. The still ambiguously characterised stretched ‘phase’ is known as S-DNA. Using atomistic and coarse-grained Monte Carlo simulations we study DNA over-stretching in the presence of organic salts Ethidium Bromide (EtBr) and Arginine (an amino acid present in the RecA binding cleft). We present planar-stacked triplet disproportionated DNA as a solution phase of the double helix under tension, and dub it ‘Σ DNA’, with the three right-facing points of the Σ character serving as a mnemonic for the three grouped bases. Like unstretched Watson-Crick base paired DNA structures, the structure of the Σ phase is linked to function: the partitioning of bases into codons of three base-pairs each is the first stage of operation of recombinase enzymes such as RecA, facilitating alignment of homologous or near-homologous sequences for genetic exchange or repair. By showing that this process does not require any very sophisticated manipulation of the DNA, we position it as potentially appearing as an early step in the de- velopment of life, and correlate the postulated sequence of incorporation of amino acids (GADV then GADVESPLIT and then the full 20 residue set of canonical amino acids) into molecular biology with the ease of Σ-formation for sequences including the associated codons. To further investigate the de- pendence of stretching behaviour on the concentration of intercalating salt molecules, we present a physically motivated coarse-grained force-field for DNA under tension and use it to qualitatively reproduce regimes of force- extension behaviour which are not atomistically accessible. [less ▲]

Detailed reference viewed: 103 (25 UL)
Full Text
Peer Reviewed
See detailModelling the global ocean tides: modern insights from FES2004
Lyard, Florent; Lefevre, Fabien; Letellier, Thierry et al

in Ocean Dynamics (2006), 56(5-6), 394--415

Detailed reference viewed: 113 (2 UL)
Full Text
Peer Reviewed
See detailModelling the influence of grain-size-dependent solute drag on the kinetics of grain growth in nanocrystalline materials
Michels, Andreas UL; Krill, C. E.; Ehrhardt, H. et al

in Acta Materialia (1999), 47(7), 2143-2152

The large relative change in total grain-boundary area that accompanies grain growth in a nanocrystalline material has a potentially strong influence on the kinetics of grain growth whenever grain ... [more ▼]

The large relative change in total grain-boundary area that accompanies grain growth in a nanocrystalline material has a potentially strong influence on the kinetics of grain growth whenever grain-boundary migration is controlled by solute (impurity) drag. As the grain-boundary area decreases, the concentration of solute or impurity atoms segregated to the boundaries is expected to increase rapidly, introducing a grain-size dependence to the retarding force on boundary migration. We have modified the Burke equation—which assumes the drag force to be independent of the average grain size—to take into account a linear dependence of grain-boundary pinning on grain size. The form of the resulting grain-growth curve is surprisingly similar to Burke's solution; in fact, a constant rescaling of the boundary mobility parameter is sufficient to map one solution approximately onto the other. The activation energies for grain-boundary motion calculated from the temperature dependence of the mobility parameter are therefore identical for both models. This fact provides an explanation for the success of Burke's solution in fitting grain-growth data obtained in systems, such as nanocrystalline materials, for which the assumption of grain-size-independent solute drag is incorrect. [less ▲]

Detailed reference viewed: 133 (2 UL)
Full Text
Peer Reviewed
See detailModelling the Interaction Between Objects: Roles as Affordances
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in Knowledge Science, Engineering and Management, First International Conference, KSEM 2006 (2006)

In this paper we present a new vision of objects in ontologies where the objects’ attributes and operations depend on who is interacting with them. This vision is based on a new definition of the notion ... [more ▼]

In this paper we present a new vision of objects in ontologies where the objects’ attributes and operations depend on who is interacting with them. This vision is based on a new definition of the notion of role, which is inspired by the concept of affordance as developed in cognitive science. The current vision of objects considers attributes and operations as being objective and independent from the interaction. In contrast, in our model interaction with an object always passes through a role played by another object manipulating it. The advantage is that roles allow to define operations whose behavior changes depending on the role and the requirements it imposes, and to define session aware interaction, where the role maintains the state of the interaction with an object. Finally, we provide a description of the model in UML and we discuss how roles as affor- dances have been introduced in Java [less ▲]

Detailed reference viewed: 58 (0 UL)
Full Text
Peer Reviewed
See detailModelling the Legacies of War Violence: Voters, Parties, Communities
Glaurdic, Josip UL; Lesschaeve, Christophe UL; Mochtak, Michal UL

in Anali Hrvatskog politološkog društva: časopis za politologiju (2019), 15(1), 77-101

Wars are extreme events with profound social consequences. Political science, however, has a limited grasp of their impact on the nature and content of political competition which follows in their wake ... [more ▼]

Wars are extreme events with profound social consequences. Political science, however, has a limited grasp of their impact on the nature and content of political competition which follows in their wake. That is partly the case due to a lack of conceptual clarity when it comes to capturing the effects of war with reliable data. This article systematises and evaluates the attempts at modelling the consequences of war in political science research which relies on quantitative methods. Our discussion is organised around three levels of analysis: individual level of voters, institutional level of political parties, and the aggregate level of communities. We devote particular attention to modelling the legacies of the most recent wars in Southeast Europe, and we offer our view of which efforts have the best potential to help set the foundations of a promising research programme. [less ▲]

Detailed reference viewed: 102 (20 UL)
Full Text
Peer Reviewed
See detailModelling the natural history of Huntingtons disease progression
Kuan, William; Kasis, Andrea; Yuan, Ye et al

in BMJ Open (2014)

Background: The lack of reliable biomarkers to track disease progression is a major problem in clinical research of chronic neurological disorders. Using Huntington’s disease (HD) as an example, we ... [more ▼]

Background: The lack of reliable biomarkers to track disease progression is a major problem in clinical research of chronic neurological disorders. Using Huntington’s disease (HD) as an example, we describe a novel approach to model HD and show that the progression of a neurological disorder can be predicted for individual patients. Methods : Starting with an initial cohort of 343 patients with HD that we have followed since 1995, we used data from 68 patients that satisfied our filtering criteria to model disease progression, based on the Unified Huntington’s Disease Rating Scale (UHDRS), a measure that is routinely used in HD clinics worldwide. Results : Our model was validated by: (A) extrapolating our equation to model the age of disease onset, (B) testing it on a second patient data set by loosening our filtering criteria, (C) cross-validating with a repeated random subsampling approach and (D) holdout validating with the latest clinical assessment data from the same cohort of patients. With UHDRS scores from the past four clinical visits (over a minimum span of 2 years), our model predicts disease progression of individual patients over the next 2 years with an accuracy of 89–91%. We have also provided evidence that patients with similar baseline clinical profiles can exhibit very different trajectories of disease progression. Conclusions : This new model therefore has important implications for HD research, most obviously in the development of potential disease-modifying therapies. We believe that a similar approach can also be adapted to model disease progression in other chronic neurological disorders. [less ▲]

Detailed reference viewed: 137 (11 UL)
Full Text
Peer Reviewed
See detailModelling the usage of partial functions and undefined terms using presupposition theory
Cramer, Marcos UL

in Geschke, Stefan; Loewe, Benedikt; Schlicht, Philipp (Eds.) Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (2014)

We describe how the linguistic theory of presuppositions can be used to analyse and model the usage of partial functions and undefined terms in mathematical texts. We compare our account to other accounts ... [more ▼]

We describe how the linguistic theory of presuppositions can be used to analyse and model the usage of partial functions and undefined terms in mathematical texts. We compare our account to other accounts of partial functions and undefined terms, showing how our account models the actual usage of partial functions and undefined terms more faithfully than existing accounts. The model described in this paper has been developed for the Naproche system, a computer system for proof-checking mathematical texts written in controlled natural language, and has largely been implemented in this system. [less ▲]

Detailed reference viewed: 71 (12 UL)
Full Text
See detailModelling Thermochemical Processes in Granular Media
Hoffmann, Florian UL

Presentation (2012, October 26)

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailModelling thermophilic anaerobic digestion of maize silage
Beierlein, Nomathamsanqa Nonjabulo UL; Golkowska, Katarzyna UL; Greger, Manfred UL

in Proceedings Venice 2010, Third International Symposium on energy from Biomass and Waste, 8-11.11.2010, Venice (2010)

Detailed reference viewed: 79 (3 UL)
See detailModelling urban structure and exposure to traffic-induced air pollution
Schindler, Mirjam UL

Presentation (2016, November 30)

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailModels and Technologies for Intelligent Transportation Systems: new challenges and metaheuristic solutions for large-scale network applications
Viti, Francesco UL; Tampere, Chris M.J.

in Journal of Intelligent Transportation Systems (2014), 18(1), 1-4

Detailed reference viewed: 102 (7 UL)
Full Text
Peer Reviewed
See detailModels for Efficient Data Replication in Cloud Computing Datacenters
Boru, Dejene; Kliazovich, Dzmitry UL; Granelli, Fabrizio et al

in IEEE International Conference on Communications (ICC), London, UK, 2015 (2015)

Cloud computing is a computing model where users access ICT services and resources without regard to where the services are hosted. Communication resources often become a bottleneck in service ... [more ▼]

Cloud computing is a computing model where users access ICT services and resources without regard to where the services are hosted. Communication resources often become a bottleneck in service provisioning for many cloud applications. Therefore, data replication which brings data (e.g., databases) closer to data consumers (e.g., cloud applications) is seen as a promising solution. In this paper we present models for energy consumption and bandwidth demand of database access in cloud computing datacenter. In addition we propose an energy efficient replication strategy based on the proposed models which results in improved Quality of Service (QoS) with reduced communication delays. The evaluation results obtained with extensive simulations help to unveil performance and energy efficiency tradeoffs as well as guide the design of future data replication solutions. [less ▲]

Detailed reference viewed: 235 (5 UL)
Peer Reviewed
See detailModels of Objective Chance: An Analysis through Examples
Bana, Gergely UL

in Making it Formally Explicit (2017)

Detailed reference viewed: 47 (1 UL)