Miracle-dz/UniFAR-FTUs huggingface dataset:
Security And Usability Designing Secure Systems That People Can Use

SECURITY AND USABILITY DESIGNING SECURE SYSTEMS THAT PEOPLE CAN USE PDF Are you looking for security and usability designing secure systems that people can use Books? Now, you will be happy that at this time security and usability designing secure systems that people can use PDF is available at our online library. With our complete resources, you could find security and usability designing secure systems that people can use PDF or just found any kind of Books for your readings everyday.
Things, tags, topics: Thingiverse’s object-centred network

ABSTRACT This article details findings from a multidisciplinary research team’s inquiry into the social uses of 3D printing. It applies digital research methods to 3D printing communities and their digitally shared objects. Thingiverse is one of the most well-known file repositories available for the semi-public distribution of files for use in 3D printers. The site allows for several different means of metadata classification of these files. Previous research on the site focused on the legal concerns related to the different types of intellectual property license ‘metadata’ attached to objects. Beyond these data points are numerous additional types of elected and automated connections between both users, objects and processes of creation including liking, commenting, tagging, categorising, watching, collecting, remixing, making, sharing, and attribution. Social Network Analysis of the relations between these data reveal interesting patterns towards the use and life of these objects. Our analysis also shows that despite the wealth of social functions, both actively engaged and passively automated, Thingiverse diverges from other social networks: sociality is mediated by reference to specific objects. As such, we claim Thingiverse should be considered as an object-centred social network. While such networks provoke Latourian analysis that is now well established in the study of computational culture, we also point to the need for new forms of social media analysis focused on the ways metadata constitute and guide such communities’ communications and govern their potentials.
Morpho Functional Machines The New Species Designing Embodied Intelligence

Thank you for reading morpho functional machines the new species designing embodied intelligence. Maybe you have knowledge that, people have search hundreds times for their chosen novels like this morpho functional machines the new species designing embodied intelligence, but end up in malicious downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they juggled with some harmful virus inside their laptop.
Constraints on cosmological dark matter annihilation from the Fermi-LAT isotropic diffuse gamma-ray measurement

The first published Fermi large area telescope (Fermi-LAT) measurement of the isotropic diffuse gamma-ray emission is in good agreement with a single power law, and is not showing any signature of a dominant contribution from dark matter sources in the energy range from 20 to 100 GeV. We use the absolute size and spectral shape of this measured flux to derive cross section limits on three types of generic dark matter candidates: annihilating into quarks, charged leptons and monochromatic photons. Predicted gamma-ray fluxes from annihilating dark matter are strongly affected by the underlying distribution of dark matter, and by using different available results of matter structure formation we assess these uncertainties. We also quantify how the dark matter constraints depend on the assumed conventional backgrounds and on the Universe's transparency to high-energy gamma-rays. In reasonable background and dark matter structure scenarios (but not in all scenarios we consider) it is possible to exclude models proposed to explain the excess of electrons and positrons measured by the Fermi-LAT and PAMELA experiments. Derived limits also start to probe cross sections expected from thermally produced relics (e.g. in minimal supersymmetry models) annihilating predominantly into quarks. For the monochromatic gamma-ray signature, the current measurement constrains only dark matter scenarios with very strong signals.
Traffic and Resource Management in Content-Centric Networks : Design and Evaluation Gestion du Trafic et des Ressources dans les réseaux centrés sur le contenu : Design et Évaluation

The advent of the World Wide Web has radically changed Internet usage from host-to-host to service access and data retrieval. The majority of services used by Internet’s clients (The web, Video on Demand, IP Television, on-line gaming, social networking) are content-centric in the sense that they focus on named content objects rather than on host-location. Contrarily to its usage, the original Internet revolves around host-to-host communication for which it was conceived. Even if Internet has been able to address the challenges offered by new applications, there is an evident mismatch between the architecture and its current usage. In this context, many projects in national research agencies propose to re-design the Internet architecture around named data. Such research efforts are commonly identified under the name of Information Centric Networking (ICN). This thesis focuses on the Content-Centric Networking proposition. We first analyze the CCN communication model with particular focus on the bandwidth and storage sharing performance. We compute closed formulas for data delivery time, that we use in the second part of the thesis as guideline for network protocol design. Second, we propose some CCN congestion control and forwarding mechanisms. In particular, we present a first window based receiver driven flow control protocol named Interest Control Protocol (ICP). Furthermore, we introduce a hop-byhop congestion control mechanism in order to obtain early congestion detection and reaction. We also extend the original ICP congestion control protocol implementing a Remote Adaptive Active Queue Management mechanism (RAAQM) in order to efficiently exploit heterogeneous (joint/disjoint) network paths. Finally, we introduce a distributed forwarding mechanism that bases its decisions on per prefix and per interface quality measurement without impacting the system scalability. To support our results and test the proposed mechanisms, we have also published the source code of a CCN Packet Level simulator (CCNPL-Sim) under the GNU GPLv2 license.
CarouCELL – a novel compact submerged perfusion bioreactor for drug screening and tissue engineering

