“…The book starts with an introduction to computer architecture and then discusses number systems and digital logic. The text covers ARM Assembly Language, ARM Cortex Architecture and its components, and Hardware Experiments using TILM3S1968. …”
Enlace del recurso
Enlace del recurso

“…The book chapters are dedicated to the following points of interest: - methods of design of SEMS modules and intelligent robots based on them; - synthesis of neural systems of automatic control over SEMS modules; - mathematical and computer modeling of SEMS modules and Cyber Physical Systems based on them; - vitality control and reliability analysis based on logic-and-probabilistic and logic-and-linguistic forecasting; - methods of optimization of SEMS control systems based on mathematical programming methods in ordinal scale and generalized mathematical programming; - information-measuring software of SEMS modules and CPS based on them. …”
Enlace del recurso
Enlace del recurso

“…These tools for constructing and analyzing relation algebras are of particular interest to mathematicians working in logic, algebraic logic, or universal algebra, but will also appeal to philosophers and theoretical computer scientists working in fields that use mathematics. …”
Enlace del recurso
Enlace del recurso

“…Thus, new trigger processor board called Sector Logic has been developed to handle information from the new detectors. …”
Enlace del recurso
Enlace del recurso

“…Both the digital and analog logic show no operational issues after irradiation to 1 Grad (at a dose rate of 4 Mrad/h).…”
Enlace del recurso
Enlace del recurso

“…The speed requirements and the multifunctionality of the Readout Supervisor necessitate optimal technological solutions. At the same time the logic must be modifiable to support extensions or changes in the running modes. …”
Enlace del recurso
Enlace del recurso

“…A special operating mode allows 'playback' of those data to the front-panel connector for tests of trigger logic in the laboratory.…”
Enlace del recurso

“…This work presents the development and experimental evaluation of a method based on fuzzy logic to locate mobile robots in an Intelligent Space using Wireless Sensor Networks (WSNs). …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

Enlace del recurso

“…It is hardware implemented using programmable logic. The architecture of the NA62 L0TP system is a new approach compared to existing systems used in high-energy physics experiments. …”
Enlace del recurso
Enlace del recurso

“…This requires the fast continuous transfer of the MDT hits to the off-detector trigger logic and a fast track reconstruction algorithm performed in the trigger logic. …”
Enlace del recurso
Enlace del recurso

“…The optimisation focused mainly on the handling of the data output stream of the VMM3a, but also on the development of a trigger-logic between the front-end cards and the DAQ computer. …”
Enlace del recurso
Enlace del recurso

“…RESULTS: We developed an open-source markup language for presentation of questionnaire content and logic, Quest, within a real-time renderer that enables the user to test logic (e.g., skip patterns) and view the structure of data collection. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…We focus on two challenges in decision support systems: the ability to test decision logic on retrospective data prior prospective deployment and the challenge of user-friendly representation of clinical logic. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…[Image: see text] The successes of electronic digital logic have transformed every aspect of human life over the last half-century. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…METHODS: First- and second-year pediatric residents were randomized to 1 of the following 3 groups: viewing the complete video uninterrupted (full video), viewing the video interrupted with unrelated logic puzzles (logic puzzles), or viewing the video interrupted with brief comprehension test questions (short answer questions). …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The verification of clinical coherence was represented by a logic model and clinical protocol for delivering the intervention. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The median composite HeartLogic index increased at the end of the Lockdown. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…Of great relevance are his latest thoughts and ideas on the study of language and its handling by computers. The fuzzy logic community is particularly indebted to Abe Mamdani (1941-2010) who, in 1975, in his famous paper An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller, jointly written with his student Sedrak Assilian, introduced the novel idea of fuzzy control. …”
Enlace del recurso
Enlace del recurso

“…This paper discusses static verification of programs that have been specified using separation logic with magic wands. Magic wands are used to specify incomplete resources in separation logic, i.e., if missing resources are provided, a magic wand allows one to exchange these for the completed resources. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso