1,284,212 Hits in 5.5 sec

Modeling in the large: model libraries

Jeff Gray, Bernhard Rumpe
2021 Journal of Software and Systems Modeling  
The advent of model libraries will allow us to come up with good, modelbased designs in early phases of development.  ...  Modeling in the Large is a key concept that is vital toward addressing the growing complexity and organizational requirements that are faced by developers when applying modeling techniques to real-world  ...  Future Modeling in the Large research must clarify these issues.  ... 
doi:10.1007/s10270-021-00887-w fatcat:avnfxo7zxnfhxm6uri3ud4nkdq

Large-Scale Evaluation of Keyphrase Extraction Models

Ygor Gallina, Florian Boudin, Béatrice Daille
2020 Proceedings of the ACM/IEEE Joint Conference on Digital Libraries in 2020  
Our main results reveal that state-of-the-art models are in fact still challenged by simple baselines on some datasets.  ...  In this work, we address this issue by presenting a systematic large-scale analysis of state-ofthe-art keyphrase extraction models involving multiple benchmark datasets from various sources and domains  ...  ACKNOWLEDGMENTS We thank the anonymous reviewers for their valuable comments. This work was supported by the French National Research Agency (ANR) through the DELICES project (ANR-19-CE38-0005-01).  ... 
doi:10.1145/3383583.3398517 dblp:conf/jcdl/GallinaBD20 fatcat:bjtfeghnxvfcjp4fvve5wtcegm

Modelling the Turtle Python library in CSP

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2022 Electronic Proceedings in Theoretical Computer Science  
Python is a popular programming language in the robotics domain, through the use of the Robot Operating System (ROS) and various other libraries.  ...  Our interactive toolchain CSP2Turtle with CSP model and Python components, enables Turtle plans to be verified in CSP before being executed in Python.  ...  FDR supports machine-readable CSP (CSP M ), which allows for defining 1 Turtle package: The CSP events that we use in our model and their corresponding Turtle  ... 
doi:10.4204/eptcs.362.4 fatcat:oksbubvp6jgr3m2jljgql4wa7u

Modelling of Autosar Libraries for Large Scale Testing

Wojciech Mostowski, Thomas Arts, John Hughes
2017 Electronic Proceedings in Theoretical Computer Science  
Commercially, this method and tool have been used to test large parts of the industrially developed automotive libraries based on the Autosar standard.  ...  In this paper, we exemplify our approach with a circular buffer specified by Autosar, to demonstrate the capabilities of the model-based testing method of QuickCheck.  ...  However, as the code grows towards the complete Autosar library, the size of the model does not grow as fast.  ... 
doi:10.4204/eptcs.244.7 fatcat:l3mxydfm7jfp7awbdzzrjgfycm

Sources: Library Services for the Incarcerated: Applying the Public Library Model in Correctional Facility Libraries

James Bierman
2007 Reference and user services quarterly  
In their aptly titled book, Library Services for the Incarcerated: Applying the Public Library Model in Correctional Facility Libraries, Clark and MacCreaigh provide the why, what, who, and how for the  ...  Bandelin, Director of Libraries, Furman University, Greenville, South Carolina Library Services for the Incarcerated: Applying the Public Library Model in Correctional Facility Libraries.  ... 
doi:10.5860/rusq.47n1.94 fatcat:uk7jo4pvbfeibg6no7fyrcjryy

Extending model transformations in the performance domain with a node modeling library

Flavio Duarte, William Hasling, William Sherman, Daniel Paulish, Rosa Maria Leao, Edmundo Souza Silva, Vittorio Cortellessa
2008 Proceedings of the 7th international workshop on Software and performance - WOSP '08  
The framework takes advantage of a library of node models already specified by expert performance engineers.  ...  In addition, they would be able to generate optimized simulation models by putting together existing simulation nodes.  ...  However, for large industrial systems, activity diagram based model specifications may not be well suited to be applied to the model transformations that should result in an efficient simulation model.  ... 
doi:10.1145/1383559.1383580 dblp:conf/wosp/DuarteHSPLSC08 fatcat:4pxlepsvofg6nnxo7vfwdfbt2a

Managing Multiple Models of Publishing in Library Acquisition

Rick Anderson
2014 Against the Grain  
library Strategies How do libraries, specifically, deal with the wide variety of published documents that are, in turn, offered under a wide variety of publishing models?  ...  It is included in the list of models because it is, in fact, a new way of structuring and selling content that was previously available under the Pile-on model.  ... 
doi:10.7771/2380-176x.5836 fatcat:hovjwrcsonfzzdtdwxibw2en2y

School Libraries Serving Rural Communities in China: The Evergreen Model

Geoffrey Liu
2001 School Libraries Worldwide  
This article presents a case study of Evergreen school libraries in the northwestern region of China, with a focus on their innovative approaches to community services and strategies of reaching out to  ...  The data gathered for the case study included patron/school librarian interviews, observation of brainstorming by school librarians and principals, and analysis of library use data gathered from project  ...  Acknowledgement The author thanks the anonymous reviewers for their helpful comments on the initial draft of this article.  ... 
doi:10.29173/slw6773 fatcat:mubdroantfemvpguu7rayjptqi

An Organisational Model for University Libraries in Transition

Bas Savenije
2002 Liber Quarterly: The Journal of European Research Libraries  
The organisation of the university library in comprehensive universities is determined to a large extent by a number of historical factors.  ...  There is a need for a new model, which is not only fit for the present situation (the so-called hybrid library) but which can also accommodate the gradual changes towards a digital library.  ...  There are large differences between the separate branch libraries: in size, in organisation, in IT infrastructure, in their relation to central library.  ... 
doi:10.18352/lq.7689 fatcat:wxw43gwnxzfvbjskq5xxrp6hjq

Modelling Large, Dynamic, and Heterogeneous Populations Using DNA Libraries [article]

Helena Andrade, Alvin K. Thomas, Weilin Lin, Francesco V. Reddavide, Yixin Zhang
2018 bioRxiv   pre-print
The study of any population of large size and high diversity is limited by the lack of data and associated insights.  ...  We demonstrate that DNA libraries can be used to model heterogeneous populations, exhibiting functions such as self-protection, subjected to biased expansion, and to evolve into complex structures.  ...  The design of DNA libraries to model large populations of various diversities is shown in Fig. 1a . 20-base sequences X n (n is the length of degenerate sequence and reflects the library diversity) are  ... 
doi:10.1101/276873 fatcat:5ldzwszhmjbnbfdzh4capcezt4

Modelling the demand for learning resources in academic libraries

Jon Warwick
2008 Library and Information Research  
This paper gives a description of some of the classic archetypal system structures that commonly occur in system dynamics models and interprets them within the context of modelling an academic library  ...  With close links to systems theory it offers an holistic approach to modelling and focuses on the analysis of the feedback structures existing in complex systems that give rise to observed behaviour.  ...  Main alluded to the problem when she said of the Baker and Nance models: Underlying these studies, and largely ignored, is a very real problem which arises when computer simulation is applied to library  ... 
doi:10.29173/lirg79 fatcat:uozzervoxjh3zci6hmuyufjtvu

Modeling Magnetospheric Fields in the Jupiter System [chapter]

Joachim Saur, Emmanuel Chané, Oliver Hartkorn
2018 Astrophysics and Space Science Library  
The various processes which generate magnetic fields within the Jupiter system are exemplary for a large class of similar processes occurring at other planets in the solar system, but also around extrasolar  ...  In the case of Ganymede, these secondary magnetic fields influence the oscillation of the location of its auroral ovals.  ...  Summary In this chapter, we discussed similarities and differences between the largest and one of the smallest magnetosphere in the solar systems, i.e., those of Jupiter and Ganymede.  ... 
doi:10.1007/978-3-319-64292-5_6 fatcat:2ry7yttqgfhadn6dxuxkz6ndqq

Conceptual modelling of the public sphere in public libraries

Michael M. Widdersheim, Masanori Koizumi
2016 Journal of Documentation  
Using the dimensions we found, we developed a model to explain how public libraries function as instruments of the public sphere.  ...  We identified 6 dimensions of the public sphere in public libraries: Core Criteria, Internal Public Sphere, External Public Sphere, Collect and Organize Discourse, Perform Legitimation Processes, and Facilitate  ...  Model of the Public Sphere in Public Libraries In our model, each of the 3 discourse levels (intra-, inter-, external) corresponds with a set of library actions.  ... 
doi:10.1108/jd-06-2015-0079 fatcat:xfp3zwyv6vdzzcq7a3bedwtwnu

Modeling the digital content landscape in universities

Paul Conway, Michael Seadle
2008 Library hi tech  
The model should be applied and tested in a variety of university settings.  ...  Originality/value -The paper offers an original model for evaluating the asset values of digital content produced or acquired in a university context.  ...  The content landscape model proposed here may be most valuable, ultimately, for placing in a wider perspective the particular collection development priorities of a university library in relation to other  ... 
doi:10.1108/07378830810903283 fatcat:cbqo6b5hx5dj7mnkqu27mb43w4

The structural bioinformatics library: modeling in biomolecular science and beyond

Frédéric Cazals, Tom Dreyfus
2017 Bioinformatics  
(SBL,, a generic C++/python cross-platform software library targeting complex problems in structural bioinformatics.  ...  For end-users, the SBL provides ready to use, state-of-the-art (1) applications to handle molecular models defined by unions of balls, to deal with molecular flexibility, to model macro-molecular assemblies  ...  Large assemblies. A key difficulty in modeling large assemblies is to harness the uncertainties inherent to coarse-grain models.  ... 
doi:10.1093/bioinformatics/btw752 pmid:28062450 fatcat:xsrgbzmonbb5jfhmtqie4futym
« Previous Showing results 1 — 15 out of 1,284,212 results