Development of traditional methods of cell growth and manipulation on 2-dimensional (2D) surfaces, have been shown to be far from optimal for new challenges of tissue engineering and drug screening. This has lead to the design of a range of 3D cell culture matrices. However, a heterogeneous cell distribution ranging over a scaffold is still a challenge. We present a new compact 3D submerged perfusion bioreactor. It has a central chamber and eight outlet channels radiating from the central chamber to peripheral cutouts with scaffold cassettes. A magnetic stirrer bar in the central chamber is set to rotate thereby creating a vortex with a pressure minimum aligned with the central inlet hole. The media flow can be regulated via the RPM of the magnetic stirrer. The new design was initially tested with human mesenchymal stem cells (hMSCs) derived from bone marrow. After static seeding for two days cells was either grown in a standard static culture or in the perfusion reactor. DNA and alkaline phosphatase (ALP)/DNA analysis was performed both of the whole scaffold and partitioned scaffolds. It is concluded that i) dynamic culture speeds up osteogenic differentiation and ii) dynamic culture promotes a more disperse cell distribution.
Multiscale analysis of the topological invariants in the logarithmic region of turbulent channels at a friction Reynolds number of 932

The invariants of the velocity gradient tensor, $R$ and $Q$ , and their enstrophy and strain components are studied in the logarithmic layer of an incompressible turbulent channel flow. The velocities are filtered in the three spatial directions and the results are analysed at different scales. We show that the $R$ – $Q$ plane does not capture the changes undergone by the flow as the filter width increases, and that the enstrophy/enstrophy-production and strain/strain-production planes represent better choices. We also show that the conditional mean trajectories may differ significantly from the instantaneous behaviour of the flow since they are the result of an averaging process where the mean is 3–5 times smaller than the corresponding standard deviation. The orbital periods in the $R$ – $Q$ plane are shown to be independent of the intensity of the events, and of the same order of magnitude as those in the enstrophy/enstrophy-production and strain/strain-production planes. Our final goal is to test whether the dynamics of the flow is self-similar in the inertial range, and the answer turns out to be that it is not. The mean shear is found to be responsible for the absence of self-similarity and progressively controls the dynamics of the eddies observed as the filter width increases. However, a self-similar behaviour emerges when the calculations are repeated for the fluctuating velocity gradient tensor. Finally, the turbulent cascade in terms of vortex stretching is considered by computing the alignment of the vorticity at a given scale with the strain at a different one. These results generally support a non-negligible role of the phenomenological energy-cascade model formulated in terms of vortex stretching.
A study on the ontology based Web mining for digital library

Today the Internet provides users access to extremely large number of Web sites and search engines many of which contain information of entertainment, education and commercial values. It is a challenging task to develop digital libraries for organizing and managing digital content from the Web, due to the unstructured and semi-structured nature of Web pages and the design peculiarity of Web sites. Web mining research, in its last 12 years, has on the other hand made significant progress in categorizing and extracting content from the Web. In this paper, ontology is represented as a set of concepts and their inter-relationships relevant to some knowledge domain. The knowledge provided by ontology is extremely useful in defining the structure and scope for mining Web content. A review on Web mining and the ontology approach to Web mining are also described. The application of these Web mining techniques to digital library systems is also discussed.
No pair production of open strings in a plane-wave background

We consider whether an external electric field may cause the pair production of open strings in a type IIA plane-wave background. The boundary states of D-branes with condensates are constructed in the Green-Schwarz formulation of superstring theory with the light-cone gauge. The cylinder diagrams are computed with massive theta functions. Although the value of the electric field is bounded by the upper value, there is no pole in the amplitudes and it indicates that no pair production occurs in the plane-wave background. This result would be universal for a class of plane-wave backgrounds.
Violation of the Wiedemann-Franz law for one-dimensional ultracold atomic gases

We study energy and particle transport for one-dimensional strongly interacting bosons through a single channel connecting two atomic reservoirs. We show the emergence of particle- and energy- current separation, leading to the violation of the Wiedemann-Franz law. As a consequence, we predict different time scales for the equilibration of temperature and particle imbalances between the reservoirs. Going beyond the linear spectrum approximation, we show the emergence of ther- moelectric effects, which could be controlled by either tuning interactions or the temperature. Our results describe in a unified picture fermions in condensed matter devices and bosons in ultracold atom setups. We conclude discussing the effects of a controllable disorder.
Correlation-based tracking using tunable training and Kalman prediction

