Academic literature on the topic 'HLS type system'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'HLS type system.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "HLS type system"
1
Cao, Linfen, and Zhaohui Dai. "Symmetry and Nonexistence of Positive Solutions for Weighted HLS System of Integral Equations on a Half Space." Abstract and Applied Analysis 2014 (2014): 1–7. http://dx.doi.org/10.1155/2014/593210.
Full textAbstract:
We consider system of integral equations related to the weighted Hardy-Littlewood-Sobolev (HLS) inequality in a half space. By the Pohozaev type identity in integral form, we present a Liouville type theorem when the system is in both supercritical and subcritical cases under some integrability conditions. Ruling out these nonexistence results, we also discuss the positive solutions of the integral system in critical case. By the method of moving planes, we show that a pair of positive solutions to such system is rotationally symmetric aboutxn-axis, which is much more general than the main result of Zhuo and Li, 2011.
2
Wang, Nan, Qi Zhang, Weihua Han, Chengxin Bai, Boyang Hou, Yue Liu, and Shuai Wang. "Chemical Characteristics of Dark-Brown Humic-Like Substances Formed from the Abiotic Condensation of Maillard Precursors with Different Glycine Concentrations." Agronomy 12, no. 9 (September 15, 2022): 2199. http://dx.doi.org/10.3390/agronomy12092199.
Full textAbstract:
The Maillard reaction is a type of nonenzymic browning process, and it is also an abiotic humification process of sugars, amino acids and phenols catalyzed by δ-MnO2. It is considered to be one of the possible pathways for the formation of humic-like substances (HLS). The change in the ratio of the Maillard precursors inevitably affects the chemical characteristics of HLS, among which the effect of amino acids concentration on the humification pathway and HLS formation has not yet been reported. In view of this, the glucose, glycine and catechol were chosen as tested objects for the present study, and the method of liquid shake-flask culture was adopted. Both catechol and glucose with fixed concentrations were added into a phosphate buffer solution (pH 8.0) containing δ-MnO2, and only the glycine concentration was adjusted in the sterile culture system. The supernatant solution and dark-brown residue were collected dynamically within 360 h through the centrifugation method. The E4/E6 ratio and total organic C (TOC) of the supernatant solution, the C content of the humic-like acid (CHLA), CHLA/CFLA (C content of fulvic-like acid) ratio and FTIR spectra of the dark-brown residue and the E4/E6 ratio and atomic ratio of humic-like acid (HLA) extracted from the dark-brown residue were systematically analyzed to reveal the effect of different glycine concentrations on the abiotic humification pathways and the characteristics of related products from the Maillard reaction under abiotic processes. The results showed that (1) Under the influence of the addition of different glycine concentrations, the structure of organic molecules in the supernatant after culture tended to be simplified, and the addition of three lower concentrations (0, 0.03 and 0.06 mol/L) of glycine made the E4/E6 ratios increase by 100.4%, 57.7% and 33.0%, respectively, and obtained a simpler structure of organic molecules in the supernatant than that of 0.12 and 0.24 mol/L glycine, which made the E4/E6 ratios increase by 5.6% and 18.0%, merely. After culture, the TOC content in the supernatant solution of each treatment decreased to varying degrees, and the addition of Maillard precursors effectively inhibited the loss of TOC in the supernatant solution, especially the addition of glycine at a concentration of 0.06 mol/L, which only reduced the TOC content by 0.1%. (2) The greater the concentration of glycine added, the higher proportion of aromatic C structure existed in the dark-brown residue. O-containing functional groups from the dark-brown residue and δ-MnO2 were bound to each other through hydrogen bonding, and (3) During the culture process, the CHLA treated with the addition of Maillard precursors was significantly higher than that of the CK control. Compared with the result at 0 h, the addition of higher concentrations of glycine (0.12 and 0.24 mol/L) were more conducive to the formation of HLA, making the CHLA increase by 666.2% and 422.7%, which were much more than these results for 256.6%, 282.2% and 360.0% from three concentrations of glycine (0, 0.03 and 0.06 mol/L) at the end of culture. After culture, the structure of HLA molecules treated by the addition of Maillard precursors became more complex, and the overall performance showed that the higher the concentration of added glycine, the more complex the HLA molecules became. Under the coexistence of glucose and catechol, the addition of glycine could promote abiotic condensation and improve the condensation degree of HLA molecules, among which the addition of 0.12 mol/L glycine had the most significant effect. Compared with the CK control, the addition of Maillard precursors could achieve a higher increase in the CHLA/CFLA ratio, which was more beneficial to the improvement of humus quality.
3
Lavrentiev, Mikhail, Konstantin Lysakov, Andrey Marchuk, Konstantin Oblaukhov, and Mikhail Shadrin. "Algorithmic Design of an FPGA-Based Calculator for Fast Evaluation of Tsunami Wave Danger." Algorithms 14, no. 12 (November 26, 2021): 343. http://dx.doi.org/10.3390/a14120343.
Full textAbstract:
Events of a seismic nature followed by catastrophic floods caused by tsunami waves (the incidence of which has increased in recent decades) have an important impact on the populations of littoral regions. On the coast of Japan and Kamchatka, it takes nearly 20 min for tsunami waves to approach the nearest dry land after an offshore seismic event. This paper addresses an important question of fast simulation of tsunami wave propagation by mapping the algorithms in use in field-programmable gate arrays (FPGAs) with the help of high-level synthesis (HLS). Wave propagation is described by the shallow water system, and for numerical treatment the MacCormack scheme is used. The MacCormack algorithm is a direct difference scheme at a three-point stencil of a “cross” type; it happens to be appropriate for FPGA-based parallel implementation. A specialized calculator was designed. The developed software was tested for precision and performance. Numerical tests computing wave fronts show very good agreement with the available exact solutions (for two particular cases of the sea bed topography) and with the reference code. As the result, it takes just 17.06 s to simulate 1600 s (3200 time steps) of the wave propagation using a 3000 × 3200 computation grid with a VC709 board. The step length of the computational grid was chosen to display the simulation results in sufficient detail along the coastline. At the same time, the size of data arrays should provide their free placement in the memory of FPGA chips. The rather high performance achieved shows that tsunami danger could be correctly evaluated in a few minutes after seismic events.
4
Melin, Patricia, and Daniela Sánchez. "Optimal design of type-2 fuzzy systems for diabetes classification based on genetic algorithms." International Journal of Hybrid Intelligent Systems 17, no. 1-2 (July 13, 2021): 15–32. http://dx.doi.org/10.3233/his-210004.
Full textAbstract:
Diabetes has become a global health problem, where a proper diagnosis is vital for the life quality of patients. In this article, a genetic algorithm is put forward for designing type-2 fuzzy inference systems to perform Diabetes Classification. We aim at finding parameter values of Type-2 Trapezoidal membership functions and the type of model (Mamdani or Sugeno) with this optimization. To verify the effectiveness of the proposed approach, the PIMA Indian Diabetes dataset is used, and results are compared with type-1 fuzzy systems. Five attributes are used considered as the inputs of the fuzzy inference systems to obtain a Diabetes diagnosis. The instances are divided into design and testing sets, where the design set allows the genetic algorithm to minimize the error of classification, and finally, the real behavior of the fuzzy inference system is validated with the testing set.
5
WACK, BENJAMIN, and CLÉMENT HOUTMANN. "Strong normalisation in two Pure Pattern Type Systems." Mathematical Structures in Computer Science 18, no. 3 (June 2008): 431–65. http://dx.doi.org/10.1017/s0960129508006749.
Full textAbstract:
Pure Pattern Type Systems (P2TS) combine the frameworks and capabilities of rewriting and λ-calculus within a unified setting. Their type systems, which are adapted from Barendregt's λ-cube, are especially interesting from a logical point of view. Until now, strong normalisation, which is an essential property for logical soundness, has only been conjectured: in this paper, we give a positive answer for the simply-typed system and the dependently-typed system.The proof is based on a translation of terms and types fromP2TSinto the λ-calculus. First, we deal with untyped terms, ensuring that reductions are faithfully mimicked in the λ-calculus. For this, we rely on an original encoding of the pattern matching capability ofP2TSinto the System Fω.Then we show how to translate types: the expressive power of System Fω is needed in order to fully reproduce the original typing judgments ofP2TS. We prove that the encoding is correct with respect to reductions and typing, and we conclude with the strong normalisation of simply-typedP2TSterms. The strong normalisation with dependent types is in turn obtained by an intermediate translation into simply-typed terms.
6
Jones, Mark P. "A system of constructor classes: overloading and implicit higher-order polymorphism." Journal of Functional Programming 5, no. 1 (January 1995): 1–35. http://dx.doi.org/10.1017/s0956796800001210.
Full textAbstract:
AbstractThis paper describes a flexible type system that combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes—a natural generalization of type classes in Haskell. We present a range of examples to demonstrate the usefulness of such a system. In particular, we show how constructor classes can be used to support the use of monads in a functional language. The underlying type system permits higher-order polymorphism but retains many of the attractive features that have made Hindley/Milner type systems so popular. In particular, there is an effective algorithm that can be used to calculate principal types without the need for explicit type or kind annotations. A prototype implementation has been developed providing, amongst other things, the first concrete implementation of monad comprehensions known to us at the time of writing.
7
SILES, VINCENT, and HUGO HERBELIN. "Pure Type System conversion is always typable." Journal of Functional Programming 22, no. 2 (March 2012): 153–80. http://dx.doi.org/10.1017/s0956796812000044.
Full textAbstract:
AbstractPure Type Systems are usually described in two different ways, one that uses an external notion of computation like beta-reduction, and one that relies on a typed judgment of equality, directly in the typing system. For a long time, the question was open to know whether both presentations described the same theory. A first step towards this equivalence has been made by Adams for a particular class ofPure Type Systems(PTS) called functional. Then, his result has been relaxed to all semi-full PTSs in previous work. In this paper, we finally give a positive answer to the general question, and prove that equivalence holds for any Pure Type System.
8
DUNFIELD, JOSHUA. "Elaborating intersection and union types." Journal of Functional Programming 24, no. 2-3 (January 20, 2014): 133–65. http://dx.doi.org/10.1017/s0956796813000270.
Full textAbstract:
AbstractDesigning and implementing typed programming languages is hard. Every new type system feature requires extending the metatheory and implementation, which are often complicated and fragile. To ease this process, we would like to provide general mechanisms that subsume many different features. In modern type systems, parametric polymorphism is fundamental, but intersection polymorphism has gained little traction in programming languages. Most practical intersection type systems have supported onlyrefinement intersections, which increase the expressiveness of types (more precise properties can be checked) without altering the expressiveness of terms; refinement intersections can simply be erased during compilation. In contrast,unrestrictedintersections increase the expressiveness of terms, and can be used to encode diverse language features, promising an economy of both theory and implementation. We describe a foundation for compiling unrestricted intersection and union types: an elaboration type system that generates ordinary λ-calculus terms. The key feature is a Forsythe-like merge construct. With this construct, not all reductions of the source program preserve types; however, we prove that ordinary call-by-value evaluation of the elaborated program corresponds to a type-preserving evaluation of the source program. We also describe a prototype implementation and applications of unrestricted intersections and unions: records, operator overloading, and simulating dynamic typing.
9
Mehar, Pramod Kumar, and Mrs Madhu Upadhyay. "Power System Stability Study on Multi Machine Systems having DFIG Based Wind Generation System." SMART MOVES JOURNAL IJOSCIENCE 6, no. 3 (March 10, 2020): 27–30. http://dx.doi.org/10.24113/ijoscience.v6i3.279.
Full textAbstract:
Power system stability is related to principles of rotational motion and the swing equation governing the electromechanical dynamic behavior. In the special case of two finite machines the equal area criterion of stability can be used to calculate the critical clearing angle on the power system, it is necessary to maintain synchronism, otherwise a standard of service to the consumers will not be achieved. With the increasing penetration of doubly fed induction generators (DFIGs), the impact of the DFIG on transient stability attracts great attention. Transient stability is largely dominated by generator types in the power system, and the dynamic characteristics of DFIG wind turbines are different from that of the synchronous generators in the conventional power plants. The analysis of the transient stability on DFIG integrated power systems has become a very important issue. This paper is a review of three types of stability condition. The first type of stability, steady state stability explains the maximum steady state power and the power angle diagram. There are several methods to improve system stability in which some methods are explained.
10
Giorgi, Roberto, Farnam Khalili, and Marco Procaccini. "Translating Timing into an Architecture: The Synergy of COTSon and HLS (Domain Expertise—Designing a Computer Architecture via HLS)." International Journal of Reconfigurable Computing 2019 (November 3, 2019): 1–18. http://dx.doi.org/10.1155/2019/2624938.
Full textAbstract:
Translating a system requirement into a low-level representation (e.g., register transfer level or RTL) is the typical goal of the design of FPGA-based systems. However, the Design Space Exploration (DSE) needed to identify the final architecture may be time consuming, even when using high-level synthesis (HLS) tools. In this article, we illustrate our hybrid methodology, which uses a frontend for HLS so that the DSE is performed more rapidly by using a higher level abstraction, but without losing accuracy, thanks to the HP-Labs COTSon simulation infrastructure in combination with our DSE tools (MYDSE tools). In particular, this proposed methodology proved useful to achieve an appropriate design of a whole system in a shorter time than trying to design everything directly in HLS. Our motivating problem was to deploy a novel execution model called data-flow threads (DF-Threads) running on yet-to-be-designed hardware. For that goal, directly using the HLS was too premature in the design cycle. Therefore, a key point of our methodology consists in defining the first prototype in our simulation framework and gradually migrating the design into the Xilinx HLS after validating the key performance metrics of our novel system in the simulator. To explain this workflow, we first use a simple driving example consisting in the modelling of a two-way associative cache. Then, we explain how we generalized this methodology and describe the types of results that we were able to analyze in the AXIOM project, which helped us reduce the development time from months/weeks to days/hours.
Dissertations / Theses on the topic "HLS type system"
1
Liu, Chih-hung. "What type of fiscal decentralization system has better performance?" College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7763.
Full textAbstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2007.Thesis research directed by: School of Public Policy. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
2
Godeau, Thierry. "Implication du complexe majeur d'histocompabilite de classe ii dans le developpement du diabete de type 1 : etude experimentale de l'induction des molecules de classe ii sur des cellules pancreatiques a insuline." Nantes, 1990. http://www.theses.fr/1990NANT122M.
Full text
3
PILLAI, Vinoshene. "Intravital two photon clcium imaging of glioblastoma mouse models." Doctoral thesis, Scuola Normale Superiore, 2021. http://hdl.handle.net/11384/109211.
Full text
4
Fenollosa, Artés Felip. "Contribució a l'estudi de la impressió 3D per a la fabricació de models per facilitar l'assaig d'operacions quirúrgiques de tumors." Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/667421.
Full textAbstract:
La present tesi doctoral s’ha centrat en el repte d’aconseguir, mitjançant Fabricació Additiva (FA), models per a assaig quirúrgic, sota la premissa que els equips per fer-los haurien de ser accessibles a l’àmbit hospitalari. L’objectiu és facilitar l’extensió de l’ús dels prototips com a eina de preparació d’operacions quirúrgiques, transformant la pràctica mèdica actual de la mateixa manera que en el seu moment ho van fer tecnologies com les que van facilitar l’ús de radiografies. El motiu d’utilitzar FA, en lloc de tecnologies més tradicionals, és la seva capacitat de materialitzar de forma directa les dades digitals obtingudes de l’anatomia del pacient mitjançant sistemes d’escanejat tridimensional, fent possible l’obtenció de models personalitzats. Els resultats es centren en la generació de nou coneixement sobre com aconseguir equipaments d’impressió 3D multimaterials accessibles que permetin l’obtenció de models mimètics respecte als teixits vius. Per facilitar aquesta buscada extensió de la tecnologia, s’ha focalitzat en les tecnologies de codi obert com la Fabricació per Filament Fos (FFF) i similars basades en líquids catalitzables. La recerca s’alinea dins l’activitat de desenvolupament de la FA al CIM UPC, i en aquest àmbit concret amb la col·laboració amb l’Hospital Sant Joan de Déu de Barcelona (HSJD). El primer bloc de la tesi inclou la descripció de l’estat de l’art, detallant les tecnologies existents i la seva aplicació a l’entorn mèdic. S’han establert per primer cop unes bases de caracterització dels teixits vius -sobretot tous- per donar suport a la selecció de materials que els puguin mimetitzar en un procés de FA, a efectes de millorar l’experiència d’assaig dels cirurgians. El caràcter rígid dels materials majoritàriament usats en impressió 3D els fa poc útils per simular tumors i altres referències anatòmiques. De forma successiva, es tracten paràmetres com la densitat, la viscoelasticitat, la caracterització dels materials tous a la indústria, l’estudi del mòdul elàstic de teixits tous i vasos, la duresa d’aquests, i requeriments com l’esterilització dels models. El segon bloc comença explorant la impressió 3D mitjançant FFF. Es classifiquen les variants del procés des del punt de vista de la multimaterialitat, essencial per fer models d’assaig quirúrgic, diferenciant entre solucions multibroquet i de barreja al capçal. S’ha inclòs l’estudi de materials (filaments i líquids) que serien més útils per mimetitzar teixits tous. Es constata com en els líquids, en comparació amb els filaments, la complexitat del treball en processos de FA és més elevada, i es determinen formes d’imprimir materials molt tous. Per acabar, s’exposen sis casos reals de col·laboració amb l’HJSD, una selecció d’aquells en els que el doctorand ha intervingut en els darrers anys. L’origen es troba en la dificultat de l’abordatge d’operacions de resecció de tumors infantils com el neuroblastoma, i a la iniciativa del Dr. Lucas Krauel. Finalment, el Bloc 3 té per objecte explorar nombrosos conceptes (fins a 8), activitat completada al llarg dels darrers cinc anys amb el suport dels mitjans del CIM UPC i de l’activitat associada a treballs finals d’estudis d’estudiants de la UPC, arribant-se a materialitzar equipaments experimentals per validar-los. La recerca ampla i sistemàtica al respecte fa que s’estigui més a prop de disposar d’una solució d’impressió 3D multimaterial de sobretaula. Es determina que la millor via de progrés és la de disposar d’una pluralitat de capçals independents a fi de capacitar la impressora 3D per integrar diversos conceptes estudiats, materialitzant-se una possible solució. Cloent la tesi, es planteja com seria un equipament d’impressió 3D per a models d’assaig quirúrgic, a fi de servir de base per a futurs desenvolupaments.La presente tesis doctoral se ha centrado en el reto de conseguir, mediante Fabricación Aditiva (FA), modelos para ensayo quirúrgico, bajo la premisa que los equipos para obtenerlos tendrían que ser accesibles al ámbito hospitalario. El objetivo es facilitar la extensión del uso de modelos como herramienta de preparación de operaciones quirúrgicas, transformando la práctica médica actual de la misma manera que, en su momento, lo hicieron tecnologías como las que facilitaron el uso de radiografías. El motivo de utilizar FA, en lugar de tecnologías más tradicionales, es su capacidad de materializar de forma directa los datos digitales obtenidos de la anatomía del paciente mediante sistemas de escaneado tridimensional, haciendo posible la obtención de modelos personalizados. Los resultados se centran en la generación de nuevo conocimiento para conseguir equipamientos de impresión 3D multimateriales accesibles que permitan la obtención de modelos miméticos respecto a los tejidos vivos. Para facilitar la buscada extensión de la tecnología, se ha focalizado en las tecnologías de código abierto como la Fabricación por Hilo Fundido (FFF) y similares basadas en líquidos catalizables. Esta investigación se alinea dentro de la actividad de desarrollo de la FA en el CIM UPC, y en este ámbito concreto con la colaboración con el Hospital Sant Joan de Déu de Barcelona (HSJD). El primer bloque de la tesis incluye la descripción del estado del arte, detallando las tecnologías existentes y su aplicación al entorno médico. Se han establecido por primera vez unas bases de caracterización de los tejidos vivos – principalmente blandos – para dar apoyo a la selección de materiales que los puedan mimetizar en un proceso de FA, a efectos de mejorar la experiencia de ensayo de los cirujanos. El carácter rígido de los materiales mayoritariamente usados en impresión 3D los hace poco útiles para simular tumores y otras referencias anatómicas. De forma sucesiva, se tratan parámetros como la densidad, la viscoelasticidad, la caracterización de materiales blandos en la industria, el estudio del módulo elástico de tejidos blandos y vasos, la dureza de los mismos, y requerimientos como la esterilización de los modelos. El segundo bloque empieza explorando la impresión 3D mediante FFF. Se clasifican las variantes del proceso desde el punto de vista de la multimaterialidad, esencial para hacer modelos de ensayo quirúrgico, diferenciando entre soluciones multiboquilla y de mezcla en el cabezal. Se ha incluido el estudio de materiales (filamentos y líquidos) que serían más útiles para mimetizar tejidos blandos. Se constata como en los líquidos, en comparación con los filamentos, la complejidad del trabajo en procesos de FA es más elevada, y se determinan formas de imprimir materiales muy blandos. Para acabar, se exponen seis casos reales de colaboración con el HJSD, una selección de aquellos en los que el doctorando ha intervenido en los últimos años. El origen se encuentra en la dificultad del abordaje de operaciones de resección de tumores infantiles como el neuroblastoma, y en la iniciativa del Dr. Lucas Krauel. Finalmente, el Bloque 3 desarrolla numerosos conceptos (hasta 8), actividad completada a lo largo de los últimos cinco años con el apoyo de los medios del CIM UPC y de la actividad asociada a trabajos finales de estudios de estudiantes de la UPC, llegándose a materializar equipamientos experimentales para validarlos. La investigación amplia y sistemática al respecto hace que se esté más cerca de disponer de una solución de impresión 3D multimaterial de sobremesa. Se determina que la mejor vía de progreso es la de disponer de una pluralidad de cabezales independientes, a fin de capacitar la impresora 3D para integrar diversos conceptos estudiados, materializándose una posible solución. Para cerrar la tesis, se plantea cómo sería un equipamiento de impresión 3D para modelos de ensayo quirúrgico, a fin de servir de base para futuros desarrollos.
5
Fujdiak, Radek. "Analýza a optimalizace datové komunikace pro telemetrické systémy v energetice." Doctoral thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2017. http://www.nusl.cz/ntk/nusl-358408.
Full textAbstract:
Telemetry system, Optimisation, Sensoric networks, Smart Grid, Internet of Things, Sensors, Information security, Cryptography, Cryptography algorithms, Cryptosystem, Confidentiality, Integrity, Authentication, Data freshness, Non-Repudiation.
6
Kelly, Ami-Lee. "The influence employee personality type has on employee and organisational outcomes." Thesis, 2018. http://hdl.handle.net/1959.13/1388115.
Full textAbstract:
Professional Doctorate - Doctor of Business Administration (DBA)This study examines the influence employee personality type has on employee and organisational outcomes at one of Australia’s largest financial-services organisations. It is specifically focused on knowledge-based workers who are employed in productivity-centred roles. In the banking and finance industry, the products on offer are a commodity, as customers can obtain the same products and services from each of the main providers, and there is no difference between them from a functionality perspective. So, the one differentiator is the competitive advantage that sets an organisation apart from the next. With every organisation chasing that competitive advantage, companies need to become more creative in how they ascertain that ever-priceless competitive advantage. One of the ways of obtaining competitive advantage is through the implementation and management of an organisation’s talent pipeline. Companies need to determine ways to attract and recruit the best people to help set their business apart from the rest, and, used correctly, the right personality profiling coupled with effective knowledge-based productivity and application of high-performance work systems can be factors that can set a company apart from its competition. Personality profiling is a tool that has been around for some time. Personality profiling provides individuals with insightful information about their preferences and, ideally, tasks they enjoy and do not enjoy. If used correctly, personality profiling can provide insights into how to get the best out of an individual in many different settings. This study has focused on Myer’s Briggs personality profiling (MBTI) as the preferred tool, as the Myer’s Briggs instrument has been around since the early 1920s, it provides 16 different personality types that reflect the entire population and it is detailed enough, but also concise in nature, to accurately reflect the entire population. It is also widely used by business. Historically, productivity has been grounded in the manufacturing or the operational environment, however, in recent times, companies have seen an increased demand for productivity in the knowledge-based environment. The literature tells us that, for organisations to survive in today’s tough market, an organisation needs to know how to use its resources and productivity to differentiate itself, as this differentiation can be the key to competitive advantage. Previous research has argued that organisations need to increase the productivity of knowledge work and knowledge workers, as the demand for employees with an academic education has greatly increased and is still on the rise. This study has reviewed and analysed the concept of high-performance work systems (HPWS), which is said to be the logical focus for building and maintaining competitive advantage. HPWS is underpinned by the Ability, Motivation and Opportunity (AMO) model. Simply put, Ability is the idea that employees will perform because they possess the necessary knowledge and skills to do so. Motivation is that employers need to build the right environment, as the right environment will see employees perform because they are motivated to do so and, finally, by creating an environment which focuses on Opportunity for employees, which is the notion that if the work structure and environment provides the necessary support, then employees will use it. The critical review of the literature has guided the research in the identification of the theoretical framework to examine the research problem, the related research questions and the development of seven groups of associated hypotheses. Adopting a positivist, quantitative research method and approach, a self-administered online survey instrument was developed. The online survey was promoted via e-mail to the productivity community at one of Australia’s largest financial-services organisation, with 288 responses received. After data cleaning and screening, a total of 263 responses were deemed usable for analysis. Respondents were typically full-time employed (91%) and female (55%). The average age (and mode at 42%) was the 36-45-year-old category, most of the sample respondents were university educated (Bachelor qualified 42%, Masters/Doctorate 23%) and had been with the organisation 6-10 years on average. Regarding productivity aspects, most respondents (83%) were Green Belt qualified and had been at that level for several years on average, and most (62%) respondents had an active productivity project at the time of data collection and 76% had completed 2+ productivity projects in their career (33% had completed 6+ productivity projects). Accordingly, the sample was deemed suitable for the purposes of the research. There were several different tests used to understand the relationships and whether there were interactions between the different variables, which included descriptive statistics, chi-square analysis, ANOVA and hierarchical multiple regression analysis. The tests showed that in most of the relationships between the dependent and independent variables relationships were present. Specifically, there were supported relationships seen between MBTI and Ability, MBTI and Motivation and MBTI and Opportunity. In addition, there were partially supported relationships seen between MBTI and organisational citizenship behaviours (OCB), MBTI and affective organisational commitment (AOC) and MBTI and productivity, specifically task enjoyment, which was linked to satisfaction and duration. The findings lead to both theoretical and practice-related implications. Theoretical implications include the contribution of the study to the productivity domain, as operational definitions and terms of operation have now been developed for a highly complex and poorly investigated topic. Next is the contribution to the knowledge-based productivity methodology, which will pave the way for future research through growth and evolution of the productivity domain. The final contribution is to the HPWS domain, coupled with personality profiling and productivity, providing the start of a new stream of research that will allow future researchers the ability to evolve the research domain. Practical implications include the recommendation of a formal community of productivity experts and a means for communication and future talent management, along with defined roles and responsibilities for productivity-based knowledge workers. This can be followed by the development of a mechanism for talent pipeline management through a threefold model that will help manage recruitment and career progression and lastly business knowledge and understanding concerning organisation competitive advantage.
7
Santos, Ângelo Emanuel Neves dos. "Design and simulation of a smart bottle with fill-level sensing based on oxide TFT technology." Master's thesis, 2016. http://hdl.handle.net/10362/19593.
Full textAbstract:
Packaging is an important element responsible for brand growth and one of the main rea-sons for producers to gain competitive advantages through technological innovation. In this re-gard, the aim of this work is to design a fully autonomous electronic system for a smart bottle packaging, being integrated in a European project named ROLL-OUT. The desired application for the smart bottle is to act as a fill-level sensor system in order to determine the liquid content level that exists inside an opaque bottle, so the consumer can exactly know the remaining quantity of the product inside.
An in-house amorphous indium–gallium–zinc oxide thin-film transistor (a-IGZO TFT) model, previously developed, was used for circuit designing purposes. This model was based in an artificial neural network (ANN) equivalent circuit approach.
Taking into account that only n-type oxide TFTs were used, plenty of electronic building-blocks have been designed: clock generator, non-overlapping phase generator, a capacitance-to-voltage converter and a comparator. As it was demonstrated by electrical simulations, it has been achieved good functionality for each block, having a final system with a power dissipation of 2.3 mW (VDD=10 V) not considering the clock generator. Four printed circuit boards (PCBs) have been also designed in order to help in the testing phase.
Mask layouts were already designed and are currently in fabrication, foreseeing a suc-cessful circuit fabrication, and a major step towards the design and integration of complex trans-ducer systems using oxide TFTs technology.
8
Silva, Laryssa Coelho Albergaria da. "Alienação parental : o impacto da Alienação Parental na vida das crianças e suas consequências psicológicas." Master's thesis, 2020. http://hdl.handle.net/11067/6032.
Full textAbstract:
Exame público realizado em 19 de julho de 2021, às 14hEste presente estudo irá apresentar a evolução histórica da família até os dias de hoje e como se desenvolveu junto com a sua relação com o Estado, em que possui o dever de proteger e assegurar os direitos de cada ente familiar e principalmente o superior interesse da criança, que será sempre protegido e abordado junto com a regularização das responsabilidades parentais, em que serão incluídos os casos de dissolução da entidade familiar no âmbito jurídico e a sua relação com a Alienação Parental, sendo este último o foco do estudo. Será analisado como surgiu a Alienação parental, a Síndrome da Alienação Parental e as diferenças entre elas, os progenitores e os menores envolvidos, os tipos, motivos que possam desencadear a Síndrome, as suas consequências e as ferramentas que poderiam ser utilizadas a fim de solucionar os conflitos. Posteriormente, serão apresentados os meios adotados pelo ordenamento jurídico e as jurisprudências e se a forma abordada é a melhor ferramenta nestes casos, além dos exemplos da Alienação Parental em outros países e como os mesmos tratam esses casos, e por fim a conclusão acerca do estudo.
This present study will present the historical evolution of the family until today and how it developed along with its relationship with the State, in which it has a duty to protect and ensure the rights of each family member and especially the child's best interests. , which will always be protected and addressed together with the regularization of parental responsibilities, which will include cases of dissolution of the family entity in the legal scope and its relationship with Parental Alienation, the latter being the focus of the study. It will be analyzed how the Parental Alienation came about, the Parental Alienation Syndrome and the differences between them, the parents and the minors involved, the types, reasons that can trigger the Syndrome, its consequences and the tools that could be used in order to solve conflicts. Subsequently, the means adopted by the legal system and jurisprudence will be presented and if the approached approach is the best tool in these cases, in addition to the examples of Parental Alienation in other countries and how they treat these cases, and finally the conclusion about the study.
Books on the topic "HLS type system"
1
Sazhina, Muza, Anna Kashirova, Stanislav Makarov, and Egor Osiop. The social wealth of the innovation system. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1875920.
Full textAbstract:
The monograph reveals the key socio-economic problems of the innovation economy: its content as a knowledge economy and its role in evolutionary development; human capital (living intelligence) as the main resource of the innovation economy. Much attention is paid to the institutional support of innovation through a system of institutions and mutually beneficial contracts. The mixed mechanism of implementation of innovative activity as a synthesis of spontaneous market self-regulation and conscious public administration is shown. The result of the "social control" of society and the state is the coordination of the actions of economic entities and the ordering of economic processes.
The most important institution of human society is the family as a strong power in the state. And the person himself with his knowledge, culture, ethics and morality is the main value of society. The main purpose of the family is to reproduce life and provide a person with everything necessary. The state as an institution manages a person's education and health, helps to change his lifestyle, strengthening humanity, ethics, morality and culture of life.
The modern global economy remains a sphere of domination of market egoism. It is the market that performs the function of morality as a person and society as a whole. In the global economy, a person is not a representative of the people, but a representative of the system, a standard way of life. And he should live in communication based on respect for each other.
It is concluded that today the main wealth of society is not material, but social wealth: the person himself with his knowledge, culture, ethics and morality is a living intellect; a family with the reproduction of life; immaterial knowledge that covers all types of work that cannot be calculated and paid, where the motive is the joy of free cooperation, free giving and community. In this "invisible economy" people mutually teach each other humanity and create a culture of joint thinking and living together. The State and society must preserve and increase the social wealth of human society.
For students and postgraduates of economic and managerial specialties, as well as for anyone interested in this problem.
2
Sacks, Oliver W. The man who mistook his wife for a hat and other clinical tales. New York: Perennial Library, 1990.
Find full text
3
Sacks, Oliver W. The man who mistook his wife for a hat and other clinical tales. New York: Perennial Library, 1987.
Find full text
4
Lucarelli, Sonia, ed. Gender and the European Union. Florence: Firenze University Press, 2015. http://dx.doi.org/10.36253/978-88-6655-638-1.
Full textAbstract:
Gender discrimination continues to be a reality in several parts of the world, also in Europe. The aim of this book is to provide an overview of both European Union’s (EU) gender policies and gender balance in EU institutions. It does so by looking at gender equality policies and the EU legal system concerning gender equality, women’s representation within diff erent institutions (and more particularly in the European External Action Service), gender rights as a type of human rights and the EU’s role in the external promotion of womens’ rights in third countries. The analysis shows that women’s representation in the EU institutions has increased in the last decades and that the EU has strengthened its att ention to gender rights in its external relations as well, however the results of both att empts are far from being fully satisfactory.
5
Ovsyannikov, Evgeniy, and Tamara Gaytova. Optimal control of traction electric drives. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1141767.
Full textAbstract:
The monograph considers various types of traction electric drives of motor vehicles intended for operation in urban conditions. Mathematical models of these systems are proposed. On the basis of parametric optimization and graphoanalytic method, a method of joint control of electric drives according to the criteria of minimum losses and maximum overload capacity, taking into account possible restrictions on the resources of power elements, has been developed.
For a wide range of readers interested in improving motor vehicles. It will be useful for students, postgraduates and teachers of engineering and technical universities.
6
Erlewine, Michael Yoshitaka, Theodore Levin, and Coppe van Urk. Ergativity and Austronesian-Type Voice Systems. Edited by Jessica Coon, Diane Massam, and Lisa Demena Travis. Oxford University Press, 2017. http://dx.doi.org/10.1093/oxfordhb/9780198739371.013.16.
Full textAbstract:
In an Austronesian-type voice system, one argument is designated the "pivot" in each clause, with verbal morphology indicating the choice of pivot and corresponding changes in case marking and extraction possibilities. It has been suggested that ergativity plays a crucial role in these systems. This paper argues that voice and case reflect separate but interacting systems, which can be dissociated from each other, based on the behavior of voice in Dinka (Nilotic; South Sudan) and Balinese (Austronesian; Indonesia). These languages exhibit familiar voice morphology, but are shown to not involve any ergativity. Instead, we propose that what unifies "voice" system behavior is a lack of structural licensing for subjects in Non-Subject Voices. Different voice systems solve this problem in different ways: Balinese licenses the subject under adjacency with the verb, whereas Dinka allows for a last resort genitive case like in many Austronesian languages of the Philippines and of Taiwan.
7
Type-2 Fuzzy Logic and Systems: Dedicated to Professor Jerry Mendel for his Pioneering Contribution. Springer, 2018.
Find full text
8
Kilkelly, Shannon. Coagulation System. Edited by Matthew D. McEvoy and Cory M. Furse. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780190226459.003.0090.
Full textAbstract:
Despite the development of entirely new classes of anticoagulant medication, vitamin K antagonists like warfarin continue to be commonly prescribed for a wide range of cardiovascular diagnoses. Conversely, the advent of low molecular weight heparin has greatly simplified the use of the drug to the point that patients can dose themselves at home with no need for any type of monitoring. Given the widespread use of these medications, it is not surprising that an increasing number of patients requiring urgent or emergent surgery will present with a medically induced coagulopathy. Managing this coagulopathy requires assessment of the urgency of the operation, the patient’s volume status, and the need for reanticoagulation following surgical intervention.
9
Esler, Karen J., Anna L. Jacobsen, and R. Brandon Pratt. Characteristics of Mediterranean-Type Ecosystems. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198739135.003.0002.
Full textAbstract:
Modern mediterranean-type ecosystems (MTEs) are shaped by key ecosystem drivers that affect their function. The most important of these drivers are climate, topography, soils, and fire. There are important geographical, climatic, and fire histories that are crucial to understanding these systems. Mediterranean-type climate (MTC) is defined as a cool wet winter (winter-wet) and a warm dry summer, which is a unique pattern of seasonality and one that is rare globally. All of the MTC regions have nutrient-poor soils, particularly as related to nitrogen (N), and some also have extensive phosphorus-poor soils. There is considerable variation both within and between regions in their degree of nutrient impoverishment of soils. Through these shared ecosystem drivers, selection has operated within each ecosystem to shape the communities and the organisms within them. This has resulted in the communities and organisms displaying similar structures and processes.
10
Arroyo, Vicente, Mónica Guevara, and Javier Fernández. Renal failure in cirrhosis. Edited by Norbert Lameire. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199592548.003.0247.
Full textAbstract:
A major event in liver cirrhosis is the development of a progressive deterioration of circulatory function due to splanchnic arterial vasodilation and impairment in cardiac function. This feature determines a homeostatic activation of the renin–angiotensin–aldosterone system, sympathetic nervous system, and antidiuretic hormone. The splanchnic microcirculation is resistant to the vasoconstrictor effect of these systems. Therefore, the homeostasis of arterial pressure in cirrhosis occurs in the extrasplanchnic, mainly renal circulation. The activation of these systems produces renal fluid retention, which accumulates as ascites, and water retention and dilutional hyponatraemia. In the latest phase of cirrhosis, when circulatory dysfunction is severe, renal vasoconstriction is intense and patients develop type 2 hepatorenal syndrome (HRS) and refractory ascites.Type 1 HRS is an acute and rapidly progressive renal failure that occurs in the setting of a precipitating event, commonly an infection. Patients with type 1 HRS also present with rapid deterioration of liver function (encephalopathy, jaundice) and relative adrenal insufficiency. The mechanism of this multiorgan failure is an acute deterioration in circulatory function due to both an accentuation of arterial vasodilation and of cardiac dysfunction.There is no specific test for the diagnosis of HRS. The most accepted diagnostic criteria are those proposed by the International Ascites Club which are based on the exclusion of other types of renal failure. The course of renal failure following treatment of the precipitating event of HRS is another important diagnostic feature.The treatment of choice of tense ascites in cirrhosis is paracentesis associated with intravenous albumin infusion. Moderate sodium restriction and diuretics (spironolactone alone or associated with furosemide) are subsequently given to prevent re-accumulation of ascites. Diuretics are the treatment of choice in patients with moderate ascites. Patients with type 2 HRS and refractory ascites (not responding to diuretics) could be treated by frequent paracentesis or by the insertion of a transjugular intrahepatic portosystemic shunt (TIPS).Terlipressin plus albumin is the treatment of choice in type 1 HRS
Book chapters on the topic "HLS type system"
1
Matsuda, Kazutaka. "Modular Inference of Linear Types for Multiplicity-Annotated Arrows." In Programming Languages and Systems, 456–83. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_17.
Full textAbstract:
AbstractBernardy et al. [2018] proposed a linear type system $$\lambda ^q_\rightarrow $$ λ → q as a core type system of Linear Haskell. In the system, linearity is represented by annotated arrow types $$A \rightarrow _m B$$ A → m B , where m denotes the multiplicity of the argument. Thanks to this representation, existing non-linear code typechecks as it is, and newly written linear code can be used with existing non-linear code in many cases. However, little is known about the type inference of $$\lambda ^q_\rightarrow $$ λ → q . Although the Linear Haskell implementation is equipped with type inference, its algorithm has not been formalized, and the implementation often fails to infer principal types, especially for higher-order functions. In this paper, based on OutsideIn(X) [Vytiniotis et al., 2011], we propose an inference system for a rank 1 qualified-typed variant of $$\lambda ^q_\rightarrow $$ λ → q , which infers principal types. A technical challenge in this new setting is to deal with ambiguous types inferred by naive qualified typing. We address this ambiguity issue through quantifier elimination and demonstrate the effectiveness of the approach with examples.
2
Marshall, Daniel, Michael Vollmer, and Dominic Orchard. "Linearity and Uniqueness: An Entente Cordiale." In Programming Languages and Systems, 346–75. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99336-8_13.
Full textAbstract:
AbstractSubstructural type systems are growing in popularity because they allow for a resourceful interpretation of data which can be used to rule out various software bugs. Indeed, substructurality is finally taking hold in modern programming; Haskell now has linear types roughly based on Girard’s linear logic but integrated via graded function arrows, Clean has uniqueness types designed to ensure that values have at most a single reference to them, and Rust has an intricate ownership system for guaranteeing memory safety. But despite this broad range of resourceful type systems, there is comparatively little understanding of their relative strengths and weaknesses or whether their underlying frameworks can be unified. There is often confusion about whether linearity and uniqueness are essentially the same, or are instead ‘dual’ to one another, or somewhere in between. This paper formalises the relationship between these two well-studied but rarely contrasted ideas, building on two distinct bodies of literature, showing that it is possible and advantageous to have both linear and unique types in the same type system. We study the guarantees of the resulting system and provide a practical implementation in the graded modal setting of the Granule language, adding a third kind of modality alongside coeffect and effect modalities. We then demonstrate via a benchmark that our implementation benefits from expected efficiency gains enabled by adding uniqueness to a language that already has a linear basis.
3
Birkmann, Fabian, Hans-Peter Deifel, and Stefan Milius. "Distributed Coalgebraic Partition Refinement." In Tools and Algorithms for the Construction and Analysis of Systems, 159–77. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_9.
Full textAbstract:
AbstractPartition refinement is a method for minimizing automata and transition systems of various types. Recently we have developed a partition refinement algorithm and the tool that is generic in the transition type of the input system and matches the theoretical run time of the best known algorithms for many concrete system types. Genericity is achieved by modelling transition types as functors on sets and systems as coalgebras. Experimentation has shown that memory consumption is a bottleneck for handling systems with a large state space, while running times are fast. We have therefore extended an algorithm due to Blom and Orzan, which is suitable for a distributed implementation to the coalgebraic level of genericity, and implemented it in . Experiments show that this allows to handle much larger state spaces. Running times are low in most experiments, but there is a significant penalty for some.
4
Choudhury, Pritam, Harley Eades, and Stephanie Weirich. "A Dependent Dependency Calculus." In Programming Languages and Systems, 403–30. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99336-8_15.
Full textAbstract:
AbstractOver twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since then, dependency analysis has shown many practical benefits to language design: its results can help users and compilers enforce security constraints, eliminate dead code, among other applications. In this work, we present a Dependent Dependency Calculus (DDC), which extends this general idea to the setting of a dependently-typed language. We use this calculus to track both run-time and compile-time irrelevance, enabling faster type-checking and program execution.
5
Ke, Yuanyuan, Jing Li, and Yifu Wang. "Chemotaxis–Haptotaxis System." In Financial Mathematics and Fintech, 127–87. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-3763-7_3.
Full textAbstract:
AbstractCancer invasion and metastasis are influenced by a plethora of biochemical processes and involve many biochemical mechanisms, among which chemotaxis and haptotaxis are two of the main mechanisms directing the migration of cancer cells Chaplain and Lolas (2005). Evidence has been found that cancer cells release complex enzymes such as the urokinase-type plasminogen activator (uPA), which degrade the surrounding extracellular matrix (ECM), and thereby allow the migration of cells following the concentration gradient of such diffusive enzymes. This process is referred to as chemotaxis Chaplain and Lolas (2006).
6
Shamakhi, Ali, Hossein Hojjat, and Philipp Rümmer. "Towards String Support in JayHorn (Competition Contribution)." In Tools and Algorithms for the Construction and Analysis of Systems, 443–47. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_29.
Full textAbstract:
Abstractis a Horn clause-based model checker for Java programs that has been competing at SV-COMP since 2019. An ongoing research and implementation effort is to add support for data-type to . Since current Horn solvers do not support strings natively, we consider a representation of (unbounded) strings using algebraic data-types, more precisely as lists. This paper discusses Horn clause encodings of different string operations, and presents preliminary results.
7
Nakagawa, Masayuki. "The Efficiency of the Titling System: Perspectives of Economics." In New Frontiers in Regional Science: Asian Perspectives, 21–30. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-15-8848-8_3.
Full textAbstract:
AbstractThe problem of land with unknown ownership is becoming increasingly evident with Japan’s declining population, low birth rate and aging population. This paper examines the need for the titling system using perspectives from economics and considers what sorts of titling system works for which types of society and looks at ways to deal with the problem of land with unknown ownership. A series of previous researches such as Miceli et al. (Eur J Law Econ 6:305–323, 1998; J Urban Econ 47:370–389, 2000) categorize the titling systems used in many advanced countries as either registration systems or recording systems. In terms of broad categorization Japan’s titling system is categorized as a recording system. However, since the details of registered information are confirmed through various registration procedures, the system also has aspects that resemble a registration system. This can be interpreted as having selected the titling system’s strength that considerably lowers the level of litigation risk. In that case, transaction costs become very high. This could be the cause of the excessively small current level of Japanese real estate transactions. Furthermore, the result of selecting the recording system in Japan, which is a system with a very high strength, could explain why nobody takes insurance to cover the risk of title litigation. In Japan, it is highly likely that the full-fledged population decline, low birth rate and aging population will lower the profitability of land. In that case, a titling system with low strength is likely to be the best for society as indicated in the analysis above.
8
Osman, Robert, Hana Porkertová, and Veronika Kotýnková. "Geografie bariér." In Geografie bariér, 23–47. Brno: Masaryk University Press, 2021. http://dx.doi.org/10.5817/cz.muni.m210-9910-2021-1.
Full textAbstract:
The first chapter of the book has multiple goals. It introduces the topics and the chosen title Geography of Barriers and discusses why it is important to study it. It shows how the above-mentioned accessibility of space, services and information depends on various types of barriers. Their influence on policies of accessibility in public space frames the whole book. Thinking about barriers is not limited to the dimension of streets or squares, but considers the broader meaning of barriers: in public buildings, institutions, services, websites, information systems, applications, etc. A barrier does not have to be material, it can be of social, communication, or technological nature. Our book distinguishes among three types of barriers. The first type is represented by those annoying material high curbs, missing guide, unlabeled earthwork, etc. – i.e., the barriers of our everyday life. When talking about examples of removing the first type of barriers, we already consider the second type – so-called political barriers one encounters in the introduction of policies of accessibility. The last type of barriers is devoted only peripheral attention, being represented by so-called post-socialist barriers, i.e., barriers stemming from the meaning of disability in a post-socialist society. All three types of barriers and their implications for establishing policies of accessibility in the Czech Republic are gradually introduced. This chapter also outlines the following chapters, their authors and their diverse approaches to disability. It offers a guide to the whole book, its structure, the language it uses, and explains various highlights and frames, inviting the readers to open the volume.
9
Coquand, Catarina. "A realizability interpretation of Martin-Löf’s type Theory." In Twenty Five Years of Constructive Type Theory. Oxford University Press, 1998. http://dx.doi.org/10.1093/oso/9780198501275.003.0007.
Full textAbstract:
The notion of computability predicate developed by Tail gives a powerful method for proving normalization for various λ-calculi. There are actually two versions of this method: a typed and an untyped approach. In the former approach we define a computability predicate over well-typed terms. This technique was developed by Tail (1967) in order to prove normalization for Gödel’s system T. His method was extended by Girard (1971) for his System F and by Martin-Löf (1971) for his type theory. The second approach is similar to Kleene’s realizability interpretation (Kleene 1945), but in this approach formulas are realized by (not necessarily well-typed) λ-terms rather than Gödel numbers. This technique was developed by Tail (1975) where he uses this method to obtain a simplified proof of normalization for Girard’s system F. The method was later rediscovered independently by several others, for instance Mitchell (1986). There are two ways of defining typed λ-calculus: we have either equality as conversion (on raw terms) or equality as judgments. It is more difficult to show in the theory with equality as judgments that every well-typed term has a normal form of the same type. We can find different approaches to how to solve this problem in Altenkirch (1993), Coquand (1991), Goguen (1994) and Martin-Löf (1975). There are several papers addressing normalization for calculi with equality as untyped conversion; two relevant papers showing normalization are Altenkirch’s (1994) proof for system F using the untyped method and Werner’s (1994) proof for the calculus of constructions with inductive types using the other method. Another difference is the predicative and impredicative formulations of λ-calculi where it is more intricate to prove normalization for the impredicative ones. The aim of this paper is to give a simple argument of normalization for a theory with “real” dependent types, i.e. a theory in which we can define types by recursion on the natural numbers (like Nn). For this we choose to study the simplest theory that has such types, namely the N, Π, U-fragment of Martin-Löf’s polymorphic type theory (Martin-Löf 1972) which contains the natural numbers, dependent functions and one universe. This theory has equality as conversion and is predicative.
10
Sahay, Ratnesh, Antoine Zimmermann, Ronan Fox, Axel Polleres, and Manfred Hauswirth. "A Formal Investigation of Semantic Interoperability of HCLS Systems." In Advances in Healthcare Information Systems and Administration, 148–83. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-3000-0.ch006.
Full textAbstract:
Semantic interoperability facilitates Health Care and Life Sciences (HCLS) systems in connecting stakeholders at various levels as well as ensuring seamless use of healthcare resources. Their scope ranges from local to regional, national and cross-border. The use of semantics in delivering interoperable solution for HCLS systems is weakened by fact that an Ontology Based Information System (OBIS) has restrictions in modeling, aggregating, and interpreting global knowledge in conjunction with local information (e.g., policy, profiles). This chapter presents an example-scenario that shows such limitations and recognizes that enabling two key features, namely the type and scope of knowledge, within a knowledge base could enhance the overall effectiveness of an OBIS. This chapter provides the idea of separating knowledge bases in types with scope (e.g., global or local) of applicability. Then, it proposes two concrete solutions on this general notion. Finally, the chapter describes open research issues that may be of interest to knowledge system developers and broader research community.
Conference papers on the topic "HLS type system"
1
Tayachi, Tarek, and Pierre-Yves Martinez. "Integration of an STBus Type 3 protocol custom component into a HLS tool." In Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, 2008. http://dx.doi.org/10.1109/dtis.2008.4540270.
Full text
2
Roxana Jimenez, C., Marley M. B. R. Vellasco, and Ricardo Tanscheit. "Hierarchical Type-2 Neuro-Fuzzy BSP Model." In 2008 8th International Conference on Hybrid Intelligent Systems (HIS). IEEE, 2008. http://dx.doi.org/10.1109/his.2008.113.
Full text
3
Zhu, William. "Properties of the Fourth Type of Covering-Based Rough Sets." In 2006 Sixth International Conference on Hybrid Intelligent Systems (HIS'06). IEEE, 2006. http://dx.doi.org/10.1109/his.2006.264926.
Full text
4
Cazarez-Castro, Nohe Ramon, Luis T. Aguilar, and Oscar Castillo. "Hybrid Genetic-Fuzzy Optimization of a Type-2 Fuzzy Logic Controller." In 2008 8th International Conference on Hybrid Intelligent Systems (HIS). IEEE, 2008. http://dx.doi.org/10.1109/his.2008.170.
Full text
5
Rezaee, Babak. "A New Approach to Design of Interval Type-2 Fuzzy Logic Systems." In 2008 8th International Conference on Hybrid Intelligent Systems (HIS). IEEE, 2008. http://dx.doi.org/10.1109/his.2008.83.
Full text
6
Jin, Yaling, Yingying Liu, Jingmin Wei, and Xinxin Guo. "The Research on NURBS Curve Extraction Method of New Type Numerical Control Machine." In 2009 Ninth International Conference on Hybrid Intelligent Systems. IEEE, 2009. http://dx.doi.org/10.1109/his.2009.115.
Full text
7
Zhang, Yongfeng, Xingong Cheng, and Xiju Zong. "Research on Turn Ratio of Magnetic Valve Type Controlled Reactor Based on Bifurcation Theory." In 2009 Ninth International Conference on Hybrid Intelligent Systems. IEEE, 2009. http://dx.doi.org/10.1109/his.2009.143.
Full text
8
de Souza, Renata M. C. R., and Francisco A. T. de Carvalho. "A Clustering Method for Mixed Feature-Type Symbolic Data using Adaptive Squared Euclidean Distances." In 7th International Conference on Hybrid Intelligent Systems (HIS 2007). IEEE, 2007. http://dx.doi.org/10.1109/his.2007.13.
Full text
9
Lauer, Robert. "Novel Internal Coating System for High Concentration H2S Environments." In International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-22280-ea.
Full textAbstract:
Abstract Traditional internal coating systems relied on phenolic, novolac, epoxy or blended resin systems. These tended to provide good barrier properties in the environments they were developed for, but as with all materials, there were limitations. One of those limitations that had to be overcome during the development and application process was that during the curing process, they can tend to shrink, so greater surface preparation processes must be followed to ensure that the system adhesion far outweighs the residual stress in the coating system. In sweet applications, this residual stress offers little to no effect on a properly applied coating system provided its design parameters are not exceeded. In the presence of higher concentrations of hydrogen sulfide, there can be a negative effect on the adhesion of most of these resin type coating systems allowing the residual stress to play a role in blistering and disbondment. A new and novel resin system has been developed that does not shrink during the curing process and can be applied as a primer-less system. Coatings developed with this new resin, benzoxazine, allows the coating system to maintain good adhesion and barrier properties in H2S concentrations two to three times greater than the current leading H2S resistant coating systems on the market today. This paper is the second in a series on the development of this product into a coating solution. Further laboratory refinement will be discussed leading to the next phase of the roll-out which will be field trials.
10
Kumar, Mohit, and Shiv Prasad Yadav. "Fuzzy system reliability analysis using different types of intuitionistic fuzzy numbers." In 2011 11th International Conference on Hybrid Intelligent Systems (HIS 2011). IEEE, 2011. http://dx.doi.org/10.1109/his.2011.6122113.
Full textReports on the topic "HLS type system"
1
Waisel, Yoav, Bobbie McMichael, and Amram Eshel. Decision Making within Plant Root Systems. United States Department of Agriculture, March 1996. http://dx.doi.org/10.32747/1996.7613030.bard.
Full textAbstract:
Architecture of a root system is the expression of the potential of various root types to branch, to grow and to coordinate with other plant organs, under the specific limitations of the environmental conditions. The present investigation has proven the following points. 1) Genotypes with different types of root systems were identified. The growth patterns of their roots and the distribution of laterals along their main axes were recorded. 2) The patterns of development of the root systems of four cotton genotypes, throughout the entire life cycle of the plants, were described, even at such a late stage of development when the total length of the roots exceeded two kilometers. To the best of our knowledge, this is the first time that an analysis of this type is accomplished. 3) The development of root systems under restrictive soil conditions were compared with those that have developed under the non-restrictive conditions of aeroponics. Results indicate that in the absence of the mechanical impedance of the soil, cotton plants develop single roots that reach the length of 6 m, and have a total root length of 2000 m. Thus, root growth is strongly inhibited by the soil, with some root types being inhibited more than others. 4) One of the important decisions, in constructing an operational root system architecture of mature plants, is the shift of the balance between various root fractions in favor of the very fine roots. 5) Root system architecture is determined, in part, by the sites of initiation of the lateral roots. This is determined genetically by the number of xylem archs and by the totuosity of the stele. Selection for such traits should be sought.
2
Bowman, Mark D., Bryan D. Hagan, and William D. Hurdle. Steel Bridge Coating Evaluation and Rating Criteria. Purdue University, 2023. http://dx.doi.org/10.5703/1288284317386.
Full textAbstract:
The aim of the study is to gather information on three topics: (1) the evaluation and rating of steel bridge protective coatings, (2) coating systems used by various states throughout the United States, and (3) maintenance painting procedures employed by various state department of transportation agencies (DOTs). First, it was found that most state DOTs use either an Element Level type rating of the coating system or a 9–0 NBI type rating; many state DOTs use both methodologies, with one used for state bridges and the other for local bridges. Second, for coating systems, it was found that there is a great deal of uniformity of the steel bridge coating systems used in the United States, with three-coat paint systems being the most common. Third, it is believed that maintenance painting can extend the useful life of bridge coatings. However, many state DOTs report that the cost of maintenance painting has increased due to many factors that involve available personnel, proper training, and increased regulations on the removal and application of steel bridge coatings. Consequently, many DOTs no longer perform maintenance painting, other than emergency repairs, and simply wait until the entire bridge needs to be re-coated and contract the work out. Lastly, an NBI 9–0 type rating procedure for steel bridge coatings is proposed for possible consideration and implementation by INDOT.
3
Elbaum, Michael, and Peter J. Christie. Type IV Secretion System of Agrobacterium tumefaciens: Components and Structures. United States Department of Agriculture, March 2013. http://dx.doi.org/10.32747/2013.7699848.bard.
Full textAbstract:
Objectives: The overall goal of the project was to build an ultrastructural model of the Agrobacterium tumefaciens type IV secretion system (T4SS) based on electron microscopy, genetics, and immunolocalization of its components. There were four original aims: Aim 1: Define the contributions of contact-dependent and -independent plant signals to formation of novel morphological changes at the A. tumefaciens polar membrane. Aim 2: Genetic basis for morphological changes at the A. tumefaciens polar membrane. Aim 3: Immuno-localization of VirB proteins Aim 4: Structural definition of the substrate translocation route. There were no major revisions to the aims, and the work focused on the above questions. Background: Agrobacterium presents a unique example of inter-kingdom gene transfer. The process involves cell to cell transfer of both protein and DNA substrates via a contact-dependent mechanism akin to bacterial conjugation. Transfer is mediated by a T4SS. Intensive study of the Agrobacterium T4SS has made it an archetypal model for the genetics and biochemistry. The channel is assembled from eleven protein components encoded on the B operon in the virulence region of the tumor-inducing plasmid, plus an additional coupling protein, VirD4. During the course of our project two structural studies were published presenting X-ray crystallography and three-dimensional reconstruction from electron microscopy of a core complex of the channel assembled in vitro from homologous proteins of E. coli, representing VirB7, VirB9, and VirB10. Another study was published claiming that the secretion channels in Agrobacterium appear on helical arrays around the membrane perimeter and along the entire length of the bacterium. Helical arrangements in bacterial membranes have since fallen from favor however, and that finding was partially retracted in a second publication. Overall, the localization of the T4SS within the bacterial membranes remains enigmatic in the literature, and we believe that our results from this project make a significant advance. Summary of achievements : We found that polar inflations and other membrane disturbances relate to the activation conditions rather than to virulence protein expression. Activation requires low pH and nutrient-poor medium. These stress conditions are also reflected in DNA condensation to varying degrees. Nonetheless, they must be considered in modeling the T4SS as they represent the relevant conditions for its expression and activity. We identified the T4SS core component VirB7 at native expression levels using state of the art super-resolution light microscopy. This marker of the secretion system was found almost exclusively at the cell poles, and typically one pole. Immuno-electron microscopy identified the protein at the inner membrane, rather than at bridges across the inner and outer membranes. This suggests a rare or transient assembly of the secretion-competent channel, or alternatively a two-step secretion involving an intermediate step in the periplasmic space. We followed the expression of the major secreted effector, VirE2. This is a single-stranded DNA binding protein that forms a capsid around the transferred oligonucleotide, adapting the bacterial conjugation to the eukaryotic host. We found that over-expressed VirE2 forms filamentous complexes in the bacterial cytoplasm that could be observed both by conventional fluorescence microscopy and by correlative electron cryo-tomography. Using a non-retentive mutant we observed secretion of VirE2 from bacterial poles. We labeled the secreted substrates in vivo in order detect their secretion and appearance in the plant cells. However the low transfer efficiency and significant background signal have so far hampered this approach.
4
Nagahi, Morteza, Raed Jaradat, Simon Goerger, Michael Hamilton, Randy Buchanan, Sawsan Abutabenjeh, and Junfeng Ma. The impact of practitioners’ personality traits on their level of systems-thinking skills preferences. Engineer Research and Development Center (U.S.), October 2022. http://dx.doi.org/10.21079/11681/45791.
Full textAbstract:
In this study, we used a structural equation modeling method to investigate the relationship between systems engineers and engineering managers’ Systems-Thinking (ST) skills preferences and their Personality Traits (PTs) in the domain of complex system problems. As organizations operate in more and more turbulent and complex environments, it has become increasingly important to assess the ST skills preferences and PTs of engineers. The current literature lacks studies related to the impact of systems engineers and engineering managers’ PTs on their ST skills preferences, and this study aims to address this gap. A total of 99 engineering managers and 104 systems engineers provided the data to test four hypotheses posed in this study. The results show that the PTs of systems engineers and engineering managers have a positive impact on their level of ST skills preferences and that the education level, the current occupation type, and the managerial experience of the systems engineers and engineering managers moderate the main relationship in the study.
5
Nagahi, Morteza, Raed Jaradat, Safae El Amrani, Michael Hamilton, and Simon Goerger. Holistic and reductionist thinker : a comparison study based on individuals’ skillset and personality types. Engineer Research and Development Center (U.S.), May 2021. http://dx.doi.org/10.21079/11681/40746.
Full textAbstract:
As organizations operate in turbulent and complex environments, it has become a necessity to assess the systems thinking (ST) skills, personality types (PTs), and demographics of practitioners. In this study, we investigated the relationship between practitioners’ ST profile, their PTs profiles and demographic characteristics in the domain of complex system problems. The objective of this study is to address the current gap in the literature – lack of studies dedicated to predicting practitioners’ ST profile based on their PTs and demographics characteristics. A total of 258 practitioners with different demographics and PTs provided the data. The results show that (1) practitioners can be classified based on their ST skills scores into two clusters: holistic and reductionist (that is, ST profile), (2) each cluster has different PTs profiles and demographic characteristics, and (3) practitioner’s ST profile can be predicted, with good accuracy, based on their PTs profile and demographic characteristics.
6
Nagahi, Morteza, Niamat Ullah Ibne Hossain, Safae El Amrani, Raed Jaradat, Laya Khademibami, Simon Goerger, and Randy Buchanan. Investigating the influence of demographics and personality types on practitioners' level of systems thinking skills. Engineer Research and Development Center (U.S.), March 2022. http://dx.doi.org/10.21079/11681/43622.
Full textAbstract:
Although the application of systems thinking (ST) has become essential for practitioners when dealing with turbulent and complex environments, there are limited studies available in the current literature that investigate how the ST skills of practitioners vary with regard to demographic factors and personality types (PTs). To address this gap, this article uses a structural equation modeling approach to explore the relationship be-tween practitioners’ ST skills, PT, and a set of demographic factors. The demographic factors included in the study are education level, the field of the highest degree, organizational ownership structure, job experience, and current occupation type. A total of 99 engineering managers, 104 systems engineers (SEs), and 55 practitioners with other occupations participated in this article. Results showed that the education level, the field of the highest degree, PT, organizational ownership structure, and current job experience of practitioners influenced their level of ST skills. Additionally, the current occupation type of practitioners partially affects their level of ST skills. An in-depth analysis was also conducted using multiple group analysis to show how seven ST skills of the practitioners vary across their level of education. Taken together, the findings of the study suggest that PT and a set of demographic factors influence the overall ST skill of the practitioners.
7
Liera, Carla, Mónica García, Kim Andersson, and Elisabeth Kvarnström. Combining sewered and non-sewered sanitation in Montero, Bolivia: scaling up sustainably. Stockholm Environment Institute, February 2022. http://dx.doi.org/10.51414/sei2022.007.
Full textAbstract:
The city of Montero, through the cooperative utility COSMOL, has successfully implemented on-site sanitation services for part of its population, in parallel to sewer-based services. However, additional solutions, capacity development and strengthening of governance systems are needed to allow for increased sustainability, for both the sewered and non-sewered sanitation services in the city. Technical improvements are still needed in wastewater and excreta management and treatment, to reduce health and environmental impacts. However, optimizing the existing sanitation systems could increase environmental, health and hygiene sustainability. Urine-diverting dry toilets (UDDTs) have the potential to reduce environmental impact the most, once optimized and if urine and faeces are collected and treated for reuse. Local farmers have expressed demand for sanitation reuse products, as long as low price and quality can be guaranteed. From a household perspective, demand exists for high levels of service and maintenance by providers, no matter the type of system, to ensure simple maintenance by users. But the sanitation system still needs to be affordable, match cleanliness expectations, and remain free of odours, mosquitos and rodents. Upscaling on-site sanitation systems depends strongly on the support of the public institutions and resources available, including legal, economic and technical resources, as well as having a long-term vision.
8
Tarricone, Pina, Kemran Mestan, and Ian Teo. Building resilient education systems: A rapid review of the education in emergencies literature. Australian Council for Educational Research, August 2021. http://dx.doi.org/10.37517/978-1-74286-639-0.
Full textAbstract:
The COVID-19 pandemic has highlighted the vulnerabilities and inequalities of national education systems and hindered the education of millions of children globally. In response, the Global Education Monitoring (GEM) Centre, which is a long-term, strategic partnership between the Australian Council for Educational Research (ACER) and the Australian Government’s Department of Foreign Affairs and Trade (DFAT), undertook a rapid review of literature to support policymakers. The research has six evidence-based outcomes that can help policymakers to build resilient education systems and thereby enhance education quality and equity during emergencies. The COVID-19 emergency provided the impetus for this research, with much of the reported data associated with this pandemic. Learnings from past education in emergencies situations have informed the understandings of the impacts and implications of the COVID-19 emergency, and have been synthesised with the COVID-19 literature to inform policymakers about how to build resilient education systems. This report presents evidence relating to two main types of emergencies affecting education: natural disasters and communicable disease, and political conflicts. Both types of emergencies can also coalesce within the same education system, resulting in complex and often protracted emergencies. This review found that emergencies impact education in two main ways: endangering children’s wellbeing, and exacerbating unequal learning outcomes.
9
Lacerda Silva, P., G. R. Chalmers, A. M. M. Bustin, and R. M. Bustin. Gas geochemistry and the origins of H2S in the Montney Formation. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/329794.
Full textAbstract:
The geology of the Montney Formation and the geochemistry of its produced fluids, including nonhydrocarbon gases such as hydrogen sulfide were investigated for both Alberta and BC play areas. Key parameters for understanding a complex petroleum system like the Montney play include changes in thickness, depth of burial, mass balance calculations, timing and magnitudes of paleotemperature exposure, as well as kerogen concentration and types to determine the distribution of hydrocarbon composition, H2S concentrations and CO2 concentrations. Results show that there is first-, second- and third- order variations in the maturation patterns that impact the hydrocarbon composition. Isomer ratio calculations for butane and propane, in combination with excess methane estimation from produced fluids, are powerful tools to highlight effects of migration in the hydrocarbon distribution. The present-day distribution of hydrocarbons is a result of fluid mixing between hydrocarbons generated in-situ with shorter-chained hydrocarbons (i.e., methane) migrated from deeper, more mature areas proximal to the deformation front, along structural elements like the Fort St. John Graben, as well as through areas of lithology with higher permeability. The BC Montney play appears to have hydrocarbon composition that reflects a larger contribution from in-situ generation, while the Montney play in Alberta has a higher proportion of its hydrocarbon volumes from migrated hydrocarbons. Hydrogen sulphide is observed to be laterally discontinuous and found in discrete zones or pockets. The locations of higher concentrations of hydrogen sulphide do not align with the sulphate-rich facies of the Charlie Lake Formation but can be seen to underlie areas of higher sulphate ion concentrations in the formation water. There is some alignment between CO2 and H2S, particularly south of Dawson Creek; however, the cross-plot of CO2 and H2S illustrates some deviation away from any correlation and there must be other processes at play (i.e., decomposition of kerogen or carbonate dissolution). The sources of sulphur in the produced H2S were investigated through isotopic analyses coupled with scanning electron microscopy, energy dispersive spectroscopy, and mineralogy by X-ray diffraction. The Montney Formation in BC can contain small discrete amounts of sulphur in the form of anhydrite as shown by XRD and SEM-EDX results. Sulphur isotopic analyses indicate that the most likely source of sulphur is from Triassic rocks, in particular, the Charlie Lake Formation, due to its close proximity, its high concentration of anhydrite (18-42%), and the evidence that dissolved sulphate ions migrated within the groundwater in fractures and transported anhydrite into the Halfway Formation and into the Montney Formation. The isotopic signature shows the sulphur isotopic ratio of the anhydrite in the Montney Formation is in the same range as the sulphur within the H2S gas and is a lighter ratio than what is found in Devonian anhydrite and H2S gas. This integrated study contributes to a better understanding of the hydrocarbon system for enhancing the efficiency of and optimizing the planning of drilling and production operations. Operators in BC should include mapping of the Charlie Lake evaporites and structural elements, three-dimensional seismic and sulphate ion concentrations in the connate water, when planning wells, in order to reduce the risk of encountering unexpected souring.
10
Beckett-Brown, C. E., A. M. McDonald, and M. B. McClenaghan. Discovering a porphyry deposit using tourmaline: a case study from Yukon. Natural Resources Canada/CMSS/Information Management, 2023. http://dx.doi.org/10.4095/331349.
Full textAbstract:
As the exploration for porphyry Cu-Au-Mo deposits has become increasingly challenging, the development of more effective techniques directed at detecting buried deposits has become critical. One methodology is to focus on key minerals, one of which is tourmaline, a robust, ubiquitous mineral in most mineralized porphyry systems. Overall, a combination of physical and chemical characteristics including 1) macro-color, 2) morphology, 3) inclusion populations, and 4) trace-element compositions are useful in discriminating between porphyry- versus non-porphyry-derived (or related) tourmaline in surficial sediments (Beckett-Brown 2022). These features are applied to tourmaline obtained from stream sediment samples (n = 22) from 16 streams derived from the unglaciated terrain proximal to the Casino calc-alkaline porphyry Cu-Au-Mo deposit (Yukon Territory, Canada). The obtained tourmaline occurs as two distinct morphologies: 1) individual blocky to prismatic sub- to euhedral grains (Type 1), 2) aggregates of radiating prismatic to acicular sub- to euhedral grains (Type 2). Type 1 grains display trace-element contents that reflect mixed origins including a mineralized porphyry origin as well metamorphic and pegmatitic (background) environments. Type 2 grains almost exclusively exhibit porphyry-derived trace-element chemistries (i.e., high Sr/Pb ~150 avg. and relatively low Zn/Cu ~2.5 avg. values). In Canadian Creek, that directly drains from the Casino deposit, samples closest to the deposit contain >70% porphyry-derived tourmaline, while other streams in the region from unprospective drainage basins contain no porphyry-derived tourmaline. At the most distal sample site in Canadian Creek, ~20 km downstream from Casino, nearly 30% of the recovered tourmaline in the stream sediments is porphyry-related. This method has potential to be a strong indicator of prospectivity and applicable for exploration for porphyry Cu-Au-Mo systems in both unglaciated and glaciated terrains.