| 1. |
- Hedin, Daniel, 1978, et al.
(författare)
-
A Principled Approach to Tracking Information Flow in the Presence of Libraries
- 2017
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783662544549 ; 10204, s. 49-70
-
Konferensbidrag (refereegranskat)abstract
- There has been encouraging progress on information flow control for programs in increasingly complex programming languages, tracking the propagation of information from input sources to output sinks. Yet, programs are typically deployed in an environment with rich APIs and powerful libraries, posing challenges for information flow control when the code for these APIs and libraries is either unavailable or written in a different language.This paper presents a principled approach to tracking information flow in the presence of libraries. With the goal to strike the balance between security and precision, we present a framework that explores the middle ground between the “shallow”, signature-based modeling of libraries and the “deep”, stateful approach, where library models need to be supplied manually. We formalize our approach for a core language, extend it with lists and higher-order functions, and establish soundness results with respect to the security condition of noninterference.
|
|
| 2. |
-
2016 Workshop on Exascale Multi/Many Core Computing Systems (E-MuCoCoS)
- 2016
-
Samlingsverk (redaktörskap) (refereegranskat)abstract
- Exascale computing will revolutionize computational science and engineering by providing 1000x the capabilities of currently available computing systems, while having a similar power footprint. The HPC community is working towards the development of the first Exaflop computer after reaching the Petaflop milestone in 2008. There are concerns that computer designs based on existing multi-core and many-core solutions will not scale to Exascale considering technical challenges (such as, productivity, energy consumption or reliability) and reasonable economic constraints. Therefore, novel multi-core and many-core solutions are required to reach Exascale. The E-MuCoCoS workshop series focuses on multi/many core languages, system software and architectural solutions for extreme-scale systems towards Exascale.
|
|
| 3. |
-
Agent Environments for Multi-Agent Systems IV : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7 invited papers were carefully reviewed and selected from 14 initial submissions. The papers are organized in topical sections on connecting agents, environments, and humans; environments for complex and stigmergic systems; virtual and simulated environments; and open agent environments and interoperability.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
-
Graph Drawing and Network Visualization : 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
- 2018
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the refereed proceedings of the 26th International Symposium on Graph Drawing and Network Visualization, GD 2018, held in Barcelona, Spain, in September 2018. The 41 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: planarity variants; upward drawings; RAC drawings; orders; crossings; crossing angles; contact representations; specialized graphs and trees; partially fixed drawings, experiments; orthogonal drawings; realizability; and miscellaneous. The book also contains one invited talk in full paper length and the Graph Drawing contest report.
|
|
| 7. |
- Guo, Hong, et al.
(författare)
-
Barriers to Adopting E-commerce in Chinese Rural Areas : A Case Study
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Although e-commerce has been adopted and developed rapidly in rural areas in China during the past two years, serious issues have been encountered as well. Practitioners and scientists proposed lists of barriers. However, such lists differ with each other for different regions and at different time. Fixed lists may not help much practically. Present research proposes a framework named N3F4 to structure and formalize such barriers. Based on the framework, researchers could make a list of barriers for a given region, perform surveys among interested people, prioritize the barriers, analyze reasons and propose solutions. In this paper, we introduce the N3F4 framework, and present a case study of applying the framework in one small county in China. The result shows that the N3F4 framework helps structure barriers before performing the survey, and it also helps analyze the result and come up with solutions afterwards, both effectively and efficiently.
|
|
| 8. |
|
|
| 9. |
-
Internet Science : Proceedings
- 2017
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the proceedings of the 4th International Conference on Internet Science held in Thessaloniki, Greece, in November 2017. The 34 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: next generation community engagement; online policy, politics and co-creation; understanding and empowering digital citizens; data-driven research and design; social media and online interaction.
|
|
| 10. |
- Ismail, Muhammad
(författare)
-
Ontology Learning from Software Requirements Specification
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Learning ontologies from software requirements specifications with individuals and relations between individuals to represent detailed information, such as input, condition and expected result of a requirement, is a difficult task. System specification ontologies (SSOs) can be developed from software requirement specifications to represent requirements and can be used to automate some time-consuming activities in software development processes. However, manually developing SSOs to represent requirements and domain knowledge of a software system is a time-consuming and a challenging task. The focus of this PhD is how to create ontologies semi-automatically from SRS. We will develop a framework that can be a possible solution to create semi-automatically ontologies from SRS. The developed framework will mainly be evaluated by using the constructed ontologies in the software testing process and automating a part of it. i.e. test case generation.
|
|
| 11. |
- Matić, Teodora, et al.
(författare)
-
Unsupervised Learning from Motion Sensor Data to Assess the Condition of Patients with Parkinson’s Disease
- 2019
-
Ingår i: AIME 2019. - Cham : Springer. - 9783030216429 - 9783030216412 ; , s. 420-424
-
Konferensbidrag (refereegranskat)abstract
- Parkinson’s disease (PD) is a chronic neurodegenerative disorder that predominantly affects the patient’s motor system, resulting in muscle rigidity, bradykinesia, tremor, and postural instability. As the disease slowly progresses, the symptoms worsen, and regular monitoring is required to adjust the treatment accordingly. The objective evaluation of the patient’s condition is sometimes rather difficult and automated systems based on various sensors could be helpful to the physicians. The data in this paper come from a clinical study of 19 advanced PD patients with motor fluctuations. The measurements used come from the motion sensors the patients wore during the study. The paper presents an unsupervised learning approach applied on this data with the aim of checking whether sensor data alone can indicate the patient’s motor state. The rationale for the unsupervised approach is that there was significant inter-physician disagreement on the patient’s condition (target value for supervised machine learning). The input to clustering came from sensor data alone. The resulting clusters were matched against the physicians’ estimates showing relatively good agreement.
|
|
| 12. |
|
|
| 13. |
- Oliinyk, O., et al.
(författare)
-
Metrics for the evaluation of feature models in an industrial context : A case study at opel
- 2015
-
Konferensbidrag (refereegranskat)abstract
- [Context & motivation] Feature models are used in product line engineering to document possible product configurations on the feature level. [Problem] In order to quantify the success of adopting feature modeling in practice, we need to understand the industry relevant metrics for feature model evaluation. [Solution] In order to identify the metrics a Goal-Question-Metric approach was used in the context of a case study conducted at Adam Opel AG. [Contribution:] We identified seven goals (quality criteria) we should strive for and evaluate when using feature models. Furthermore, we identified 18 sub-goals, 27 questions and corresponding metrics. The metrics were used to reflect on the feature modeling conducted at the company. © Springer International Publishing Switzerland 2015.
|
|
| 14. |
-
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
- 2017
-
Proceedings (redaktörskap) (refereegranskat)abstract
- The proceedings contain 14 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Eliminating irrelevant non determinism in functional logic programs; canonicalizing high-level constructs in picat; integrating answer set programming with object-oriented languages; extending answer set programs with interpreted functions as first-class citizens; lowering the learning curve for declarative programming; overlapping patterns for property-based testing; Boltzmann samplers for closed simply-typed lambda terms; selection equilibria of higher-order games; principles and prototype implementation; declarative programming of full-fledged musical applications; a domain-specific language for software-defined radio; a declarative DSL for customizing ASCII art and using iterative deepening for probabilistic logic inference. © Copyright 2017 Elsevier B.V., All rights reserved
|
|
| 15. |
- Schwierz, A., et al.
(författare)
-
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
- 2018
-
Konferensbidrag (refereegranskat)abstract
- The usage of complex Microcontroller Units (MCUs) in avionics systems constitutes a challenge in assuring their safety. They are not always developed according to the assurance requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch, because of the volume of sales and reduced liability. In the last years MCUs developed in compliance to the ISO 26262 have been released on the market for safety-related automotive applications. The avionics market could profit taking credit for some of the activities conducted in developing these MCUs. In this paper we present evaluation results based on comparing assurance activities from ISO 26262 that could be considered for compliance to relevant assurance guidance for COTS MCU in avionics.
|
|
| 16. |
|
|
| 17. |
-
Software Architecture : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
- 2015
-
Ingår i: IFIP Advances in Information and Communication Technology. - Cham : Springer. - 1868-4238 .- 1868-422X. ; 9278
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the proceedings of the 9th European Conference on Software Architecture, ECSA 2015, held in Cavtat, Croatia in September 2015. The 12 full papers and 15 short papers presented together with three education and training papers in this volume were carefully reviewed and selected from 100 submissions. They are organized in topical sections named: adaptation; design approaches; decisions and social aspects; education and training; cloud and green; agile and smart systems; analysis and automation; services and ecosystems.
|
|
| 18. |
|
|
| 19. |
- Wen, Wei, 1983-, et al.
(författare)
-
Novel Software-based Method to Widen Dynamic Range of CCD Sensor Images
- 2015
-
Konferensbidrag (refereegranskat)abstract
- In the past twenty years, CCD sensor has made huge progress in improving resolution and low-light performance by hardware. However due to physical limits of the sensor design and fabrication, fill factor has become the bottle neck for improving quantum efficiency of CCD sensor to widen dynamic range of images. In this paper we propose a novel software-based method to widen dynamic range, by virtual increase of fill factor achieved by a resampling process. The CCD images are rearranged to a new grid of virtual pixels com-posed by subpixels. A statistical framework consisting of local learning model and Bayesian inference is used to estimate new subpixel intensity. By knowing the different fill factors, CCD images were obtained. Then new resampled images were computed, and compared to the respective CCD and optical image. The results show that the proposed method is possible to widen significantly the recordable dynamic range of CCD images and increase fill factor to 100 % virtually.
|
|
| 20. |
- Sjölinder, Marie, et al.
(författare)
-
Using care professionals as proxies in the design process of welfare technology – Perspectives from municipality care
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Bringing real users into the design process is often seen as a successful way of creating useful IT systems. However, when it comes to designing for elderly, this is not always possible since many elderly suffer from age-related decline, both with respect to physical and cognitive abilities. This paper elaborates on the approach of working with proxies, in this case elderly care personnel. Different groups of people (N = 117) working with elderly and well familiar with needs and contexts around elderly were engaged in this study. Using a questionnaire and a more in-depth workshop we explored with municipality care professionals their experiences as well as the need to create a framework to improve such a proxy approach, and whether a method using care professionals as mediators could be possible to establish in elderly care. The results described in this paper are complementary to ours and others previous knowledge and show promising commitment and willingness to work in accordance with the proposed method.
|
|
| 21. |
-
Advanced Information Systems Engineering : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the proceedings of the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, held in Stockholm, Sweden, in June 2015.The 31 papers presented in this volume were carefully reviewed and selected from 236 submissions. They were organized in topical sections named: social and collaborative computing; business process modeling and languages; high volume and complex information management; requirements elicitation and management; enterprise data management; model conceptualisation and evolution; process mining, monitoring and predicting; intra- and inter-organizational process engineering; process compliance and alignment; enterprise IT integration and management; and service science and computing. The book also contains the abstracts of 3 keynote speeches and 5 tutorials, presented at the conference.
|
|
| 22. |
-
Advances in Conceptual Modeling : ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19–22, 2015, Proceedings
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- PrefaceWelcome to the proceedings of the workshops held during the 34th InternationalConference on Conceptual Modeling (ER conference 2015) in Stockholm, Sweden.Workshops offer an incremental exploration of cutting-edge research issues thatbecome prominent in the future. The ER conference has a long tradition of thought-provoking and state-of-the-art workshops. This year we had a rich combination ofseven workshops and a special symposium on conceptual modeling education.We attracted 52 paper submissions for all the workshops, of which 26 wereaccepted. These workshops also have invited papers along with papers from thesymposium on conceptual modeling education.This volume comprises contributions from the following workshops:AHA 2015–Conceptual Modeling for Ambient Assistance and Healthy AgeingCMS 2015–Conceptual Modeling of ServicesEMoV 2015–Event Modeling and Processing in Business Process ManagementMoBiD 2015–Modeling and Management of Big DataMORE-BI 2015–Modeling and Reasoning for Business IntelligenceMReBA 2015–Conceptual Modeling in Requirements Engineering and Business AnalysisQMMQ 2015–Quality of Modeling and Modeling of QualitySCME 2015–Symposium on Conceptual Modeling Education
|
|
| 23. |
-
Advances in Intelligent Data Analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings
- 2016
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the refereed conference proceedings of the 15th International Conference on Intelligent Data Analysis, which was held in October 2016 in Stockholm, Sweden. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The symposium aims to provide a forum for inspiring research contributions that might be considered preliminary in other leading conferences and journals, but that have a potentially dramatic impact.
|
|
| 24. |
-
Advances in Practical Applications of Cyber-Physical Multi-Agent Systems : 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings
- 2017. - 1
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.
|
|
| 25. |
-
Artificial Intelligence in Medicine : Knowledge Representation and Transparent and Explainable Systems
- 2019
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes revised selected papers from the AIME 2019 workshops KR4HC/ProHealth 2019, the Workshop on Knowledge Representation for Health Care and Process-Oriented Information Systems in Health Care, and TEAAM 2019, the Workshop on Transparent, Explainable and Affective AI in Medical Systems.The volume contains 5 full papers from KR4HC/ProHealth, which were selected out of 13 submissions. For TEAAM 8 papers out of 10 submissions were accepted for publication. © 2019 Springer Nature Switzerland AG. Part of Springer Nature.
|
|
| 26. |
|
|
| 27. |
-
Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
- 2017
-
Proceedings (redaktörskap) (refereegranskat)abstract
- The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.
|
|
| 28. |
-
Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
- 2017
-
Proceedings (redaktörskap) (refereegranskat)abstract
- The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.
|
|
| 29. |
-
Conceptual Modeling : Proceedings
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015. The 26 full and 19 short papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on business process and goal models, ontology-based models and ontology patterns, constraints, normalization, interoperability and integration, collaborative modeling, variability and uncertainty modeling, modeling and visualization of user generated content, schema discovery and evolution, process and text mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.
|
|
| 30. |
-
Data Mining and Constraint Programming : Foundations of a Cross-Disciplinary Approach
- 2016
-
Samlingsverk (redaktörskap) (refereegranskat)abstract
- A successful integration of constraint programming and data mining has the potential to lead to a new ICT paradigm with far reaching implications. It could change the face of data mining and machine learning, as well as constraint programming technology. It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.This book reports on some key results obtained on this integrated and cross- disciplinary approach within the European FP7 FET Open project no. 284715 on “Inductive Constraint Programming” and a number of associated workshops and Dagstuhl seminars. The book is structured in five parts: background; learning to model; learning to solve; constraint programming for data mining; and showcases.
|
|
| 31. |
|
|
| 32. |
-
Digital Libraries for Open Knowledge : 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9–12, 2019, Proceedings
- 2019
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the proceedings of the 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, held in Olslo, Norway, in September 2019. The 16 revised full papers,12 short papers and 18 poster papers presented were carefully reviewed and selected from 75 submissions. The general theme of TPDL 2019 was Connecting with Communities and so the papers attempt to facilitate establishing connections and convergences between diverse research communities such as Digital Humanities, Information Sciences and others that could benefit from ecosystems offered by digital libraries and repositories. To become especially useful to the diverse research and practitioner communities digital libraries need to consider special needs and requirements for effective data utilization, management and exploitation.
|
|
| 33. |
|
|
| 34. |
- Fredenberg, Erik, PhD, 1979-, et al.
(författare)
-
Volumetric Breast-Density Measurement Using Spectral Photon-Counting Tomosynthesis : First Clinical Results
- 2016
-
Konferensbidrag (refereegranskat)abstract
- Measurements of breast density have the potential to improve the efficiency and reduce the cost of screening mammography through personalized screening. Breast density has traditionally been evaluated from the dense area in a mammogram, but volumetric assessment methods, which measure the volumetric fraction of fibro-glandular tissue in the breast, are potentially more consistent and physically sound. The purpose of the present study is to evaluate a method for measuring the volumetric breast density using photon-counting spectral tomosynthesis. The performance of the method was evaluated using phantom measurements and clinical data from a small population (n=18). The precision was determined to 2.4 percentage points (pp) of volumetric breast density. Strong correlations were observed between contralateral (R2=0.95) and ipsilateral () breast-density measurements. The measured breast density was anti-correlated to breast thickness, as expected, and exhibited a skewed distribution in the range [3.7%, 55%] and with a median of 18%. We conclude that the method yields promising results that are consistent with expectations. The relatively high precision of the method may enable novel applications such as treatment monitoring.
|
|
| 35. |
-
Knowledge Engineering and Knowledge Management : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This volume contains the Satellite Events proceedings of the 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014), held in Linköping, Sweden, during November 24–28, 2014. This was the first EKAW conference in a Nordic country. It was concerned with all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and a variety of other related topics. The special focus of EKAW2014 was Diversity.
|
|
| 36. |
|
|
| 37. |
-
Multi-Agent-Based Simulation XIX : Revised Selected Papers
- 2019
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Multi-Agent-Based Simulation, MABS 2019, held in Stockholm Sweden, in July 2018 as part of the Federated AI Meeting, FAIM 2018.The 10 revised full papers included in this volume were carefully selected from 15 submissions. They focus on finding efficient solutions to model complex social systems in such areas as economics, management, and organisational and social sciences. In all these areas, agent theories, metaphors, models, analysis, experimental designs, empirical studies, and methodological principles, converge into simulation as a way of achieving explanations and predictions, exploration and testing of hypotheses, better designs and systems.
|
|
| 38. |
|
|
| 39. |
|
|
| 40. |
- Sarkheyli, Azadeh, et al.
(författare)
-
Delone and McLean IS success model for evaluating knowledge sharing
- 2019
-
Konferensbidrag (refereegranskat)abstract
- It is generally agreed upon that Knowledge Sharing (KS) is an effective process within organizational settings. It is also the corner-stone of many firm’s Knowledge Management (KM) Strategy. Despite the growing significance of KS for organization’s competitiveness and performance, analyzing the level of KS make it difficult for KM to achieve the optimum level of KS. Because of these causes, this study attempts to develop a conceptual model based on one of the IS Theories that is determined as the best model for evaluating the level of KS. In other words, it is Delone and McLean IS Success model that is presented according to the Communication Theory and it covers various perspectives of assessing Information Systems (IS). Hence, these dimensions cause it to be a multidimensional measuring model that could be a suitable model for realizing the level of KS.
|
|
| 41. |
|
|
| 42. |
|
|
| 43. |
|
|
| 44. |
|
|
| 45. |
|
|
| 46. |
|
|
| 47. |
|
|
| 48. |
- Torra, Vicenç
(författare)
-
Scala: from a functional programming perspective : An Introduction to the Programming Language
- 2016
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented aspects of Scala, as they are a fundamental part of the language. In addition, the book includes a chapter on parallelism in Scala, giving an overview of the actor model.
|
|
| 49. |
|
|
| 50. |
- Wang, J., et al.
(författare)
-
Firefly algorithm with proportional adjustment strategy
- 2019
-
Konferensbidrag (refereegranskat)abstract
- Firefly algorithm is a new heuristic intelligent optimization algorithm and has excellent performance in many optimization problems. However, in the face of some multimodal and high-dimensional problems, the algorithm is easy to fall into the local optimum. In order to avoid this phenomenon, this paper proposed an improved firefly algorithm with proportional adjustment strategy for alpha and beta. Thirteen well-known benchmark functions are used to verify the performance of our proposed algorithm, the computational results show that our proposed algorithm is more efficient than many other FA algorithms.
|
|