Tracking solves the problem of detecting and estimating the future target state in an input video sequence. In this work, an adaptive tracking algorithm by means of multiple object detections in reduced frame areas with a tunable bank of correlation filters is proposed. Prediction of the target state is carried out with the Kalman filtering. It helps us to estimate the target state, to reduce the search area in the next frame, and to solve the occlusion problem. The bank of composite filters is updated frame by frame with tolerance to different recent viewpoint and scale changes of the target. The performance of the proposed algorithm with the help of computer simulation is evaluated in terms of detection and location errors.
Formation control of autonomous underwater vehicles with consensus algorithms and virtual structure

The small-scale formation control of autonomous underwater vehicles(AUVs) was investigated with consensus algorithms and virtual structure. Firstly,considering the inconsistant virtual-leader information(reference information) for each AUV,a consensus algorithm was adopted to negothiate the inconsistant reference information for each AUV,helping them reach a consistant state. Secondly,the relative positions to the virtual leader were transformed into their desired positions with coordinate transformation based on virtual structure,and a control law was proposed to make the AUVs track the desired trajectories in finite time.The small-scale formation control for AUVs in finite-time was carried out.Finally,Experimental results were provided to demonstrate the effectiveness of the proposed methods.
PATHFINDING PADA LINGKUNGAN STATIS BERDASARKAN ARTIFICIAL POTENTIAL FIELD DENGAN FLOCKING BEHAVIOR UNTUK NON-PLAYER CHARACTER FOLLOWER PADA GAME

Artificial Intelligence in video games are an essential to provide a challenge to the players. One of them makes the character or Follower NPC (non-player character Follower) in video games such as human or animal behavior indeed. Among the many techniques in Artificial Intelligence, pathfinding is one of the popular techniques studied than the other. In own pathfinding is to avoid obstacles that is one of the main problem. Algorithm which solves this problem is Astarpathfinding, but it has a disadvantage in determining way in the large area. AstarPathfinding requires high computing time. In this research, the proposed algorithm which is able to handle the pathfinding process by using the function attractive potential field of Artificial Potential Field to perform pathfinding to the purpose and the flocking behavior techniques to avoid the obstacle. Based on the test results through environments static simulation, it can be gotten that the proposed algorithm has a faster computation time than the comparison algorithm, Astarpathfinding algorithm. Kata Kunci : Artificial Intelligence, Game, pathfinding, Artificial Potential Field, Flocking behavior
Synthesis and Optical Properties of Novel Red Phosphors YNbTiO6:Eu3+ with Highly Enhanced Brightness by Li+ Doping.

Abstract Highly luminescent euxenite phased YNbTiO 6 :Eu 3+ and Li + -doped YNbTiO 6 :Eu 3+ red phosphors have been prepared through a facile sol–gel combustion process and investigated for the first time. The introduction of Li + ions into YNbTiO 6 :Eu 3+ is able to result in significant changes of the crystallinity and particle size, and bring a clear red-shift of absorption edge. A dominant red emission peak at 611 nm due to the 5 D 0 → 7 F 2 transition of Eu 3+ was observed from photoluminescence spectra of the YNbTiO 6 :Eu 3+ and Li + -doped YNbTiO 6 :Eu 3+ phosphors. In particular, the emission intensity of the optimal Li + -doped YNbTiO 6 :Eu 3+ was examined to be close to 400% of commercial Y 2 O 3 :Eu 3+ phosphor. The mechanism of the enhanced emission by Li + doping was discussed.
Characterization and Enhancement of Data Locality and Load Balancing for Irregular Applications

The rate of improvement in data access costs continues to lag behind the improvement in computational rates. Therefore characterization and enhancement of data locality in applications is extremely important. In addition, load balancing also plays a significant role in parallel application performance. This is particularly challenging for irregular and unstructured applications. In this dissertation, we address both the efficient parallel characterization of data locality characteristics of programs, as well as develop parallel applications with enhanced data locality and load balancing. First, we address the speed of reuse distance analysis by parallelization. Reuse distance can directly predict the cache hit ratio for a fully associative cache and be used in various program optimization techniques like loop tiling, code reordering, cache sharing and cache partitioning to improve locality. Though reuse distance analysis is very useful, it is also costly. We develop the first parallel reuse distance analysis algorithm (Parda). Parda achieves speedup ranging from 13 to 50 on various SPEC CPU2006 benchmarks, compared to a state-of-the-art sequential accurate reuse distance analysis algorithm. Second, we utilize reuse distance analysis to construct a locality based performance model to analyze and enhance the performance of two production scientific applications QMCPACK and QWalk. These quantum Monte Carlo (QMC) applications use a very large
P2P Search Mechanism Based on Cosine Similarity Grouping

Aiming at the deficit of the existing grouping search mechanism,an improved search mechanism is proposed,which establishes a logical group reasonably based on the cosine similarity of term weight vector,integrating with considering the distance between the nodes.A task-sharing strategy is presented in the inter-group search,letting different members act as the managers of the links.Experimental result shows that the mechanism has strong expansibility,efficient search capability and higher recall rate.
On the design, implications, and effects of implementing software diversity for security

Networked computers are running identical and equally vulnerable code, and are under constant attack from a variety of attackers. The prevalence of identical code creates a software monoculture, which encourages attackers. We counter the software monoculture with two methods. First, we extend Salamat et al.'s multi-variant execution environment to work on 64-bit platforms. A multi-variant execution environment runs multiple versions of a program that are identical in functionality but differ their low-level implementation in parallel and checks for divergences. Central to the multi-variant execution idea is a monitor program, which performs the synchronization tasks while managing input and output. Attacks are detected when variants diverge in their system calls, which is a strong indicator of an attack. With this, we create a limited form of instruction set randomization and system call randomization. However, we developed a simplified heuristic for arrival times between variants. Another addition to Salamat et al.'s environment enables it to synchronize variants at function call entry. This environment can detect attacks earlier than the original multi-variant execution environment by integrating a dynamic binary instrumentor. The instrumentor performs introspection into the variant that the monitor cannot do. Because of the added code of fine-grained monitoring, this environment uses heuristics to switch between two modes of operation. Additionally, we examined the problems of creating variants for multi-variant execution environments. To that end, we have developed compiler techniques that generate semantically identical but functionally equivalent executables. Combining these techniques with an online software distribution marketplace—such as Apple's App Store or Google Play—makes it possible to distribute a unique executable to all users. Our compiler focuses on a particular class of code-reuse attacks, where attackers utilize the code already present in an executable and does so in a way that is transparent to both developers and users. These attacks require intimate knowledge of the internal layout of an executable and is only feasible on a wide scale because of the software monoculture. The compiler has several methods of diversifying software, which allow the user to customize the performance/security tradeoff. Our analysis shows that large-scale diversity is possible, with a reasonable performance overhead while also effectively thwarting code-reuse attacks. In addition, we have done case studies to measure the effects of the compiler's methods and examined many aspects of how these variants can be used.
Rotational modulation in TESS B stars

Light curves and periodograms of 160 B stars observed by the Transiting Exoplanet Survey Satellite (TESS) space mission and 29 main-sequence B stars from Kepler and K2 were used to classify the variability type. There are 114 main-sequence B stars in the TESS sample, of which 45 are classified as possible rotational variables. This confirms previous findings that a large fraction (about 40 per cent) of A and B stars may exhibit rotational modulation. Gaia DR2 parallaxes were used to estimate luminosities, from which the radii and equatorial rotational velocities can be deduced. It is shown that observed values of the projected rotational velocities are lower than the estimated equatorial velocities for nearly all the stars, as they should be if rotation is the cause of the light variation. We conclude that a large fraction of main-sequence B stars appear to contain surface features which cannot likely be attributed to abundance patches.
Training : A Technique for Empowerment of LIS Professionals

The explosion of knowledge necessitates an ability to learn throughout life. Moreover , the current age of digitized information, e-resources and networks has created a new dimension for Library and Information Science professional to update their knowledge, increase proficiencies and capabilities according to emerging information and communication technologies. The Library and Information Science (LIS) professionals are in a dire need to acquire the relevant skills and expertise to track the world of information and become competent enough to provide best services to the users. The growth of information resources and access technologies has created new roles for LIS professionals in dealing with the heterogeneous needs of information consumers and in filtering out irrelevancies.
A fast adaptive control algorithm for an unmanned helicopter stability augmentation system

The task of control of unmanned helicopters is complicated as they exhibit highly coupled nonlinear dynamics and inherent instability. Moreover, the problem is often accentuated due to inaccurate modeling. This paper presents a fast adaptive control algorithm for an unmanned helicopter stability augmentation system with a guaranteed model reference tracking performance. In comparison with the existing adaptive algorithm, the proposed algorithm can also speed up the convergence rates of adjustable parameters and significantly reduce the tracking error, even when the plant parameters vary rapidly. The effectiveness and superiority of the proposed fast adaptive control algorithm are demonstrated through a series of simulation tests.